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-4249560-1500695281/watcher-4249560-1500695281 -o /tmp/evaluation-result-4249560-1500695281/solver-4249560-1500695281 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1831247824 HOME/instance-4249560-1500695281.xml
pid=16071
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.66 14.96 14.48 10/270 16074
/proc/meminfo: memFree=30344344/32770624 swapFree=5780/269432
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 15.66 14.96 14.48 10/270 16074
/proc/meminfo: memFree=30344344/32770624 swapFree=5780/269432
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200273 s]
/proc/loadavg: 15.66 14.96 14.48 10/270 16074
/proc/meminfo: memFree=30344344/32770624 swapFree=5780/269432
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300357 s]
/proc/loadavg: 15.66 14.96 14.48 10/270 16074
/proc/meminfo: memFree=30344344/32770624 swapFree=5780/269432
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70021 s]
/proc/loadavg: 15.66 14.96 14.48 10/270 16074
/proc/meminfo: memFree=30344344/32770624 swapFree=5780/269432
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50109 s]
/proc/loadavg: 15.13 14.86 14.45 13/291 16095
/proc/meminfo: memFree=30165636/32770624 swapFree=5780/269428
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
[pid=16075] ppid=16074 vsize=13269256 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/16075/stat : 16075 (java) S 16074 16074 14782 0 -1 1077944320 14166 0 0 0 353 14 0 0 20 0 20 0 4794382 13587718144 55655 33554432000 4194304 4196468 140721753447120 140721753429664 140139193646839 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
/proc/16075/statm: 3317314 55655 3221 1 0 3304547 0
[pid=16075/tid=16076] ppid=16074 vsize=13269256 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16076/stat : 16076 (java) S 16074 16074 14782 0 -1 1077944384 6574 0 0 0 140 4 0 0 20 0 20 0 4794382 13587718144 55655 33554432000 4194304 4196468 140721753447120 140139197884512 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16078] ppid=16074 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16078/stat : 16078 (java) R 16074 16074 14782 0 -1 4202560 21 0 0 0 1 1 0 0 20 0 20 0 4794383 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138792811280 140139178674726 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16079] ppid=16074 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16079/stat : 16079 (java) R 16074 16074 14782 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 20 0 4794383 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138791758936 140139178674231 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16080] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16080/stat : 16080 (java) R 16074 16074 14782 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 4794383 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138790706192 140139186750446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16081] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16081/stat : 16081 (java) R 16074 16074 14782 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 4794383 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138789653648 140139186750446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16082] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16082/stat : 16082 (java) R 16074 16074 14782 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 4794383 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138788600280 140139178670750 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16083] ppid=16074 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16083/stat : 16083 (java) R 16074 16074 14782 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 20 0 4794383 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138787547736 140139178673799 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16084] ppid=16074 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16084/stat : 16084 (java) R 16074 16074 14782 0 -1 4202560 22 0 0 0 1 1 0 0 20 0 20 0 4794383 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138786495192 140139175272710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16085] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16085/stat : 16085 (java) R 16074 16074 14782 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 4794383 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138785442448 140139193657045 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16086] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16086/stat : 16086 (java) S 16074 16074 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4794385 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138387489824 140139193657045 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16087] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16087/stat : 16087 (java) S 16074 16074 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4794386 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138386437536 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16088] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16088/stat : 16088 (java) S 16074 16074 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4794386 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138385384944 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16089] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16089/stat : 16089 (java) S 16074 16074 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4794391 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138384333520 140139193665435 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16090] ppid=16074 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16090/stat : 16090 (java) R 16074 16074 14782 0 -1 4202560 2182 0 0 0 60 0 0 0 20 0 20 0 4794391 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138383266656 140139174824762 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16091] ppid=16074 vsize=13269256 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16091/stat : 16091 (java) S 16074 16074 14782 0 -1 1077944384 1206 0 0 0 57 0 0 0 20 0 20 0 4794391 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138382227568 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16092] ppid=16074 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16092/stat : 16092 (java) S 16074 16074 14782 0 -1 1077944384 1321 0 0 0 53 0 0 0 20 0 20 0 4794391 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138381175024 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16093] ppid=16074 vsize=13269256 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16093/stat : 16093 (java) S 16074 16074 14782 0 -1 1077944384 1380 0 0 0 32 0 0 0 20 0 20 0 4794391 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138380122480 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16094] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16094/stat : 16094 (java) S 16074 16074 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4794391 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138379070176 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16095] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16095/stat : 16095 (java) S 16074 16074 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4794391 13587718144 55655 33554432000 4194304 4196468 140721753447120 140138378017712 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 13278768
[startup+3.10116 s]
/proc/loadavg: 15.13 14.86 14.45 12/291 16095
/proc/meminfo: memFree=30027748/32770624 swapFree=5780/269428
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
[pid=16075] ppid=16074 vsize=13269256 CPUtime=7.35 cores=0,2,4,6,8,10,12,14
/proc/16075/stat : 16075 (java) S 16074 16074 14782 0 -1 1077944320 18211 0 0 0 686 49 0 0 20 0 20 0 4794382 13587718144 114286 33554432000 4194304 4196468 140721753447120 140721753429664 140139193646839 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
/proc/16075/statm: 3317314 114286 3235 1 0 3304547 0
[pid=16075/tid=16076] ppid=16074 vsize=13269256 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16076/stat : 16076 (java) R 16074 16074 14782 0 -1 4202560 7168 0 0 0 288 7 0 0 20 0 20 0 4794382 13587718144 114286 33554432000 4194304 4196468 140721753447120 140139197884976 140139176109513 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16078] ppid=16074 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16078/stat : 16078 (java) S 16074 16074 14782 0 -1 1077944384 62 0 0 0 5 5 0 0 20 0 20 0 4794383 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138792811280 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16079] ppid=16074 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16079/stat : 16079 (java) S 16074 16074 14782 0 -1 1077944384 65 0 0 0 4 5 0 0 20 0 20 0 4794383 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138791758736 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16080] ppid=16074 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16080/stat : 16080 (java) S 16074 16074 14782 0 -1 1077944384 42 0 0 0 4 3 0 0 20 0 20 0 4794383 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138790706192 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16081] ppid=16074 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16081/stat : 16081 (java) S 16074 16074 14782 0 -1 1077944384 32 0 0 0 4 3 0 0 20 0 20 0 4794383 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138789653648 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16082] ppid=16074 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16082/stat : 16082 (java) S 16074 16074 14782 0 -1 1077944384 61 0 0 0 3 5 0 0 20 0 20 0 4794383 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138788600080 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16083] ppid=16074 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16083/stat : 16083 (java) S 16074 16074 14782 0 -1 1077944384 67 0 0 0 6 4 0 0 20 0 20 0 4794383 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138787547536 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16084] ppid=16074 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16084/stat : 16084 (java) S 16074 16074 14782 0 -1 1077944384 59 0 0 0 3 6 0 0 20 0 20 0 4794383 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138786494992 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16085] ppid=16074 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16085/stat : 16085 (java) S 16074 16074 14782 0 -1 1077944384 36 0 0 0 3 4 0 0 20 0 20 0 4794383 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138785442448 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16086] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16086/stat : 16086 (java) S 16074 16074 14782 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4794385 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138387491312 140139193657986 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16087] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16087/stat : 16087 (java) S 16074 16074 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4794386 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138386437600 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16088] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16088/stat : 16088 (java) S 16074 16074 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4794386 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138385384960 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16089] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16089/stat : 16089 (java) S 16074 16074 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4794391 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138384333520 140139193665435 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16090] ppid=16074 vsize=13269256 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16090/stat : 16090 (java) S 16074 16074 14782 0 -1 1077944384 3442 0 0 0 115 0 0 0 20 0 20 0 4794391 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138383280112 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16091] ppid=16074 vsize=13269256 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16091/stat : 16091 (java) S 16074 16074 14782 0 -1 1077944384 1868 0 0 0 98 1 0 0 20 0 20 0 4794391 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138382227568 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16092] ppid=16074 vsize=13269256 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16092/stat : 16092 (java) S 16074 16074 14782 0 -1 1077944384 2285 0 0 0 106 0 0 0 20 0 20 0 4794391 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138381175024 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16093] ppid=16074 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16093/stat : 16093 (java) S 16074 16074 14782 0 -1 1077944384 1519 0 0 0 40 0 0 0 20 0 20 0 4794391 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138380122480 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16094] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16094/stat : 16094 (java) S 16074 16074 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4794391 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138379070176 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16095] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16095/stat : 16095 (java) S 16074 16074 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4794391 13587718144 114286 33554432000 4194304 4196468 140721753447120 140138378017712 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 13278768
[startup+6.30348 s]
/proc/loadavg: 15.13 14.86 14.45 10/291 16095
/proc/meminfo: memFree=29575668/32770624 swapFree=5780/269440
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
[pid=16075] ppid=16074 vsize=13269256 CPUtime=11.2 cores=0,2,4,6,8,10,12,14
/proc/16075/stat : 16075 (java) S 16074 16074 14782 0 -1 1077944320 23579 0 0 0 1035 85 0 0 20 0 20 0 4794382 13587718144 193830 33554432000 4194304 4196468 140721753447120 140721753429664 140139193646839 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
/proc/16075/statm: 3317314 193830 3244 1 0 3304547 0
[pid=16075/tid=16076] ppid=16074 vsize=13269256 CPUtime=6.09 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16076/stat : 16076 (java) S 16074 16074 14782 0 -1 1077944384 9099 0 0 0 598 11 0 0 20 0 20 0 4794382 13587718144 193830 33554432000 4194304 4196468 140721753447120 140139197885456 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16078] ppid=16074 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16078/stat : 16078 (java) R 16074 16074 14782 0 -1 4202560 125 0 0 0 8 9 0 0 20 0 20 0 4794383 13587718144 193830 33554432000 4194304 4196468 140721753447120 140138792811480 140139178674713 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16079] ppid=16074 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16079/stat : 16079 (java) R 16074 16074 14782 0 -1 4202560 173 0 0 0 6 9 0 0 20 0 20 0 4794383 13587718144 193830 33554432000 4194304 4196468 140721753447120 140138791758624 140139172842083 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16080] ppid=16074 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16080/stat : 16080 (java) R 16074 16074 14782 0 -1 4202560 269 0 0 0 7 6 0 0 20 0 20 0 4794383 13587718144 193830 33554432000 4194304 4196468 140721753447120 140138790706392 140139186753375 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16081] ppid=16074 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16081/stat : 16081 (java) R 16074 16074 14782 0 -1 4202560 76 0 0 0 6 7 0 0 20 0 20 0 4794383 13587718144 193830 33554432000 4194304 4196468 140721753447120 140138789653848 140139178674695 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16082] ppid=16074 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16082/stat : 16082 (java) R 16074 16074 14782 0 -1 4202560 205 0 0 0 6 8 0 0 20 0 20 0 4794383 13587718144 194342 33554432000 4194304 4196468 140721753447120 140138788600280 140139172841514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16083] ppid=16074 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16083/stat : 16083 (java) R 16074 16074 14782 0 -1 4202560 129 0 0 0 8 8 0 0 20 0 20 0 4794383 13587718144 194342 33554432000 4194304 4196468 140721753447120 140138787547736 140139186750156 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16084] ppid=16074 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16084/stat : 16084 (java) R 16074 16074 14782 0 -1 4202560 122 0 0 0 6 9 0 0 20 0 20 0 4794383 13587718144 194342 33554432000 4194304 4196468 140721753447120 140138786495192 140139178674731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16085] ppid=16074 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16085/stat : 16085 (java) R 16074 16074 14782 0 -1 4202560 106 0 0 0 5 9 0 0 20 0 20 0 4794383 13587718144 194342 33554432000 4194304 4196468 140721753447120 140138785442648 140139186750112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16086] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16086/stat : 16086 (java) S 16074 16074 14782 0 -1 1077944384 696 0 0 0 0 0 0 0 20 0 20 0 4794385 13587718144 194342 33554432000 4194304 4196468 140721753447120 140138387489824 140139193657045 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16087] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16087/stat : 16087 (java) S 16074 16074 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4794386 13587718144 194342 33554432000 4194304 4196468 140721753447120 140138386437600 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16088] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16088/stat : 16088 (java) S 16074 16074 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4794386 13587718144 194342 33554432000 4194304 4196468 140721753447120 140138385384960 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16089] ppid=16074 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16089/stat : 16089 (java) S 16074 16074 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4794391 13587718144 194342 33554432000 4194304 4196468 140721753447120 140138384333520 140139193665435 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
################
# More data... #
################
[pid=16075/tid=16110] ppid=16074 vsize=13801768 CPUtime=264.81 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16110/stat : 16110 (java) R 16074 16074 14782 0 -1 4202560 1735 0 0 0 26478 3 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138363686432 140138833490350 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16111] ppid=16074 vsize=13801768 CPUtime=265.23 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16111/stat : 16111 (java) R 16074 16074 14782 0 -1 4202560 1718 0 0 0 26521 2 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138365791832 140138833491427 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
Current children cumulated CPU time (s) 2174.24
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+310.702 s]
/proc/loadavg: 16.12 15.61 14.87 17/301 16221
/proc/meminfo: memFree=27566780/32770624 swapFree=5780/269852
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
[pid=16075] ppid=16074 vsize=13801768 CPUtime=2400.57 cores=0,2,4,6,8,10,12,14
/proc/16075/stat : 16075 (java) S 16074 16074 14782 0 -1 1077944320 116104 0 0 0 239647 410 0 0 20 0 28 0 4794382 14133010432 983470 33554432000 4194304 4196468 140721753447120 140721753429664 140139193646839 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
/proc/16075/statm: 3450442 983470 3296 1 0 3437675 0
[pid=16075/tid=16076] ppid=16074 vsize=13801768 CPUtime=10.56 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16076/stat : 16076 (java) S 16074 16074 14782 0 -1 1077944384 9989 0 0 0 1038 18 0 0 20 0 28 0 4794382 14133010432 983470 33554432000 4194304 4196468 140721753447120 140139197887616 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16078] ppid=16074 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16078/stat : 16078 (java) S 16074 16074 14782 0 -1 1077944384 559 0 0 0 69 42 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138792811280 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16079] ppid=16074 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16079/stat : 16079 (java) S 16074 16074 14782 0 -1 1077944384 1560 0 0 0 74 36 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138791758736 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16080] ppid=16074 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16080/stat : 16080 (java) S 16074 16074 14782 0 -1 1077944384 1376 0 0 0 61 48 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138790706192 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16081] ppid=16074 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16081/stat : 16081 (java) S 16074 16074 14782 0 -1 1077944384 1058 0 0 0 75 31 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138789653648 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16082] ppid=16074 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16082/stat : 16082 (java) S 16074 16074 14782 0 -1 1077944384 973 0 0 0 67 42 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138788600080 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16083] ppid=16074 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16083/stat : 16083 (java) S 16074 16074 14782 0 -1 1077944384 612 0 0 0 68 43 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138787547536 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16084] ppid=16074 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16084/stat : 16084 (java) S 16074 16074 14782 0 -1 1077944384 1394 0 0 0 66 44 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138786494992 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16085] ppid=16074 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16085/stat : 16085 (java) S 16074 16074 14782 0 -1 1077944384 2076 0 0 0 66 43 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138785442448 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16086] ppid=16074 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16086/stat : 16086 (java) S 16074 16074 14782 0 -1 1077944384 10996 0 0 0 17 5 0 0 20 0 28 0 4794385 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138387491312 140139193657986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16087] ppid=16074 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16087/stat : 16087 (java) S 16074 16074 14782 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4794386 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138386437600 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16088] ppid=16074 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16088/stat : 16088 (java) S 16074 16074 14782 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4794386 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138385384960 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16089] ppid=16074 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16089/stat : 16089 (java) S 16074 16074 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138384333520 140139193665435 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16090] ppid=16074 vsize=13801768 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16090/stat : 16090 (java) S 16074 16074 14782 0 -1 1077944384 12949 0 0 0 332 1 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138383280112 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16091] ppid=16074 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16091/stat : 16091 (java) S 16074 16074 14782 0 -1 1077944384 15380 0 0 0 364 2 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138382227568 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16092] ppid=16074 vsize=13801768 CPUtime=3.59 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16092/stat : 16092 (java) S 16074 16074 14782 0 -1 1077944384 14545 0 0 0 357 2 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138381175024 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16093] ppid=16074 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16093/stat : 16093 (java) S 16074 16074 14782 0 -1 1077944384 9844 0 0 0 89 2 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138380122480 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16094] ppid=16074 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16094/stat : 16094 (java) S 16074 16074 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138379070176 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16095] ppid=16074 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16095/stat : 16095 (java) S 16074 16074 14782 0 -1 1077944384 1633 0 0 0 8 6 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138378017712 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16104] ppid=16074 vsize=13801768 CPUtime=293.18 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16104/stat : 16104 (java) R 16074 16074 14782 0 -1 4202560 3047 0 0 0 29313 5 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138370001848 140138833490428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16105] ppid=16074 vsize=13801768 CPUtime=289.33 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16105/stat : 16105 (java) R 16074 16074 14782 0 -1 4202560 1456 0 0 0 28929 4 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138368950424 140138833490432 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16106] ppid=16074 vsize=13801768 CPUtime=293.81 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16106/stat : 16106 (java) R 16074 16074 14782 0 -1 4202560 6103 0 0 0 29375 6 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138367896608 140138833491454 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16107] ppid=16074 vsize=13801768 CPUtime=293.79 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16107/stat : 16107 (java) R 16074 16074 14782 0 -1 4202560 7537 0 0 0 29375 4 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138366844312 140138834701812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16108] ppid=16074 vsize=13801768 CPUtime=293.02 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16108/stat : 16108 (java) R 16074 16074 14782 0 -1 4202560 1778 0 0 0 29298 4 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138364738936 140138833490395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16109] ppid=16074 vsize=13801768 CPUtime=293.84 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16109/stat : 16109 (java) R 16074 16074 14782 0 -1 4202560 3076 0 0 0 29379 5 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138362633880 140138833490345 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16110] ppid=16074 vsize=13801768 CPUtime=293.14 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16110/stat : 16110 (java) R 16074 16074 14782 0 -1 4202560 1778 0 0 0 29311 3 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138363686680 140138833490432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16111] ppid=16074 vsize=13801768 CPUtime=293.61 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16111/stat : 16111 (java) R 16074 16074 14782 0 -1 4202560 1775 0 0 0 29359 2 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138365791960 140138833490386 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 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 16075 sig 9
??? kill 16074 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+310.702 s]
/proc/loadavg: 16.12 15.61 14.87 17/301 16221
/proc/meminfo: memFree=27566780/32770624 swapFree=5780/269852
[pid=16074] ppid=16071 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16074/stat : 16074 (xcsp3-exec) S 16071 16074 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4794381 9740288 345 33554432000 4194304 5098028 140734547860272 140734547858376 140625552142972 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27197440 140734547862670 140734547862880 140734547862880 140734547865579 0
/proc/16074/statm: 2378 345 289 221 0 87 0
[pid=16075] ppid=16074 vsize=13801768 CPUtime=2400.57 cores=0,2,4,6,8,10,12,14
/proc/16075/stat : 16075 (java) S 16074 16074 14782 0 -1 1077944320 116104 0 0 0 239647 410 0 0 20 0 28 0 4794382 14133010432 983470 33554432000 4194304 4196468 140721753447120 140721753429664 140139193646839 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
/proc/16075/statm: 3450442 983470 3296 1 0 3437675 0
[pid=16075/tid=16076] ppid=16074 vsize=13801768 CPUtime=10.56 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16076/stat : 16076 (java) S 16074 16074 14782 0 -1 1077944384 9989 0 0 0 1038 18 0 0 20 0 28 0 4794382 14133010432 983470 33554432000 4194304 4196468 140721753447120 140139197887616 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16078] ppid=16074 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16078/stat : 16078 (java) S 16074 16074 14782 0 -1 1077944384 559 0 0 0 69 42 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138792811280 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16079] ppid=16074 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16079/stat : 16079 (java) S 16074 16074 14782 0 -1 1077944384 1560 0 0 0 74 36 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138791758736 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16080] ppid=16074 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16080/stat : 16080 (java) S 16074 16074 14782 0 -1 1077944384 1376 0 0 0 61 48 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138790706192 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16081] ppid=16074 vsize=13801768 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16081/stat : 16081 (java) S 16074 16074 14782 0 -1 1077944384 1058 0 0 0 75 31 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138789653648 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16082] ppid=16074 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16082/stat : 16082 (java) S 16074 16074 14782 0 -1 1077944384 973 0 0 0 67 42 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138788600080 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16083] ppid=16074 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16083/stat : 16083 (java) S 16074 16074 14782 0 -1 1077944384 612 0 0 0 68 43 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138787547536 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16084] ppid=16074 vsize=13801768 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16084/stat : 16084 (java) S 16074 16074 14782 0 -1 1077944384 1394 0 0 0 66 44 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138786494992 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16085] ppid=16074 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16085/stat : 16085 (java) S 16074 16074 14782 0 -1 1077944384 2076 0 0 0 66 43 0 0 20 0 28 0 4794383 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138785442448 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16086] ppid=16074 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16086/stat : 16086 (java) S 16074 16074 14782 0 -1 1077944384 10996 0 0 0 17 5 0 0 20 0 28 0 4794385 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138387491312 140139193657986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16087] ppid=16074 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16087/stat : 16087 (java) S 16074 16074 14782 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4794386 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138386437600 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16088] ppid=16074 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16088/stat : 16088 (java) S 16074 16074 14782 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4794386 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138385384960 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16089] ppid=16074 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16089/stat : 16089 (java) S 16074 16074 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138384333520 140139193665435 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16090] ppid=16074 vsize=13801768 CPUtime=3.33 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16090/stat : 16090 (java) S 16074 16074 14782 0 -1 1077944384 12949 0 0 0 332 1 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138383280112 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16091] ppid=16074 vsize=13801768 CPUtime=3.66 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16091/stat : 16091 (java) S 16074 16074 14782 0 -1 1077944384 15380 0 0 0 364 2 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138382227568 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16092] ppid=16074 vsize=13801768 CPUtime=3.59 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16092/stat : 16092 (java) S 16074 16074 14782 0 -1 1077944384 14545 0 0 0 357 2 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138381175024 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16093] ppid=16074 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16093/stat : 16093 (java) S 16074 16074 14782 0 -1 1077944384 9844 0 0 0 89 2 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138380122480 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16094] ppid=16074 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16094/stat : 16094 (java) S 16074 16074 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138379070176 140139193657045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16095] ppid=16074 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16095/stat : 16095 (java) S 16074 16074 14782 0 -1 1077944384 1633 0 0 0 8 6 0 0 20 0 28 0 4794391 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138378017712 140139193657986 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16104] ppid=16074 vsize=13801768 CPUtime=293.18 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16104/stat : 16104 (java) R 16074 16074 14782 0 -1 4202560 3047 0 0 0 29313 5 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138370001848 140138833490428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16105] ppid=16074 vsize=13801768 CPUtime=289.33 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16105/stat : 16105 (java) R 16074 16074 14782 0 -1 4202560 1456 0 0 0 28929 4 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138368950424 140138833490432 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16106] ppid=16074 vsize=13801768 CPUtime=293.81 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16106/stat : 16106 (java) R 16074 16074 14782 0 -1 4202560 6103 0 0 0 29375 6 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138367896608 140138833491454 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16107] ppid=16074 vsize=13801768 CPUtime=293.79 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16107/stat : 16107 (java) R 16074 16074 14782 0 -1 4202560 7537 0 0 0 29375 4 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138366844312 140138834701812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16108] ppid=16074 vsize=13801768 CPUtime=293.02 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16108/stat : 16108 (java) R 16074 16074 14782 0 -1 4202560 1778 0 0 0 29298 4 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138364738936 140138833490395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16109] ppid=16074 vsize=13801768 CPUtime=293.84 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16109/stat : 16109 (java) R 16074 16074 14782 0 -1 4202560 3076 0 0 0 29379 5 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138362633880 140138833490345 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16110] ppid=16074 vsize=13801768 CPUtime=293.14 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16110/stat : 16110 (java) R 16074 16074 14782 0 -1 4202560 1778 0 0 0 29311 3 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138363686680 140138833490432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 0
[pid=16075/tid=16111] ppid=16074 vsize=13801768 CPUtime=293.61 cores=0,2,4,6,8,10,12,14
/proc/16075/task/16111/stat : 16111 (java) R 16074 16074 14782 0 -1 4202560 1775 0 0 0 29359 2 0 0 20 0 28 0 4795931 14133010432 983470 33554432000 4194304 4196468 140721753447120 140138365791960 140138833490386 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25370624 140721753449660 140721753449836 140721753449836 140721753452495 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 16074 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2059
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1029
# CPU time returned by wait4() is 0.003088
# 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): 310.712
CPU time (s): 2400.57
CPU user time (s): 2396.47
CPU system time (s): 4.1
CPU usage (%): 772.603
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002059
system time used= 0.001029
maximum resident set size= 1384
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 4.27667 second user time and 3.36796 second system time
The end