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-4249441-1500694847/watcher-4249441-1500694847 -o /tmp/evaluation-result-4249441-1500694847/solver-4249441-1500694847 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1810171505 HOME/instance-4249441-1500694847.xml
pid=11789
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: 11.57 13.97 14.69 10/270 11792
/proc/meminfo: memFree=31167348/32770624 swapFree=5808/123336
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
[startup+0.100098 s]
/proc/loadavg: 11.57 13.97 14.69 10/270 11792
/proc/meminfo: memFree=31167348/32770624 swapFree=5808/123336
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200314 s]
/proc/loadavg: 11.57 13.97 14.69 10/270 11792
/proc/meminfo: memFree=31167348/32770624 swapFree=5808/123336
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300268 s]
/proc/loadavg: 11.57 13.97 14.69 10/270 11792
/proc/meminfo: memFree=31167348/32770624 swapFree=5808/123336
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700281 s]
/proc/loadavg: 11.57 13.97 14.69 10/270 11792
/proc/meminfo: memFree=31167348/32770624 swapFree=5808/123336
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50126 s]
/proc/loadavg: 11.60 13.93 14.67 13/291 11813
/proc/meminfo: memFree=30972008/32770624 swapFree=5808/123364
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
[pid=11793] ppid=11792 vsize=13271024 CPUtime=4.61 cores=0,2,4,6,8,10,12,14
/proc/11793/stat : 11793 (java) S 11792 11792 15196 0 -1 1077944320 24052 0 0 0 446 15 0 0 20 0 20 0 4749841 13589528576 55142 33554432000 4194304 4196468 140727503978048 140727503960592 140659213934327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
/proc/11793/statm: 3317756 55142 3236 1 0 3304989 0
[pid=11793/tid=11794] ppid=11792 vsize=13271024 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11794/stat : 11794 (java) R 11792 11792 15196 0 -1 4202560 6373 0 0 0 140 5 0 0 20 0 20 0 4749841 13589528576 55142 33554432000 4194304 4196468 140727503978048 140659218171304 140658854431057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11796] ppid=11792 vsize=13271024 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11796/stat : 11796 (java) S 11792 11792 15196 0 -1 1077944384 166 0 0 0 0 1 0 0 20 0 20 0 4749842 13589528576 55142 33554432000 4194304 4196468 140727503978048 140658813258768 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11797] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11797/stat : 11797 (java) S 11792 11792 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4749842 13589528576 55142 33554432000 4194304 4196468 140727503978048 140658812206224 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11798] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11798/stat : 11798 (java) S 11792 11792 15196 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 4749842 13589528576 55142 33554432000 4194304 4196468 140727503978048 140658811153168 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11799] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11799/stat : 11799 (java) S 11792 11792 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4749842 13589528576 55142 33554432000 4194304 4196468 140727503978048 140658810100624 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11800] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11800/stat : 11800 (java) S 11792 11792 15196 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 4749842 13589528576 55142 33554432000 4194304 4196468 140727503978048 140658809047568 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11801] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11801/stat : 11801 (java) S 11792 11792 15196 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 4749842 13589528576 55142 33554432000 4194304 4196468 140727503978048 140658807995024 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11802] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11802/stat : 11802 (java) S 11792 11792 15196 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4749842 13589528576 55142 33554432000 4194304 4196468 140727503978048 140658806941968 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11803] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11803/stat : 11803 (java) S 11792 11792 15196 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 4749842 13589528576 55142 33554432000 4194304 4196468 140727503978048 140658805889424 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11804] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11804/stat : 11804 (java) S 11792 11792 15196 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 20 0 4749844 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657878756080 140659213945474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11805] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11805/stat : 11805 (java) S 11792 11792 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4749845 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657877702304 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11806] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11806/stat : 11806 (java) S 11792 11792 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4749845 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657876649200 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11807] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11807/stat : 11807 (java) S 11792 11792 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4749849 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657875597776 140659213952923 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11808] ppid=11792 vsize=13271024 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11808/stat : 11808 (java) S 11792 11792 15196 0 -1 1077944384 3357 0 0 0 85 0 0 0 20 0 20 0 4749849 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657874544880 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11809] ppid=11792 vsize=13271024 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11809/stat : 11809 (java) S 11792 11792 15196 0 -1 1077944384 4250 0 0 0 85 1 0 0 20 0 20 0 4749849 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657873492336 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11810] ppid=11792 vsize=13271024 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11810/stat : 11810 (java) R 11792 11792 15196 0 -1 4202560 5803 0 0 0 87 1 0 0 20 0 20 0 4749849 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657872425256 140659195459441 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11811] ppid=11792 vsize=13271024 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11811/stat : 11811 (java) S 11792 11792 15196 0 -1 1077944384 2177 0 0 0 43 1 0 0 20 0 20 0 4749849 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657871386736 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 12 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11812] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11812/stat : 11812 (java) S 11792 11792 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4749849 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657870334944 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11813] ppid=11792 vsize=13271024 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11813/stat : 11813 (java) S 11792 11792 15196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4749849 13589528576 55142 33554432000 4194304 4196468 140727503978048 140657869282480 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 9 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 13280536
[startup+3.10107 s]
/proc/loadavg: 11.60 13.93 14.67 21/291 11813
/proc/meminfo: memFree=30791584/32770624 swapFree=5808/123368
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
[pid=11793] ppid=11792 vsize=13801768 CPUtime=8.58 cores=0,2,4,6,8,10,12,14
/proc/11793/stat : 11793 (java) S 11792 11792 15196 0 -1 1077944320 30246 0 0 0 775 83 0 0 20 0 28 0 4749841 14133010432 119934 33554432000 4194304 4196468 140727503978048 140727503960592 140659213934327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
/proc/11793/statm: 3450442 119934 3241 1 0 3437675 0
[pid=11793/tid=11794] ppid=11792 vsize=13801768 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11794/stat : 11794 (java) S 11792 11792 15196 0 -1 1077944384 7858 0 0 0 280 6 0 0 20 0 28 0 4749841 14133010432 119934 33554432000 4194304 4196468 140727503978048 140659218175104 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11796] ppid=11792 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11796/stat : 11796 (java) S 11792 11792 15196 0 -1 1077944384 264 0 0 0 5 10 0 0 20 0 28 0 4749842 14133010432 119934 33554432000 4194304 4196468 140727503978048 140658813258768 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11797] ppid=11792 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11797/stat : 11797 (java) S 11792 11792 15196 0 -1 1077944384 381 0 0 0 4 9 0 0 20 0 28 0 4749842 14133010432 119934 33554432000 4194304 4196468 140727503978048 140658812206224 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11798] ppid=11792 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11798/stat : 11798 (java) S 11792 11792 15196 0 -1 1077944384 146 0 0 0 4 8 0 0 20 0 28 0 4749842 14133010432 119934 33554432000 4194304 4196468 140727503978048 140658811153168 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11799] ppid=11792 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11799/stat : 11799 (java) S 11792 11792 15196 0 -1 1077944384 120 0 0 0 4 8 0 0 20 0 28 0 4749842 14133010432 119934 33554432000 4194304 4196468 140727503978048 140658810100624 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11800] ppid=11792 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11800/stat : 11800 (java) S 11792 11792 15196 0 -1 1077944384 353 0 0 0 4 6 0 0 20 0 28 0 4749842 14133010432 119934 33554432000 4194304 4196468 140727503978048 140658809047568 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11801] ppid=11792 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11801/stat : 11801 (java) S 11792 11792 15196 0 -1 1077944384 155 0 0 0 4 7 0 0 20 0 28 0 4749842 14133010432 119934 33554432000 4194304 4196468 140727503978048 140658807995024 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11802] ppid=11792 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11802/stat : 11802 (java) S 11792 11792 15196 0 -1 1077944384 102 0 0 0 5 10 0 0 20 0 28 0 4749842 14133010432 119934 33554432000 4194304 4196468 140727503978048 140658806941968 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11803] ppid=11792 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11803/stat : 11803 (java) S 11792 11792 15196 0 -1 1077944384 92 0 0 0 5 9 0 0 20 0 28 0 4749842 14133010432 119934 33554432000 4194304 4196468 140727503978048 140658805889424 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11804] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11804/stat : 11804 (java) S 11792 11792 15196 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 28 0 4749844 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657878756080 140659213945474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11805] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11805/stat : 11805 (java) S 11792 11792 15196 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4749845 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657877702368 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11806] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11806/stat : 11806 (java) S 11792 11792 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4749845 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657876649216 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11807] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11807/stat : 11807 (java) S 11792 11792 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4749849 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657875597776 140659213952923 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11808] ppid=11792 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11808/stat : 11808 (java) R 11792 11792 15196 0 -1 4202560 3476 0 0 0 108 0 0 0 20 0 28 0 4749849 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657874537904 140659213946262 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11809] ppid=11792 vsize=13801768 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11809/stat : 11809 (java) R 11792 11792 15196 0 -1 4202560 5836 0 0 0 148 1 0 0 20 0 28 0 4749849 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657873477616 140659197434533 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11810] ppid=11792 vsize=13801768 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11810/stat : 11810 (java) R 11792 11792 15196 0 -1 4202560 6399 0 0 0 124 1 0 0 20 0 28 0 4749849 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657872429088 140659195462391 0 4 0 16800975 0 0 0 -1 12 0 0 12 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11811] ppid=11792 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11811/stat : 11811 (java) R 11792 11792 15196 0 -1 1077944384 2934 0 0 0 60 1 0 0 20 0 28 0 4749849 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657871386864 140659213944533 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11812] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11812/stat : 11812 (java) S 11792 11792 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4749849 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657870334944 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11813] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11813/stat : 11813 (java) S 11792 11792 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4749849 14133010432 119934 33554432000 4194304 4196468 140727503978048 140657869282480 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (KiB) 13811280
[startup+6.30145 s]
/proc/loadavg: 11.60 13.93 14.67 17/299 11821
/proc/meminfo: memFree=30604568/32770624 swapFree=5808/123368
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
[pid=11793] ppid=11792 vsize=13801768 CPUtime=34.03 cores=0,2,4,6,8,10,12,14
/proc/11793/stat : 11793 (java) S 11792 11792 15196 0 -1 1077944320 35037 0 0 0 3314 89 0 0 20 0 28 0 4749841 14133010432 171377 33554432000 4194304 4196468 140727503978048 140727503960592 140659213934327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
/proc/11793/statm: 3450442 171377 3268 1 0 3437675 0
[pid=11793/tid=11794] ppid=11792 vsize=13801768 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11794/stat : 11794 (java) S 11792 11792 15196 0 -1 1077944384 7858 0 0 0 280 6 0 0 20 0 28 0 4749841 14133010432 171377 33554432000 4194304 4196468 140727503978048 140659218175104 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11796] ppid=11792 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11796/stat : 11796 (java) S 11792 11792 15196 0 -1 1077944384 264 0 0 0 5 10 0 0 20 0 28 0 4749842 14133010432 171377 33554432000 4194304 4196468 140727503978048 140658813258768 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11797] ppid=11792 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11797/stat : 11797 (java) S 11792 11792 15196 0 -1 1077944384 381 0 0 0 4 9 0 0 20 0 28 0 4749842 14133010432 171377 33554432000 4194304 4196468 140727503978048 140658812206224 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11798] ppid=11792 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11798/stat : 11798 (java) S 11792 11792 15196 0 -1 1077944384 146 0 0 0 4 8 0 0 20 0 28 0 4749842 14133010432 171377 33554432000 4194304 4196468 140727503978048 140658811153168 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11799] ppid=11792 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11799/stat : 11799 (java) S 11792 11792 15196 0 -1 1077944384 120 0 0 0 4 8 0 0 20 0 28 0 4749842 14133010432 171377 33554432000 4194304 4196468 140727503978048 140658810100624 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11800] ppid=11792 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11800/stat : 11800 (java) S 11792 11792 15196 0 -1 1077944384 353 0 0 0 4 6 0 0 20 0 28 0 4749842 14133010432 171377 33554432000 4194304 4196468 140727503978048 140658809047568 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11801] ppid=11792 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11801/stat : 11801 (java) S 11792 11792 15196 0 -1 1077944384 155 0 0 0 4 7 0 0 20 0 28 0 4749842 14133010432 171377 33554432000 4194304 4196468 140727503978048 140658807995024 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11802] ppid=11792 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11802/stat : 11802 (java) S 11792 11792 15196 0 -1 1077944384 102 0 0 0 5 10 0 0 20 0 28 0 4749842 14133010432 171377 33554432000 4194304 4196468 140727503978048 140658806941968 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11803] ppid=11792 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11803/stat : 11803 (java) S 11792 11792 15196 0 -1 1077944384 92 0 0 0 5 9 0 0 20 0 28 0 4749842 14133010432 171377 33554432000 4194304 4196468 140727503978048 140658805889424 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11804] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11804/stat : 11804 (java) S 11792 11792 15196 0 -1 1077944384 503 0 0 0 0 0 0 0 20 0 28 0 4749844 14133010432 171377 33554432000 4194304 4196468 140727503978048 140657878756080 140659213945474 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11805] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11805/stat : 11805 (java) S 11792 11792 15196 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4749845 14133010432 171377 33554432000 4194304 4196468 140727503978048 140657877702368 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11806] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11806/stat : 11806 (java) S 11792 11792 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4749845 14133010432 171377 33554432000 4194304 4196468 140727503978048 140657876649216 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11807] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11807/stat : 11807 (java) S 11792 11792 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4749849 14133010432 171377 33554432000 4194304 4196468 140727503978048 140657875597776 140659213952923 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
################
# More data... #
################
[pid=11793/tid=11982] ppid=11792 vsize=13801768 CPUtime=87.26 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11982/stat : 11982 (java) R 11792 11792 15196 0 -1 4202560 3292 0 0 0 8726 0 0 0 20 0 28 0 4769300 14133010432 911613 33554432000 4194304 4196468 140727503978048 140657858110312 140658858312150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11983] ppid=11792 vsize=13801768 CPUtime=87.43 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11983/stat : 11983 (java) R 11792 11792 15196 0 -1 4202560 1386 0 0 0 8743 0 0 0 20 0 28 0 4769300 14133010432 911613 33554432000 4194304 4196468 140727503978048 140657859162040 140658858312142 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
Current children cumulated CPU time (s) 2201.37
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+307.301 s]
/proc/loadavg: 16.01 15.22 15.02 17/299 11985
/proc/meminfo: memFree=28075888/32770624 swapFree=5808/123760
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
[pid=11793] ppid=11792 vsize=13801768 CPUtime=2400.57 cores=0,2,4,6,8,10,12,14
/proc/11793/stat : 11793 (java) S 11792 11792 15196 0 -1 1077944320 200664 0 0 0 239525 532 0 0 20 0 28 0 4749841 14133010432 877012 33554432000 4194304 4196468 140727503978048 140727503960592 140659213934327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
/proc/11793/statm: 3450442 877012 3302 1 0 3437675 0
[pid=11793/tid=11794] ppid=11792 vsize=13801768 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11794/stat : 11794 (java) S 11792 11792 15196 0 -1 1077944384 8651 0 0 0 281 6 0 0 20 0 28 0 4749841 14133010432 877012 33554432000 4194304 4196468 140727503978048 140659218175104 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11796] ppid=11792 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11796/stat : 11796 (java) S 11792 11792 15196 0 -1 1077944384 2032 0 0 0 41 58 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658813258768 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11797] ppid=11792 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11797/stat : 11797 (java) S 11792 11792 15196 0 -1 1077944384 3221 0 0 0 38 57 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658812206224 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11798] ppid=11792 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11798/stat : 11798 (java) S 11792 11792 15196 0 -1 1077944384 1900 0 0 0 38 57 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658811153168 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11799] ppid=11792 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11799/stat : 11799 (java) S 11792 11792 15196 0 -1 1077944384 2048 0 0 0 42 55 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658810100624 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11800] ppid=11792 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11800/stat : 11800 (java) S 11792 11792 15196 0 -1 1077944384 2632 0 0 0 40 55 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658809047568 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11801] ppid=11792 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11801/stat : 11801 (java) S 11792 11792 15196 0 -1 1077944384 2379 0 0 0 40 52 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658807995024 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11802] ppid=11792 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11802/stat : 11802 (java) S 11792 11792 15196 0 -1 1077944384 994 0 0 0 42 55 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658806941968 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11803] ppid=11792 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11803/stat : 11803 (java) S 11792 11792 15196 0 -1 1077944384 1679 0 0 0 43 55 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658805889424 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11804] ppid=11792 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11804/stat : 11804 (java) S 11792 11792 15196 0 -1 1077944384 8655 0 0 0 22 8 0 0 20 0 28 0 4749844 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657878756080 140659213945474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11805] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11805/stat : 11805 (java) S 11792 11792 15196 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 4749845 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657877702368 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11806] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11806/stat : 11806 (java) S 11792 11792 15196 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 4749845 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657876649216 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11807] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11807/stat : 11807 (java) S 11792 11792 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657875597776 140659213952923 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11808] ppid=11792 vsize=13801768 CPUtime=4.82 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11808/stat : 11808 (java) S 11792 11792 15196 0 -1 1077944384 27156 0 0 0 479 3 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657874544880 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11809] ppid=11792 vsize=13801768 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11809/stat : 11809 (java) S 11792 11792 15196 0 -1 1077944384 24355 0 0 0 476 2 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657873492336 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11810] ppid=11792 vsize=13801768 CPUtime=4.5 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11810/stat : 11810 (java) S 11792 11792 15196 0 -1 1077944384 25562 0 0 0 447 3 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657872439280 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 12 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11811] ppid=11792 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11811/stat : 11811 (java) S 11792 11792 15196 0 -1 1077944384 19104 0 0 0 104 3 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657871386736 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11812] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11812/stat : 11812 (java) S 11792 11792 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657870334944 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11813] ppid=11792 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11813/stat : 11813 (java) S 11792 11792 15196 0 -1 1077944384 2005 0 0 0 6 7 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657869282480 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11976] ppid=11792 vsize=13801768 CPUtime=112.51 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11976/stat : 11976 (java) R 11792 11792 15196 0 -1 4202560 1829 0 0 0 11251 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657861266376 140658858313205 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11977] ppid=11792 vsize=13801768 CPUtime=110.96 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11977/stat : 11977 (java) R 11792 11792 15196 0 -1 4202560 1220 0 0 0 11096 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657856004280 140658859911174 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11978] ppid=11792 vsize=13801768 CPUtime=112.08 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11978/stat : 11978 (java) R 11792 11792 15196 0 -1 4202560 2656 0 0 0 11208 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657860214440 140658858312155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11979] ppid=11792 vsize=13801768 CPUtime=112.29 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11979/stat : 11979 (java) R 11792 11792 15196 0 -1 4202560 2568 0 0 0 11229 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657854951208 140658859341929 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11980] ppid=11792 vsize=13801768 CPUtime=111.42 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11980/stat : 11980 (java) R 11792 11792 15196 0 -1 4202560 3023 0 0 0 11142 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657853898048 140658858313373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11981] ppid=11792 vsize=13801768 CPUtime=112.27 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11981/stat : 11981 (java) R 11792 11792 15196 0 -1 4202560 1157 0 0 0 11227 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657857059280 140658859339391 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11982] ppid=11792 vsize=13801768 CPUtime=112.23 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11982/stat : 11982 (java) R 11792 11792 15196 0 -1 4202560 3598 0 0 0 11222 1 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657858109752 140658858313358 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11983] ppid=11792 vsize=13801768 CPUtime=112.4 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11983/stat : 11983 (java) R 11792 11792 15196 0 -1 4202560 1491 0 0 0 11240 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657859161944 140658858313779 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 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 11793 sig 9
??? kill 11792 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.301 s]
/proc/loadavg: 16.01 15.22 15.02 17/299 11985
/proc/meminfo: memFree=28075888/32770624 swapFree=5808/123760
[pid=11792] ppid=11789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11792/stat : 11792 (xcsp3-exec) S 11789 11792 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4749841 9740288 346 33554432000 4194304 5098028 140725847991312 140725847989416 140622734803580 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 40677376 140725847999630 140725847999840 140725847999840 140725848002539 0
/proc/11792/statm: 2378 346 289 221 0 87 0
[pid=11793] ppid=11792 vsize=13801768 CPUtime=2400.57 cores=0,2,4,6,8,10,12,14
/proc/11793/stat : 11793 (java) S 11792 11792 15196 0 -1 1077944320 200664 0 0 0 239525 532 0 0 20 0 28 0 4749841 14133010432 877012 33554432000 4194304 4196468 140727503978048 140727503960592 140659213934327 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
/proc/11793/statm: 3450442 877012 3302 1 0 3437675 0
[pid=11793/tid=11794] ppid=11792 vsize=13801768 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11794/stat : 11794 (java) S 11792 11792 15196 0 -1 1077944384 8651 0 0 0 281 6 0 0 20 0 28 0 4749841 14133010432 877012 33554432000 4194304 4196468 140727503978048 140659218175104 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11796] ppid=11792 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11796/stat : 11796 (java) S 11792 11792 15196 0 -1 1077944384 2032 0 0 0 41 58 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658813258768 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11797] ppid=11792 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11797/stat : 11797 (java) S 11792 11792 15196 0 -1 1077944384 3221 0 0 0 38 57 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658812206224 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11798] ppid=11792 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11798/stat : 11798 (java) S 11792 11792 15196 0 -1 1077944384 1900 0 0 0 38 57 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658811153168 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11799] ppid=11792 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11799/stat : 11799 (java) S 11792 11792 15196 0 -1 1077944384 2048 0 0 0 42 55 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658810100624 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11800] ppid=11792 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11800/stat : 11800 (java) S 11792 11792 15196 0 -1 1077944384 2632 0 0 0 40 55 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658809047568 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11801] ppid=11792 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11801/stat : 11801 (java) S 11792 11792 15196 0 -1 1077944384 2379 0 0 0 40 52 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658807995024 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11802] ppid=11792 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11802/stat : 11802 (java) S 11792 11792 15196 0 -1 1077944384 994 0 0 0 42 55 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658806941968 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11803] ppid=11792 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11803/stat : 11803 (java) S 11792 11792 15196 0 -1 1077944384 1679 0 0 0 43 55 0 0 20 0 28 0 4749842 14133010432 877012 33554432000 4194304 4196468 140727503978048 140658805889424 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11804] ppid=11792 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11804/stat : 11804 (java) S 11792 11792 15196 0 -1 1077944384 8655 0 0 0 22 8 0 0 20 0 28 0 4749844 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657878756080 140659213945474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11805] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11805/stat : 11805 (java) S 11792 11792 15196 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 4749845 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657877702368 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11806] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11806/stat : 11806 (java) S 11792 11792 15196 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 4749845 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657876649216 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11807] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11807/stat : 11807 (java) S 11792 11792 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657875597776 140659213952923 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11808] ppid=11792 vsize=13801768 CPUtime=4.82 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11808/stat : 11808 (java) S 11792 11792 15196 0 -1 1077944384 27156 0 0 0 479 3 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657874544880 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11809] ppid=11792 vsize=13801768 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11809/stat : 11809 (java) S 11792 11792 15196 0 -1 1077944384 24355 0 0 0 476 2 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657873492336 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11810] ppid=11792 vsize=13801768 CPUtime=4.5 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11810/stat : 11810 (java) S 11792 11792 15196 0 -1 1077944384 25562 0 0 0 447 3 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657872439280 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 12 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11811] ppid=11792 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11811/stat : 11811 (java) S 11792 11792 15196 0 -1 1077944384 19104 0 0 0 104 3 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657871386736 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11812] ppid=11792 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11812/stat : 11812 (java) S 11792 11792 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657870334944 140659213944533 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11813] ppid=11792 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11813/stat : 11813 (java) S 11792 11792 15196 0 -1 1077944384 2005 0 0 0 6 7 0 0 20 0 28 0 4749849 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657869282480 140659213945474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11976] ppid=11792 vsize=13801768 CPUtime=112.51 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11976/stat : 11976 (java) R 11792 11792 15196 0 -1 4202560 1829 0 0 0 11251 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657861266376 140658858313205 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11977] ppid=11792 vsize=13801768 CPUtime=110.96 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11977/stat : 11977 (java) R 11792 11792 15196 0 -1 4202560 1220 0 0 0 11096 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657856004280 140658859911174 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11978] ppid=11792 vsize=13801768 CPUtime=112.08 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11978/stat : 11978 (java) R 11792 11792 15196 0 -1 4202560 2656 0 0 0 11208 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657860214440 140658858312155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11979] ppid=11792 vsize=13801768 CPUtime=112.29 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11979/stat : 11979 (java) R 11792 11792 15196 0 -1 4202560 2568 0 0 0 11229 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657854951208 140658859341929 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11980] ppid=11792 vsize=13801768 CPUtime=111.42 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11980/stat : 11980 (java) R 11792 11792 15196 0 -1 4202560 3023 0 0 0 11142 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657853898048 140658858313373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11981] ppid=11792 vsize=13801768 CPUtime=112.27 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11981/stat : 11981 (java) R 11792 11792 15196 0 -1 4202560 1157 0 0 0 11227 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657857059280 140658859339391 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11982] ppid=11792 vsize=13801768 CPUtime=112.23 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11982/stat : 11982 (java) R 11792 11792 15196 0 -1 4202560 3598 0 0 0 11222 1 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657858109752 140658858313358 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 0
[pid=11793/tid=11983] ppid=11792 vsize=13801768 CPUtime=112.4 cores=0,2,4,6,8,10,12,14
/proc/11793/task/11983/stat : 11983 (java) R 11792 11792 15196 0 -1 4202560 1491 0 0 0 11240 0 0 0 20 0 28 0 4769300 14133010432 877012 33554432000 4194304 4196468 140727503978048 140657859161944 140658858313779 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31956992 140727503979708 140727503979884 140727503979884 140727503982543 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 11792 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1377
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1377
# CPU time returned by wait4() is 0.002754
# 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): 307.312
CPU time (s): 2400.57
CPU user time (s): 2395.25
CPU system time (s): 5.32
CPU usage (%): 781.151
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001377
system time used= 0.001377
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.50871 second user time and 3.84111 second system time
The end