runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13124 MiB free)
memory of node 1: 16384 MiB (11702 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406298-1569399618/watcher-4406298-1569399618 -o /var/tmp/evaluation-result-4406298-1569399618/solver-4406298-1569399618 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25937 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674339674 HOME/instance-4406298-1569399618.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26958, runsolver pid=26955
[startup+0.100058 s]*
/proc/loadavg: 1.96 1.95 1.80 4/229 26974
/proc/meminfo: memFree=25406428/32770624 swapFree=66953520/67108860
[pid=26958] ppid=26955 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26958/stat : 26958 (xcsp3-exec) S 26955 26958 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515876603 115843072 364 33554432000 4194304 5098028 140720457778304 140720457776408 139730122764924 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8060928 140720457782103 140720457782361 140720457782361 140720457785286 0
/proc/26958/statm: 28282 364 305 221 0 87 0
[pid=26960] ppid=26958 vsize=15144776 memory=28776 CPUtime=0.13 cores=1,3,5,7
/proc/26960/stat : 26960 (java) S 26958 26958 25905 0 -1 1077944320 5643 0 0 0 12 1 0 0 20 0 15 0 515876603 15508250624 7194 33554432000 4194304 4196468 140726122866304 140726122848848 140629053431543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
/proc/26960/statm: 3786194 7194 3155 1 0 3748377 0
[pid=26960/tid=26961] ppid=26958 vsize=15144776 memory=8108032331684915787 CPUtime=0.09 cores=1,3,5,7
/proc/26960/task/26961/stat : 26961 (java) R 26958 26958 25905 0 -1 4202560 3550 0 0 0 8 1 0 0 20 0 15 0 515876603 15508250624 7326 33554432000 4194304 4196468 140726122866304 140629057655952 140629037511956 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26962] ppid=26958 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26962/stat : 26962 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628981472400 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26963] ppid=26958 vsize=15144776 memory=140322443400832 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26963/stat : 26963 (java) S 26958 26958 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515876604 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628980419600 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26964] ppid=26958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26964/stat : 26964 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628979366800 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26965] ppid=26958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26965/stat : 26965 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628978314000 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26966] ppid=26958 vsize=15144776 memory=140322443400832 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26966/stat : 26966 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876606 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628196059504 140629053442690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26967] ppid=26958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26967/stat : 26967 (java) S 26958 26958 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515876606 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628195005472 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26968] ppid=26958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26968/stat : 26968 (java) S 26958 26958 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515876606 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628193952624 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26969] ppid=26958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26969/stat : 26969 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628192900944 140629053450139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26970] ppid=26958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26970/stat : 26970 (java) R 26958 26958 25905 0 -1 4202560 470 0 0 0 0 0 0 0 20 0 15 0 515876609 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628191849328 140629030676288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26971] ppid=26958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26971/stat : 26971 (java) R 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628190796528 140629053442690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26972] ppid=26958 vsize=15144776 memory=140322443400832 CPUtime=0.02 cores=1,3,5,7
/proc/26960/task/26972/stat : 26972 (java) R 26958 26958 25905 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 515876609 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628189743728 140629053445403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26973] ppid=26958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26973/stat : 26973 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628188691168 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26974] ppid=26958 vsize=15144776 memory=140322443400832 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26974/stat : 26974 (java) S 26958 26958 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515876609 15508250624 7326 33554432000 4194304 4196468 140726122866304 140628187638448 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30232 KiB
[startup+0.212813 s]*
/proc/loadavg: 1.96 1.95 1.80 3/229 26974
/proc/meminfo: memFree=25392988/32770624 swapFree=66953520/67108860
[pid=26958] ppid=26955 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26958/stat : 26958 (xcsp3-exec) S 26955 26958 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515876603 115843072 364 33554432000 4194304 5098028 140720457778304 140720457776408 139730122764924 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8060928 140720457782103 140720457782361 140720457782361 140720457785286 0
/proc/26958/statm: 28282 364 305 221 0 87 0
[pid=26960] ppid=26958 vsize=15144776 memory=41060 CPUtime=0.35 cores=1,3,5,7
/proc/26960/stat : 26960 (java) S 26958 26958 25905 0 -1 1077944320 9498 0 0 0 32 3 0 0 20 0 15 0 515876603 15508250624 10265 33554432000 4194304 4196468 140726122866304 140726122848848 140629053431543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
/proc/26960/statm: 3786194 10265 3321 1 0 3748377 0
[pid=26960/tid=26961] ppid=26958 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26960/task/26961/stat : 26961 (java) R 26958 26958 25905 0 -1 4202560 6624 0 0 0 18 2 0 0 20 0 15 0 515876603 15508250624 10265 33554432000 4194304 4196468 140726122866304 140629057666080 140629053452890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26962] ppid=26958 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26962/stat : 26962 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15508250624 10265 33554432000 4194304 4196468 140726122866304 140628981472400 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26963] ppid=26958 vsize=15144776 memory=288230376155584312 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26963/stat : 26963 (java) S 26958 26958 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515876604 15508250624 10265 33554432000 4194304 4196468 140726122866304 140628980419600 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26964] ppid=26958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26964/stat : 26964 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15508250624 10265 33554432000 4194304 4196468 140726122866304 140628979366800 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26965] ppid=26958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26965/stat : 26965 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15508250624 10265 33554432000 4194304 4196468 140726122866304 140628978314000 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26966] ppid=26958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26966/stat : 26966 (java) S 26958 26958 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515876606 15508250624 10265 33554432000 4194304 4196468 140726122866304 140628196059504 140629053442690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26967] ppid=26958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26967/stat : 26967 (java) S 26958 26958 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515876606 15508250624 10265 33554432000 4194304 4196468 140726122866304 140628195005472 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26968] ppid=26958 vsize=15144776 memory=140322443400832 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26968/stat : 26968 (java) S 26958 26958 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515876606 15508250624 10327 33554432000 4194304 4196468 140726122866304 140628193952624 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26969] ppid=26958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26969/stat : 26969 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15508250624 10327 33554432000 4194304 4196468 140726122866304 140628192900944 140629053450139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26970] ppid=26958 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26960/task/26970/stat : 26970 (java) S 26958 26958 25905 0 -1 1077944384 661 0 0 0 3 0 0 0 20 0 15 0 515876609 15508250624 10327 33554432000 4194304 4196468 140726122866304 140628191849328 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26971] ppid=26958 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26960/task/26971/stat : 26971 (java) S 26958 26958 25905 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 15 0 515876609 15508250624 10327 33554432000 4194304 4196468 140726122866304 140628190796528 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26972] ppid=26958 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26960/task/26972/stat : 26972 (java) S 26958 26958 25905 0 -1 1077944384 785 0 0 0 8 0 0 0 20 0 15 0 515876609 15508250624 10327 33554432000 4194304 4196468 140726122866304 140628189743728 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26973] ppid=26958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26973/stat : 26973 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15508250624 10327 33554432000 4194304 4196468 140726122866304 140628188691168 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26974] ppid=26958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26974/stat : 26974 (java) S 26958 26958 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515876609 15508250624 10327 33554432000 4194304 4196468 140726122866304 140628187638448 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42516 KiB
[startup+0.31066 s]*
/proc/loadavg: 1.96 1.95 1.80 4/229 26974
/proc/meminfo: memFree=25385544/32770624 swapFree=66953520/67108860
[pid=26958] ppid=26955 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26958/stat : 26958 (xcsp3-exec) S 26955 26958 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515876603 115843072 364 33554432000 4194304 5098028 140720457778304 140720457776408 139730122764924 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8060928 140720457782103 140720457782361 140720457782361 140720457785286 0
/proc/26958/statm: 28282 364 305 221 0 87 0
[pid=26960] ppid=26958 vsize=15149032 memory=50328 CPUtime=0.54 cores=1,3,5,7
/proc/26960/stat : 26960 (java) S 26958 26958 25905 0 -1 1077944320 10871 0 0 0 50 4 0 0 20 0 15 0 515876603 15512608768 12582 33554432000 4194304 4196468 140726122866304 140726122848848 140629053431543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
/proc/26960/statm: 3787258 12582 3368 1 0 3748377 0
[pid=26960/tid=26961] ppid=26958 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/26960/task/26961/stat : 26961 (java) R 26958 26958 25905 0 -1 4202560 7814 0 0 0 27 3 0 0 20 0 15 0 515876603 15512608768 12582 33554432000 4194304 4196468 140726122866304 140629057665328 140629037512030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26962] ppid=26958 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26962/stat : 26962 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628981472400 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26963] ppid=26958 vsize=15149032 memory=288230376155572045 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26963/stat : 26963 (java) S 26958 26958 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515876604 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628980419600 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26964] ppid=26958 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26964/stat : 26964 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628979366800 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26965] ppid=26958 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26965/stat : 26965 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628978314000 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26966] ppid=26958 vsize=15149032 memory=140322443400832 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26966/stat : 26966 (java) S 26958 26958 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515876606 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628196059504 140629053442690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26967] ppid=26958 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26967/stat : 26967 (java) S 26958 26958 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515876606 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628195005472 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26968] ppid=26958 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26968/stat : 26968 (java) S 26958 26958 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515876606 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628193952624 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26969] ppid=26958 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26969/stat : 26969 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628192900944 140629053450139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26970] ppid=26958 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26960/task/26970/stat : 26970 (java) S 26958 26958 25905 0 -1 1077944384 670 0 0 0 4 0 0 0 20 0 15 0 515876609 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628191849328 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26971] ppid=26958 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/26960/task/26971/stat : 26971 (java) S 26958 26958 25905 0 -1 1077944384 216 0 0 0 5 0 0 0 20 0 15 0 515876609 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628190796528 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26972] ppid=26958 vsize=15149032 memory=140322443400832 CPUtime=0.13 cores=1,3,5,7
/proc/26960/task/26972/stat : 26972 (java) S 26958 26958 25905 0 -1 1077944384 874 0 0 0 13 0 0 0 20 0 15 0 515876609 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628189743728 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26973] ppid=26958 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26973/stat : 26973 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628188691168 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26974] ppid=26958 vsize=15149032 memory=140322443400832 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26974/stat : 26974 (java) S 26958 26958 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515876609 15512608768 12582 33554432000 4194304 4196468 140726122866304 140628187638448 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51784 KiB
[startup+0.701309 s]
/proc/loadavg: 1.96 1.95 1.80 4/229 26974
/proc/meminfo: memFree=25367596/32770624 swapFree=66953520/67108860
[pid=26958] ppid=26955 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26958/stat : 26958 (xcsp3-exec) S 26955 26958 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515876603 115843072 364 33554432000 4194304 5098028 140720457778304 140720457776408 139730122764924 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8060928 140720457782103 140720457782361 140720457782361 140720457785286 0
/proc/26958/statm: 28282 364 305 221 0 87 0
[pid=26960] ppid=26958 vsize=15151156 memory=113952 CPUtime=1.61 cores=1,3,5,7
/proc/26960/stat : 26960 (java) S 26958 26958 25905 0 -1 1077944320 13977 0 0 0 155 6 0 0 20 0 15 0 515876603 15514783744 28488 33554432000 4194304 4196468 140726122866304 140726122848848 140629053431543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
/proc/26960/statm: 3787789 28488 3445 1 0 3748889 0
[pid=26960/tid=26961] ppid=26958 vsize=15151156 memory=2116 CPUtime=0.67 cores=1,3,5,7
/proc/26960/task/26961/stat : 26961 (java) R 26958 26958 25905 0 -1 4202560 9215 0 0 0 63 4 0 0 20 0 15 0 515876603 15514783744 28488 33554432000 4194304 4196468 140726122866304 140629057667728 140629037475173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26962] ppid=26958 vsize=15151156 memory=520 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26962/stat : 26962 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628981472400 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26963] ppid=26958 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26963/stat : 26963 (java) S 26958 26958 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515876604 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628980419600 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26964] ppid=26958 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26964/stat : 26964 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628979366800 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26965] ppid=26958 vsize=15151156 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26965/stat : 26965 (java) S 26958 26958 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515876604 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628978314000 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26966] ppid=26958 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26966/stat : 26966 (java) S 26958 26958 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628196059504 140629053442690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26967] ppid=26958 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26967/stat : 26967 (java) S 26958 26958 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628195005472 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26968] ppid=26958 vsize=15151156 memory=808 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26968/stat : 26968 (java) S 26958 26958 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628193952624 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26969] ppid=26958 vsize=15151156 memory=7086240636179272035 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26969/stat : 26969 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628192900944 140629053450139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26970] ppid=26958 vsize=15151156 memory=8025788809766065260 CPUtime=0.31 cores=1,3,5,7
/proc/26960/task/26970/stat : 26970 (java) R 26958 26958 25905 0 -1 4202560 1151 0 0 0 31 0 0 0 20 0 15 0 515876609 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628191836144 140629036818448 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26971] ppid=26958 vsize=15151156 memory=7007707949394126417 CPUtime=0.3 cores=1,3,5,7
/proc/26960/task/26971/stat : 26971 (java) R 26958 26958 25905 0 -1 4202560 847 0 0 0 30 0 0 0 20 0 15 0 515876609 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628190776128 140629034954833 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26972] ppid=26958 vsize=15151156 memory=8514726395715219869 CPUtime=0.29 cores=1,3,5,7
/proc/26960/task/26972/stat : 26972 (java) R 26958 26958 25905 0 -1 4202560 1456 0 0 0 29 0 0 0 20 0 15 0 515876609 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628189743728 140629031423395 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26973] ppid=26958 vsize=15151156 memory=7954035780130139755 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26973/stat : 26973 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628188691168 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26974] ppid=26958 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26974/stat : 26974 (java) S 26958 26958 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 28488 33554432000 4194304 4196468 140726122866304 140628187638448 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 115408 KiB
[startup+1.50093 s]
/proc/loadavg: 1.96 1.95 1.81 6/229 26974
/proc/meminfo: memFree=25318200/32770624 swapFree=66953520/67108860
[pid=26958] ppid=26955 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26958/stat : 26958 (xcsp3-exec) S 26955 26958 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515876603 115843072 364 33554432000 4194304 5098028 140720457778304 140720457776408 139730122764924 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8060928 140720457782103 140720457782361 140720457782361 140720457785286 0
/proc/26958/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/26960/task/26968/stat : 26968 (java) S 26958 26958 25905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 69173 33554432000 4194304 4196468 140726122866304 140628193952624 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26969] ppid=26958 vsize=15151156 memory=276692 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26969/stat : 26969 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 69173 33554432000 4194304 4196468 140726122866304 140628192900944 140629053450139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26970] ppid=26958 vsize=15151156 memory=2596 CPUtime=1.64 cores=1,3,5,7
/proc/26960/task/26970/stat : 26970 (java) S 26958 26958 25905 0 -1 1077944384 17765 0 0 0 161 3 0 0 20 0 15 0 515876609 15514783744 69173 33554432000 4194304 4196468 140726122866304 140628191849328 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26971] ppid=26958 vsize=15151156 memory=2704 CPUtime=1.47 cores=1,3,5,7
/proc/26960/task/26971/stat : 26971 (java) S 26958 26958 25905 0 -1 1077944384 11399 0 0 0 145 2 0 0 20 0 15 0 515876609 15514783744 69173 33554432000 4194304 4196468 140726122866304 140628190796528 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26972] ppid=26958 vsize=15151156 memory=1456 CPUtime=0.53 cores=1,3,5,7
/proc/26960/task/26972/stat : 26972 (java) S 26958 26958 25905 0 -1 1077944384 7879 0 0 0 51 2 0 0 20 0 15 0 515876609 15514783744 69173 33554432000 4194304 4196468 140726122866304 140628189743728 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26973] ppid=26958 vsize=15151156 memory=276692 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26973/stat : 26973 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 69173 33554432000 4194304 4196468 140726122866304 140628188691168 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26974] ppid=26958 vsize=15151156 memory=1456 CPUtime=1.41 cores=1,3,5,7
/proc/26960/task/26974/stat : 26974 (java) S 26958 26958 25905 0 -1 1077944384 1037 0 0 0 56 85 0 0 20 0 15 0 515876609 15514783744 69173 33554432000 4194304 4196468 140726122866304 140628187638448 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
Current children cumulated CPU time: 2447.97 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 278148 KiB
[startup+2502.3 s]
/proc/loadavg: 2.51 2.15 2.05 3/230 27309
/proc/meminfo: memFree=25171512/32770624 swapFree=66953520/67108860
[pid=26958] ppid=26955 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26958/stat : 26958 (xcsp3-exec) S 26955 26958 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515876603 115843072 364 33554432000 4194304 5098028 140720457778304 140720457776408 139730122764924 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8060928 140720457782103 140720457782361 140720457782361 140720457785286 0
/proc/26958/statm: 28282 364 305 221 0 87 0
[pid=26960] ppid=26958 vsize=15151156 memory=271560 CPUtime=2508.02 cores=1,3,5,7
/proc/26960/stat : 26960 (java) S 26958 26958 25905 0 -1 1077944320 79217 0 0 0 250701 101 0 0 20 0 15 0 515876603 15514783744 67890 33554432000 4194304 4196468 140726122866304 140726122848848 140629053431543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
/proc/26960/statm: 3787789 67890 3496 1 0 3748889 0
[pid=26960/tid=26961] ppid=26958 vsize=15151156 memory=271560 CPUtime=2502.13 cores=1,3,5,7
/proc/26960/task/26961/stat : 26961 (java) R 26958 26958 25905 0 -1 4202560 24269 0 0 0 250204 9 0 0 20 0 15 0 515876603 15514783744 67890 33554432000 4194304 4196468 140726122866304 140629057671056 140628658714453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26962] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26962/stat : 26962 (java) S 26958 26958 25905 0 -1 1077944384 2627 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628981472400 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26963] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26963/stat : 26963 (java) S 26958 26958 25905 0 -1 1077944384 3695 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628980419600 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26964] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26964/stat : 26964 (java) S 26958 26958 25905 0 -1 1077944384 3101 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628979366800 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26965] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26965/stat : 26965 (java) S 26958 26958 25905 0 -1 1077944384 2600 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628978314000 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26966] ppid=26958 vsize=15151156 memory=1456 CPUtime=0.08 cores=1,3,5,7
/proc/26960/task/26966/stat : 26966 (java) S 26958 26958 25905 0 -1 1077944384 3470 0 0 0 4 4 0 0 20 0 15 0 515876606 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628196059504 140629053442690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26967] ppid=26958 vsize=15151156 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26967/stat : 26967 (java) S 26958 26958 25905 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628195005472 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26968] ppid=26958 vsize=15151156 memory=65820 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26968/stat : 26968 (java) S 26958 26958 25905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628193952624 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26969] ppid=26958 vsize=15151156 memory=1398722017469774279 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26969/stat : 26969 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628192900944 140629053450139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26970] ppid=26958 vsize=15151156 memory=4872558044660077418 CPUtime=1.64 cores=1,3,5,7
/proc/26960/task/26970/stat : 26970 (java) S 26958 26958 25905 0 -1 1077944384 17767 0 0 0 161 3 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628191849328 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26971] ppid=26958 vsize=15151156 memory=1456 CPUtime=1.47 cores=1,3,5,7
/proc/26960/task/26971/stat : 26971 (java) S 26958 26958 25905 0 -1 1077944384 11401 0 0 0 145 2 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628190796528 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26972] ppid=26958 vsize=15151156 memory=1456 CPUtime=0.54 cores=1,3,5,7
/proc/26960/task/26972/stat : 26972 (java) S 26958 26958 25905 0 -1 1077944384 7881 0 0 0 52 2 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628189743728 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26973] ppid=26958 vsize=15151156 memory=271560 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26973/stat : 26973 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628188691168 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26974] ppid=26958 vsize=15151156 memory=271560 CPUtime=1.45 cores=1,3,5,7
/proc/26960/task/26974/stat : 26974 (java) S 26958 26958 25905 0 -1 1077944384 1043 0 0 0 58 87 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628187638448 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
Current children cumulated CPU time: 2508.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 273016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.3 s]
/proc/loadavg: 2.43 2.14 2.05 3/230 27310
/proc/meminfo: memFree=25172068/32770624 swapFree=66953520/67108860
[pid=26958] ppid=26955 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26958/stat : 26958 (xcsp3-exec) S 26955 26958 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515876603 115843072 364 33554432000 4194304 5098028 140720457778304 140720457776408 139730122764924 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8060928 140720457782103 140720457782361 140720457782361 140720457785286 0
/proc/26958/statm: 28282 364 305 221 0 87 0
[pid=26960] ppid=26958 vsize=15151156 memory=271560 CPUtime=2520.02 cores=1,3,5,7
/proc/26960/stat : 26960 (java) S 26958 26958 25905 0 -1 1077944320 79250 0 0 0 251901 101 0 0 20 0 15 0 515876603 15514783744 67890 33554432000 4194304 4196468 140726122866304 140726122848848 140629053431543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
/proc/26960/statm: 3787789 67890 3496 1 0 3748889 0
[pid=26960/tid=26961] ppid=26958 vsize=15151156 memory=271560 CPUtime=2514.13 cores=1,3,5,7
/proc/26960/task/26961/stat : 26961 (java) R 26958 26958 25905 0 -1 4202560 24300 0 0 0 251404 9 0 0 20 0 15 0 515876603 15514783744 67890 33554432000 4194304 4196468 140726122866304 140629057671056 140628659016653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26962] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26962/stat : 26962 (java) S 26958 26958 25905 0 -1 1077944384 2627 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628981472400 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26963] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26963/stat : 26963 (java) S 26958 26958 25905 0 -1 1077944384 3695 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628980419600 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26964] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26964/stat : 26964 (java) S 26958 26958 25905 0 -1 1077944384 3101 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628979366800 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26965] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26965/stat : 26965 (java) S 26958 26958 25905 0 -1 1077944384 2600 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628978314000 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26966] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.08 cores=1,3,5,7
/proc/26960/task/26966/stat : 26966 (java) S 26958 26958 25905 0 -1 1077944384 3470 0 0 0 4 4 0 0 20 0 15 0 515876606 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628196059504 140629053442690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26967] ppid=26958 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26967/stat : 26967 (java) S 26958 26958 25905 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628195005472 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26968] ppid=26958 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26968/stat : 26968 (java) S 26958 26958 25905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628193952624 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26969] ppid=26958 vsize=15151156 memory=271560 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26969/stat : 26969 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628192900944 140629053450139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26970] ppid=26958 vsize=15151156 memory=1456 CPUtime=1.64 cores=1,3,5,7
/proc/26960/task/26970/stat : 26970 (java) S 26958 26958 25905 0 -1 1077944384 17767 0 0 0 161 3 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628191849328 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26971] ppid=26958 vsize=15151156 memory=1456 CPUtime=1.47 cores=1,3,5,7
/proc/26960/task/26971/stat : 26971 (java) S 26958 26958 25905 0 -1 1077944384 11401 0 0 0 145 2 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628190796528 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26972] ppid=26958 vsize=15151156 memory=3640 CPUtime=0.54 cores=1,3,5,7
/proc/26960/task/26972/stat : 26972 (java) S 26958 26958 25905 0 -1 1077944384 7881 0 0 0 52 2 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628189743728 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26973] ppid=26958 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26973/stat : 26973 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628188691168 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26974] ppid=26958 vsize=15151156 memory=147 CPUtime=1.45 cores=1,3,5,7
/proc/26960/task/26974/stat : 26974 (java) S 26958 26958 25905 0 -1 1077944384 1045 0 0 0 58 87 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628187638448 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 273016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.31 s]
# the end of solver process 26958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001158 s, system=0.001158 s
[startup+2514.31 s]
# the end of solver process 26960 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.03 s, system=1.01834 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.3 s]
/proc/loadavg: 2.43 2.14 2.05 3/230 27310
/proc/meminfo: memFree=25172068/32770624 swapFree=66953520/67108860
[pid=26958] ppid=26955 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26958/stat : 26958 (xcsp3-exec) S 26955 26958 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515876603 115843072 364 33554432000 4194304 5098028 140720457778304 140720457776408 139730122764924 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8060928 140720457782103 140720457782361 140720457782361 140720457785286 0
/proc/26958/statm: 28282 364 305 221 0 87 0
[pid=26960] ppid=26958 vsize=15151156 memory=271560 CPUtime=2520.02 cores=1,3,5,7
/proc/26960/stat : 26960 (java) S 26958 26958 25905 0 -1 1077944320 79250 0 0 0 251901 101 0 0 20 0 15 0 515876603 15514783744 67890 33554432000 4194304 4196468 140726122866304 140726122848848 140629053431543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
/proc/26960/statm: 3787789 67890 3496 1 0 3748889 0
[pid=26960/tid=26961] ppid=26958 vsize=15151156 memory=271560 CPUtime=2514.13 cores=1,3,5,7
/proc/26960/task/26961/stat : 26961 (java) R 26958 26958 25905 0 -1 4202560 24300 0 0 0 251404 9 0 0 20 0 15 0 515876603 15514783744 67890 33554432000 4194304 4196468 140726122866304 140629057671056 140628659016653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26962] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26962/stat : 26962 (java) S 26958 26958 25905 0 -1 1077944384 2627 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628981472400 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26963] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26963/stat : 26963 (java) S 26958 26958 25905 0 -1 1077944384 3695 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628980419600 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26964] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26964/stat : 26964 (java) S 26958 26958 25905 0 -1 1077944384 3101 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628979366800 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26965] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.16 cores=1,3,5,7
/proc/26960/task/26965/stat : 26965 (java) S 26958 26958 25905 0 -1 1077944384 2600 0 0 0 14 2 0 0 20 0 15 0 515876604 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628978314000 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26966] ppid=26958 vsize=15151156 memory=271560 CPUtime=0.08 cores=1,3,5,7
/proc/26960/task/26966/stat : 26966 (java) S 26958 26958 25905 0 -1 1077944384 3470 0 0 0 4 4 0 0 20 0 15 0 515876606 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628196059504 140629053442690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26967] ppid=26958 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26967/stat : 26967 (java) S 26958 26958 25905 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628195005472 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26968] ppid=26958 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26968/stat : 26968 (java) S 26958 26958 25905 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 515876606 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628193952624 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26969] ppid=26958 vsize=15151156 memory=271560 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26969/stat : 26969 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628192900944 140629053450139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26970] ppid=26958 vsize=15151156 memory=1456 CPUtime=1.64 cores=1,3,5,7
/proc/26960/task/26970/stat : 26970 (java) S 26958 26958 25905 0 -1 1077944384 17767 0 0 0 161 3 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628191849328 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26971] ppid=26958 vsize=15151156 memory=1456 CPUtime=1.47 cores=1,3,5,7
/proc/26960/task/26971/stat : 26971 (java) S 26958 26958 25905 0 -1 1077944384 11401 0 0 0 145 2 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628190796528 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26972] ppid=26958 vsize=15151156 memory=3640 CPUtime=0.54 cores=1,3,5,7
/proc/26960/task/26972/stat : 26972 (java) S 26958 26958 25905 0 -1 1077944384 7881 0 0 0 52 2 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628189743728 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26973] ppid=26958 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/26960/task/26973/stat : 26973 (java) S 26958 26958 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628188691168 140629053441749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
[pid=26960/tid=26974] ppid=26958 vsize=15151156 memory=147 CPUtime=1.45 cores=1,3,5,7
/proc/26960/task/26974/stat : 26974 (java) S 26958 26958 25905 0 -1 1077944384 1045 0 0 0 58 87 0 0 20 0 15 0 515876609 15514783744 67890 33554432000 4194304 4196468 140726122866304 140628187638448 140629053442690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140726122873819 140726122873994 140726122873994 140726122876879 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 273016 KiB
Child status: 143
Real time (s): 2514.31
CPU time (s): 2520.04
CPU user time (s): 2519.03
CPU system time (s): 1.01834
CPU usage (%): 100.228
Max. virtual memory (cumulated for all children) (KiB): 15266088
Max. memory (cumulated for all children) (KiB): 291980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.03
system time used= 1.01834
maximum resident set size= 290524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57712
involuntary context switches= 730
# summary of solver processes directly reported to runsolver:
# pid: 26958,26960
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.03
# total CPU system time (s): 1.01834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3745 second user time and 24.3048 second system time
The end