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-4249420-1500694779/watcher-4249420-1500694779 -o /tmp/evaluation-result-4249420-1500694779/solver-4249420-1500694779 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 797872600 HOME/instance-4249420-1500694779.xml
pid=16170
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 15.20 14.72 14.56 10/270 16173
/proc/meminfo: memFree=26350348/32770624 swapFree=5656/333996
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 15.20 14.72 14.56 10/270 16173
/proc/meminfo: memFree=26350348/32770624 swapFree=5656/333996
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200375 s]
/proc/loadavg: 15.20 14.72 14.56 10/270 16173
/proc/meminfo: memFree=26350348/32770624 swapFree=5656/333996
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300305 s]
/proc/loadavg: 15.20 14.72 14.56 10/270 16173
/proc/meminfo: memFree=26350348/32770624 swapFree=5656/333996
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700248 s]
/proc/loadavg: 15.20 14.72 14.56 10/270 16173
/proc/meminfo: memFree=26350348/32770624 swapFree=5656/333996
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50134 s]
/proc/loadavg: 15.02 14.69 14.56 10/291 16194
/proc/meminfo: memFree=26210912/32770624 swapFree=5656/334036
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
[pid=16174] ppid=16173 vsize=13269256 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/16174/stat : 16174 (java) S 16173 16173 7102 0 -1 1077944320 14705 0 0 0 281 6 0 0 20 0 20 0 4745362 13587718144 44196 33554432000 4194304 4196468 140728504047312 140728504029856 139724447342327 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
/proc/16174/statm: 3317314 44196 3200 1 0 3304547 0
[pid=16174/tid=16175] ppid=16173 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16175/stat : 16175 (java) R 16173 16173 7102 0 -1 4202560 6627 0 0 0 143 4 0 0 20 0 20 0 4745362 13587718144 44196 33554432000 4194304 4196468 140728504047312 139724451580872 139724086924630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16177] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16177/stat : 16177 (java) S 16173 16173 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4745363 13587718144 44196 33554432000 4194304 4196468 140728504047312 139724414900624 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16178] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16178/stat : 16178 (java) S 16173 16173 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4745363 13587718144 44196 33554432000 4194304 4196468 140728504047312 139724045093136 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16179] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16179/stat : 16179 (java) S 16173 16173 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4745363 13587718144 44196 33554432000 4194304 4196468 140728504047312 139724044040848 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16180] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16180/stat : 16180 (java) S 16173 16173 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4745363 13587718144 44196 33554432000 4194304 4196468 140728504047312 139724042988048 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16181] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16181/stat : 16181 (java) S 16173 16173 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4745363 13587718144 44196 33554432000 4194304 4196468 140728504047312 139724041935760 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16182] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16182/stat : 16182 (java) S 16173 16173 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4745363 13587718144 44196 33554432000 4194304 4196468 140728504047312 139724040882960 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16183] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16183/stat : 16183 (java) S 16173 16173 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4745363 13587718144 44196 33554432000 4194304 4196468 140728504047312 139724039830672 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16184] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16184/stat : 16184 (java) S 16173 16173 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4745363 13587718144 44196 33554432000 4194304 4196468 140728504047312 139724038777872 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16185] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16185/stat : 16185 (java) S 16173 16173 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4745365 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723909630064 139724447353474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16186] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16186/stat : 16186 (java) S 16173 16173 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4745366 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723908576032 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16187] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16187/stat : 16187 (java) S 16173 16173 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4745366 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723907523696 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16188] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16188/stat : 16188 (java) S 16173 16173 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4745370 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723906472016 139724447360923 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16189] ppid=16173 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16189/stat : 16189 (java) S 16173 16173 7102 0 -1 1077944384 1752 0 0 0 34 0 0 0 20 0 20 0 4745370 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723905419888 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16190] ppid=16173 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16190/stat : 16190 (java) S 16173 16173 7102 0 -1 1077944384 1468 0 0 0 34 0 0 0 20 0 20 0 4745370 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723904367088 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16191] ppid=16173 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16191/stat : 16191 (java) S 16173 16173 7102 0 -1 1077944384 1583 0 0 0 34 0 0 0 20 0 20 0 4745370 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723903314800 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16192] ppid=16173 vsize=13269256 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16192/stat : 16192 (java) S 16173 16173 7102 0 -1 1077944384 1958 0 0 0 33 0 0 0 20 0 20 0 4745370 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723902262000 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16193] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16193/stat : 16193 (java) S 16173 16173 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4745370 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723901208928 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16194] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16194/stat : 16194 (java) S 16173 16173 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4745370 13587718144 44196 33554432000 4194304 4196468 140728504047312 139723900156208 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 13278768
[startup+3.10125 s]
/proc/loadavg: 15.02 14.69 14.56 11/291 16194
/proc/meminfo: memFree=25984392/32770624 swapFree=5656/334036
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
[pid=16174] ppid=16173 vsize=13269256 CPUtime=6.01 cores=0,2,4,6,8,10,12,14
/proc/16174/stat : 16174 (java) S 16173 16173 7102 0 -1 1077944320 18974 0 0 0 483 118 0 0 20 0 20 0 4745362 13587718144 114542 33554432000 4194304 4196468 140728504047312 140728504029856 139724447342327 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
/proc/16174/statm: 3317314 114542 3231 1 0 3304547 0
[pid=16174/tid=16175] ppid=16173 vsize=13269256 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16175/stat : 16175 (java) R 16173 16173 7102 0 -1 4202560 8086 0 0 0 281 5 0 0 20 0 20 0 4745362 13587718144 114542 33554432000 4194304 4196468 140728504047312 139724451581056 139724447364253 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16177] ppid=16173 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16177/stat : 16177 (java) S 16173 16173 7102 0 -1 1077944384 151 0 0 0 6 13 0 0 20 0 20 0 4745363 13587718144 114542 33554432000 4194304 4196468 140728504047312 139724414900624 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16178] ppid=16173 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16178/stat : 16178 (java) S 16173 16173 7102 0 -1 1077944384 97 0 0 0 7 13 0 0 20 0 20 0 4745363 13587718144 114542 33554432000 4194304 4196468 140728504047312 139724045093136 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16179] ppid=16173 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16179/stat : 16179 (java) S 16173 16173 7102 0 -1 1077944384 147 0 0 0 7 13 0 0 20 0 20 0 4745363 13587718144 114542 33554432000 4194304 4196468 140728504047312 139724044040848 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16180] ppid=16173 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16180/stat : 16180 (java) S 16173 16173 7102 0 -1 1077944384 95 0 0 0 6 13 0 0 20 0 20 0 4745363 13587718144 114542 33554432000 4194304 4196468 140728504047312 139724042988048 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16181] ppid=16173 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16181/stat : 16181 (java) S 16173 16173 7102 0 -1 1077944384 100 0 0 0 6 13 0 0 20 0 20 0 4745363 13587718144 114542 33554432000 4194304 4196468 140728504047312 139724041935760 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16182] ppid=16173 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16182/stat : 16182 (java) S 16173 16173 7102 0 -1 1077944384 158 0 0 0 6 14 0 0 20 0 20 0 4745363 13587718144 114542 33554432000 4194304 4196468 140728504047312 139724040882960 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16183] ppid=16173 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16183/stat : 16183 (java) S 16173 16173 7102 0 -1 1077944384 250 0 0 0 6 14 0 0 20 0 20 0 4745363 13587718144 114542 33554432000 4194304 4196468 140728504047312 139724039830672 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16184] ppid=16173 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16184/stat : 16184 (java) S 16173 16173 7102 0 -1 1077944384 92 0 0 0 6 13 0 0 20 0 20 0 4745363 13587718144 114542 33554432000 4194304 4196468 140728504047312 139724038777872 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16185] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16185/stat : 16185 (java) S 16173 16173 7102 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 20 0 4745365 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723909630064 139724447353474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16186] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16186/stat : 16186 (java) S 16173 16173 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4745366 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723908576032 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16187] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16187/stat : 16187 (java) S 16173 16173 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4745366 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723907523696 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16188] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16188/stat : 16188 (java) S 16173 16173 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4745370 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723906472016 139724447360923 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16189] ppid=16173 vsize=13269256 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16189/stat : 16189 (java) S 16173 16173 7102 0 -1 1077944384 2055 0 0 0 38 0 0 0 20 0 20 0 4745370 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723905419888 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16190] ppid=16173 vsize=13269256 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16190/stat : 16190 (java) S 16173 16173 7102 0 -1 1077944384 1687 0 0 0 37 1 0 0 20 0 20 0 4745370 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723904367088 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16191] ppid=16173 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16191/stat : 16191 (java) S 16173 16173 7102 0 -1 1077944384 1680 0 0 0 37 0 0 0 20 0 20 0 4745370 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723903314800 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16192] ppid=16173 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16192/stat : 16192 (java) S 16173 16173 7102 0 -1 1077944384 2798 0 0 0 36 0 0 0 20 0 20 0 4745370 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723902262000 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16193] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16193/stat : 16193 (java) S 16173 16173 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4745370 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723901208928 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16194] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16194/stat : 16194 (java) S 16173 16173 7102 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 4745370 13587718144 114542 33554432000 4194304 4196468 140728504047312 139723900156208 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 13278768
[startup+6.30086 s]
/proc/loadavg: 15.02 14.69 14.56 10/291 16194
/proc/meminfo: memFree=25604212/32770624 swapFree=5656/334036
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
[pid=16174] ppid=16173 vsize=13269256 CPUtime=13.85 cores=0,2,4,6,8,10,12,14
/proc/16174/stat : 16174 (java) S 16173 16173 7102 0 -1 1077944320 31790 0 0 0 1097 288 0 0 20 0 20 0 4745362 13587718144 208806 33554432000 4194304 4196468 140728504047312 140728504029856 139724447342327 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
/proc/16174/statm: 3317314 208806 3256 1 0 3304547 0
[pid=16174/tid=16175] ppid=16173 vsize=13269256 CPUtime=5.35 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16175/stat : 16175 (java) S 16173 16173 7102 0 -1 1077944384 8441 0 0 0 530 5 0 0 20 0 20 0 4745362 13587718144 208806 33554432000 4194304 4196468 140728504047312 139724451580528 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16177] ppid=16173 vsize=13269256 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16177/stat : 16177 (java) R 16173 16173 7102 0 -1 4202560 1339 0 0 0 43 35 0 0 20 0 20 0 4745363 13587718144 208806 33554432000 4194304 4196468 140728504047312 139724414900824 139724440442027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16178] ppid=16173 vsize=13269256 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16178/stat : 16178 (java) R 16173 16173 7102 0 -1 4202560 1051 0 0 0 44 34 0 0 20 0 20 0 4745363 13587718144 208806 33554432000 4194304 4196468 140728504047312 139724045093336 139724440439028 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16179] ppid=16173 vsize=13269256 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16179/stat : 16179 (java) R 16173 16173 7102 0 -1 4202560 950 0 0 0 44 35 0 0 20 0 20 0 4745363 13587718144 208806 33554432000 4194304 4196468 140728504047312 139724044040736 139724440442013 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16180] ppid=16173 vsize=13269256 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16180/stat : 16180 (java) R 16173 16173 7102 0 -1 4202560 1044 0 0 0 44 35 0 0 20 0 20 0 4745363 13587718144 208806 33554432000 4194304 4196468 140728504047312 139724042988248 139724440442027 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16181] ppid=16173 vsize=13269256 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16181/stat : 16181 (java) R 16173 16173 7102 0 -1 4202560 1234 0 0 0 44 34 0 0 20 0 20 0 4745363 13587718144 208806 33554432000 4194304 4196468 140728504047312 139724041935960 139724440442027 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16182] ppid=16173 vsize=13269256 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16182/stat : 16182 (java) R 16173 16173 7102 0 -1 4202560 1239 0 0 0 44 35 0 0 20 0 20 0 4745363 13587718144 208806 33554432000 4194304 4196468 140728504047312 139724040883160 139724440439028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16183] ppid=16173 vsize=13269256 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16183/stat : 16183 (java) R 16173 16173 7102 0 -1 4202560 1503 0 0 0 44 34 0 0 20 0 20 0 4745363 13587718144 208806 33554432000 4194304 4196468 140728504047312 139724039830872 139724440439028 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16184] ppid=16173 vsize=13269256 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16184/stat : 16184 (java) R 16173 16173 7102 0 -1 4202560 852 0 0 0 43 30 0 0 20 0 20 0 4745363 13587718144 208806 33554432000 4194304 4196468 140728504047312 139724038778072 139724432370201 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16185] ppid=16173 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16185/stat : 16185 (java) S 16173 16173 7102 0 -1 1077944384 1189 0 0 0 9 0 0 0 20 0 20 0 4745365 13587718144 208806 33554432000 4194304 4196468 140728504047312 139723909628576 139724447352533 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16186] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16186/stat : 16186 (java) S 16173 16173 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4745366 13587718144 209318 33554432000 4194304 4196468 140728504047312 139723908576096 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16187] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16187/stat : 16187 (java) S 16173 16173 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4745366 13587718144 209318 33554432000 4194304 4196468 140728504047312 139723907523712 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16188] ppid=16173 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16188/stat : 16188 (java) S 16173 16173 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4745370 13587718144 209318 33554432000 4194304 4196468 140728504047312 139723906472016 139724447360923 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
################
# More data... #
################
[pid=16174/tid=16253] ppid=16173 vsize=13801768 CPUtime=49.53 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16253/stat : 16253 (java) R 16173 16173 7102 0 -1 4202560 1472 0 0 0 4953 0 0 0 20 0 28 0 4768631 14133010432 1560305 33554432000 4194304 4196468 140728504047312 139723890036328 139724085262011 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16254] ppid=16173 vsize=13801768 CPUtime=49.51 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16254/stat : 16254 (java) R 16173 16173 7102 0 -1 4202560 4794 0 0 0 4951 0 0 0 20 0 28 0 4768631 14133010432 1560305 33554432000 4194304 4196468 140728504047312 139723884772656 139724090002445 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
Current children cumulated CPU time (s) 2058.02
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+325.714 s]
/proc/loadavg: 15.70 15.12 14.74 17/299 16382
/proc/meminfo: memFree=25036108/32770624 swapFree=5656/334416
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
[pid=16174] ppid=16173 vsize=13801768 CPUtime=2400.57 cores=0,2,4,6,8,10,12,14
/proc/16174/stat : 16174 (java) S 16173 16173 7102 0 -1 1077944320 294950 0 0 0 237390 2667 0 0 20 0 28 0 4745362 14133010432 1561858 33554432000 4194304 4196468 140728504047312 140728504029856 139724447342327 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
/proc/16174/statm: 3450442 1561858 3305 1 0 3437675 0
[pid=16174/tid=16175] ppid=16173 vsize=13801768 CPUtime=26.32 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16175/stat : 16175 (java) S 16173 16173 7102 0 -1 1077944384 11886 0 0 0 2623 9 0 0 20 0 28 0 4745362 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724451583104 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16177] ppid=16173 vsize=13801768 CPUtime=7.39 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16177/stat : 16177 (java) S 16173 16173 7102 0 -1 1077944384 9936 0 0 0 414 325 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724414900624 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16178] ppid=16173 vsize=13801768 CPUtime=7.29 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16178/stat : 16178 (java) S 16173 16173 7102 0 -1 1077944384 9271 0 0 0 396 333 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724045093136 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16179] ppid=16173 vsize=13801768 CPUtime=7.38 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16179/stat : 16179 (java) S 16173 16173 7102 0 -1 1077944384 11153 0 0 0 412 326 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724044040848 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16180] ppid=16173 vsize=13801768 CPUtime=7.42 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16180/stat : 16180 (java) S 16173 16173 7102 0 -1 1077944384 12916 0 0 0 408 334 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724042988048 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16181] ppid=16173 vsize=13801768 CPUtime=7.12 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16181/stat : 16181 (java) S 16173 16173 7102 0 -1 1077944384 12830 0 0 0 408 304 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724041935760 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16182] ppid=16173 vsize=13801768 CPUtime=7.35 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16182/stat : 16182 (java) S 16173 16173 7102 0 -1 1077944384 15791 0 0 0 403 332 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724040882960 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16183] ppid=16173 vsize=13801768 CPUtime=7.4 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16183/stat : 16183 (java) S 16173 16173 7102 0 -1 1077944384 14630 0 0 0 421 319 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724039830672 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16184] ppid=16173 vsize=13801768 CPUtime=7.35 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16184/stat : 16184 (java) S 16173 16173 7102 0 -1 1077944384 10320 0 0 0 410 325 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724038777872 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16185] ppid=16173 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16185/stat : 16185 (java) S 16173 16173 7102 0 -1 1077944384 15133 0 0 0 87 5 0 0 20 0 28 0 4745365 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723909630064 139724447353474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16186] ppid=16173 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16186/stat : 16186 (java) S 16173 16173 7102 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 4745366 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723908576096 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16187] ppid=16173 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16187/stat : 16187 (java) S 16173 16173 7102 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 4745366 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723907523712 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16188] ppid=16173 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16188/stat : 16188 (java) S 16173 16173 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723906472016 139724447360923 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16189] ppid=16173 vsize=13801768 CPUtime=3.88 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16189/stat : 16189 (java) S 16173 16173 7102 0 -1 1077944384 19238 0 0 0 386 2 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723905419888 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16190] ppid=16173 vsize=13801768 CPUtime=3.82 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16190/stat : 16190 (java) S 16173 16173 7102 0 -1 1077944384 19372 0 0 0 379 3 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723904367088 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16191] ppid=16173 vsize=13801768 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16191/stat : 16191 (java) S 16173 16173 7102 0 -1 1077944384 13829 0 0 0 309 2 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723903314800 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16192] ppid=16173 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16192/stat : 16192 (java) S 16173 16173 7102 0 -1 1077944384 12564 0 0 0 103 2 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723902262000 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16193] ppid=16173 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16193/stat : 16193 (java) S 16173 16173 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723901208928 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16194] ppid=16173 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16194/stat : 16194 (java) S 16173 16173 7102 0 -1 1077944384 1692 0 0 0 11 7 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723900156208 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16375] ppid=16173 vsize=13801768 CPUtime=14.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16375/stat : 16375 (java) R 16173 16173 7102 0 -1 4202560 1117 0 0 0 1418 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723892145272 139724089868900 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16376] ppid=16173 vsize=13801768 CPUtime=14.19 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16376/stat : 16376 (java) R 16173 16173 7102 0 -1 4202560 547 0 0 0 1419 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723888988264 139724085262187 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16377] ppid=16173 vsize=13801768 CPUtime=14.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16377/stat : 16377 (java) R 16173 16173 7102 0 -1 4202560 1336 0 0 0 1418 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723886883832 139724088966068 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16378] ppid=16173 vsize=13801768 CPUtime=14.17 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16378/stat : 16378 (java) R 16173 16173 7102 0 -1 4202560 1048 0 0 0 1417 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723887935424 139724086361011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16379] ppid=16173 vsize=13801768 CPUtime=14.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16379/stat : 16379 (java) R 16173 16173 7102 0 -1 4202560 1196 0 0 0 1418 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723884781128 139724089923408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16380] ppid=16173 vsize=13801768 CPUtime=14.17 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16380/stat : 16380 (java) R 16173 16173 7102 0 -1 4202560 2302 0 0 0 1417 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723885833672 139724090413591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16381] ppid=16173 vsize=13801768 CPUtime=13.82 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16381/stat : 16381 (java) R 16173 16173 7102 0 -1 4202560 740 0 0 0 1382 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723891096392 139724085260492 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16382] ppid=16173 vsize=13801768 CPUtime=14.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16382/stat : 16382 (java) R 16173 16173 7102 0 -1 4202560 859 0 0 0 1418 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723890043592 139724090002204 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
Current children cumulated CPU time (s) 2400.57
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16174 sig 9
??? kill 16173 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+325.714 s]
/proc/loadavg: 15.70 15.12 14.74 17/299 16382
/proc/meminfo: memFree=25036108/32770624 swapFree=5656/334416
[pid=16173] ppid=16170 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16173/stat : 16173 (xcsp3-exec) S 16170 16173 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4745361 9740288 346 33554432000 4194304 5098028 140724369691488 140724369689592 139899002147452 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 14192640 140724369699983 140724369700192 140724369700192 140724369702891 0
/proc/16173/statm: 2378 346 289 221 0 87 0
[pid=16174] ppid=16173 vsize=13801768 CPUtime=2400.57 cores=0,2,4,6,8,10,12,14
/proc/16174/stat : 16174 (java) S 16173 16173 7102 0 -1 1077944320 294950 0 0 0 237390 2667 0 0 20 0 28 0 4745362 14133010432 1561858 33554432000 4194304 4196468 140728504047312 140728504029856 139724447342327 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
/proc/16174/statm: 3450442 1561858 3305 1 0 3437675 0
[pid=16174/tid=16175] ppid=16173 vsize=13801768 CPUtime=26.32 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16175/stat : 16175 (java) S 16173 16173 7102 0 -1 1077944384 11886 0 0 0 2623 9 0 0 20 0 28 0 4745362 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724451583104 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16177] ppid=16173 vsize=13801768 CPUtime=7.39 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16177/stat : 16177 (java) S 16173 16173 7102 0 -1 1077944384 9936 0 0 0 414 325 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724414900624 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16178] ppid=16173 vsize=13801768 CPUtime=7.29 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16178/stat : 16178 (java) S 16173 16173 7102 0 -1 1077944384 9271 0 0 0 396 333 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724045093136 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16179] ppid=16173 vsize=13801768 CPUtime=7.38 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16179/stat : 16179 (java) S 16173 16173 7102 0 -1 1077944384 11153 0 0 0 412 326 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724044040848 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16180] ppid=16173 vsize=13801768 CPUtime=7.42 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16180/stat : 16180 (java) S 16173 16173 7102 0 -1 1077944384 12916 0 0 0 408 334 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724042988048 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16181] ppid=16173 vsize=13801768 CPUtime=7.12 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16181/stat : 16181 (java) S 16173 16173 7102 0 -1 1077944384 12830 0 0 0 408 304 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724041935760 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16182] ppid=16173 vsize=13801768 CPUtime=7.35 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16182/stat : 16182 (java) S 16173 16173 7102 0 -1 1077944384 15791 0 0 0 403 332 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724040882960 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16183] ppid=16173 vsize=13801768 CPUtime=7.4 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16183/stat : 16183 (java) S 16173 16173 7102 0 -1 1077944384 14630 0 0 0 421 319 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724039830672 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16184] ppid=16173 vsize=13801768 CPUtime=7.35 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16184/stat : 16184 (java) S 16173 16173 7102 0 -1 1077944384 10320 0 0 0 410 325 0 0 20 0 28 0 4745363 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139724038777872 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16185] ppid=16173 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16185/stat : 16185 (java) S 16173 16173 7102 0 -1 1077944384 15133 0 0 0 87 5 0 0 20 0 28 0 4745365 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723909630064 139724447353474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16186] ppid=16173 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16186/stat : 16186 (java) S 16173 16173 7102 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 4745366 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723908576096 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16187] ppid=16173 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16187/stat : 16187 (java) S 16173 16173 7102 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 28 0 4745366 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723907523712 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16188] ppid=16173 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16188/stat : 16188 (java) S 16173 16173 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723906472016 139724447360923 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16189] ppid=16173 vsize=13801768 CPUtime=3.88 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16189/stat : 16189 (java) S 16173 16173 7102 0 -1 1077944384 19238 0 0 0 386 2 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723905419888 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16190] ppid=16173 vsize=13801768 CPUtime=3.82 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16190/stat : 16190 (java) S 16173 16173 7102 0 -1 1077944384 19372 0 0 0 379 3 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723904367088 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16191] ppid=16173 vsize=13801768 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16191/stat : 16191 (java) S 16173 16173 7102 0 -1 1077944384 13829 0 0 0 309 2 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723903314800 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16192] ppid=16173 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16192/stat : 16192 (java) S 16173 16173 7102 0 -1 1077944384 12564 0 0 0 103 2 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723902262000 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16193] ppid=16173 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16193/stat : 16193 (java) S 16173 16173 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723901208928 139724447352533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16194] ppid=16173 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16194/stat : 16194 (java) S 16173 16173 7102 0 -1 1077944384 1692 0 0 0 11 7 0 0 20 0 28 0 4745370 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723900156208 139724447353474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16375] ppid=16173 vsize=13801768 CPUtime=14.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16375/stat : 16375 (java) R 16173 16173 7102 0 -1 4202560 1117 0 0 0 1418 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723892145272 139724089868900 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16376] ppid=16173 vsize=13801768 CPUtime=14.19 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16376/stat : 16376 (java) R 16173 16173 7102 0 -1 4202560 547 0 0 0 1419 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723888988264 139724085262187 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16377] ppid=16173 vsize=13801768 CPUtime=14.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16377/stat : 16377 (java) R 16173 16173 7102 0 -1 4202560 1336 0 0 0 1418 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723886883832 139724088966068 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16378] ppid=16173 vsize=13801768 CPUtime=14.17 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16378/stat : 16378 (java) R 16173 16173 7102 0 -1 4202560 1048 0 0 0 1417 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723887935424 139724086361011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16379] ppid=16173 vsize=13801768 CPUtime=14.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16379/stat : 16379 (java) R 16173 16173 7102 0 -1 4202560 1196 0 0 0 1418 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723884781128 139724089923408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16380] ppid=16173 vsize=13801768 CPUtime=14.17 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16380/stat : 16380 (java) R 16173 16173 7102 0 -1 4202560 2302 0 0 0 1417 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723885833672 139724090413591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16381] ppid=16173 vsize=13801768 CPUtime=13.82 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16381/stat : 16381 (java) R 16173 16173 7102 0 -1 4202560 740 0 0 0 1382 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723891096392 139724085260492 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
[pid=16174/tid=16382] ppid=16173 vsize=13801768 CPUtime=14.18 cores=0,2,4,6,8,10,12,14
/proc/16174/task/16382/stat : 16382 (java) R 16173 16173 7102 0 -1 4202560 859 0 0 0 1418 0 0 0 20 0 28 0 4776513 14133010432 1561858 33554432000 4194304 4196468 140728504047312 139723890043592 139724090002204 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25260032 140728504054972 140728504055148 140728504055148 140728504057807 0
Current children cumulated CPU time (s) 2400.57
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16173 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1535
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1535
# CPU time returned by wait4() is 0.00307
# while last known CPU time is 2400.57
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 325.725
CPU time (s): 2400.57
CPU user time (s): 2373.9
CPU system time (s): 26.67
CPU usage (%): 736.993
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001535
system time used= 0.001535
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96322 second user time and 4.50001 second system time
The end