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-4246948-1500689049/watcher-4246948-1500689049 -o /tmp/evaluation-result-4246948-1500689049/solver-4246948-1500689049 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 597146108 HOME/instance-4246948-1500689049.xml
pid=4748
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: 8.64 10.58 12.79 3/263 4751
/proc/meminfo: memFree=21255712/32770624 swapFree=5972/258940
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
[startup+0.100163 s]
/proc/loadavg: 8.64 10.58 12.79 3/263 4751
/proc/meminfo: memFree=21255712/32770624 swapFree=5972/258940
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200362 s]
/proc/loadavg: 8.64 10.58 12.79 3/263 4751
/proc/meminfo: memFree=21255712/32770624 swapFree=5972/258940
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300236 s]
/proc/loadavg: 8.64 10.58 12.79 3/263 4751
/proc/meminfo: memFree=21255712/32770624 swapFree=5972/258940
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700212 s]
/proc/loadavg: 8.64 10.58 12.79 3/263 4751
/proc/meminfo: memFree=21255712/32770624 swapFree=5972/258940
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 8.64 10.58 12.79 6/284 4772
/proc/meminfo: memFree=21064484/32770624 swapFree=5972/258984
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
[pid=4752] ppid=4751 vsize=13269256 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/4752/stat : 4752 (java) S 4751 4751 14626 0 -1 1077944320 27522 0 0 0 521 21 0 0 20 0 20 0 4174424 13587718144 61579 33554432000 4194304 4196468 140730100370976 140730100353520 139856913510135 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
/proc/4752/statm: 3317314 61579 3244 1 0 3304547 0
[pid=4752/tid=4753] ppid=4751 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4753/stat : 4753 (java) R 4751 4751 14626 0 -1 4202560 6792 0 0 0 137 4 0 0 20 0 20 0 4174425 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856917744792 139856503296795 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4755] ppid=4751 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4755/stat : 4755 (java) S 4751 4751 14626 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 20 0 4174426 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856831990928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4756] ppid=4751 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4756/stat : 4756 (java) S 4751 4751 14626 0 -1 1077944384 87 0 0 0 1 1 0 0 20 0 20 0 4174426 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856830938128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4757] ppid=4751 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4757/stat : 4757 (java) S 4751 4751 14626 0 -1 1077944384 218 0 0 0 3 1 0 0 20 0 20 0 4174426 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856829885328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4758] ppid=4751 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4758/stat : 4758 (java) S 4751 4751 14626 0 -1 1077944384 113 0 0 0 0 1 0 0 20 0 20 0 4174426 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856828832528 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4759] ppid=4751 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4759/stat : 4759 (java) S 4751 4751 14626 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 20 0 4174426 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856827779728 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4760] ppid=4751 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4760/stat : 4760 (java) S 4751 4751 14626 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 20 0 4174426 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856826726928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4761] ppid=4751 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4761/stat : 4761 (java) S 4751 4751 14626 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 20 0 4174426 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856825674128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4762] ppid=4751 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4762/stat : 4762 (java) S 4751 4751 14626 0 -1 1077944384 85 0 0 0 2 2 0 0 20 0 20 0 4174426 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856824621328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4763] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4763/stat : 4763 (java) S 4751 4751 14626 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 20 0 4174428 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856375593840 139856913521282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4764] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4764/stat : 4764 (java) S 4751 4751 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4174428 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856374539808 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4765] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4765/stat : 4765 (java) S 4751 4751 14626 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4174429 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856373486960 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4766] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4766/stat : 4766 (java) S 4751 4751 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4174432 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856372435280 139856913528731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4767] ppid=4751 vsize=13269256 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4767/stat : 4767 (java) R 4751 4751 14626 0 -1 4202560 5016 0 0 0 100 1 0 0 20 0 20 0 4174432 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856371363656 139856897006923 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4768] ppid=4751 vsize=13269256 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4768/stat : 4768 (java) R 4751 4751 14626 0 -1 4202560 5500 0 0 0 103 1 0 0 20 0 20 0 4174432 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856370310944 139856897004298 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4769] ppid=4751 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4769/stat : 4769 (java) R 4751 4751 14626 0 -1 4202560 5157 0 0 0 102 0 0 0 20 0 20 0 4174432 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856369258056 139856897006875 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4770] ppid=4751 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4770/stat : 4770 (java) S 4751 4751 14626 0 -1 1077944384 2950 0 0 0 61 0 0 0 20 0 20 0 4174433 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856368224240 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4771] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4771/stat : 4771 (java) S 4751 4751 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4174433 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856367172704 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4772] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4772/stat : 4772 (java) S 4751 4751 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4174433 13587718144 61579 33554432000 4194304 4196468 140730100370976 139856366119984 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 13278768
[startup+3.10108 s]
/proc/loadavg: 8.64 10.58 12.79 5/284 4772
/proc/meminfo: memFree=20861824/32770624 swapFree=5972/259000
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
[pid=4752] ppid=4751 vsize=13269256 CPUtime=10.8 cores=0,2,4,6,8,10,12,14
/proc/4752/stat : 4752 (java) S 4751 4751 14626 0 -1 1077944320 34775 0 0 0 989 91 0 0 20 0 20 0 4174424 13587718144 180250 33554432000 4194304 4196468 140730100370976 140730100353520 139856913510135 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
/proc/4752/statm: 3317314 180250 3250 1 0 3304547 0
[pid=4752/tid=4753] ppid=4751 vsize=13269256 CPUtime=2.82 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4753/stat : 4753 (java) R 4751 4751 14626 0 -1 4202560 7958 0 0 0 272 10 0 0 20 0 20 0 4174425 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856917746904 139856500302640 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4755] ppid=4751 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4755/stat : 4755 (java) S 4751 4751 14626 0 -1 1077944384 484 0 0 0 10 10 0 0 20 0 20 0 4174426 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856831990928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4756] ppid=4751 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4756/stat : 4756 (java) S 4751 4751 14626 0 -1 1077944384 178 0 0 0 10 9 0 0 20 0 20 0 4174426 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856830938128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4757] ppid=4751 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4757/stat : 4757 (java) S 4751 4751 14626 0 -1 1077944384 321 0 0 0 12 8 0 0 20 0 20 0 4174426 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856829885328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4758] ppid=4751 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4758/stat : 4758 (java) S 4751 4751 14626 0 -1 1077944384 252 0 0 0 8 8 0 0 20 0 20 0 4174426 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856828832528 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4759] ppid=4751 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4759/stat : 4759 (java) S 4751 4751 14626 0 -1 1077944384 101 0 0 0 10 8 0 0 20 0 20 0 4174426 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856827779728 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4760] ppid=4751 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4760/stat : 4760 (java) S 4751 4751 14626 0 -1 1077944384 128 0 0 0 10 10 0 0 20 0 20 0 4174426 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856826726928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4761] ppid=4751 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4761/stat : 4761 (java) S 4751 4751 14626 0 -1 1077944384 183 0 0 0 10 8 0 0 20 0 20 0 4174426 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856825674128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4762] ppid=4751 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4762/stat : 4762 (java) S 4751 4751 14626 0 -1 1077944384 186 0 0 0 10 11 0 0 20 0 20 0 4174426 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856824621328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4763] ppid=4751 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4763/stat : 4763 (java) S 4751 4751 14626 0 -1 1077944384 700 0 0 0 1 0 0 0 20 0 20 0 4174428 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856375593840 139856913521282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4764] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4764/stat : 4764 (java) S 4751 4751 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4174428 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856374539872 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4765] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4765/stat : 4765 (java) S 4751 4751 14626 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4174429 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856373486976 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4766] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4766/stat : 4766 (java) S 4751 4751 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4174432 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856372435280 139856913528731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4767] ppid=4751 vsize=13269256 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4767/stat : 4767 (java) S 4751 4751 14626 0 -1 1077944384 6541 0 0 0 181 1 0 0 20 0 20 0 4174432 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856371382640 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4768] ppid=4751 vsize=13269256 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4768/stat : 4768 (java) S 4751 4751 14626 0 -1 1077944384 6602 0 0 0 182 1 0 0 20 0 20 0 4174432 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856370329840 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4769] ppid=4751 vsize=13269256 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4769/stat : 4769 (java) S 4751 4751 14626 0 -1 1077944384 6414 0 0 0 190 1 0 0 20 0 20 0 4174432 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856369277040 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4770] ppid=4751 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4770/stat : 4770 (java) S 4751 4751 14626 0 -1 1077944384 3375 0 0 0 74 0 0 0 20 0 20 0 4174433 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856368224240 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4771] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4771/stat : 4771 (java) S 4751 4751 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4174433 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856367172704 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4772] ppid=4751 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4772/stat : 4772 (java) S 4751 4751 14626 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4174433 13587718144 180250 33554432000 4194304 4196468 140730100370976 139856366119984 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
Current children cumulated CPU time (s) 10.8
Current children cumulated vsize (KiB) 13278768
[startup+6.30156 s]
/proc/loadavg: 9.07 10.64 12.80 13/292 4780
/proc/meminfo: memFree=20474580/32770624 swapFree=5972/259008
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
[pid=4752] ppid=4751 vsize=13801768 CPUtime=32.7 cores=0,2,4,6,8,10,12,14
/proc/4752/stat : 4752 (java) S 4751 4751 14626 0 -1 1077944320 38546 0 0 0 3146 124 0 0 20 0 28 0 4174424 14133010432 199895 33554432000 4194304 4196468 140730100370976 140730100353520 139856913510135 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
/proc/4752/statm: 3450442 199895 3274 1 0 3437675 0
[pid=4752/tid=4753] ppid=4751 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4753/stat : 4753 (java) S 4751 4751 14626 0 -1 1077944384 8157 0 0 0 322 10 0 0 20 0 28 0 4174425 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856917750912 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4755] ppid=4751 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4755/stat : 4755 (java) S 4751 4751 14626 0 -1 1077944384 547 0 0 0 15 14 0 0 20 0 28 0 4174426 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856831990928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4756] ppid=4751 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4756/stat : 4756 (java) S 4751 4751 14626 0 -1 1077944384 202 0 0 0 15 13 0 0 20 0 28 0 4174426 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856830938128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4757] ppid=4751 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4757/stat : 4757 (java) S 4751 4751 14626 0 -1 1077944384 349 0 0 0 18 11 0 0 20 0 28 0 4174426 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856829885328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4758] ppid=4751 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4758/stat : 4758 (java) S 4751 4751 14626 0 -1 1077944384 285 0 0 0 13 11 0 0 20 0 28 0 4174426 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856828832528 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4759] ppid=4751 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4759/stat : 4759 (java) S 4751 4751 14626 0 -1 1077944384 154 0 0 0 14 12 0 0 20 0 28 0 4174426 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856827779728 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4760] ppid=4751 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4760/stat : 4760 (java) S 4751 4751 14626 0 -1 1077944384 156 0 0 0 15 14 0 0 20 0 28 0 4174426 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856826726928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4761] ppid=4751 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4761/stat : 4761 (java) S 4751 4751 14626 0 -1 1077944384 233 0 0 0 15 12 0 0 20 0 28 0 4174426 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856825674128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4762] ppid=4751 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4762/stat : 4762 (java) S 4751 4751 14626 0 -1 1077944384 213 0 0 0 15 15 0 0 20 0 28 0 4174426 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856824621328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4763] ppid=4751 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4763/stat : 4763 (java) S 4751 4751 14626 0 -1 1077944384 711 0 0 0 1 0 0 0 20 0 28 0 4174428 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856375593840 139856913521282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4764] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4764/stat : 4764 (java) S 4751 4751 14626 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4174428 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856374539872 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4765] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4765/stat : 4765 (java) S 4751 4751 14626 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4174429 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856373486976 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4766] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4766/stat : 4766 (java) S 4751 4751 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4174432 14133010432 199895 33554432000 4194304 4196468 140730100370976 139856372435280 139856913528731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
################
# More data... #
################
[pid=4752/tid=4779] ppid=4751 vsize=13801768 CPUtime=277.37 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4779/stat : 4779 (java) R 4751 4751 14626 0 -1 4202560 852 0 0 0 27736 1 0 0 20 0 28 0 4174793 14133010432 498398 33554432000 4194304 4196468 140730100370976 139856351790072 139856509957227 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4780] ppid=4751 vsize=13801768 CPUtime=277.26 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4780/stat : 4780 (java) R 4751 4751 14626 0 -1 4202560 1949 0 0 0 27719 7 0 0 20 0 28 0 4174793 14133010432 498398 33554432000 4194304 4196468 140730100370976 139856350738808 139856509980564 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
Current children cumulated CPU time (s) 2231.28
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.501 s]
/proc/loadavg: 15.73 13.51 13.39 17/299 5365
/proc/meminfo: memFree=29071052/32770624 swapFree=5972/259452
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
[pid=4752] ppid=4751 vsize=13801768 CPUtime=2400.16 cores=0,2,4,6,8,10,12,14
/proc/4752/stat : 4752 (java) S 4751 4751 14626 0 -1 1077944320 77114 0 0 0 239763 253 0 0 20 0 28 0 4174424 14133010432 535262 33554432000 4194304 4196468 140730100370976 140730100353520 139856913510135 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
/proc/4752/statm: 3450442 535262 3276 1 0 3437675 0
[pid=4752/tid=4753] ppid=4751 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4753/stat : 4753 (java) S 4751 4751 14626 0 -1 1077944384 8157 0 0 0 322 10 0 0 20 0 28 0 4174425 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856917750912 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4755] ppid=4751 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4755/stat : 4755 (java) S 4751 4751 14626 0 -1 1077944384 922 0 0 0 26 25 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856831990928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4756] ppid=4751 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4756/stat : 4756 (java) S 4751 4751 14626 0 -1 1077944384 483 0 0 0 26 23 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856830938128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4757] ppid=4751 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4757/stat : 4757 (java) S 4751 4751 14626 0 -1 1077944384 1539 0 0 0 29 21 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856829885328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4758] ppid=4751 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4758/stat : 4758 (java) S 4751 4751 14626 0 -1 1077944384 502 0 0 0 24 21 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856828832528 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4759] ppid=4751 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4759/stat : 4759 (java) S 4751 4751 14626 0 -1 1077944384 535 0 0 0 25 22 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856827779728 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4760] ppid=4751 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4760/stat : 4760 (java) S 4751 4751 14626 0 -1 1077944384 348 0 0 0 25 24 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856826726928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4761] ppid=4751 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4761/stat : 4761 (java) S 4751 4751 14626 0 -1 1077944384 997 0 0 0 25 22 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856825674128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4762] ppid=4751 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4762/stat : 4762 (java) S 4751 4751 14626 0 -1 1077944384 411 0 0 0 26 24 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856824621328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4763] ppid=4751 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4763/stat : 4763 (java) S 4751 4751 14626 0 -1 1077944384 1967 0 0 0 2 3 0 0 20 0 28 0 4174428 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856375593840 139856913521282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4764] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4764/stat : 4764 (java) S 4751 4751 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4174428 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856374539872 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4765] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4765/stat : 4765 (java) S 4751 4751 14626 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4174429 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856373486976 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4766] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4766/stat : 4766 (java) S 4751 4751 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4174432 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856372435280 139856913528731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4767] ppid=4751 vsize=13801768 CPUtime=3.69 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4767/stat : 4767 (java) S 4751 4751 14626 0 -1 1077944384 11662 0 0 0 367 2 0 0 20 0 28 0 4174432 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856371382640 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4768] ppid=4751 vsize=13801768 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4768/stat : 4768 (java) S 4751 4751 14626 0 -1 1077944384 14556 0 0 0 417 2 0 0 20 0 28 0 4174432 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856370329840 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4769] ppid=4751 vsize=13801768 CPUtime=3.61 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4769/stat : 4769 (java) S 4751 4751 14626 0 -1 1077944384 9978 0 0 0 359 2 0 0 20 0 28 0 4174432 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856369277040 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4770] ppid=4751 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4770/stat : 4770 (java) S 4751 4751 14626 0 -1 1077944384 7757 0 0 0 110 1 0 0 20 0 28 0 4174433 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856368224240 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4771] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4771/stat : 4771 (java) S 4751 4751 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4174433 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856367172704 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4772] ppid=4751 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4772/stat : 4772 (java) S 4751 4751 14626 0 -1 1077944384 1078 0 0 0 5 11 0 0 20 0 28 0 4174433 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856366119984 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4773] ppid=4751 vsize=13801768 CPUtime=298.17 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4773/stat : 4773 (java) R 4751 4751 14626 0 -1 4202560 1098 0 0 0 29816 1 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856358104520 139856508390709 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4774] ppid=4751 vsize=13801768 CPUtime=298.54 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4774/stat : 4774 (java) R 4751 4751 14626 0 -1 4202560 1137 0 0 0 29854 0 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856357052440 139856508391388 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4775] ppid=4751 vsize=13801768 CPUtime=298.38 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4775/stat : 4775 (java) R 4751 4751 14626 0 -1 4202560 3708 0 0 0 29831 7 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856356002264 139856510133650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4776] ppid=4751 vsize=13801768 CPUtime=291.69 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4776/stat : 4776 (java) R 4751 4751 14626 0 -1 4202560 1729 0 0 0 29164 5 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856354947432 139856508741295 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4777] ppid=4751 vsize=13801768 CPUtime=298.53 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4777/stat : 4777 (java) R 4751 4751 14626 0 -1 4202560 3797 0 0 0 29839 14 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856353896128 139856508391750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4778] ppid=4751 vsize=13801768 CPUtime=297.65 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4778/stat : 4778 (java) R 4751 4751 14626 0 -1 4202560 559 0 0 0 29765 0 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856352841280 139856509851799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4779] ppid=4751 vsize=13801768 CPUtime=298.54 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4779/stat : 4779 (java) R 4751 4751 14626 0 -1 4202560 856 0 0 0 29853 1 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856351790072 139856509501357 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4780] ppid=4751 vsize=13801768 CPUtime=298.44 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4780/stat : 4780 (java) R 4751 4751 14626 0 -1 4202560 1967 0 0 0 29837 7 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856350738808 139856508391028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
Current children cumulated CPU time (s) 2400.16
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 4752 sig 9
??? kill 4751 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.501 s]
/proc/loadavg: 15.73 13.51 13.39 17/299 5365
/proc/meminfo: memFree=29071052/32770624 swapFree=5972/259452
[pid=4751] ppid=4748 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4751/stat : 4751 (xcsp3-exec) S 4748 4751 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4174424 9740288 346 33554432000 4194304 5098028 140722473220112 140722473218216 139798112445052 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10539008 140722473223311 140722473223520 140722473223520 140722473226219 0
/proc/4751/statm: 2378 346 289 221 0 87 0
[pid=4752] ppid=4751 vsize=13801768 CPUtime=2400.16 cores=0,2,4,6,8,10,12,14
/proc/4752/stat : 4752 (java) S 4751 4751 14626 0 -1 1077944320 77114 0 0 0 239763 253 0 0 20 0 28 0 4174424 14133010432 535262 33554432000 4194304 4196468 140730100370976 140730100353520 139856913510135 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
/proc/4752/statm: 3450442 535262 3276 1 0 3437675 0
[pid=4752/tid=4753] ppid=4751 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4753/stat : 4753 (java) S 4751 4751 14626 0 -1 1077944384 8157 0 0 0 322 10 0 0 20 0 28 0 4174425 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856917750912 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4755] ppid=4751 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4755/stat : 4755 (java) S 4751 4751 14626 0 -1 1077944384 922 0 0 0 26 25 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856831990928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4756] ppid=4751 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4756/stat : 4756 (java) S 4751 4751 14626 0 -1 1077944384 483 0 0 0 26 23 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856830938128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4757] ppid=4751 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4757/stat : 4757 (java) S 4751 4751 14626 0 -1 1077944384 1539 0 0 0 29 21 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856829885328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4758] ppid=4751 vsize=13801768 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4758/stat : 4758 (java) S 4751 4751 14626 0 -1 1077944384 502 0 0 0 24 21 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856828832528 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4759] ppid=4751 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4759/stat : 4759 (java) S 4751 4751 14626 0 -1 1077944384 535 0 0 0 25 22 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856827779728 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4760] ppid=4751 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4760/stat : 4760 (java) S 4751 4751 14626 0 -1 1077944384 348 0 0 0 25 24 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856826726928 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4761] ppid=4751 vsize=13801768 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4761/stat : 4761 (java) S 4751 4751 14626 0 -1 1077944384 997 0 0 0 25 22 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856825674128 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4762] ppid=4751 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4762/stat : 4762 (java) S 4751 4751 14626 0 -1 1077944384 411 0 0 0 26 24 0 0 20 0 28 0 4174426 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856824621328 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4763] ppid=4751 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4763/stat : 4763 (java) S 4751 4751 14626 0 -1 1077944384 1967 0 0 0 2 3 0 0 20 0 28 0 4174428 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856375593840 139856913521282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4764] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4764/stat : 4764 (java) S 4751 4751 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4174428 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856374539872 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4765] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4765/stat : 4765 (java) S 4751 4751 14626 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4174429 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856373486976 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4766] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4766/stat : 4766 (java) S 4751 4751 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4174432 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856372435280 139856913528731 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4767] ppid=4751 vsize=13801768 CPUtime=3.69 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4767/stat : 4767 (java) S 4751 4751 14626 0 -1 1077944384 11662 0 0 0 367 2 0 0 20 0 28 0 4174432 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856371382640 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4768] ppid=4751 vsize=13801768 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4768/stat : 4768 (java) S 4751 4751 14626 0 -1 1077944384 14556 0 0 0 417 2 0 0 20 0 28 0 4174432 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856370329840 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4769] ppid=4751 vsize=13801768 CPUtime=3.61 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4769/stat : 4769 (java) S 4751 4751 14626 0 -1 1077944384 9978 0 0 0 359 2 0 0 20 0 28 0 4174432 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856369277040 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4770] ppid=4751 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4770/stat : 4770 (java) S 4751 4751 14626 0 -1 1077944384 7757 0 0 0 110 1 0 0 20 0 28 0 4174433 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856368224240 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4771] ppid=4751 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4771/stat : 4771 (java) S 4751 4751 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4174433 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856367172704 139856913520341 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4772] ppid=4751 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4772/stat : 4772 (java) S 4751 4751 14626 0 -1 1077944384 1078 0 0 0 5 11 0 0 20 0 28 0 4174433 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856366119984 139856913521282 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4773] ppid=4751 vsize=13801768 CPUtime=298.17 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4773/stat : 4773 (java) R 4751 4751 14626 0 -1 4202560 1098 0 0 0 29816 1 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856358104520 139856508390709 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4774] ppid=4751 vsize=13801768 CPUtime=298.54 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4774/stat : 4774 (java) R 4751 4751 14626 0 -1 4202560 1137 0 0 0 29854 0 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856357052440 139856508391388 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4775] ppid=4751 vsize=13801768 CPUtime=298.38 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4775/stat : 4775 (java) R 4751 4751 14626 0 -1 4202560 3708 0 0 0 29831 7 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856356002264 139856510133650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4776] ppid=4751 vsize=13801768 CPUtime=291.69 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4776/stat : 4776 (java) R 4751 4751 14626 0 -1 4202560 1729 0 0 0 29164 5 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856354947432 139856508741295 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4777] ppid=4751 vsize=13801768 CPUtime=298.53 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4777/stat : 4777 (java) R 4751 4751 14626 0 -1 4202560 3797 0 0 0 29839 14 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856353896128 139856508391750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4778] ppid=4751 vsize=13801768 CPUtime=297.65 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4778/stat : 4778 (java) R 4751 4751 14626 0 -1 4202560 559 0 0 0 29765 0 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856352841280 139856509851799 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4779] ppid=4751 vsize=13801768 CPUtime=298.54 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4779/stat : 4779 (java) R 4751 4751 14626 0 -1 4202560 856 0 0 0 29853 1 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856351790072 139856509501357 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
[pid=4752/tid=4780] ppid=4751 vsize=13801768 CPUtime=298.44 cores=0,2,4,6,8,10,12,14
/proc/4752/task/4780/stat : 4780 (java) R 4751 4751 14626 0 -1 4202560 1967 0 0 0 29837 7 0 0 20 0 28 0 4174793 14133010432 535262 33554432000 4194304 4196468 140730100370976 139856350738808 139856508391028 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19386368 140730100376764 140730100376940 140730100376940 140730100379599 0
Current children cumulated CPU time (s) 2400.16
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 4751 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1047
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2095
# CPU time returned by wait4() is 0.003142
# while last known CPU time is 2400.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.512
CPU time (s): 2400.16
CPU user time (s): 2397.63
CPU system time (s): 2.53
CPU usage (%): 790.795
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001047
system time used= 0.002095
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.33615 second user time and 4.56164 second system time
The end