runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255992-1501651880/watcher-4255992-1501651880 -o /tmp/evaluation-result-4255992-1501651880/solver-4255992-1501651880 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 363236575 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255992-1501651880.xml
pid=8663
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.61 1.96 1.99 3/199 8666
/proc/meminfo: memFree=31630276/32770624 swapFree=0/233420
[pid=8666] ppid=8663 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8666/stat : 8666 (runsolver) D 8663 8666 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13003349 24240128 106 18446744073709551615 4194304 4338465 140728981326032 140728981323672 140394113016535 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 27385856 140728981327975 140728981328454 140728981328454 140728981331914 0
/proc/8666/statm: 5918 106 53 36 0 2156 0
[startup+0.100255 s]
/proc/loadavg: 1.61 1.96 1.99 3/199 8666
/proc/meminfo: memFree=31630276/32770624 swapFree=0/233420
[pid=8666] ppid=8663 vsize=11921484 CPUtime=0 cores=1,3,5,7
/proc/8666/stat : 8666 (java) S 8663 8666 5228 0 -1 1077944320 2258 0 0 0 0 0 0 0 20 0 6 0 13003349 12207599616 2455 18446744073709551615 4194304 4196468 140724359506160 140724359488704 139828900355831 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
/proc/8666/statm: 2997354 2455 1160 1 0 2987332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11921484
[startup+0.204067 s]
/proc/loadavg: 1.61 1.96 1.99 3/199 8666
/proc/meminfo: memFree=31630276/32770624 swapFree=0/233420
[pid=8666] ppid=8663 vsize=13976388 CPUtime=0.05 cores=1,3,5,7
/proc/8666/stat : 8666 (java) S 8663 8666 5228 0 -1 1077944320 5809 0 0 0 4 1 0 0 20 0 15 0 13003349 14311821312 6329 18446744073709551615 4194304 4196468 140724359506160 140724359488704 139828900355831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
/proc/8666/statm: 3494097 6329 3145 1 0 3482884 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13976388
[startup+0.300216 s]
/proc/loadavg: 1.61 1.96 1.99 3/199 8666
/proc/meminfo: memFree=31630276/32770624 swapFree=0/233420
[pid=8666] ppid=8663 vsize=13975920 CPUtime=0.21 cores=1,3,5,7
/proc/8666/stat : 8666 (java) S 8663 8666 5228 0 -1 1077944320 10213 0 0 0 18 3 0 0 20 0 15 0 13003349 14311342080 10012 18446744073709551615 4194304 4196468 140724359506160 140724359488704 139828900355831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
/proc/8666/statm: 3493980 10012 3525 1 0 3482767 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13975920
[startup+0.702731 s]
/proc/loadavg: 1.61 1.96 1.99 3/199 8666
/proc/meminfo: memFree=31630276/32770624 swapFree=0/233420
[pid=8666] ppid=8663 vsize=13977988 CPUtime=1.06 cores=1,3,5,7
/proc/8666/stat : 8666 (java) S 8663 8666 5228 0 -1 1077944320 14665 0 0 0 100 6 0 0 20 0 15 0 13003349 14313459712 17908 18446744073709551615 4194304 4196468 140724359506160 140724359488704 139828900355831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
/proc/8666/statm: 3494497 17908 3722 1 0 3483279 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13977988
[startup+1.50068 s]
/proc/loadavg: 1.61 1.96 1.99 7/214 8681
/proc/meminfo: memFree=31512724/32770624 swapFree=0/233428
[pid=8666] ppid=8663 vsize=13982084 CPUtime=3.39 cores=1,3,5,7
/proc/8666/stat : 8666 (java) S 8663 8666 5228 0 -1 1077944320 32658 0 0 0 326 13 0 0 20 0 15 0 13003349 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 140724359488704 139828900355831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
/proc/8666/statm: 3495521 59515 3777 1 0 3484303 0
[pid=8666/tid=8668] ppid=8663 vsize=13982084 CPUtime=1.31 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (java) R 8663 8666 5228 0 -1 4202560 14518 0 0 0 124 7 0 0 20 0 15 0 13003358 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828904591088 139828522716204 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8669] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (java) S 8663 8666 5228 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 13003359 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828500544400 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8670] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (java) S 8663 8666 5228 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 13003359 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828499491600 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8671] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8671/stat : 8671 (java) S 8663 8666 5228 0 -1 1077944384 567 0 0 0 0 0 0 0 20 0 15 0 13003359 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828498439312 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8672] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8672/stat : 8672 (java) S 8663 8666 5228 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 13003359 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828497386512 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8673] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8673/stat : 8673 (java) S 8663 8666 5228 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 13003360 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828446881904 139828900366978 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8674] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8674/stat : 8674 (java) S 8663 8666 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 13003361 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828445827872 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8675] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8675/stat : 8675 (java) S 8663 8666 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 13003361 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828444775536 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8676] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8676/stat : 8676 (java) S 8663 8666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13003363 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828443723856 139828900374427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8677] ppid=8663 vsize=13982084 CPUtime=0.71 cores=1,3,5,7
/proc/8666/task/8677/stat : 8677 (java) R 8663 8666 5228 0 -1 4202560 4115 0 0 0 70 1 0 0 20 0 15 0 13003363 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828442659408 139828883848337 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8678] ppid=8663 vsize=13982084 CPUtime=0.65 cores=1,3,5,7
/proc/8666/task/8678/stat : 8678 (java) R 8663 8666 5228 0 -1 4202560 3857 0 0 0 65 0 0 0 20 0 15 0 13003363 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828441606608 139828880012209 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8679] ppid=8663 vsize=13982084 CPUtime=0.62 cores=1,3,5,7
/proc/8666/task/8679/stat : 8679 (java) S 8663 8666 5228 0 -1 1077944384 7340 0 0 0 61 1 0 0 20 0 15 0 13003363 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828440566640 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8680] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8680/stat : 8680 (java) S 8663 8666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13003364 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828439514080 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8681] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8681/stat : 8681 (java) S 8663 8666 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 13003369 14317654016 59515 18446744073709551615 4194304 4196468 140724359506160 139828438460848 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 13982084
[startup+3.10068 s]
/proc/loadavg: 1.61 1.96 1.99 8/214 8681
/proc/meminfo: memFree=31388512/32770624 swapFree=0/233428
[pid=8666] ppid=8663 vsize=13982084 CPUtime=6.15 cores=1,3,5,7
/proc/8666/stat : 8666 (java) S 8663 8666 5228 0 -1 1077944320 34068 0 0 0 598 17 0 0 20 0 15 0 13003349 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 140724359488704 139828900355831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
/proc/8666/statm: 3495521 68495 3786 1 0 3484303 0
[pid=8666/tid=8668] ppid=8663 vsize=13982084 CPUtime=2.9 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (java) R 8663 8666 5228 0 -1 4202560 14699 0 0 0 281 9 0 0 20 0 15 0 13003358 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828904585600 139828522986179 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8669] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (java) S 8663 8666 5228 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828500544400 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8670] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (java) S 8663 8666 5228 0 -1 1077944384 427 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828499491600 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8671] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8671/stat : 8671 (java) S 8663 8666 5228 0 -1 1077944384 585 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828498439312 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8672] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8672/stat : 8672 (java) S 8663 8666 5228 0 -1 1077944384 103 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828497386512 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8673] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8673/stat : 8673 (java) S 8663 8666 5228 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 13003360 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828446881904 139828900366978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8674] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8674/stat : 8674 (java) S 8663 8666 5228 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 13003361 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828445827936 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8675] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8675/stat : 8675 (java) S 8663 8666 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 13003361 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828444775552 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8676] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8676/stat : 8676 (java) S 8663 8666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13003363 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828443723856 139828900374427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8677] ppid=8663 vsize=13982084 CPUtime=1.24 cores=1,3,5,7
/proc/8666/task/8677/stat : 8677 (java) S 8663 8666 5228 0 -1 1077944384 4964 0 0 0 123 1 0 0 20 0 15 0 13003363 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828442671728 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8678] ppid=8663 vsize=13982084 CPUtime=1.21 cores=1,3,5,7
/proc/8666/task/8678/stat : 8678 (java) S 8663 8666 5228 0 -1 1077944384 4063 0 0 0 121 0 0 0 20 0 15 0 13003363 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828441618928 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8679] ppid=8663 vsize=13982084 CPUtime=0.64 cores=1,3,5,7
/proc/8666/task/8679/stat : 8679 (java) S 8663 8666 5228 0 -1 1077944384 7406 0 0 0 63 1 0 0 20 0 15 0 13003363 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828440566640 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8680] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8680/stat : 8680 (java) S 8663 8666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13003364 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828439514080 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8681] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8681/stat : 8681 (java) S 8663 8666 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 13003369 14317654016 68495 18446744073709551615 4194304 4196468 140724359506160 139828438460848 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8666 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.35168 s]
/proc/loadavg: 1.61 1.96 1.99 8/214 8681
/proc/meminfo: memFree=31388512/32770624 swapFree=0/233428
[pid=8666] ppid=8663 vsize=13982084 CPUtime=6.4 cores=1,3,5,7
/proc/8666/stat : 8666 (java) S 8663 8666 5228 0 -1 1077944320 34113 0 0 0 622 18 0 0 20 0 15 0 13003349 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 140724359488704 139828900355831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
/proc/8666/statm: 3495521 79760 3786 1 0 3484303 0
[pid=8666/tid=8668] ppid=8663 vsize=13982084 CPUtime=3.15 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (java) R 8663 8666 5228 0 -1 4202560 14744 0 0 0 305 10 0 0 20 0 15 0 13003358 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828904591136 139828523423849 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8669] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (java) S 8663 8666 5228 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828500544400 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8670] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (java) S 8663 8666 5228 0 -1 1077944384 427 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828499491600 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8671] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8671/stat : 8671 (java) S 8663 8666 5228 0 -1 1077944384 585 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828498439312 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8672] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8672/stat : 8672 (java) S 8663 8666 5228 0 -1 1077944384 103 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828497386512 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8673] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8673/stat : 8673 (java) S 8663 8666 5228 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 13003360 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828446881904 139828900366978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8674] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8674/stat : 8674 (java) S 8663 8666 5228 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 13003361 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828445827936 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8675] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8675/stat : 8675 (java) S 8663 8666 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 13003361 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828444775552 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8676] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8676/stat : 8676 (java) S 8663 8666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13003363 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828443723856 139828900374427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8677] ppid=8663 vsize=13982084 CPUtime=1.24 cores=1,3,5,7
/proc/8666/task/8677/stat : 8677 (java) S 8663 8666 5228 0 -1 1077944384 4964 0 0 0 123 1 0 0 20 0 15 0 13003363 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828442671728 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8678] ppid=8663 vsize=13982084 CPUtime=1.21 cores=1,3,5,7
/proc/8666/task/8678/stat : 8678 (java) S 8663 8666 5228 0 -1 1077944384 4063 0 0 0 121 0 0 0 20 0 15 0 13003363 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828441618928 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8679] ppid=8663 vsize=13982084 CPUtime=0.64 cores=1,3,5,7
/proc/8666/task/8679/stat : 8679 (java) S 8663 8666 5228 0 -1 1077944384 7406 0 0 0 63 1 0 0 20 0 15 0 13003363 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828440566640 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8680] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8680/stat : 8680 (java) S 8663 8666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13003364 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828439514080 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8681] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8681/stat : 8681 (java) S 8663 8666 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 13003369 14317654016 79760 18446744073709551615 4194304 4196468 140724359506160 139828438460848 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 13982084
[startup+3.50639 s]
/proc/loadavg: 1.72 1.97 1.99 3/214 8681
/proc/meminfo: memFree=31310852/32770624 swapFree=0/233428
[pid=8666] ppid=8663 vsize=13982084 CPUtime=6.56 cores=1,3,5,7
/proc/8666/stat : 8666 (java) S 8663 8666 5228 0 -1 1077944320 34163 0 0 0 637 19 0 0 20 0 15 0 13003349 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 140724359488704 139828900355831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
/proc/8666/statm: 3495521 86928 3786 1 0 3484303 0
[pid=8666/tid=8668] ppid=8663 vsize=13982084 CPUtime=3.3 cores=1,3,5,7
/proc/8666/task/8668/stat : 8668 (java) R 8663 8666 5228 0 -1 4202560 14792 0 0 0 320 10 0 0 20 0 15 0 13003358 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828904591136 139828518738150 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8669] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8669/stat : 8669 (java) S 8663 8666 5228 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828500544400 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8670] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8670/stat : 8670 (java) S 8663 8666 5228 0 -1 1077944384 427 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828499491600 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8671] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8671/stat : 8671 (java) S 8663 8666 5228 0 -1 1077944384 585 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828498439312 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8672] ppid=8663 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/8666/task/8672/stat : 8672 (java) S 8663 8666 5228 0 -1 1077944384 103 0 0 0 1 1 0 0 20 0 15 0 13003359 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828497386512 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8673] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8673/stat : 8673 (java) S 8663 8666 5228 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 13003360 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828446881904 139828900366978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8674] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8674/stat : 8674 (java) S 8663 8666 5228 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 13003361 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828445827936 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8675] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8675/stat : 8675 (java) S 8663 8666 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 13003361 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828444775552 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8676] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8676/stat : 8676 (java) S 8663 8666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13003363 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828443723856 139828900374427 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8677] ppid=8663 vsize=13982084 CPUtime=1.24 cores=1,3,5,7
/proc/8666/task/8677/stat : 8677 (java) S 8663 8666 5228 0 -1 1077944384 4964 0 0 0 123 1 0 0 20 0 15 0 13003363 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828442671728 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8678] ppid=8663 vsize=13982084 CPUtime=1.21 cores=1,3,5,7
/proc/8666/task/8678/stat : 8678 (java) R 8663 8666 5228 0 -1 1077944384 4063 0 0 0 121 0 0 0 20 0 15 0 13003363 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828441618928 139828900366978 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8679] ppid=8663 vsize=13982084 CPUtime=0.64 cores=1,3,5,7
/proc/8666/task/8679/stat : 8679 (java) R 8663 8666 5228 0 -1 4202560 7408 0 0 0 63 1 0 0 20 0 15 0 13003363 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828440566640 139828881919332 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8680] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8680/stat : 8680 (java) S 8663 8666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 13003364 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828439514080 139828900366037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
[pid=8666/tid=8681] ppid=8663 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/8666/task/8681/stat : 8681 (java) S 8663 8666 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 13003369 14317654016 86928 18446744073709551615 4194304 4196468 140724359506160 139828438460848 139828900366978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10870784 140724359508370 140724359508555 140724359508555 140724359512015 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 3.52491
CPU time (s): 6.57555
CPU user time (s): 6.37933
CPU system time (s): 0.196224
CPU usage (%): 186.545
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.37933
system time used= 0.196224
maximum resident set size= 350064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2703
involuntary context switches= 24
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021891 second user time and 0.022803 second system time
The end