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 (10691 MiB free)
memory of node 1: 16384 MiB (9147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292366-1532281731/watcher-4292366-1532281731 -o /tmp/evaluation-result-4292366-1532281731/solver-4292366-1532281731 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532279337-4631 --watchdog 2560 HOME/xcsp3-exec -seed 975398606 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292366-1532281731.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4994, runsolver pid=4991
Current StackSize limit: 8192 KiB
[startup+0.100129 s]*
/proc/loadavg: 1.60 1.56 1.52 4/217 5010
/proc/meminfo: memFree=20298364/32770624 swapFree=67108860/67108860
[pid=4994] ppid=4991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4994/stat : 4994 (xcsp3-exec) S 4991 4994 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45736286 115843072 363 33554432000 4194304 5098028 140730093141632 140730093139736 140454938710652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16510976 140730093147195 140730093147396 140730093147396 140730093150154 0
/proc/4994/statm: 28282 363 305 221 0 87 0
[pid=4996] ppid=4994 vsize=14082840 memory=28600 CPUtime=0.12 cores=1,3,5,7
/proc/4996/stat : 4996 (java) S 4994 4994 1669 0 -1 1077944320 5504 0 0 0 11 1 0 0 20 0 15 0 45736286 14420828160 7150 33554432000 4194304 4196468 140731208905728 140731208888272 140195958558455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
/proc/4996/statm: 3520710 7150 2999 1 0 3483008 0
[pid=4996/tid=4997] ppid=4994 vsize=14082840 memory=7684448968156353371 CPUtime=0.09 cores=1,3,5,7
/proc/4996/task/4997/stat : 4997 (java) R 4994 4994 1669 0 -1 4202560 3508 0 0 0 8 1 0 0 20 0 15 0 45736287 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195962791728 140195958570390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4998] ppid=4994 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4996/task/4998/stat : 4998 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195921664656 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4999] ppid=4994 vsize=14082840 memory=140238993254016 CPUtime=0 cores=1,3,5,7
/proc/4996/task/4999/stat : 4999 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195553012240 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5000] ppid=4994 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5000/stat : 5000 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195551959440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5001] ppid=4994 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5001/stat : 5001 (java) S 4994 4994 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45736287 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195550906640 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5002] ppid=4994 vsize=14082840 memory=140238993254016 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5002/stat : 5002 (java) S 4994 4994 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45736289 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195298110320 140195958569602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5003] ppid=4994 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5003/stat : 5003 (java) S 4994 4994 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45736289 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195297056288 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5004] ppid=4994 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5004/stat : 5004 (java) S 4994 4994 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45736289 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195296003440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5005] ppid=4994 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5005/stat : 5005 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195294951760 140195958577051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5006] ppid=4994 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5006/stat : 5006 (java) S 4994 4994 1669 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 45736292 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195293899120 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5007] ppid=4994 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5007/stat : 5007 (java) S 4994 4994 1669 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 45736292 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195292846320 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5008] ppid=4994 vsize=14082840 memory=140238993254016 CPUtime=0.01 cores=1,3,5,7
/proc/4996/task/5008/stat : 5008 (java) R 4994 4994 1669 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 15 0 45736292 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195291793520 140195942638942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5009] ppid=4994 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5009/stat : 5009 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195290740960 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5010] ppid=4994 vsize=14082840 memory=140238993254016 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5010/stat : 5010 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736292 14420828160 7150 33554432000 4194304 4196468 140731208905728 140195289689264 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30052 KiB
[startup+0.212574 s]*
/proc/loadavg: 1.60 1.56 1.52 4/217 5010
/proc/meminfo: memFree=20286804/32770624 swapFree=67108860/67108860
[pid=4994] ppid=4991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4994/stat : 4994 (xcsp3-exec) S 4991 4994 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45736286 115843072 363 33554432000 4194304 5098028 140730093141632 140730093139736 140454938710652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16510976 140730093147195 140730093147396 140730093147396 140730093150154 0
/proc/4994/statm: 28282 363 305 221 0 87 0
[pid=4996] ppid=4994 vsize=14087096 memory=41392 CPUtime=0.33 cores=1,3,5,7
/proc/4996/stat : 4996 (java) S 4994 4994 1669 0 -1 1077944320 8368 0 0 0 31 2 0 0 20 0 15 0 45736286 14425186304 10348 33554432000 4194304 4196468 140731208905728 140731208888272 140195958558455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
/proc/4996/statm: 3521774 10348 3171 1 0 3483008 0
[pid=4996/tid=4997] ppid=4994 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4996/task/4997/stat : 4997 (java) R 4994 4994 1669 0 -1 4202560 5471 0 0 0 18 2 0 0 20 0 15 0 45736287 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195962779448 140195942638942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4998] ppid=4994 vsize=14087096 memory=14550 CPUtime=0 cores=1,3,5,7
/proc/4996/task/4998/stat : 4998 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195921664656 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4999] ppid=4994 vsize=14087096 memory=140238993326325 CPUtime=0 cores=1,3,5,7
/proc/4996/task/4999/stat : 4999 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195553012240 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5000] ppid=4994 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5000/stat : 5000 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195551959440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5001] ppid=4994 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5001/stat : 5001 (java) S 4994 4994 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45736287 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195550906640 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5002] ppid=4994 vsize=14087096 memory=140238993254016 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5002/stat : 5002 (java) S 4994 4994 1669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45736289 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195298110320 140195958569602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5003] ppid=4994 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5003/stat : 5003 (java) S 4994 4994 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45736289 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195297056288 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5004] ppid=4994 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5004/stat : 5004 (java) S 4994 4994 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45736289 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195296003440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5005] ppid=4994 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5005/stat : 5005 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195294951760 140195958577051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5006] ppid=4994 vsize=14087096 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4996/task/5006/stat : 5006 (java) S 4994 4994 1669 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 15 0 45736292 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195293899120 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5007] ppid=4994 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/4996/task/5007/stat : 5007 (java) S 4994 4994 1669 0 -1 1077944384 453 0 0 0 3 0 0 0 20 0 15 0 45736292 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195292846320 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5008] ppid=4994 vsize=14087096 memory=140238993254016 CPUtime=0.08 cores=1,3,5,7
/proc/4996/task/5008/stat : 5008 (java) S 4994 4994 1669 0 -1 1077944384 800 0 0 0 8 0 0 0 20 0 15 0 45736292 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195291793520 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5009] ppid=4994 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5009/stat : 5009 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195290740960 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5010] ppid=4994 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5010/stat : 5010 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736292 14425186304 10348 33554432000 4194304 4196468 140731208905728 140195289689264 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42844 KiB
[startup+0.310522 s]*
/proc/loadavg: 1.60 1.56 1.52 3/217 5010
/proc/meminfo: memFree=20280228/32770624 swapFree=67108860/67108860
[pid=4994] ppid=4991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4994/stat : 4994 (xcsp3-exec) S 4991 4994 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45736286 115843072 363 33554432000 4194304 5098028 140730093141632 140730093139736 140454938710652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16510976 140730093147195 140730093147396 140730093147396 140730093150154 0
/proc/4994/statm: 28282 363 305 221 0 87 0
[pid=4996] ppid=4994 vsize=14087096 memory=48280 CPUtime=0.5 cores=1,3,5,7
/proc/4996/stat : 4996 (java) S 4994 4994 1669 0 -1 1077944320 9171 0 0 0 47 3 0 0 20 0 15 0 45736286 14425186304 12070 33554432000 4194304 4196468 140731208905728 140731208888272 140195958558455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
/proc/4996/statm: 3521774 12070 3248 1 0 3483008 0
[pid=4996/tid=4997] ppid=4994 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4996/task/4997/stat : 4997 (java) R 4994 4994 1669 0 -1 4202560 6152 0 0 0 27 2 0 0 20 0 15 0 45736287 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195962795616 140195942638942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4998] ppid=4994 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4996/task/4998/stat : 4998 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195921664656 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4999] ppid=4994 vsize=14087096 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4996/task/4999/stat : 4999 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195553012240 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5000] ppid=4994 vsize=14087096 memory=-6935123839545469842 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5000/stat : 5000 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195551959440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5001] ppid=4994 vsize=14087096 memory=-6956776531347661416 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5001/stat : 5001 (java) S 4994 4994 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45736287 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195550906640 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5002] ppid=4994 vsize=14087096 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5002/stat : 5002 (java) S 4994 4994 1669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45736289 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195298110320 140195958569602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5003] ppid=4994 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5003/stat : 5003 (java) S 4994 4994 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45736289 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195297056288 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5004] ppid=4994 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5004/stat : 5004 (java) S 4994 4994 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45736289 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195296003440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5005] ppid=4994 vsize=14087096 memory=8982046290584177472 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5005/stat : 5005 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195294951760 140195958577051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5006] ppid=4994 vsize=14087096 memory=8325818968683490714 CPUtime=0.03 cores=1,3,5,7
/proc/4996/task/5006/stat : 5006 (java) S 4994 4994 1669 0 -1 1077944384 358 0 0 0 3 0 0 0 20 0 15 0 45736292 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195293899120 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5007] ppid=4994 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4996/task/5007/stat : 5007 (java) S 4994 4994 1669 0 -1 1077944384 471 0 0 0 4 0 0 0 20 0 15 0 45736292 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195292846320 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5008] ppid=4994 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4996/task/5008/stat : 5008 (java) R 4994 4994 1669 0 -1 4202560 892 0 0 0 12 0 0 0 20 0 15 0 45736292 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195291793520 140195958570390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5009] ppid=4994 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5009/stat : 5009 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195290740960 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5010] ppid=4994 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5010/stat : 5010 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736292 14425186304 12079 33554432000 4194304 4196468 140731208905728 140195289689264 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49732 KiB
[startup+0.701156 s]
/proc/loadavg: 1.60 1.56 1.52 4/217 5010
/proc/meminfo: memFree=20257648/32770624 swapFree=67108860/67108860
[pid=4994] ppid=4991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4994/stat : 4994 (xcsp3-exec) S 4991 4994 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45736286 115843072 363 33554432000 4194304 5098028 140730093141632 140730093139736 140454938710652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16510976 140730093147195 140730093147396 140730093147396 140730093150154 0
/proc/4994/statm: 28282 363 305 221 0 87 0
[pid=4996] ppid=4994 vsize=14089220 memory=97976 CPUtime=1.76 cores=1,3,5,7
/proc/4996/stat : 4996 (java) S 4994 4994 1669 0 -1 1077944320 12443 0 0 0 172 4 0 0 20 0 15 0 45736286 14427361280 24494 33554432000 4194304 4196468 140731208905728 140731208888272 140195958558455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
/proc/4996/statm: 3522305 24494 3330 1 0 3483520 0
[pid=4996/tid=4997] ppid=4994 vsize=14089220 memory=3472328296227679313 CPUtime=0.67 cores=1,3,5,7
/proc/4996/task/4997/stat : 4997 (java) R 4994 4994 1669 0 -1 4202560 6660 0 0 0 64 3 0 0 20 0 15 0 45736287 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195962795520 140195598547190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4998] ppid=4994 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/4998/stat : 4998 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195921664656 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4999] ppid=4994 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4996/task/4999/stat : 4999 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195553012240 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5000] ppid=4994 vsize=14089220 memory=15324 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5000/stat : 5000 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736287 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195551959440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5001] ppid=4994 vsize=14089220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5001/stat : 5001 (java) S 4994 4994 1669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45736287 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195550906640 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5002] ppid=4994 vsize=14089220 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5002/stat : 5002 (java) S 4994 4994 1669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45736289 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195298110320 140195958569602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5003] ppid=4994 vsize=14089220 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5003/stat : 5003 (java) S 4994 4994 1669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45736289 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195297056288 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5004] ppid=4994 vsize=14089220 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5004/stat : 5004 (java) S 4994 4994 1669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45736289 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195296003440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5005] ppid=4994 vsize=14089220 memory=11956 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5005/stat : 5005 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195294951760 140195958577051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5006] ppid=4994 vsize=14089220 memory=5520 CPUtime=0.35 cores=1,3,5,7
/proc/4996/task/5006/stat : 5006 (java) R 4994 4994 1669 0 -1 4202560 1287 0 0 0 35 0 0 0 20 0 15 0 45736292 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195293885664 140195943484423 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5007] ppid=4994 vsize=14089220 memory=792 CPUtime=0.35 cores=1,3,5,7
/proc/4996/task/5007/stat : 5007 (java) R 4994 4994 1669 0 -1 4202560 1500 0 0 0 35 0 0 0 20 0 15 0 45736292 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195292832200 140195940080679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5008] ppid=4994 vsize=14089220 memory=1228 CPUtime=0.36 cores=1,3,5,7
/proc/4996/task/5008/stat : 5008 (java) S 4994 4994 1669 0 -1 1077944384 1689 0 0 0 36 0 0 0 20 0 15 0 45736292 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195291793520 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5009] ppid=4994 vsize=14089220 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5009/stat : 5009 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195290740960 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5010] ppid=4994 vsize=14089220 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5010/stat : 5010 (java) S 4994 4994 1669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45736292 14427361280 24494 33554432000 4194304 4196468 140731208905728 140195289689264 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 99428 KiB
[startup+1.50116 s]
/proc/loadavg: 1.60 1.56 1.52 6/217 5010
/proc/meminfo: memFree=20176612/32770624 swapFree=67108860/67108860
[pid=4994] ppid=4991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4994/stat : 4994 (xcsp3-exec) S 4991 4994 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45736286 115843072 363 33554432000 4194304 5098028 140730093141632 140730093139736 140454938710652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16510976 140730093147195 140730093147396 140730093147396 140730093150154 0
/proc/4994/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/4996/task/5004/stat : 5004 (java) S 4994 4994 1669 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 45736289 14429458432 553384 33554432000 4194304 4196468 140731208905728 140195296003440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5005] ppid=4994 vsize=14091268 memory=2211488 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5005/stat : 5005 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14429458432 553384 33554432000 4194304 4196468 140731208905728 140195294951760 140195958577051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5006] ppid=4994 vsize=14091268 memory=4028 CPUtime=6.26 cores=1,3,5,7
/proc/4996/task/5006/stat : 5006 (java) S 4994 4994 1669 0 -1 1077944384 49133 0 0 0 620 6 0 0 20 0 15 0 45736292 14429458432 553384 33554432000 4194304 4196468 140731208905728 140195293899120 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5007] ppid=4994 vsize=14091268 memory=15408 CPUtime=5.55 cores=1,3,5,7
/proc/4996/task/5007/stat : 5007 (java) S 4994 4994 1669 0 -1 1077944384 28474 0 0 0 553 2 0 0 20 0 15 0 45736292 14429458432 553384 33554432000 4194304 4196468 140731208905728 140195292846320 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5008] ppid=4994 vsize=14091268 memory=1452 CPUtime=1.12 cores=1,3,5,7
/proc/4996/task/5008/stat : 5008 (java) S 4994 4994 1669 0 -1 1077944384 12971 0 0 0 109 3 0 0 20 0 15 0 45736292 14429458432 553384 33554432000 4194304 4196468 140731208905728 140195291793520 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5009] ppid=4994 vsize=14091268 memory=2211488 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5009/stat : 5009 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14429458432 553384 33554432000 4194304 4196468 140731208905728 140195290740960 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5010] ppid=4994 vsize=14091268 memory=1452 CPUtime=0.57 cores=1,3,5,7
/proc/4996/task/5010/stat : 5010 (java) S 4994 4994 1669 0 -1 1077944384 1209 0 0 0 26 31 0 0 20 0 15 0 45736292 14429458432 553384 33554432000 4194304 4196468 140731208905728 140195289689264 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
Current children cumulated CPU time: 2276.26 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2214988 KiB
[startup+2322.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/217 5126
/proc/meminfo: memFree=18056144/32770624 swapFree=67108860/67108860
[pid=4994] ppid=4991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4994/stat : 4994 (xcsp3-exec) S 4991 4994 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45736286 115843072 363 33554432000 4194304 5098028 140730093141632 140730093139736 140454938710652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16510976 140730093147195 140730093147396 140730093147396 140730093150154 0
/proc/4994/statm: 28282 363 305 221 0 87 0
[pid=4996] ppid=4994 vsize=14091268 memory=2238112 CPUtime=2336.27 cores=1,3,5,7
/proc/4996/stat : 4996 (java) S 4994 4994 1669 0 -1 1077944320 133505 0 0 0 233533 94 0 0 20 0 15 0 45736286 14429458432 559528 33554432000 4194304 4196468 140731208905728 140731208888272 140195958558455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
/proc/4996/statm: 3522817 559528 3398 1 0 3484032 0
[pid=4996/tid=4997] ppid=4994 vsize=14091268 memory=2231968 CPUtime=2321.9 cores=1,3,5,7
/proc/4996/task/4997/stat : 4997 (java) R 4994 4994 1669 0 -1 4202560 31101 0 0 0 232156 34 0 0 20 0 15 0 45736287 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195962795512 140195604027224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4998] ppid=4994 vsize=14091268 memory=1452 CPUtime=0.2 cores=1,3,5,7
/proc/4996/task/4998/stat : 4998 (java) S 4994 4994 1669 0 -1 1077944384 1863 0 0 0 16 4 0 0 20 0 15 0 45736287 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195921664656 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4999] ppid=4994 vsize=14091268 memory=2236064 CPUtime=0.17 cores=1,3,5,7
/proc/4996/task/4999/stat : 4999 (java) S 4994 4994 1669 0 -1 1077944384 778 0 0 0 12 5 0 0 20 0 15 0 45736287 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195553012240 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5000] ppid=4994 vsize=14091268 memory=2238112 CPUtime=0.18 cores=1,3,5,7
/proc/4996/task/5000/stat : 5000 (java) S 4994 4994 1669 0 -1 1077944384 1617 0 0 0 13 5 0 0 20 0 15 0 45736287 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195551959440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5001] ppid=4994 vsize=14091268 memory=2238112 CPUtime=0.18 cores=1,3,5,7
/proc/4996/task/5001/stat : 5001 (java) S 4994 4994 1669 0 -1 1077944384 2066 0 0 0 13 5 0 0 20 0 15 0 45736287 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195550906640 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5002] ppid=4994 vsize=14091268 memory=2215584 CPUtime=0.04 cores=1,3,5,7
/proc/4996/task/5002/stat : 5002 (java) S 4994 4994 1669 0 -1 1077944384 2898 0 0 0 2 2 0 0 20 0 15 0 45736289 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195298110320 140195958569602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5003] ppid=4994 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5003/stat : 5003 (java) S 4994 4994 1669 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45736289 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195297056288 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5004] ppid=4994 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5004/stat : 5004 (java) S 4994 4994 1669 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 45736289 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195296003440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5005] ppid=4994 vsize=14091268 memory=2236064 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5005/stat : 5005 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195294951760 140195958577051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5006] ppid=4994 vsize=14091268 memory=1452 CPUtime=6.26 cores=1,3,5,7
/proc/4996/task/5006/stat : 5006 (java) S 4994 4994 1669 0 -1 1077944384 49137 0 0 0 620 6 0 0 20 0 15 0 45736292 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195293899120 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5007] ppid=4994 vsize=14091268 memory=2238112 CPUtime=5.55 cores=1,3,5,7
/proc/4996/task/5007/stat : 5007 (java) S 4994 4994 1669 0 -1 1077944384 28478 0 0 0 553 2 0 0 20 0 15 0 45736292 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195292846320 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5008] ppid=4994 vsize=14091268 memory=2238112 CPUtime=1.12 cores=1,3,5,7
/proc/4996/task/5008/stat : 5008 (java) S 4994 4994 1669 0 -1 1077944384 12977 0 0 0 109 3 0 0 20 0 15 0 45736292 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195291793520 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5009] ppid=4994 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5009/stat : 5009 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195290740960 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5010] ppid=4994 vsize=14091268 memory=1452 CPUtime=0.59 cores=1,3,5,7
/proc/4996/task/5010/stat : 5010 (java) S 4994 4994 1669 0 -1 1077944384 1249 0 0 0 27 32 0 0 20 0 15 0 45736292 14429458432 559528 33554432000 4194304 4196468 140731208905728 140195289689264 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
Current children cumulated CPU time: 2336.27 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2239564 KiB
[startup+2382.3 s]
/proc/loadavg: 2.34 2.07 1.97 4/217 5209
/proc/meminfo: memFree=18203104/32770624 swapFree=67108860/67108860
[pid=4994] ppid=4991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4994/stat : 4994 (xcsp3-exec) S 4991 4994 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45736286 115843072 363 33554432000 4194304 5098028 140730093141632 140730093139736 140454938710652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16510976 140730093147195 140730093147396 140730093147396 140730093150154 0
/proc/4994/statm: 28282 363 305 221 0 87 0
[pid=4996] ppid=4994 vsize=14091268 memory=2243656 CPUtime=2396.3 cores=1,3,5,7
/proc/4996/stat : 4996 (java) S 4994 4994 1669 0 -1 1077944320 134792 0 0 0 239534 96 0 0 20 0 15 0 45736286 14429458432 560914 33554432000 4194304 4196468 140731208905728 140731208888272 140195958558455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
/proc/4996/statm: 3522817 560914 3398 1 0 3484032 0
[pid=4996/tid=4997] ppid=4994 vsize=14091268 memory=2243656 CPUtime=2381.89 cores=1,3,5,7
/proc/4996/task/4997/stat : 4997 (java) R 4994 4994 1669 0 -1 4202560 31468 0 0 0 238155 34 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195962797920 140195603830303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4998] ppid=4994 vsize=14091268 memory=1452 CPUtime=0.21 cores=1,3,5,7
/proc/4996/task/4998/stat : 4998 (java) S 4994 4994 1669 0 -1 1077944384 1932 0 0 0 16 5 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195921664656 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4999] ppid=4994 vsize=14091268 memory=1452 CPUtime=0.17 cores=1,3,5,7
/proc/4996/task/4999/stat : 4999 (java) S 4994 4994 1669 0 -1 1077944384 909 0 0 0 12 5 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195553012240 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5000] ppid=4994 vsize=14091268 memory=2243656 CPUtime=0.18 cores=1,3,5,7
/proc/4996/task/5000/stat : 5000 (java) S 4994 4994 1669 0 -1 1077944384 1720 0 0 0 13 5 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195551959440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5001] ppid=4994 vsize=14091268 memory=1452 CPUtime=0.18 cores=1,3,5,7
/proc/4996/task/5001/stat : 5001 (java) S 4994 4994 1669 0 -1 1077944384 2470 0 0 0 13 5 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195550906640 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5002] ppid=4994 vsize=14091268 memory=2243656 CPUtime=0.04 cores=1,3,5,7
/proc/4996/task/5002/stat : 5002 (java) S 4994 4994 1669 0 -1 1077944384 3082 0 0 0 2 2 0 0 20 0 15 0 45736289 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195298110320 140195958569602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5003] ppid=4994 vsize=14091268 memory=17 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5003/stat : 5003 (java) S 4994 4994 1669 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45736289 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195297056288 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5004] ppid=4994 vsize=14091268 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5004/stat : 5004 (java) S 4994 4994 1669 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 45736289 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195296003440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5005] ppid=4994 vsize=14091268 memory=792 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5005/stat : 5005 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195294951760 140195958577051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5006] ppid=4994 vsize=14091268 memory=4028 CPUtime=6.26 cores=1,3,5,7
/proc/4996/task/5006/stat : 5006 (java) S 4994 4994 1669 0 -1 1077944384 49139 0 0 0 620 6 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195293899120 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5007] ppid=4994 vsize=14091268 memory=15416 CPUtime=5.55 cores=1,3,5,7
/proc/4996/task/5007/stat : 5007 (java) S 4994 4994 1669 0 -1 1077944384 28480 0 0 0 553 2 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195292846320 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5008] ppid=4994 vsize=14091268 memory=1296 CPUtime=1.12 cores=1,3,5,7
/proc/4996/task/5008/stat : 5008 (java) S 4994 4994 1669 0 -1 1077944384 12980 0 0 0 109 3 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195291793520 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5009] ppid=4994 vsize=14091268 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5009/stat : 5009 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195290740960 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5010] ppid=4994 vsize=14091268 memory=1452 CPUtime=0.6 cores=1,3,5,7
/proc/4996/task/5010/stat : 5010 (java) S 4994 4994 1669 0 -1 1077944384 1271 0 0 0 27 33 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195289689264 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
Current children cumulated CPU time: 2396.3 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2245108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2386 s]*
/proc/loadavg: 2.31 2.07 1.97 3/217 5209
/proc/meminfo: memFree=18169620/32770624 swapFree=67108860/67108860
[pid=4994] ppid=4991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4994/stat : 4994 (xcsp3-exec) S 4991 4994 1669 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45736286 115843072 363 33554432000 4194304 5098028 140730093141632 140730093139736 140454938710652 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16510976 140730093147195 140730093147396 140730093147396 140730093150154 0
/proc/4994/statm: 28282 363 305 221 0 87 0
[pid=4996] ppid=4994 vsize=14091268 memory=2243656 CPUtime=2400.01 cores=1,3,5,7
/proc/4996/stat : 4996 (java) S 4994 4994 1669 0 -1 1077944320 134793 0 0 0 239905 96 0 0 20 0 15 0 45736286 14429458432 560914 33554432000 4194304 4196468 140731208905728 140731208888272 140195958558455 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
/proc/4996/statm: 3522817 560914 3398 1 0 3484032 0
[pid=4996/tid=4997] ppid=4994 vsize=14091268 memory=8112282956445269571 CPUtime=2385.6 cores=1,3,5,7
/proc/4996/task/4997/stat : 4997 (java) R 4994 4994 1669 0 -1 4202560 31469 0 0 0 238526 34 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195962797920 140195603829680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4998] ppid=4994 vsize=14091268 memory=4126316290023845779 CPUtime=0.21 cores=1,3,5,7
/proc/4996/task/4998/stat : 4998 (java) S 4994 4994 1669 0 -1 1077944384 1932 0 0 0 16 5 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195921664656 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=4999] ppid=4994 vsize=14091268 memory=928 CPUtime=0.17 cores=1,3,5,7
/proc/4996/task/4999/stat : 4999 (java) S 4994 4994 1669 0 -1 1077944384 909 0 0 0 12 5 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195553012240 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5000] ppid=4994 vsize=14091268 memory=1572 CPUtime=0.18 cores=1,3,5,7
/proc/4996/task/5000/stat : 5000 (java) S 4994 4994 1669 0 -1 1077944384 1720 0 0 0 13 5 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195551959440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5001] ppid=4994 vsize=14091268 memory=2244 CPUtime=0.18 cores=1,3,5,7
/proc/4996/task/5001/stat : 5001 (java) S 4994 4994 1669 0 -1 1077944384 2470 0 0 0 13 5 0 0 20 0 15 0 45736287 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195550906640 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5002] ppid=4994 vsize=14091268 memory=7883921023373635173 CPUtime=0.04 cores=1,3,5,7
/proc/4996/task/5002/stat : 5002 (java) S 4994 4994 1669 0 -1 1077944384 3082 0 0 0 2 2 0 0 20 0 15 0 45736289 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195298110320 140195958569602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5003] ppid=4994 vsize=14091268 memory=7954882412320942186 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5003/stat : 5003 (java) S 4994 4994 1669 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 45736289 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195297056288 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5004] ppid=4994 vsize=14091268 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5004/stat : 5004 (java) S 4994 4994 1669 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 45736289 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195296003440 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5005] ppid=4994 vsize=14091268 memory=2320113279046270563 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5005/stat : 5005 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195294951760 140195958577051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5006] ppid=4994 vsize=14091268 memory=21517786157969 CPUtime=6.26 cores=1,3,5,7
/proc/4996/task/5006/stat : 5006 (java) S 4994 4994 1669 0 -1 1077944384 49139 0 0 0 620 6 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195293899120 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5007] ppid=4994 vsize=14091268 memory=16550 CPUtime=5.55 cores=1,3,5,7
/proc/4996/task/5007/stat : 5007 (java) S 4994 4994 1669 0 -1 1077944384 28480 0 0 0 553 2 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195292846320 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5008] ppid=4994 vsize=14091268 memory=7234303152781525078 CPUtime=1.12 cores=1,3,5,7
/proc/4996/task/5008/stat : 5008 (java) S 4994 4994 1669 0 -1 1077944384 12980 0 0 0 109 3 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195291793520 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5009] ppid=4994 vsize=14091268 memory=140238993253089 CPUtime=0 cores=1,3,5,7
/proc/4996/task/5009/stat : 5009 (java) S 4994 4994 1669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195290740960 140195958568661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
[pid=4996/tid=5010] ppid=4994 vsize=14091268 memory=288288870200771377 CPUtime=0.6 cores=1,3,5,7
/proc/4996/task/5010/stat : 5010 (java) S 4994 4994 1669 0 -1 1077944384 1271 0 0 0 27 33 0 0 20 0 15 0 45736292 14429458432 560914 33554432000 4194304 4196468 140731208905728 140195289689264 140195958569602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 7757824 140731208909953 140731208910129 140731208910129 140731208912847 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 2245108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2386.02 s]
# the end of solver process 4994 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001137 s, system=0.001137 s
[startup+2386.03 s]
# the end of solver process 4996 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.06 s, system=0.973185 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
Child status: 143
Real time (s): 2386.03
CPU time (s): 2400.04
CPU user time (s): 2399.06
CPU system time (s): 0.973185
CPU usage (%): 100.587
Max. virtual memory (cumulated for all children) (KiB): 14206324
Max. memory (cumulated for all children) (KiB): 2245108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.06
system time used= 0.973185
maximum resident set size= 2248360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55164
involuntary context switches= 1123
# summary of solver processes directly reported to runsolver:
# pid: 4994,4996
# total CPU time (s): 2400.04
# total CPU user time (s): 2399.06
# total CPU system time (s): 0.973185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.697 second user time and 20.9727 second system time
The end