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-4255361-1501622268/watcher-4255361-1501622268 -o /tmp/evaluation-result-4255361-1501622268/solver-4255361-1501622268 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 171358060 HOME/instance-4255361-1501622268.xml
pid=15661
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.71 1.88 1.84 3/196 15664
/proc/meminfo: memFree=31588552/32770624 swapFree=0/193164
[pid=15664] ppid=15661 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (runsolver) D 15661 15664 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10849914 24240128 108 18446744073709551615 4194304 4338465 140731698110480 140731698108120 140432751534807 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 19767296 140731698114653 140731698115142 140731698115142 140731698118602 0
/proc/15664/statm: 5918 108 54 36 0 2156 0
[startup+0.100237 s]
/proc/loadavg: 1.71 1.88 1.84 3/196 15664
/proc/meminfo: memFree=31588552/32770624 swapFree=0/193164
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.206188 s]
/proc/loadavg: 1.71 1.88 1.84 3/196 15664
/proc/meminfo: memFree=31588552/32770624 swapFree=0/193164
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300233 s]
/proc/loadavg: 1.71 1.88 1.84 3/196 15664
/proc/meminfo: memFree=31588552/32770624 swapFree=0/193164
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700189 s]
/proc/loadavg: 1.71 1.88 1.84 3/196 15664
/proc/meminfo: memFree=31588552/32770624 swapFree=0/193164
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.71 1.88 1.84 5/212 15680
/proc/meminfo: memFree=31501588/32770624 swapFree=0/193168
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13980732 CPUtime=3.87 cores=1,3,5,7
/proc/15666/stat : 15666 (java) S 15664 15664 5091 0 -1 1077944320 31803 0 0 0 379 8 0 0 20 0 15 0 10849919 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 140734503987600 139701772943095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
/proc/15666/statm: 3495183 32041 3176 1 0 3483484 0
[pid=15666/tid=15667] ppid=15664 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 5091 0 -1 4202560 8848 0 0 0 135 3 0 0 20 0 15 0 10849920 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139701777181968 139701752668154 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15668] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10849920 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139701733841808 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15669] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10849920 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139701732789008 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15670] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10849920 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139701731736720 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15671] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10849920 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139701369891856 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15672] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139700891105392 139701772954242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15673] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139700890051360 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15674] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139700888999024 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15675] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139700887947344 139701772961691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15676] ppid=15664 vsize=13980732 CPUtime=0.95 cores=1,3,5,7
/proc/15666/task/15676/stat : 15676 (java) R 15664 15664 5091 0 -1 4202560 7986 0 0 0 94 1 0 0 20 0 15 0 10849925 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139700886881184 139701750834209 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15677] ppid=15664 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/15666/task/15677/stat : 15677 (java) R 15664 15664 5091 0 -1 4202560 8811 0 0 0 95 1 0 0 20 0 15 0 10849925 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139700885841600 139701753114488 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15678] ppid=15664 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 5091 0 -1 1077944384 4850 0 0 0 53 1 0 0 20 0 15 0 10849925 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139700884790128 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15679] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139700883737568 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15680] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849929 14316269568 32041 18446744073709551615 4194304 4196468 140734504005056 139700882684336 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 1.71 1.88 1.84 5/212 15680
/proc/meminfo: memFree=31444320/32770624 swapFree=0/193168
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13980732 CPUtime=8.78 cores=1,3,5,7
/proc/15666/stat : 15666 (java) S 15664 15664 5091 0 -1 1077944320 35430 0 0 0 868 10 0 0 20 0 15 0 10849919 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 140734503987600 139701772943095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
/proc/15666/statm: 3495183 47071 3189 1 0 3483484 0
[pid=15666/tid=15667] ppid=15664 vsize=13980732 CPUtime=2.98 cores=1,3,5,7
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 5091 0 -1 4202560 10056 0 0 0 293 5 0 0 20 0 15 0 10849920 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139701777181064 139701418706207 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15668] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10849920 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139701733841808 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15669] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10849920 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139701732789008 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15670] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10849920 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139701731736720 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15671] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10849920 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139701369891856 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15672] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139700891105392 139701772954242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15673] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139700890051360 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15674] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139700888999024 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15675] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139700887947344 139701772961691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15676] ppid=15664 vsize=13980732 CPUtime=2.55 cores=1,3,5,7
/proc/15666/task/15676/stat : 15676 (java) R 15664 15664 5091 0 -1 4202560 8631 0 0 0 254 1 0 0 20 0 15 0 10849925 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139700886886864 139701754122069 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15677] ppid=15664 vsize=13980732 CPUtime=2.56 cores=1,3,5,7
/proc/15666/task/15677/stat : 15677 (java) R 15664 15664 5091 0 -1 4202560 10043 0 0 0 255 1 0 0 20 0 15 0 10849925 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139700885828984 139701758958641 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15678] ppid=15664 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 5091 0 -1 1077944384 5355 0 0 0 64 1 0 0 20 0 15 0 10849925 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139700884790128 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15679] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139700883737568 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15680] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 5091 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10849929 14316269568 47071 18446744073709551615 4194304 4196468 140734504005056 139700882684336 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
Current children cumulated CPU time (s) 8.78
Current children cumulated vsize (KiB) 13990244
[startup+6.30068 s]
/proc/loadavg: 1.89 1.91 1.85 3/212 15680
/proc/meminfo: memFree=31339624/32770624 swapFree=0/193180
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13980732 CPUtime=14.27 cores=1,3,5,7
/proc/15666/stat : 15666 (java) S 15664 15664 5091 0 -1 1077944320 46176 0 0 0 1412 15 0 0 20 0 15 0 10849919 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 140734503987600 139701772943095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
/proc/15666/statm: 3495183 63930 3221 1 0 3483484 0
[pid=15666/tid=15667] ppid=15664 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 5091 0 -1 4202560 10417 0 0 0 609 5 0 0 20 0 15 0 10849920 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139701777182240 139701419070268 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15668] ppid=15664 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 5091 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 15 0 10849920 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139701733841808 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15669] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 5091 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 10849920 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139701732789008 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15670] ppid=15664 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 5091 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 10849920 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139701731736720 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15671] ppid=15664 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 5091 0 -1 1077944384 81 0 0 0 2 0 0 0 20 0 15 0 10849920 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139701369891856 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15672] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 5091 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139700891105392 139701772954242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15673] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139700890051360 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15674] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139700888999024 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15675] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139700887947344 139701772961691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15676] ppid=15664 vsize=13980732 CPUtime=3.62 cores=1,3,5,7
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 5091 0 -1 1077944384 12622 0 0 0 361 1 0 0 20 0 15 0 10849925 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139700886895216 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15677] ppid=15664 vsize=13980732 CPUtime=3.57 cores=1,3,5,7
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 5091 0 -1 1077944384 13887 0 0 0 355 2 0 0 20 0 15 0 10849925 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139700885842416 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15678] ppid=15664 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 5091 0 -1 1077944384 6692 0 0 0 76 1 0 0 20 0 15 0 10849925 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139700884790128 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15679] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139700883737568 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15680] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 5091 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 10849929 14316269568 63930 18446744073709551615 4194304 4196468 140734504005056 139700882684336 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
Current children cumulated CPU time (s) 14.27
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.98 1.93 1.86 3/212 15680
/proc/meminfo: memFree=31273964/32770624 swapFree=0/193188
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13980732 CPUtime=21.09 cores=1,3,5,7
/proc/15666/stat : 15666 (java) S 15664 15664 5091 0 -1 1077944320 49502 0 0 0 2093 16 0 0 20 0 15 0 10849919 14316269568 64925 18446744073709551615 4194304 4196468 140734504005056 140734503987600 139701772943095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
/proc/15666/statm: 3495183 64925 3230 1 0 3483484 0
[pid=15666/tid=15667] ppid=15664 vsize=13980732 CPUtime=12.5 cores=1,3,5,7
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 5091 0 -1 4202560 11091 0 0 0 1245 5 0 0 20 0 15 0 10849920 14316269568 64925 18446744073709551615 4194304 4196468 140734504005056 139701777182624 139701418414843 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15668] ppid=15664 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 5091 0 -1 1077944384 301 0 0 0 4 1 0 0 20 0 15 0 10849920 14316269568 64925 18446744073709551615 4194304 4196468 140734504005056 139701733841808 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15669] ppid=15664 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 5091 0 -1 1077944384 50 0 0 0 4 0 0 0 20 0 15 0 10849920 14316269568 64925 18446744073709551615 4194304 4196468 140734504005056 139701732789008 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
################
# More data... #
################
/proc/15666/stat : 15666 (java) S 15664 15664 5091 0 -1 1077944320 82319 0 0 0 11429 52 0 0 20 0 15 0 10849919 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 140734503987600 139701772943095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
/proc/15666/statm: 3495183 94271 3231 1 0 3483484 0
[pid=15666/tid=15667] ppid=15664 vsize=13980732 CPUtime=101.4 cores=1,3,5,7
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 5091 0 -1 4202560 15364 0 0 0 10134 6 0 0 20 0 15 0 10849920 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139701777182736 139701419475540 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15668] ppid=15664 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 5091 0 -1 1077944384 925 0 0 0 60 9 0 0 20 0 15 0 10849920 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139701733841808 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15669] ppid=15664 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 5091 0 -1 1077944384 1183 0 0 0 59 8 0 0 20 0 15 0 10849920 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139701732789008 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15670] ppid=15664 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 5091 0 -1 1077944384 1490 0 0 0 61 8 0 0 20 0 15 0 10849920 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139701731736720 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15671] ppid=15664 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 5091 0 -1 1077944384 2705 0 0 0 61 8 0 0 20 0 15 0 10849920 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139701369891856 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15672] ppid=15664 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 5091 0 -1 1077944384 1250 0 0 0 5 1 0 0 20 0 15 0 10849922 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139700891105392 139701772954242 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15673] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139700890051360 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15674] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139700888999024 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15675] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139700887947344 139701772961691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15676] ppid=15664 vsize=13980732 CPUtime=4.57 cores=1,3,5,7
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 5091 0 -1 1077944384 21204 0 0 0 455 2 0 0 20 0 15 0 10849925 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139700886895216 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15677] ppid=15664 vsize=13980732 CPUtime=5.06 cores=1,3,5,7
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 5091 0 -1 1077944384 25578 0 0 0 503 3 0 0 20 0 15 0 10849925 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139700885842416 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15678] ppid=15664 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 5091 0 -1 1077944384 10729 0 0 0 84 2 0 0 20 0 15 0 10849925 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139700884790128 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15679] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139700883737568 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15680] ppid=15664 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 5091 0 -1 1077944384 548 0 0 0 2 2 0 0 20 0 15 0 10849929 14316269568 94271 18446744073709551615 4194304 4196468 140734504005056 139700882684336 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
Current children cumulated CPU time (s) 114.81
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.54 1.83 1.84 3/211 15763
/proc/meminfo: memFree=31442684/32770624 swapFree=0/193344
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13980732 CPUtime=176.39 cores=1,3,5,7
/proc/15666/stat : 15666 (java) S 15664 15664 5091 0 -1 1077944320 90909 0 0 0 17563 76 0 0 20 0 15 0 10849919 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 140734503987600 139701772943095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
/proc/15666/statm: 3495183 80951 3247 1 0 3483484 0
[pid=15666/tid=15667] ppid=15664 vsize=13980732 CPUtime=160.82 cores=1,3,5,7
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 5091 0 -1 4202560 17234 0 0 0 16076 6 0 0 20 0 15 0 10849920 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139701777182880 139701417900452 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15668] ppid=15664 vsize=13980732 CPUtime=1.19 cores=1,3,5,7
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 5091 0 -1 1077944384 1596 0 0 0 105 14 0 0 20 0 15 0 10849920 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139701733841808 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15669] ppid=15664 vsize=13980732 CPUtime=1.17 cores=1,3,5,7
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 5091 0 -1 1077944384 1660 0 0 0 104 13 0 0 20 0 15 0 10849920 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139701732789008 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15670] ppid=15664 vsize=13980732 CPUtime=1.19 cores=1,3,5,7
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 5091 0 -1 1077944384 1890 0 0 0 105 14 0 0 20 0 15 0 10849920 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139701731736720 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15671] ppid=15664 vsize=13980732 CPUtime=1.19 cores=1,3,5,7
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 5091 0 -1 1077944384 3541 0 0 0 106 13 0 0 20 0 15 0 10849920 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139701369891856 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15672] ppid=15664 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 5091 0 -1 1077944384 4824 0 0 0 10 2 0 0 20 0 15 0 10849922 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139700891105392 139701772954242 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15673] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139700890051360 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15674] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139700888999024 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15675] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139700887947344 139701772961691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15676] ppid=15664 vsize=13980732 CPUtime=4.61 cores=1,3,5,7
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 5091 0 -1 1077944384 21516 0 0 0 458 3 0 0 20 0 15 0 10849925 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139700886895216 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15677] ppid=15664 vsize=13980732 CPUtime=5.09 cores=1,3,5,7
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 5091 0 -1 1077944384 25639 0 0 0 506 3 0 0 20 0 15 0 10849925 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139700885842416 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15678] ppid=15664 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 5091 0 -1 1077944384 11094 0 0 0 85 2 0 0 20 0 15 0 10849925 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139700884790128 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15679] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139700883737568 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15680] ppid=15664 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 5091 0 -1 1077944384 572 0 0 0 2 4 0 0 20 0 15 0 10849929 14316269568 80951 18446744073709551615 4194304 4196468 140734504005056 139700882684336 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
Current children cumulated CPU time (s) 176.39
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.64 1.80 1.83 3/211 15765
/proc/meminfo: memFree=31397168/32770624 swapFree=0/193376
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13980732 CPUtime=237.73 cores=1,3,5,7
/proc/15666/stat : 15666 (java) S 15664 15664 5091 0 -1 1077944320 92258 0 0 0 23694 79 0 0 20 0 15 0 10849919 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 140734503987600 139701772943095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
/proc/15666/statm: 3495183 79323 3247 1 0 3483484 0
[pid=15666/tid=15667] ppid=15664 vsize=13980732 CPUtime=220.33 cores=1,3,5,7
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 5091 0 -1 4202560 17564 0 0 0 22027 6 0 0 20 0 15 0 10849920 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139701777182656 139701417543657 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15668] ppid=15664 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 5091 0 -1 1077944384 1731 0 0 0 149 14 0 0 20 0 15 0 10849920 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139701733841808 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15669] ppid=15664 vsize=13980732 CPUtime=1.61 cores=1,3,5,7
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 5091 0 -1 1077944384 1792 0 0 0 148 13 0 0 20 0 15 0 10849920 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139701732789008 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15670] ppid=15664 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 5091 0 -1 1077944384 2281 0 0 0 149 14 0 0 20 0 15 0 10849920 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139701731736720 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15671] ppid=15664 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 5091 0 -1 1077944384 3646 0 0 0 150 14 0 0 20 0 15 0 10849920 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139701369891856 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15672] ppid=15664 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 5091 0 -1 1077944384 5072 0 0 0 14 2 0 0 20 0 15 0 10849922 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139700891105392 139701772954242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15673] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139700890051360 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15674] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139700888999024 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15675] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139700887947344 139701772961691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15676] ppid=15664 vsize=13980732 CPUtime=4.61 cores=1,3,5,7
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 5091 0 -1 1077944384 21518 0 0 0 458 3 0 0 20 0 15 0 10849925 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139700886895216 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15677] ppid=15664 vsize=13980732 CPUtime=5.09 cores=1,3,5,7
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 5091 0 -1 1077944384 25641 0 0 0 506 3 0 0 20 0 15 0 10849925 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139700885842416 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15678] ppid=15664 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 5091 0 -1 1077944384 11096 0 0 0 85 2 0 0 20 0 15 0 10849925 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139700884790128 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15679] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139700883737568 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15680] ppid=15664 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 5091 0 -1 1077944384 574 0 0 0 4 5 0 0 20 0 15 0 10849929 14316269568 79323 18446744073709551615 4194304 4196468 140734504005056 139700882684336 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
Current children cumulated CPU time (s) 237.73
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.80 1.83 1.83 3/211 15765
/proc/meminfo: memFree=31370944/32770624 swapFree=0/193384
[pid=15664] ppid=15661 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 5091 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 10849914 9740288 344 18446744073709551615 4194304 5098028 140734310841280 140734310839384 140665782956668 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 33042432 140734310842780 140734310842983 140734310842983 140734310846443 0
/proc/15664/statm: 2378 344 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13980732 CPUtime=256.03 cores=1,3,5,7
/proc/15666/stat : 15666 (java) S 15664 15664 5091 0 -1 1077944320 93529 0 0 0 25523 80 0 0 20 0 15 0 10849919 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 140734503987600 139701772943095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
/proc/15666/statm: 3495183 79813 3247 1 0 3483484 0
[pid=15666/tid=15667] ppid=15664 vsize=13980732 CPUtime=237.78 cores=1,3,5,7
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 5091 0 -1 4202560 18024 0 0 0 23772 6 0 0 20 0 15 0 10849920 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139701777182656 139701417127089 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15668] ppid=15664 vsize=13980732 CPUtime=1.83 cores=1,3,5,7
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 5091 0 -1 1077944384 1767 0 0 0 169 14 0 0 20 0 15 0 10849920 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139701733841808 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15669] ppid=15664 vsize=13980732 CPUtime=1.81 cores=1,3,5,7
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 5091 0 -1 1077944384 1939 0 0 0 168 13 0 0 20 0 15 0 10849920 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139701732789008 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15670] ppid=15664 vsize=13980732 CPUtime=1.83 cores=1,3,5,7
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 5091 0 -1 1077944384 2358 0 0 0 169 14 0 0 20 0 15 0 10849920 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139701731736720 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15671] ppid=15664 vsize=13980732 CPUtime=1.84 cores=1,3,5,7
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 5091 0 -1 1077944384 3672 0 0 0 170 14 0 0 20 0 15 0 10849920 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139701369891856 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15672] ppid=15664 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 5091 0 -1 1077944384 5573 0 0 0 17 2 0 0 20 0 15 0 10849922 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139700891105392 139701772954242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15673] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139700890051360 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15674] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 10849922 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139700888999024 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15675] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139700887947344 139701772961691 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15676] ppid=15664 vsize=13980732 CPUtime=4.61 cores=1,3,5,7
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 5091 0 -1 1077944384 21519 0 0 0 458 3 0 0 20 0 15 0 10849925 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139700886895216 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15677] ppid=15664 vsize=13980732 CPUtime=5.09 cores=1,3,5,7
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 5091 0 -1 1077944384 25647 0 0 0 506 3 0 0 20 0 15 0 10849925 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139700885842416 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15678] ppid=15664 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 5091 0 -1 1077944384 11098 0 0 0 85 2 0 0 20 0 15 0 10849925 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139700884790128 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15679] ppid=15664 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10849925 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139700883737568 139701772953301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
[pid=15666/tid=15680] ppid=15664 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 5091 0 -1 1077944384 589 0 0 0 4 5 0 0 20 0 15 0 10849929 14316269568 79813 18446744073709551615 4194304 4196468 140734504005056 139700882684336 139701772954242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15269888 140734504010196 140734504010371 140734504010371 140734504013775 0
Current children cumulated CPU time (s) 256.03
Current children cumulated vsize (KiB) 13990244
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 15666 sig 9
??? kill 15664 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.011
CPU time (s): 256.054
CPU user time (s): 255.245
CPU system time (s): 0.808837
CPU usage (%): 106.684
Max. virtual memory (cumulated for all children) (KiB): 13992380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.245
system time used= 0.808837
maximum resident set size= 515396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11878
involuntary context switches= 368
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00115 second user time and 1.57888 second system time
The end