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-4246674-1500688022/watcher-4246674-1500688022 -o /tmp/evaluation-result-4246674-1500688022/solver-4246674-1500688022 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1666883787 HOME/instance-4246674-1500688022.xml
pid=5940
running on 8 cores: 1,3,5,7,9,11,13,15
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: 14.04 14.70 14.95 12/270 5943
/proc/meminfo: memFree=31152644/32770624 swapFree=5804/256776
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
[startup+0.100071 s]
/proc/loadavg: 14.04 14.70 14.95 12/270 5943
/proc/meminfo: memFree=31152644/32770624 swapFree=5804/256776
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200313 s]
/proc/loadavg: 14.04 14.70 14.95 12/270 5943
/proc/meminfo: memFree=31152644/32770624 swapFree=5804/256776
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300252 s]
/proc/loadavg: 14.04 14.70 14.95 12/270 5943
/proc/meminfo: memFree=31152644/32770624 swapFree=5804/256776
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700214 s]
/proc/loadavg: 14.04 14.70 14.95 12/270 5943
/proc/meminfo: memFree=31152644/32770624 swapFree=5804/256776
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5015 s]
/proc/loadavg: 14.04 14.70 14.95 20/299 5972
/proc/meminfo: memFree=31019864/32770624 swapFree=5804/256804
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
[pid=5944] ppid=5943 vsize=13801768 CPUtime=6.93 cores=1,3,5,7,9,11,13,15
/proc/5944/stat : 5944 (java) S 5943 5943 14782 0 -1 1077944320 16844 0 0 0 678 15 0 0 20 0 28 0 4068482 14133010432 51256 33554432000 4194304 4196468 140726344545696 140726344528240 140473675644663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
/proc/5944/statm: 3450442 51256 3243 1 0 3437675 0
[pid=5944/tid=5945] ppid=5943 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5945/stat : 5945 (java) S 5943 5943 14782 0 -1 1077944384 6961 0 0 0 86 5 0 0 20 0 28 0 4068483 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473679885440 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5947] ppid=5943 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5947/stat : 5947 (java) S 5943 5943 14782 0 -1 1077944384 12 0 0 0 0 1 0 0 20 0 28 0 4068484 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473628265616 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5948] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5948/stat : 5948 (java) S 5943 5943 14782 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4068484 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473627212816 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5949] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5949/stat : 5949 (java) S 5943 5943 14782 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4068484 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473626160016 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5950] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5950/stat : 5950 (java) S 5943 5943 14782 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4068484 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473625107216 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5951] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5951/stat : 5951 (java) S 5943 5943 14782 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4068484 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473624054416 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5952] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5952/stat : 5952 (java) S 5943 5943 14782 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4068484 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473623001616 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5953] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5953/stat : 5953 (java) S 5943 5943 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4068484 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473621948816 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5954] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5954/stat : 5954 (java) S 5943 5943 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4068484 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473620896016 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5955] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5955/stat : 5955 (java) S 5943 5943 14782 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4068486 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473002842992 140473675655810 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5956] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5956/stat : 5956 (java) S 5943 5943 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4068487 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473001788960 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5957] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5957/stat : 5957 (java) S 5943 5943 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4068487 14133010432 51256 33554432000 4194304 4196468 140726344545696 140473000736112 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5958] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5958/stat : 5958 (java) S 5943 5943 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068491 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472999684432 140473675663259 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5959] ppid=5943 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5959/stat : 5959 (java) R 5943 5943 14782 0 -1 4202560 1975 0 0 0 70 0 0 0 20 0 28 0 4068491 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472998618336 140473661261943 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5960] ppid=5943 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5960/stat : 5960 (java) R 5943 5943 14782 0 -1 4202560 1580 0 0 0 77 0 0 0 20 0 28 0 4068491 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472997564960 140473655807953 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5961] ppid=5943 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5961/stat : 5961 (java) R 5943 5943 14782 0 -1 4202560 1971 0 0 0 74 0 0 0 20 0 28 0 4068491 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472996517408 140473655599587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5962] ppid=5943 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5962/stat : 5962 (java) S 5943 5943 14782 0 -1 1077944384 2453 0 0 0 59 0 0 0 20 0 28 0 4068491 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472995473392 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5963] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5963/stat : 5963 (java) S 5943 5943 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068491 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472994421856 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5964] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5964/stat : 5964 (java) S 5943 5943 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068491 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472993369136 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5965] ppid=5943 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5965/stat : 5965 (java) R 5943 5943 14782 0 -1 4202560 67 0 0 0 37 0 0 0 20 0 28 0 4068576 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472985852608 140473303407042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5966] ppid=5943 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5966/stat : 5966 (java) R 5943 5943 14782 0 -1 4202560 46 0 0 0 29 0 0 0 20 0 28 0 4068576 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472984800392 140473297659646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5967] ppid=5943 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5967/stat : 5967 (java) R 5943 5943 14782 0 -1 4202560 48 0 0 0 37 0 0 0 20 0 28 0 4068576 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472983748296 140473303405695 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5968] ppid=5943 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5968/stat : 5968 (java) R 5943 5943 14782 0 -1 4202560 111 0 0 0 39 0 0 0 20 0 28 0 4068576 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472982695240 140473303405916 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5969] ppid=5943 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5969/stat : 5969 (java) R 5943 5943 14782 0 -1 4202560 34 0 0 0 40 0 0 0 20 0 28 0 4068576 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472981642696 140473303358384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5970] ppid=5943 vsize=13801768 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5970/stat : 5970 (java) R 5943 5943 14782 0 -1 4202560 40 0 0 0 44 0 0 0 20 0 28 0 4068576 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472980590432 140473297685348 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5971] ppid=5943 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5971/stat : 5971 (java) R 5943 5943 14782 0 -1 4202560 35 0 0 0 40 0 0 0 20 0 28 0 4068576 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472979537864 140473303358456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5972] ppid=5943 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5972/stat : 5972 (java) R 5943 5943 14782 0 -1 4202560 34 0 0 0 35 0 0 0 20 0 28 0 4068576 14133010432 51256 33554432000 4194304 4196468 140726344545696 140472978484368 140473303358377 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 13811280
[startup+3.10123 s]
/proc/loadavg: 14.04 14.70 14.95 18/299 5988
/proc/meminfo: memFree=30930196/32770624 swapFree=5804/256812
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
[pid=5944] ppid=5943 vsize=13801768 CPUtime=16.98 cores=1,3,5,7,9,11,13,15
/proc/5944/stat : 5944 (java) S 5943 5943 14782 0 -1 1077944320 18942 0 0 0 1672 26 0 0 20 0 28 0 4068482 14133010432 86281 33554432000 4194304 4196468 140726344545696 140726344528240 140473675644663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
/proc/5944/statm: 3450442 86281 3254 1 0 3437675 0
[pid=5944/tid=5945] ppid=5943 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5945/stat : 5945 (java) S 5943 5943 14782 0 -1 1077944384 6962 0 0 0 86 5 0 0 20 0 28 0 4068483 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473679885440 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5947] ppid=5943 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5947/stat : 5947 (java) S 5943 5943 14782 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 28 0 4068484 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473628265616 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5948] ppid=5943 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5948/stat : 5948 (java) S 5943 5943 14782 0 -1 1077944384 22 0 0 0 1 2 0 0 20 0 28 0 4068484 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473627212816 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5949] ppid=5943 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5949/stat : 5949 (java) S 5943 5943 14782 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 28 0 4068484 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473626160016 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5950] ppid=5943 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5950/stat : 5950 (java) S 5943 5943 14782 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 28 0 4068484 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473625107216 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5951] ppid=5943 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5951/stat : 5951 (java) S 5943 5943 14782 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 4068484 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473624054416 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5952] ppid=5943 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5952/stat : 5952 (java) S 5943 5943 14782 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 4068484 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473623001616 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5953] ppid=5943 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5953/stat : 5953 (java) S 5943 5943 14782 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 4068484 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473621948816 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5954] ppid=5943 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5954/stat : 5954 (java) S 5943 5943 14782 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 28 0 4068484 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473620896016 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5955] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5955/stat : 5955 (java) S 5943 5943 14782 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4068486 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473002842992 140473675655810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5956] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5956/stat : 5956 (java) S 5943 5943 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4068487 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473001789024 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5957] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5957/stat : 5957 (java) S 5943 5943 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4068487 14133010432 86281 33554432000 4194304 4196468 140726344545696 140473000736128 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5958] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5958/stat : 5958 (java) S 5943 5943 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068491 14133010432 86281 33554432000 4194304 4196468 140726344545696 140472999684432 140473675663259 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5959] ppid=5943 vsize=13801768 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5959/stat : 5959 (java) R 5943 5943 14782 0 -1 4202560 2301 0 0 0 167 0 0 0 20 0 28 0 4068491 14133010432 86281 33554432000 4194304 4196468 140726344545696 140472998616384 140473659636609 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5960] ppid=5943 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5960/stat : 5960 (java) S 5943 5943 14782 0 -1 1077944384 1977 0 0 0 180 0 0 0 20 0 28 0 4068491 14133010432 86281 33554432000 4194304 4196468 140726344545696 140472997578992 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5961] ppid=5943 vsize=13801768 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5961/stat : 5961 (java) S 5943 5943 14782 0 -1 1077944384 2081 0 0 0 171 0 0 0 20 0 28 0 4068491 14133010432 86281 33554432000 4194304 4196468 140726344545696 140472996526192 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5962] ppid=5943 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5962/stat : 5962 (java) S 5943 5943 14782 0 -1 1077944384 2707 0 0 0 79 1 0 0 20 0 28 0 4068491 14133010432 86281 33554432000 4194304 4196468 140726344545696 140472995473392 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5963] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5963/stat : 5963 (java) S 5943 5943 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068491 14133010432 86281 33554432000 4194304 4196468 140726344545696 140472994421856 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5964] ppid=5943 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5964/stat : 5964 (java) S 5943 5943 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068491 14133010432 86281 33554432000 4194304 4196468 140726344545696 140472993369136 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
Current children cumulated CPU time (s) 16.98
Current children cumulated vsize (KiB) 13811280
[startup+6.3013 s]
/proc/loadavg: 14.44 14.77 14.97 18/299 6068
/proc/meminfo: memFree=30774876/32770624 swapFree=5804/256812
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
[pid=5944] ppid=5943 vsize=14001460 CPUtime=41.87 cores=1,3,5,7,9,11,13,15
/proc/5944/stat : 5944 (java) S 5943 5943 14782 0 -1 1077944320 21131 0 0 0 4138 49 0 0 20 0 28 0 4068482 14337495040 120827 33554432000 4194304 4196468 140726344545696 140726344528240 140473675644663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
/proc/5944/statm: 3500365 120827 3266 1 0 3487598 0
[pid=5944/tid=5945] ppid=5943 vsize=14001460 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5945/stat : 5945 (java) S 5943 5943 14782 0 -1 1077944384 6969 0 0 0 87 5 0 0 20 0 28 0 4068483 14337495040 120827 33554432000 4194304 4196468 140726344545696 140473679885440 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5947] ppid=5943 vsize=14001460 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5947/stat : 5947 (java) S 5943 5943 14782 0 -1 1077944384 42 0 0 0 3 4 0 0 20 0 28 0 4068484 14337495040 120827 33554432000 4194304 4196468 140726344545696 140473628265616 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5948] ppid=5943 vsize=14001460 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5948/stat : 5948 (java) S 5943 5943 14782 0 -1 1077944384 49 0 0 0 4 4 0 0 20 0 28 0 4068484 14337495040 120827 33554432000 4194304 4196468 140726344545696 140473627212816 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5949] ppid=5943 vsize=14001460 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5949/stat : 5949 (java) S 5943 5943 14782 0 -1 1077944384 37 0 0 0 3 3 0 0 20 0 28 0 4068484 14337495040 120827 33554432000 4194304 4196468 140726344545696 140473626160016 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5950] ppid=5943 vsize=14001460 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5950/stat : 5950 (java) S 5943 5943 14782 0 -1 1077944384 37 0 0 0 2 4 0 0 20 0 28 0 4068484 14337495040 120827 33554432000 4194304 4196468 140726344545696 140473625107216 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
################
# More data... #
################
[pid=5944/tid=6372] ppid=5943 vsize=14001460 CPUtime=37.69 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6372/stat : 6372 (java) R 5943 5943 14782 0 -1 4202560 2133 0 0 0 3769 0 0 0 20 0 28 0 4092932 14337495040 315275 33554432000 4194304 4196468 140726344545696 140472983749096 140473306976874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6373] ppid=5943 vsize=14001460 CPUtime=37.38 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6373/stat : 6373 (java) R 5943 5943 14782 0 -1 4202560 376 0 0 0 3738 0 0 0 20 0 28 0 4092932 14337495040 315275 33554432000 4194304 4196468 140726344545696 140472985854232 140473305057213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
Current children cumulated CPU time (s) 2236.85
Current children cumulated vsize (KiB) 14010972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.902 s]
/proc/loadavg: 15.99 15.55 15.25 17/301 6374
/proc/meminfo: memFree=29839092/32770624 swapFree=5804/257212
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
[pid=5944] ppid=5943 vsize=14001460 CPUtime=2400.8 cores=1,3,5,7,9,11,13,15
/proc/5944/stat : 5944 (java) S 5943 5943 14782 0 -1 1077944320 119858 0 0 0 239884 196 0 0 20 0 28 0 4068482 14337495040 316166 33554432000 4194304 4196468 140726344545696 140726344528240 140473675644663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
/proc/5944/statm: 3500365 316166 3277 1 0 3487598 0
[pid=5944/tid=5945] ppid=5943 vsize=14001460 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5945/stat : 5945 (java) S 5943 5943 14782 0 -1 1077944384 7588 0 0 0 87 5 0 0 20 0 28 0 4068483 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473679885440 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5947] ppid=5943 vsize=14001460 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5947/stat : 5947 (java) S 5943 5943 14782 0 -1 1077944384 1444 0 0 0 17 18 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473628265616 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5948] ppid=5943 vsize=14001460 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5948/stat : 5948 (java) S 5943 5943 14782 0 -1 1077944384 1322 0 0 0 19 15 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473627212816 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5949] ppid=5943 vsize=14001460 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5949/stat : 5949 (java) S 5943 5943 14782 0 -1 1077944384 1920 0 0 0 17 16 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473626160016 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5950] ppid=5943 vsize=14001460 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5950/stat : 5950 (java) S 5943 5943 14782 0 -1 1077944384 1649 0 0 0 16 17 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473625107216 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5951] ppid=5943 vsize=14001460 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5951/stat : 5951 (java) S 5943 5943 14782 0 -1 1077944384 2850 0 0 0 18 16 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473624054416 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5952] ppid=5943 vsize=14001460 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5952/stat : 5952 (java) S 5943 5943 14782 0 -1 1077944384 2001 0 0 0 19 16 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473623001616 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5953] ppid=5943 vsize=14001460 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5953/stat : 5953 (java) S 5943 5943 14782 0 -1 1077944384 1735 0 0 0 19 15 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473621948816 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5954] ppid=5943 vsize=14001460 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5954/stat : 5954 (java) S 5943 5943 14782 0 -1 1077944384 1821 0 0 0 18 16 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473620896016 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5955] ppid=5943 vsize=14001460 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5955/stat : 5955 (java) S 5943 5943 14782 0 -1 1077944384 5965 0 0 0 9 12 0 0 20 0 28 0 4068486 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473002842992 140473675655810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5956] ppid=5943 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5956/stat : 5956 (java) S 5943 5943 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4068487 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473001789024 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5957] ppid=5943 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5957/stat : 5957 (java) S 5943 5943 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4068487 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473000736128 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5958] ppid=5943 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5958/stat : 5958 (java) S 5943 5943 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472999684432 140473675663259 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5959] ppid=5943 vsize=14001460 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5959/stat : 5959 (java) S 5943 5943 14782 0 -1 1077944384 13575 0 0 0 313 2 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472998631792 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5960] ppid=5943 vsize=14001460 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5960/stat : 5960 (java) S 5943 5943 14782 0 -1 1077944384 9201 0 0 0 302 1 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472997578992 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5961] ppid=5943 vsize=14001460 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5961/stat : 5961 (java) S 5943 5943 14782 0 -1 1077944384 12830 0 0 0 304 2 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472996526192 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5962] ppid=5943 vsize=14001460 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5962/stat : 5962 (java) S 5943 5943 14782 0 -1 1077944384 10509 0 0 0 99 2 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472995473392 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5963] ppid=5943 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5963/stat : 5963 (java) S 5943 5943 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472994421856 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5964] ppid=5943 vsize=14001460 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5964/stat : 5964 (java) S 5943 5943 14782 0 -1 1077944384 1253 0 0 0 5 7 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472993369136 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6366] ppid=5943 vsize=14001460 CPUtime=58.12 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6366/stat : 6366 (java) R 5943 5943 14782 0 -1 4202560 1204 0 0 0 5812 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472976378920 140473303775129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6367] ppid=5943 vsize=14001460 CPUtime=57.84 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6367/stat : 6367 (java) R 5943 5943 14782 0 -1 4202560 1231 0 0 0 5784 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472975327320 140473304957524 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6368] ppid=5943 vsize=14001460 CPUtime=58.22 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6368/stat : 6368 (java) R 5943 5943 14782 0 -1 4202560 1089 0 0 0 5822 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472981642784 140473306976898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6369] ppid=5943 vsize=14001460 CPUtime=57.48 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6369/stat : 6369 (java) R 5943 5943 14782 0 -1 4202560 743 0 0 0 5748 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472980593216 140473304958364 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6370] ppid=5943 vsize=14001460 CPUtime=58.21 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6370/stat : 6370 (java) R 5943 5943 14782 0 -1 4202560 349 0 0 0 5821 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472977432376 140473303774525 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6371] ppid=5943 vsize=14001460 CPUtime=58.23 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6371/stat : 6371 (java) R 5943 5943 14782 0 -1 4202560 500 0 0 0 5823 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472982695496 140473305029371 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6372] ppid=5943 vsize=14001460 CPUtime=58.23 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6372/stat : 6372 (java) R 5943 5943 14782 0 -1 4202560 2561 0 0 0 5823 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472983748904 140473306976884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6373] ppid=5943 vsize=14001460 CPUtime=57.91 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6373/stat : 6373 (java) R 5943 5943 14782 0 -1 4202560 439 0 0 0 5791 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472985854280 140473304957447 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
Current children cumulated CPU time (s) 2400.8
Current children cumulated vsize (KiB) 14010972
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 5944 sig 9
??? kill 5943 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.902 s]
/proc/loadavg: 15.99 15.55 15.25 17/301 6374
/proc/meminfo: memFree=29839092/32770624 swapFree=5804/257212
[pid=5943] ppid=5940 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5943/stat : 5943 (xcsp3-exec) S 5940 5943 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4068482 9740288 346 33554432000 4194304 5098028 140728977041312 140728977039416 140035369947772 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31703040 140728977044622 140728977044832 140728977044832 140728977047531 0
/proc/5943/statm: 2378 346 289 221 0 87 0
[pid=5944] ppid=5943 vsize=14001460 CPUtime=2400.8 cores=1,3,5,7,9,11,13,15
/proc/5944/stat : 5944 (java) S 5943 5943 14782 0 -1 1077944320 119858 0 0 0 239884 196 0 0 20 0 28 0 4068482 14337495040 316166 33554432000 4194304 4196468 140726344545696 140726344528240 140473675644663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
/proc/5944/statm: 3500365 316166 3277 1 0 3487598 0
[pid=5944/tid=5945] ppid=5943 vsize=14001460 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5945/stat : 5945 (java) S 5943 5943 14782 0 -1 1077944384 7588 0 0 0 87 5 0 0 20 0 28 0 4068483 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473679885440 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5947] ppid=5943 vsize=14001460 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5947/stat : 5947 (java) S 5943 5943 14782 0 -1 1077944384 1444 0 0 0 17 18 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473628265616 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5948] ppid=5943 vsize=14001460 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5948/stat : 5948 (java) S 5943 5943 14782 0 -1 1077944384 1322 0 0 0 19 15 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473627212816 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5949] ppid=5943 vsize=14001460 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5949/stat : 5949 (java) S 5943 5943 14782 0 -1 1077944384 1920 0 0 0 17 16 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473626160016 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5950] ppid=5943 vsize=14001460 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5950/stat : 5950 (java) S 5943 5943 14782 0 -1 1077944384 1649 0 0 0 16 17 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473625107216 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5951] ppid=5943 vsize=14001460 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5951/stat : 5951 (java) S 5943 5943 14782 0 -1 1077944384 2850 0 0 0 18 16 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473624054416 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5952] ppid=5943 vsize=14001460 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5952/stat : 5952 (java) S 5943 5943 14782 0 -1 1077944384 2001 0 0 0 19 16 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473623001616 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5953] ppid=5943 vsize=14001460 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5953/stat : 5953 (java) S 5943 5943 14782 0 -1 1077944384 1735 0 0 0 19 15 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473621948816 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5954] ppid=5943 vsize=14001460 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5954/stat : 5954 (java) S 5943 5943 14782 0 -1 1077944384 1821 0 0 0 18 16 0 0 20 0 28 0 4068484 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473620896016 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5955] ppid=5943 vsize=14001460 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5955/stat : 5955 (java) S 5943 5943 14782 0 -1 1077944384 5965 0 0 0 9 12 0 0 20 0 28 0 4068486 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473002842992 140473675655810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5956] ppid=5943 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5956/stat : 5956 (java) S 5943 5943 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4068487 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473001789024 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5957] ppid=5943 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5957/stat : 5957 (java) S 5943 5943 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4068487 14337495040 316166 33554432000 4194304 4196468 140726344545696 140473000736128 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5958] ppid=5943 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5958/stat : 5958 (java) S 5943 5943 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472999684432 140473675663259 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5959] ppid=5943 vsize=14001460 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5959/stat : 5959 (java) S 5943 5943 14782 0 -1 1077944384 13575 0 0 0 313 2 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472998631792 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5960] ppid=5943 vsize=14001460 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5960/stat : 5960 (java) S 5943 5943 14782 0 -1 1077944384 9201 0 0 0 302 1 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472997578992 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5961] ppid=5943 vsize=14001460 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5961/stat : 5961 (java) S 5943 5943 14782 0 -1 1077944384 12830 0 0 0 304 2 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472996526192 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5962] ppid=5943 vsize=14001460 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5962/stat : 5962 (java) S 5943 5943 14782 0 -1 1077944384 10509 0 0 0 99 2 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472995473392 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5963] ppid=5943 vsize=14001460 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5963/stat : 5963 (java) S 5943 5943 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472994421856 140473675654869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=5964] ppid=5943 vsize=14001460 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/5944/task/5964/stat : 5964 (java) S 5943 5943 14782 0 -1 1077944384 1253 0 0 0 5 7 0 0 20 0 28 0 4068491 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472993369136 140473675655810 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6366] ppid=5943 vsize=14001460 CPUtime=58.12 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6366/stat : 6366 (java) R 5943 5943 14782 0 -1 4202560 1204 0 0 0 5812 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472976378920 140473303775129 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6367] ppid=5943 vsize=14001460 CPUtime=57.84 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6367/stat : 6367 (java) R 5943 5943 14782 0 -1 4202560 1231 0 0 0 5784 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472975327320 140473304957524 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6368] ppid=5943 vsize=14001460 CPUtime=58.22 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6368/stat : 6368 (java) R 5943 5943 14782 0 -1 4202560 1089 0 0 0 5822 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472981642784 140473306976898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6369] ppid=5943 vsize=14001460 CPUtime=57.48 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6369/stat : 6369 (java) R 5943 5943 14782 0 -1 4202560 743 0 0 0 5748 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472980593216 140473304958364 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6370] ppid=5943 vsize=14001460 CPUtime=58.21 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6370/stat : 6370 (java) R 5943 5943 14782 0 -1 4202560 349 0 0 0 5821 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472977432376 140473303774525 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6371] ppid=5943 vsize=14001460 CPUtime=58.23 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6371/stat : 6371 (java) R 5943 5943 14782 0 -1 4202560 500 0 0 0 5823 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472982695496 140473305029371 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6372] ppid=5943 vsize=14001460 CPUtime=58.23 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6372/stat : 6372 (java) R 5943 5943 14782 0 -1 4202560 2561 0 0 0 5823 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472983748904 140473306976884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
[pid=5944/tid=6373] ppid=5943 vsize=14001460 CPUtime=57.91 cores=1,3,5,7,9,11,13,15
/proc/5944/task/6373/stat : 6373 (java) R 5943 5943 14782 0 -1 4202560 439 0 0 0 5791 0 0 0 20 0 28 0 4092932 14337495040 316166 33554432000 4194304 4196468 140726344545696 140472985854280 140473304957447 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140726344553660 140726344553836 140726344553836 140726344556495 0
Current children cumulated CPU time (s) 2400.8
Current children cumulated vsize (KiB) 14010972
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5943 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1833
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1450
# CPU time returned by wait4() is 0.003283
# while last known CPU time is 2400.8
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.912
CPU time (s): 2400.8
CPU user time (s): 2398.84
CPU system time (s): 1.96
CPU usage (%): 792.573
Max. virtual memory (cumulated for all children) (KiB): 14010972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001833
system time used= 0.00145
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.0075 second user time and 4.20654 second system time
The end