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-4247726-1500690925/watcher-4247726-1500690925 -o /tmp/evaluation-result-4247726-1500690925/solver-4247726-1500690925 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 689683562 HOME/instance-4247726-1500690925.xml
pid=8985
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: 16.19 14.65 10.62 10/271 8988
/proc/meminfo: memFree=30572628/32770624 swapFree=5804/260848
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
[startup+0.100162 s]
/proc/loadavg: 16.19 14.65 10.62 10/271 8988
/proc/meminfo: memFree=30572628/32770624 swapFree=5804/260848
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.2003 s]
/proc/loadavg: 16.19 14.65 10.62 10/271 8988
/proc/meminfo: memFree=30572628/32770624 swapFree=5804/260848
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300319 s]
/proc/loadavg: 16.19 14.65 10.62 10/271 8988
/proc/meminfo: memFree=30572628/32770624 swapFree=5804/260848
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700193 s]
/proc/loadavg: 16.19 14.65 10.62 10/271 8988
/proc/meminfo: memFree=30572628/32770624 swapFree=5804/260848
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50103 s]
/proc/loadavg: 16.34 14.71 10.66 21/300 9025
/proc/meminfo: memFree=30440372/32770624 swapFree=5804/260800
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
[pid=8989] ppid=8988 vsize=13803592 CPUtime=7.01 cores=0,2,4,6,8,10,12,14
/proc/8989/stat : 8989 (java) S 8988 8988 14782 0 -1 1077944320 27631 0 0 0 686 15 0 0 20 0 28 0 4358786 14134878208 58823 33554432000 4194304 4196468 140731074571536 140731074554080 140630354562807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
/proc/8989/statm: 3450898 58823 3240 1 0 3438131 0
[pid=8989/tid=8990] ppid=8988 vsize=13803592 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8990/stat : 8990 (java) S 8988 8988 14782 0 -1 1077944384 6994 0 0 0 74 3 0 0 20 0 28 0 4358786 14134878208 58823 33554432000 4194304 4196468 140731074571536 140630358803584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8992] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8992/stat : 8992 (java) S 8988 8988 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4358787 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629954247184 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8993] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8993/stat : 8993 (java) S 8988 8988 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4358787 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629953194640 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8994] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8994/stat : 8994 (java) S 8988 8988 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4358787 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629952141584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8995] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8995/stat : 8995 (java) S 8988 8988 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4358787 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629951089040 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8996] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8996/stat : 8996 (java) S 8988 8988 14782 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4358787 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629950037008 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8997] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8997/stat : 8997 (java) S 8988 8988 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4358787 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629948984464 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8998] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8998/stat : 8998 (java) S 8988 8988 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4358787 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629947931408 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8999] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8999/stat : 8999 (java) S 8988 8988 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4358787 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629946878864 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9000] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9000/stat : 9000 (java) S 8988 8988 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4358789 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629548468464 140630354573954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9001] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9001/stat : 9001 (java) S 8988 8988 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4358790 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629547414688 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9002] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9002/stat : 9002 (java) S 8988 8988 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4358790 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629546361584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9003] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9003/stat : 9003 (java) S 8988 8988 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4358794 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629545310160 140630354581403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9004] ppid=8988 vsize=13803592 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9004/stat : 9004 (java) R 8988 8988 14782 0 -1 4202560 3709 0 0 0 71 1 0 0 20 0 28 0 4358794 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629544244168 140630339672373 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9005] ppid=8988 vsize=13803592 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9005/stat : 9005 (java) R 8988 8988 14782 0 -1 4202560 4463 0 0 0 70 1 0 0 20 0 28 0 4358794 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629543190408 140630338959494 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9006] ppid=8988 vsize=13803592 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9006/stat : 9006 (java) R 8988 8988 14782 0 -1 4202560 5095 0 0 0 76 1 0 0 20 0 28 0 4358794 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629542138192 140630336082486 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9007] ppid=8988 vsize=13803592 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9007/stat : 9007 (java) S 8988 8988 14782 0 -1 1077944384 4636 0 0 0 72 1 0 0 20 0 28 0 4358794 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629541100144 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9008] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9008/stat : 9008 (java) S 8988 8988 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4358794 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629540047328 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9009] ppid=8988 vsize=13803592 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9009/stat : 9009 (java) S 8988 8988 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4358795 14134878208 58823 33554432000 4194304 4196468 140731074571536 140629538994864 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 13813104
[startup+3.10113 s]
/proc/loadavg: 16.34 14.71 10.66 20/300 9081
/proc/meminfo: memFree=30346044/32770624 swapFree=5804/260800
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
[pid=8989] ppid=8988 vsize=13802796 CPUtime=19.57 cores=0,2,4,6,8,10,12,14
/proc/8989/stat : 8989 (java) S 8988 8988 14782 0 -1 1077944320 30809 0 0 0 1941 16 0 0 20 0 28 0 4358786 14134063104 59974 33554432000 4194304 4196468 140731074571536 140731074554080 140630354562807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
/proc/8989/statm: 3450699 59974 3258 1 0 3437932 0
[pid=8989/tid=8990] ppid=8988 vsize=13802796 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8990/stat : 8990 (java) S 8988 8988 14782 0 -1 1077944384 6998 0 0 0 74 3 0 0 20 0 28 0 4358786 14134063104 59974 33554432000 4194304 4196468 140731074571536 140630358803584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8992] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8992/stat : 8992 (java) S 8988 8988 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629954247184 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8993] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8993/stat : 8993 (java) S 8988 8988 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629953194640 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8994] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8994/stat : 8994 (java) S 8988 8988 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629952141584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8995] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8995/stat : 8995 (java) S 8988 8988 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629951089040 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8996] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8996/stat : 8996 (java) S 8988 8988 14782 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629950037008 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8997] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8997/stat : 8997 (java) S 8988 8988 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629948984464 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8998] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8998/stat : 8998 (java) S 8988 8988 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629947931408 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8999] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8999/stat : 8999 (java) S 8988 8988 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629946878864 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9000] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9000/stat : 9000 (java) S 8988 8988 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4358789 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629548468464 140630354573954 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9001] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9001/stat : 9001 (java) S 8988 8988 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4358790 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629547414688 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9002] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9002/stat : 9002 (java) S 8988 8988 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4358790 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629546361584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9003] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9003/stat : 9003 (java) S 8988 8988 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4358794 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629545310160 140630354581403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9004] ppid=8988 vsize=13802796 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9004/stat : 9004 (java) R 8988 8988 14782 0 -1 4202560 4232 0 0 0 176 1 0 0 20 0 28 0 4358794 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629544238112 140630336088342 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9005] ppid=8988 vsize=13802796 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9005/stat : 9005 (java) R 8988 8988 14782 0 -1 4202560 6053 0 0 0 177 1 0 0 20 0 28 0 4358794 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629543192288 140630336084207 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9006] ppid=8988 vsize=13802796 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9006/stat : 9006 (java) R 8988 8988 14782 0 -1 4202560 5275 0 0 0 196 1 0 0 20 0 28 0 4358794 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629542138784 140630334400660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9007] ppid=8988 vsize=13802796 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9007/stat : 9007 (java) S 8988 8988 14782 0 -1 1077944384 4814 0 0 0 83 1 0 0 20 0 28 0 4358794 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629541100144 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9008] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9008/stat : 9008 (java) S 8988 8988 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4358794 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629540047328 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9009] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9009/stat : 9009 (java) S 8988 8988 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4358795 14134063104 59974 33554432000 4194304 4196468 140731074571536 140629538994864 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
Current children cumulated CPU time (s) 19.57
Current children cumulated vsize (KiB) 13812308
[startup+6.30157 s]
/proc/loadavg: 16.34 14.71 10.66 18/300 9129
/proc/meminfo: memFree=30331616/32770624 swapFree=5804/260812
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
[pid=8989] ppid=8988 vsize=13802796 CPUtime=44.84 cores=0,2,4,6,8,10,12,14
/proc/8989/stat : 8989 (java) S 8988 8988 14782 0 -1 1077944320 39437 0 0 0 4465 19 0 0 20 0 28 0 4358786 14134063104 63236 33554432000 4194304 4196468 140731074571536 140731074554080 140630354562807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
/proc/8989/statm: 3450699 63236 3271 1 0 3437932 0
[pid=8989/tid=8990] ppid=8988 vsize=13802796 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8990/stat : 8990 (java) S 8988 8988 14782 0 -1 1077944384 7140 0 0 0 75 3 0 0 20 0 28 0 4358786 14134063104 63236 33554432000 4194304 4196468 140731074571536 140630358803584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8992] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8992/stat : 8992 (java) S 8988 8988 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629954247184 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8993] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8993/stat : 8993 (java) S 8988 8988 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629953194640 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8994] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8994/stat : 8994 (java) S 8988 8988 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629952141584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8995] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8995/stat : 8995 (java) S 8988 8988 14782 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629951089040 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8996] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8996/stat : 8996 (java) S 8988 8988 14782 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629950037008 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8997] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8997/stat : 8997 (java) S 8988 8988 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629948984464 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8998] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8998/stat : 8998 (java) S 8988 8988 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629947931408 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8999] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8999/stat : 8999 (java) S 8988 8988 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4358787 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629946878864 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9000] ppid=8988 vsize=13802796 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9000/stat : 9000 (java) S 8988 8988 14782 0 -1 1077944384 164 0 0 0 1 1 0 0 20 0 28 0 4358789 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629548468464 140630354573954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9001] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9001/stat : 9001 (java) S 8988 8988 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4358790 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629547414688 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9002] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9002/stat : 9002 (java) S 8988 8988 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4358790 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629546361584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9003] ppid=8988 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9003/stat : 9003 (java) S 8988 8988 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4358794 14134063104 63236 33554432000 4194304 4196468 140731074571536 140629545310160 140630354581403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
################
# More data... #
################
[pid=8989/tid=9160] ppid=8988 vsize=13868332 CPUtime=263.46 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9160/stat : 9160 (java) R 8988 8988 14782 0 -1 4202560 3138 0 0 0 26345 1 0 0 20 0 28 0 4360433 14201171968 52190 33554432000 4194304 4196468 140731074571536 140629523611528 140629999235011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9161] ppid=8988 vsize=13868332 CPUtime=263.45 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9161/stat : 9161 (java) R 8988 8988 14782 0 -1 4202560 765 0 0 0 26345 0 0 0 20 0 28 0 4360433 14201171968 52190 33554432000 4194304 4196468 140731074571536 140629526769576 140630000166636 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
Current children cumulated CPU time (s) 2238.44
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.702 s]
/proc/loadavg: 14.75 14.87 11.89 17/300 10074
/proc/meminfo: memFree=30867164/32770624 swapFree=5804/261436
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
[pid=8989] ppid=8988 vsize=13868332 CPUtime=2400.14 cores=0,2,4,6,8,10,12,14
/proc/8989/stat : 8989 (java) S 8988 8988 14782 0 -1 1077944320 105409 0 0 0 239888 126 0 0 20 0 28 0 4358786 14201171968 53625 33554432000 4194304 4196468 140731074571536 140731074554080 140630354562807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
/proc/8989/statm: 3467083 53625 3284 1 0 3454316 0
[pid=8989/tid=8990] ppid=8988 vsize=13868332 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8990/stat : 8990 (java) S 8988 8988 14782 0 -1 1077944384 7355 0 0 0 75 3 0 0 20 0 28 0 4358786 14201171968 53625 33554432000 4194304 4196468 140731074571536 140630358803584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8992] ppid=8988 vsize=13868332 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8992/stat : 8992 (java) S 8988 8988 14782 0 -1 1077944384 1952 0 0 0 25 7 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629954247184 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8993] ppid=8988 vsize=13868332 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8993/stat : 8993 (java) S 8988 8988 14782 0 -1 1077944384 1890 0 0 0 23 5 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629953194640 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8994] ppid=8988 vsize=13868332 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8994/stat : 8994 (java) S 8988 8988 14782 0 -1 1077944384 1739 0 0 0 27 6 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629952141584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8995] ppid=8988 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8995/stat : 8995 (java) S 8988 8988 14782 0 -1 1077944384 1438 0 0 0 26 5 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629951089040 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8996] ppid=8988 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8996/stat : 8996 (java) S 8988 8988 14782 0 -1 1077944384 1012 0 0 0 25 6 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629950037008 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8997] ppid=8988 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8997/stat : 8997 (java) S 8988 8988 14782 0 -1 1077944384 886 0 0 0 24 7 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629948984464 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8998] ppid=8988 vsize=13868332 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8998/stat : 8998 (java) S 8988 8988 14782 0 -1 1077944384 894 0 0 0 23 7 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629947931408 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8999] ppid=8988 vsize=13868332 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8999/stat : 8999 (java) S 8988 8988 14782 0 -1 1077944384 952 0 0 0 24 5 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629946878864 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9000] ppid=8988 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9000/stat : 9000 (java) S 8988 8988 14782 0 -1 1077944384 3221 0 0 0 32 39 0 0 20 0 28 0 4358789 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629548468464 140630354573954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9001] ppid=8988 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9001/stat : 9001 (java) S 8988 8988 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4358790 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629547414688 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9002] ppid=8988 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9002/stat : 9002 (java) S 8988 8988 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4358790 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629546361584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9003] ppid=8988 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9003/stat : 9003 (java) S 8988 8988 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629545310160 140630354581403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9004] ppid=8988 vsize=13868332 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9004/stat : 9004 (java) S 8988 8988 14782 0 -1 1077944384 16841 0 0 0 373 2 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629544258288 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9005] ppid=8988 vsize=13868332 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9005/stat : 9005 (java) S 8988 8988 14782 0 -1 1077944384 18874 0 0 0 404 2 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629543205744 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9006] ppid=8988 vsize=13868332 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9006/stat : 9006 (java) S 8988 8988 14782 0 -1 1077944384 12414 0 0 0 353 2 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629542152688 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9007] ppid=8988 vsize=13868332 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9007/stat : 9007 (java) S 8988 8988 14782 0 -1 1077944384 13339 0 0 0 117 3 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629541100144 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9008] ppid=8988 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9008/stat : 9008 (java) S 8988 8988 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629540047328 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9009] ppid=8988 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9009/stat : 9009 (java) S 8988 8988 14782 0 -1 1077944384 2099 0 0 0 6 4 0 0 20 0 28 0 4358795 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629538994864 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9154] ppid=8988 vsize=13868332 CPUtime=283.05 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9154/stat : 9154 (java) R 8988 8988 14782 0 -1 4202560 909 0 0 0 28304 1 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629527823504 140630000581886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9155] ppid=8988 vsize=13868332 CPUtime=283.78 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9155/stat : 9155 (java) R 8988 8988 14782 0 -1 4202560 1131 0 0 0 28378 0 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629525716592 140629999447018 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9156] ppid=8988 vsize=13868332 CPUtime=283.98 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9156/stat : 9156 (java) R 8988 8988 14782 0 -1 4202560 2139 0 0 0 28397 1 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629522559128 140630000990038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9157] ppid=8988 vsize=13868332 CPUtime=284.45 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9157/stat : 9157 (java) R 8988 8988 14782 0 -1 4202560 1596 0 0 0 28443 2 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629529927512 140630000988119 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9158] ppid=8988 vsize=13868332 CPUtime=284 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9158/stat : 9158 (java) R 8988 8988 14782 0 -1 4202560 1520 0 0 0 28400 0 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629524664216 140630001562696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9159] ppid=8988 vsize=13868332 CPUtime=283.79 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9159/stat : 9159 (java) R 8988 8988 14782 0 -1 4202560 429 0 0 0 28378 1 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629528875032 140630000164717 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9160] ppid=8988 vsize=13868332 CPUtime=283.65 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9160/stat : 9160 (java) R 8988 8988 14782 0 -1 4202560 3408 0 0 0 28364 1 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629523610840 140630001563143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9161] ppid=8988 vsize=13868332 CPUtime=283.31 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9161/stat : 9161 (java) R 8988 8988 14782 0 -1 4202560 797 0 0 0 28331 0 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629526769672 140629999443289 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
Current children cumulated CPU time (s) 2400.14
Current children cumulated vsize (KiB) 13877844
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 8989 sig 9
??? kill 8988 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.702 s]
/proc/loadavg: 14.75 14.87 11.89 17/300 10074
/proc/meminfo: memFree=30867164/32770624 swapFree=5804/261436
[pid=8988] ppid=8985 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8988/stat : 8988 (xcsp3-exec) S 8985 8988 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4358785 9740288 345 33554432000 4194304 5098028 140728826911936 140728826910040 140107975762556 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 29110272 140728826913935 140728826914144 140728826914144 140728826916843 0
/proc/8988/statm: 2378 345 289 221 0 87 0
[pid=8989] ppid=8988 vsize=13868332 CPUtime=2400.14 cores=0,2,4,6,8,10,12,14
/proc/8989/stat : 8989 (java) S 8988 8988 14782 0 -1 1077944320 105409 0 0 0 239888 126 0 0 20 0 28 0 4358786 14201171968 53625 33554432000 4194304 4196468 140731074571536 140731074554080 140630354562807 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
/proc/8989/statm: 3467083 53625 3284 1 0 3454316 0
[pid=8989/tid=8990] ppid=8988 vsize=13868332 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8990/stat : 8990 (java) S 8988 8988 14782 0 -1 1077944384 7355 0 0 0 75 3 0 0 20 0 28 0 4358786 14201171968 53625 33554432000 4194304 4196468 140731074571536 140630358803584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8992] ppid=8988 vsize=13868332 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8992/stat : 8992 (java) S 8988 8988 14782 0 -1 1077944384 1952 0 0 0 25 7 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629954247184 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8993] ppid=8988 vsize=13868332 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8993/stat : 8993 (java) S 8988 8988 14782 0 -1 1077944384 1890 0 0 0 23 5 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629953194640 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8994] ppid=8988 vsize=13868332 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8994/stat : 8994 (java) S 8988 8988 14782 0 -1 1077944384 1739 0 0 0 27 6 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629952141584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8995] ppid=8988 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8995/stat : 8995 (java) S 8988 8988 14782 0 -1 1077944384 1438 0 0 0 26 5 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629951089040 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8996] ppid=8988 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8996/stat : 8996 (java) S 8988 8988 14782 0 -1 1077944384 1012 0 0 0 25 6 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629950037008 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8997] ppid=8988 vsize=13868332 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8997/stat : 8997 (java) S 8988 8988 14782 0 -1 1077944384 886 0 0 0 24 7 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629948984464 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8998] ppid=8988 vsize=13868332 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8998/stat : 8998 (java) S 8988 8988 14782 0 -1 1077944384 894 0 0 0 23 7 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629947931408 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=8999] ppid=8988 vsize=13868332 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/8989/task/8999/stat : 8999 (java) S 8988 8988 14782 0 -1 1077944384 952 0 0 0 24 5 0 0 20 0 28 0 4358787 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629946878864 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9000] ppid=8988 vsize=13868332 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9000/stat : 9000 (java) S 8988 8988 14782 0 -1 1077944384 3221 0 0 0 32 39 0 0 20 0 28 0 4358789 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629548468464 140630354573954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9001] ppid=8988 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9001/stat : 9001 (java) S 8988 8988 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4358790 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629547414688 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9002] ppid=8988 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9002/stat : 9002 (java) S 8988 8988 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4358790 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629546361584 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9003] ppid=8988 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9003/stat : 9003 (java) S 8988 8988 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629545310160 140630354581403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9004] ppid=8988 vsize=13868332 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9004/stat : 9004 (java) S 8988 8988 14782 0 -1 1077944384 16841 0 0 0 373 2 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629544258288 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9005] ppid=8988 vsize=13868332 CPUtime=4.06 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9005/stat : 9005 (java) S 8988 8988 14782 0 -1 1077944384 18874 0 0 0 404 2 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629543205744 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9006] ppid=8988 vsize=13868332 CPUtime=3.55 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9006/stat : 9006 (java) S 8988 8988 14782 0 -1 1077944384 12414 0 0 0 353 2 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629542152688 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9007] ppid=8988 vsize=13868332 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9007/stat : 9007 (java) S 8988 8988 14782 0 -1 1077944384 13339 0 0 0 117 3 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629541100144 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9008] ppid=8988 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9008/stat : 9008 (java) S 8988 8988 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4358794 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629540047328 140630354573013 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9009] ppid=8988 vsize=13868332 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9009/stat : 9009 (java) S 8988 8988 14782 0 -1 1077944384 2099 0 0 0 6 4 0 0 20 0 28 0 4358795 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629538994864 140630354573954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9154] ppid=8988 vsize=13868332 CPUtime=283.05 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9154/stat : 9154 (java) R 8988 8988 14782 0 -1 4202560 909 0 0 0 28304 1 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629527823504 140630000581886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9155] ppid=8988 vsize=13868332 CPUtime=283.78 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9155/stat : 9155 (java) R 8988 8988 14782 0 -1 4202560 1131 0 0 0 28378 0 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629525716592 140629999447018 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9156] ppid=8988 vsize=13868332 CPUtime=283.98 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9156/stat : 9156 (java) R 8988 8988 14782 0 -1 4202560 2139 0 0 0 28397 1 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629522559128 140630000990038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9157] ppid=8988 vsize=13868332 CPUtime=284.45 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9157/stat : 9157 (java) R 8988 8988 14782 0 -1 4202560 1596 0 0 0 28443 2 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629529927512 140630000988119 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9158] ppid=8988 vsize=13868332 CPUtime=284 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9158/stat : 9158 (java) R 8988 8988 14782 0 -1 4202560 1520 0 0 0 28400 0 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629524664216 140630001562696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9159] ppid=8988 vsize=13868332 CPUtime=283.79 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9159/stat : 9159 (java) R 8988 8988 14782 0 -1 4202560 429 0 0 0 28378 1 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629528875032 140630000164717 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9160] ppid=8988 vsize=13868332 CPUtime=283.65 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9160/stat : 9160 (java) R 8988 8988 14782 0 -1 4202560 3408 0 0 0 28364 1 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629523610840 140630001563143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
[pid=8989/tid=9161] ppid=8988 vsize=13868332 CPUtime=283.31 cores=0,2,4,6,8,10,12,14
/proc/8989/task/9161/stat : 9161 (java) R 8988 8988 14782 0 -1 4202560 797 0 0 0 28331 0 0 0 20 0 28 0 4360433 14201171968 53625 33554432000 4194304 4196468 140731074571536 140629526769672 140629999443289 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39571456 140731074577596 140731074577772 140731074577772 140731074580431 0
Current children cumulated CPU time (s) 2400.14
Current children cumulated vsize (KiB) 13877844
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8988 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3018
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003018
# while last known CPU time is 2400.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.712
CPU time (s): 2400.14
CPU user time (s): 2398.88
CPU system time (s): 1.26
CPU usage (%): 792.878
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003018
system time used= 0
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.67402 second user time and 4.20101 second system time
The end