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 (15090 MiB free)
memory of node 1: 16384 MiB (11669 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301381-1532880125/watcher-4301381-1532880125 -o /tmp/evaluation-result-4301381-1532880125/solver-4301381-1532880125 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 76118323 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301381-1532880125.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=7636, runsolver pid=7632
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 1.89 2.00 2.01 3/197 7652
/proc/meminfo: memFree=27381916/32770624 swapFree=67108496/67108860
[pid=7636] ppid=7632 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7636/stat : 7636 (xcsp3-exec) S 7632 7636 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105575663 115843072 364 33554432000 4194304 5098028 140728717236624 140728717234728 140659971998332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29843456 140728717243458 140728717243657 140728717243657 140728717246410 0
/proc/7636/statm: 28282 364 306 221 0 87 0
[pid=7638] ppid=7636 vsize=14082940 memory=29264 CPUtime=0.11 cores=1,3,5,7
/proc/7638/stat : 7638 (java) S 7636 7636 7585 0 -1 1077944320 5239 0 0 0 10 1 0 0 20 0 15 0 105575664 14420930560 7316 33554432000 4194304 4196468 140732666982800 140732666965344 139926904737527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
/proc/7638/statm: 3520735 7316 2996 1 0 3483012 0
[pid=7638/tid=7639] ppid=7636 vsize=14082940 memory=-7673721927108614497 CPUtime=0.09 cores=1,3,5,7
/proc/7638/task/7639/stat : 7639 (java) R 7636 7636 7585 0 -1 4202560 3253 0 0 0 8 1 0 0 20 0 15 0 105575664 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926908963712 139926888818014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7640] ppid=7636 vsize=14082940 memory=-5738297875903123798 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7640/stat : 7640 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926819805584 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7641] ppid=7636 vsize=14082940 memory=140404977960576 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7641/stat : 7641 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926818752784 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7642] ppid=7636 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7642/stat : 7642 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926817700496 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7643] ppid=7636 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7643/stat : 7643 (java) S 7636 7636 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105575665 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926816647696 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7644] ppid=7636 vsize=14082940 memory=140404977960576 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7644/stat : 7644 (java) S 7636 7636 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105575666 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926378617456 139926904748674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7645] ppid=7636 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7645/stat : 7645 (java) S 7636 7636 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105575667 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926377563424 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7646] ppid=7636 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7646/stat : 7646 (java) S 7636 7636 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105575667 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926376511088 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7647] ppid=7636 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7647/stat : 7647 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926375459408 139926904756123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7648] ppid=7636 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7648/stat : 7648 (java) S 7636 7636 7585 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 105575669 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926374406256 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7649] ppid=7636 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7649/stat : 7649 (java) R 7636 7636 7585 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 15 0 105575669 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926373353456 139926904748674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7650] ppid=7636 vsize=14082940 memory=140404977960576 CPUtime=0.01 cores=1,3,5,7
/proc/7638/task/7650/stat : 7650 (java) R 7636 7636 7585 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 15 0 105575669 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926372301168 139926904748674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7651] ppid=7636 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7651/stat : 7651 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926371248608 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7652] ppid=7636 vsize=14082940 memory=140404977960576 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7652/stat : 7652 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575670 14420930560 7316 33554432000 4194304 4196468 140732666982800 139926370196400 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30720 KiB
[startup+0.212366 s]*
/proc/loadavg: 1.89 2.00 2.01 5/200 7657
/proc/meminfo: memFree=27349148/32770624 swapFree=67108496/67108860
[pid=7636] ppid=7632 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7636/stat : 7636 (xcsp3-exec) S 7632 7636 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105575663 115843072 364 33554432000 4194304 5098028 140728717236624 140728717234728 140659971998332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29843456 140728717243458 140728717243657 140728717243657 140728717246410 0
/proc/7636/statm: 28282 364 306 221 0 87 0
[pid=7638] ppid=7636 vsize=14082940 memory=40352 CPUtime=0.34 cores=1,3,5,7
/proc/7638/stat : 7638 (java) S 7636 7636 7585 0 -1 1077944320 7671 0 0 0 31 3 0 0 20 0 15 0 105575664 14420930560 10088 33554432000 4194304 4196468 140732666982800 140732666965344 139926904737527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
/proc/7638/statm: 3520735 10088 3189 1 0 3483012 0
[pid=7638/tid=7639] ppid=7636 vsize=14082940 memory=8390339637985935414 CPUtime=0.19 cores=1,3,5,7
/proc/7638/task/7639/stat : 7639 (java) D 7636 7636 7585 0 -1 1077944384 4910 0 0 0 18 1 0 0 20 0 15 0 105575664 14420930560 10088 33554432000 4194304 4196468 140732666982800 139926908961696 139926897416749 0 4 0 16800975 18446744072101756452 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7640] ppid=7636 vsize=14082940 memory=288230596134830103 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7640/stat : 7640 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14420930560 10088 33554432000 4194304 4196468 140732666982800 139926819805584 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7641] ppid=7636 vsize=14082972 memory=140404978443734 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7641/stat : 7641 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14420963328 10088 33554432000 4194304 4196468 140732666982800 139926818752784 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7642] ppid=7636 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7642/stat : 7642 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14420963328 10088 33554432000 4194304 4196468 140732666982800 139926817700496 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7643] ppid=7636 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7643/stat : 7643 (java) S 7636 7636 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105575665 14420963328 10088 33554432000 4194304 4196468 140732666982800 139926816647696 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7644] ppid=7636 vsize=14082940 memory=140404977960576 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7644/stat : 7644 (java) S 7636 7636 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105575666 14420930560 10130 33554432000 4194304 4196468 140732666982800 139926378617456 139926904748674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7645] ppid=7636 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7645/stat : 7645 (java) S 7636 7636 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105575667 14420930560 10130 33554432000 4194304 4196468 140732666982800 139926377563424 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7646] ppid=7636 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7646/stat : 7646 (java) S 7636 7636 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105575667 14420930560 10130 33554432000 4194304 4196468 140732666982800 139926376511088 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7647] ppid=7636 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7647/stat : 7647 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14420930560 10130 33554432000 4194304 4196468 140732666982800 139926375459408 139926904756123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7648] ppid=7636 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7638/task/7648/stat : 7648 (java) S 7636 7636 7585 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 105575669 14420930560 10130 33554432000 4194304 4196468 140732666982800 139926374406256 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7649] ppid=7636 vsize=14085056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7638/task/7649/stat : 7649 (java) S 7636 7636 7585 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 105575669 14423097344 10130 33554432000 4194304 4196468 140732666982800 139926373353456 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7650] ppid=7636 vsize=14085056 memory=140404977960576 CPUtime=0.07 cores=1,3,5,7
/proc/7638/task/7650/stat : 7650 (java) S 7636 7636 7585 0 -1 1077944384 655 0 0 0 7 0 0 0 20 0 15 0 105575669 14423097344 10130 33554432000 4194304 4196468 140732666982800 139926372301168 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7651] ppid=7636 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7651/stat : 7651 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14423097344 10130 33554432000 4194304 4196468 140732666982800 139926371248608 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7652] ppid=7636 vsize=14085056 memory=140404977960576 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7652/stat : 7652 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575670 14423097344 10130 33554432000 4194304 4196468 140732666982800 139926370196400 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41808 KiB
[startup+0.310186 s]*
/proc/loadavg: 1.89 2.00 2.01 5/218 7678
/proc/meminfo: memFree=27326420/32770624 swapFree=67108496/67108860
[pid=7636] ppid=7632 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7636/stat : 7636 (xcsp3-exec) S 7632 7636 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105575663 115843072 364 33554432000 4194304 5098028 140728717236624 140728717234728 140659971998332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29843456 140728717243458 140728717243657 140728717243657 140728717246410 0
/proc/7636/statm: 28282 364 306 221 0 87 0
[pid=7638] ppid=7636 vsize=14087196 memory=47316 CPUtime=0.52 cores=1,3,5,7
/proc/7638/stat : 7638 (java) S 7636 7636 7585 0 -1 1077944320 8550 0 0 0 49 3 0 0 20 0 15 0 105575664 14425288704 11829 33554432000 4194304 4196468 140732666982800 140732666965344 139926904737527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
/proc/7638/statm: 3521799 11829 3244 1 0 3483012 0
[pid=7638/tid=7639] ppid=7636 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/7638/task/7639/stat : 7639 (java) R 7636 7636 7585 0 -1 4202560 5617 0 0 0 27 2 0 0 20 0 15 0 105575664 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926908974304 139926888818014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7640] ppid=7636 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7640/stat : 7640 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926819805584 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7641] ppid=7636 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7641/stat : 7641 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926818752784 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7642] ppid=7636 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7642/stat : 7642 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926817700496 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7643] ppid=7636 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7643/stat : 7643 (java) S 7636 7636 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105575665 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926816647696 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7644] ppid=7636 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7644/stat : 7644 (java) S 7636 7636 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105575666 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926378617456 139926904748674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7645] ppid=7636 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7645/stat : 7645 (java) S 7636 7636 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105575667 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926377563424 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7646] ppid=7636 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7646/stat : 7646 (java) S 7636 7636 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105575667 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926376511088 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7647] ppid=7636 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7647/stat : 7647 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926375459408 139926904756123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7648] ppid=7636 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7638/task/7648/stat : 7648 (java) S 7636 7636 7585 0 -1 1077944384 483 0 0 0 4 0 0 0 20 0 15 0 105575669 14425288704 11829 33554432000 4194304 4196468 140732666982800 139926374406256 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7649] ppid=7636 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7638/task/7649/stat : 7649 (java) S 7636 7636 7585 0 -1 1077944384 443 0 0 0 4 0 0 0 20 0 15 0 105575669 14425288704 11894 33554432000 4194304 4196468 140732666982800 139926373353456 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7650] ppid=7636 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7638/task/7650/stat : 7650 (java) S 7636 7636 7585 0 -1 1077944384 727 0 0 0 12 0 0 0 20 0 15 0 105575669 14425288704 11894 33554432000 4194304 4196468 140732666982800 139926372301168 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7651] ppid=7636 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7651/stat : 7651 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14425288704 11894 33554432000 4194304 4196468 140732666982800 139926371248608 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7652] ppid=7636 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7652/stat : 7652 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575670 14425288704 11894 33554432000 4194304 4196468 140732666982800 139926370196400 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48772 KiB
[startup+0.700785 s]
/proc/loadavg: 1.89 2.00 2.01 5/218 7678
/proc/meminfo: memFree=27295900/32770624 swapFree=67108496/67108860
[pid=7636] ppid=7632 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7636/stat : 7636 (xcsp3-exec) S 7632 7636 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105575663 115843072 364 33554432000 4194304 5098028 140728717236624 140728717234728 140659971998332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29843456 140728717243458 140728717243657 140728717243657 140728717246410 0
/proc/7636/statm: 28282 364 306 221 0 87 0
[pid=7638] ppid=7636 vsize=14089320 memory=82884 CPUtime=1.53 cores=1,3,5,7
/proc/7638/stat : 7638 (java) S 7636 7636 7585 0 -1 1077944320 11853 0 0 0 147 6 0 0 20 0 15 0 105575664 14427463680 20721 33554432000 4194304 4196468 140732666982800 140732666965344 139926904737527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
/proc/7638/statm: 3522330 20721 3358 1 0 3483524 0
[pid=7638/tid=7639] ppid=7636 vsize=14089320 memory=1224 CPUtime=0.67 cores=1,3,5,7
/proc/7638/task/7639/stat : 7639 (java) R 7636 7636 7585 0 -1 4202560 6495 0 0 0 64 3 0 0 20 0 15 0 105575664 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926908978496 139926888818044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7640] ppid=7636 vsize=14089320 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7640/stat : 7640 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926819805584 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7641] ppid=7636 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7641/stat : 7641 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926818752784 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7642] ppid=7636 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7642/stat : 7642 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926817700496 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7643] ppid=7636 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7643/stat : 7643 (java) S 7636 7636 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926816647696 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7644] ppid=7636 vsize=14089320 memory=756 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7644/stat : 7644 (java) S 7636 7636 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105575666 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926378617456 139926904748674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7645] ppid=7636 vsize=14089320 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7645/stat : 7645 (java) S 7636 7636 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926377563424 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7646] ppid=7636 vsize=14089320 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7646/stat : 7646 (java) S 7636 7636 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926376511088 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7647] ppid=7636 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7647/stat : 7647 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926375459408 139926904756123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7648] ppid=7636 vsize=14089320 memory=6396 CPUtime=0.21 cores=1,3,5,7
/proc/7638/task/7648/stat : 7648 (java) S 7636 7636 7585 0 -1 1077944384 1067 0 0 0 21 0 0 0 20 0 15 0 105575669 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926374406256 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7649] ppid=7636 vsize=14089320 memory=5500 CPUtime=0.19 cores=1,3,5,7
/proc/7638/task/7649/stat : 7649 (java) S 7636 7636 7585 0 -1 1077944384 1092 0 0 0 19 0 0 0 20 0 15 0 105575669 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926373353456 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7650] ppid=7636 vsize=14089320 memory=4460 CPUtime=0.42 cores=1,3,5,7
/proc/7638/task/7650/stat : 7650 (java) R 7636 7636 7585 0 -1 4202560 1891 0 0 0 41 1 0 0 20 0 15 0 105575669 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926372299568 139926904758874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7651] ppid=7636 vsize=14089320 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7651/stat : 7651 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926371248608 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7652] ppid=7636 vsize=14089320 memory=280809659636000 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7652/stat : 7652 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575670 14427463680 20721 33554432000 4194304 4196468 140732666982800 139926370196400 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 84340 KiB
[startup+1.50081 s]
/proc/loadavg: 1.89 2.00 2.01 8/218 7678
/proc/meminfo: memFree=27020508/32770624 swapFree=67108496/67108860
[pid=7636] ppid=7632 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7636/stat : 7636 (xcsp3-exec) S 7632 7636 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105575663 115843072 364 33554432000 4194304 5098028 140728717236624 140728717234728 140659971998332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29843456 140728717243458 140728717243657 140728717243657 140728717246410 0
/proc/7636/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/7638/task/7640/stat : 7640 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926819805584 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7641] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7641/stat : 7641 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926818752784 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7642] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7642/stat : 7642 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926817700496 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7643] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7643/stat : 7643 (java) S 7636 7636 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926816647696 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7644] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7644/stat : 7644 (java) S 7636 7636 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105575666 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926378617456 139926904748674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7645] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7645/stat : 7645 (java) S 7636 7636 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926377563424 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7646] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7646/stat : 7646 (java) S 7636 7636 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926376511088 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7647] ppid=7636 vsize=14089320 memory=15184 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7647/stat : 7647 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926375459408 139926904756123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7648] ppid=7636 vsize=14089320 memory=4000 CPUtime=0.98 cores=1,3,5,7
/proc/7638/task/7648/stat : 7648 (java) R 7636 7636 7585 0 -1 4202560 8686 0 0 0 97 1 0 0 20 0 15 0 105575669 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926374406384 139926885373207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7649] ppid=7636 vsize=14089320 memory=14256 CPUtime=0.98 cores=1,3,5,7
/proc/7638/task/7649/stat : 7649 (java) R 7636 7636 7585 0 -1 4202560 7394 0 0 0 97 1 0 0 20 0 15 0 105575669 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926373345944 139926889852561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7650] ppid=7636 vsize=14089320 memory=17456 CPUtime=0.52 cores=1,3,5,7
/proc/7638/task/7650/stat : 7650 (java) R 7636 7636 7585 0 -1 1077944384 2732 0 0 0 51 1 0 0 20 0 15 0 105575669 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926372301168 139926904748674 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7651] ppid=7636 vsize=14089320 memory=1180 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7651/stat : 7651 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926371248608 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7652] ppid=7636 vsize=14089320 memory=504 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7652/stat : 7652 (java) S 7636 7636 7585 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 105575670 14427463680 30060 33554432000 4194304 4196468 140732666982800 139926370196400 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 121696 KiB
[startup+2.61561 s]
# the end of solver process 7636 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.94679 s, system=0.091993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.61435 s]
/proc/loadavg: 1.89 2.00 2.01 8/218 7678
/proc/meminfo: memFree=27020508/32770624 swapFree=67108496/67108860
[pid=7636] ppid=7632 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7636/stat : 7636 (xcsp3-exec) S 7632 7636 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105575663 115843072 364 33554432000 4194304 5098028 140728717236624 140728717234728 140659971998332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29843456 140728717243458 140728717243657 140728717243657 140728717246410 0
/proc/7636/statm: 28282 364 306 221 0 87 0
[pid=7638] ppid=7636 vsize=14089320 memory=122396 CPUtime=4.32 cores=1,3,5,7
/proc/7638/stat : 7638 (java) S 7636 7636 7585 0 -1 1077944320 27200 0 0 0 424 8 0 0 20 0 15 0 105575664 14427463680 30599 33554432000 4194304 4196468 140732666982800 140732666965344 139926904737527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
/proc/7638/statm: 3522330 30599 3373 1 0 3483524 0
[pid=7638/tid=7639] ppid=7636 vsize=14089320 memory=0 CPUtime=1.58 cores=1,3,5,7
/proc/7638/task/7639/stat : 7639 (java) R 7636 7636 7585 0 -1 4202560 6960 0 0 0 155 3 0 0 20 0 15 0 105575664 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926908974512 139926500005757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7640] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7640/stat : 7640 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926819805584 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7641] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7641/stat : 7641 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926818752784 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7642] ppid=7636 vsize=14089320 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7642/stat : 7642 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926817700496 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7643] ppid=7636 vsize=14089320 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7643/stat : 7643 (java) S 7636 7636 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926816647696 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7644] ppid=7636 vsize=14089320 memory=-2026666227646606628 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7644/stat : 7644 (java) S 7636 7636 7585 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 105575666 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926378617456 139926904748674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7645] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7645/stat : 7645 (java) S 7636 7636 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926377563424 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7646] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7646/stat : 7646 (java) S 7636 7636 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926376511088 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7647] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7647/stat : 7647 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926375459408 139926904756123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7648] ppid=7636 vsize=14089320 memory=7306062783016687469 CPUtime=1.09 cores=1,3,5,7
/proc/7638/task/7648/stat : 7648 (java) R 7636 7636 7585 0 -1 4202560 8736 0 0 0 108 1 0 0 20 0 15 0 105575669 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926374395056 139926883995152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7649] ppid=7636 vsize=14089320 memory=7594597771697979466 CPUtime=1.09 cores=1,3,5,7
/proc/7638/task/7649/stat : 7649 (java) R 7636 7636 7585 0 -1 4202560 7422 0 0 0 108 1 0 0 20 0 15 0 105575669 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926373346480 139926887948014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7650] ppid=7636 vsize=14089320 memory=288288857315869478 CPUtime=0.52 cores=1,3,5,7
/proc/7638/task/7650/stat : 7650 (java) R 7636 7636 7585 0 -1 1077944384 2734 0 0 0 51 1 0 0 20 0 15 0 105575669 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926372301168 139926904748674 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7651] ppid=7636 vsize=14089320 memory=3544391400739331538 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7651/stat : 7651 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926371248608 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7652] ppid=7636 vsize=14089320 memory=30112 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7652/stat : 7652 (java) S 7636 7636 7585 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 105575670 14427463680 30599 33554432000 4194304 4196468 140732666982800 139926370196400 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 123852 KiB
[startup+2.40076 s]
/proc/loadavg: 1.89 2.00 2.01 4/218 7678
/proc/meminfo: memFree=26784796/32770624 swapFree=67108496/67108860
[pid=7636] ppid=7632 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7636/stat : 7636 (xcsp3-exec) S 7632 7636 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105575663 115843072 364 33554432000 4194304 5098028 140728717236624 140728717234728 140659971998332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29843456 140728717243458 140728717243657 140728717243657 140728717246410 0
/proc/7636/statm: 28282 364 306 221 0 87 0
[pid=7638] ppid=7636 vsize=14089320 memory=135240 CPUtime=5.78 cores=1,3,5,7
/proc/7638/stat : 7638 (java) S 7636 7636 7585 0 -1 1077944320 27743 0 0 0 570 8 0 0 20 0 15 0 105575664 14427463680 33810 33554432000 4194304 4196468 140732666982800 140732666965344 139926904737527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
/proc/7638/statm: 3522330 33810 3373 1 0 3483524 0
[pid=7638/tid=7639] ppid=7636 vsize=14089320 memory=8317141777509777479 CPUtime=2.37 cores=1,3,5,7
/proc/7638/task/7639/stat : 7639 (java) R 7636 7636 7585 0 -1 4202560 7067 0 0 0 234 3 0 0 20 0 15 0 105575664 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926908976840 139926500676451 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7640] ppid=7636 vsize=14089320 memory=288292168718877399 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7640/stat : 7640 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926819805584 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7641] ppid=7636 vsize=14089320 memory=3467828012398950723 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7641/stat : 7641 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926818752784 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7642] ppid=7636 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7642/stat : 7642 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926817700496 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7643] ppid=7636 vsize=14089320 memory=124744 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7643/stat : 7643 (java) S 7636 7636 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926816647696 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7644] ppid=7636 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7644/stat : 7644 (java) S 7636 7636 7585 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 105575666 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926378617456 139926904748674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7645] ppid=7636 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7645/stat : 7645 (java) S 7636 7636 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926377563424 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7646] ppid=7636 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7646/stat : 7646 (java) S 7636 7636 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926376511088 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7647] ppid=7636 vsize=14089320 memory=756 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7647/stat : 7647 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926375459408 139926904756123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7648] ppid=7636 vsize=14089320 memory=1616 CPUtime=1.44 cores=1,3,5,7
/proc/7638/task/7648/stat : 7648 (java) S 7636 7636 7585 0 -1 1077944384 8971 0 0 0 143 1 0 0 20 0 15 0 105575669 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926374406256 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7649] ppid=7636 vsize=14089320 memory=1836 CPUtime=1.39 cores=1,3,5,7
/proc/7638/task/7649/stat : 7649 (java) S 7636 7636 7585 0 -1 1077944384 7511 0 0 0 138 1 0 0 20 0 15 0 105575669 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926373353456 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7650] ppid=7636 vsize=14089320 memory=1132 CPUtime=0.55 cores=1,3,5,7
/proc/7638/task/7650/stat : 7650 (java) S 7636 7636 7585 0 -1 1077944384 2841 0 0 0 54 1 0 0 20 0 15 0 105575669 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926372301168 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7651] ppid=7636 vsize=14089320 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7651/stat : 7651 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926371248608 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7652] ppid=7636 vsize=14089320 memory=5500 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7652/stat : 7652 (java) S 7636 7636 7585 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105575670 14427463680 33810 33554432000 4194304 4196468 140732666982800 139926370196400 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 136696 KiB
[startup+2.6007 s]
/proc/loadavg: 1.89 2.00 2.01 4/218 7678
/proc/meminfo: memFree=26784796/32770624 swapFree=67108496/67108860
[pid=7636] ppid=7632 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7636/stat : 7636 (xcsp3-exec) S 7632 7636 7585 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105575663 115843072 364 33554432000 4194304 5098028 140728717236624 140728717234728 140659971998332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29843456 140728717243458 140728717243657 140728717243657 140728717246410 0
/proc/7636/statm: 28282 364 306 221 0 87 0
[pid=7638] ppid=7636 vsize=14089320 memory=137356 CPUtime=6.01 cores=1,3,5,7
/proc/7638/stat : 7638 (java) S 7636 7636 7585 0 -1 1077944320 27783 0 0 0 593 8 0 0 20 0 15 0 105575664 14427463680 34339 33554432000 4194304 4196468 140732666982800 140732666965344 139926904737527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
/proc/7638/statm: 3522330 34339 3376 1 0 3483524 0
[pid=7638/tid=7639] ppid=7636 vsize=14089320 memory=8112282956445269571 CPUtime=2.57 cores=1,3,5,7
/proc/7638/task/7639/stat : 7639 (java) R 7636 7636 7585 0 -1 4202560 7070 0 0 0 254 3 0 0 20 0 15 0 105575664 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926908973664 139926501162378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7640] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7640/stat : 7640 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926819805584 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7641] ppid=7636 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7641/stat : 7641 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926818752784 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7642] ppid=7636 vsize=14089320 memory=280809660112208 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7642/stat : 7642 (java) S 7636 7636 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926817700496 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7643] ppid=7636 vsize=14089320 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7643/stat : 7643 (java) S 7636 7636 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105575665 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926816647696 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7644] ppid=7636 vsize=14089320 memory=4715433313220523562 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7644/stat : 7644 (java) S 7636 7636 7585 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 105575666 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926378617456 139926904748674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7645] ppid=7636 vsize=14089320 memory=4427205132082312746 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7645/stat : 7645 (java) S 7636 7636 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926377563424 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7646] ppid=7636 vsize=14089320 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7646/stat : 7646 (java) S 7636 7636 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105575667 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926376511088 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7647] ppid=7636 vsize=14089320 memory=-8486080722631693414 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7647/stat : 7647 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926375459408 139926904756123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7648] ppid=7636 vsize=14089320 memory=-8412652152092201843 CPUtime=1.44 cores=1,3,5,7
/proc/7638/task/7648/stat : 7648 (java) S 7636 7636 7585 0 -1 1077944384 8971 0 0 0 143 1 0 0 20 0 15 0 105575669 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926374406256 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7649] ppid=7636 vsize=14089320 memory=4629546024076873078 CPUtime=1.42 cores=1,3,5,7
/proc/7638/task/7649/stat : 7649 (java) S 7636 7636 7585 0 -1 1077944384 7530 0 0 0 141 1 0 0 20 0 15 0 105575669 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926373353456 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7650] ppid=7636 vsize=14089320 memory=4426639978525455914 CPUtime=0.55 cores=1,3,5,7
/proc/7638/task/7650/stat : 7650 (java) S 7636 7636 7585 0 -1 1077944384 2846 0 0 0 54 1 0 0 20 0 15 0 105575669 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926372301168 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7651] ppid=7636 vsize=14089320 memory=3047711553219693942 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7651/stat : 7651 (java) S 7636 7636 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105575669 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926371248608 139926904747733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
[pid=7638/tid=7652] ppid=7636 vsize=14089320 memory=-7521736447810188379 CPUtime=0 cores=1,3,5,7
/proc/7638/task/7652/stat : 7652 (java) S 7636 7636 7585 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105575670 14427463680 34339 33554432000 4194304 4196468 140732666982800 139926370196400 139926904748674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18477056 140732666987660 140732666987830 140732666987830 140732666990543 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 138812 KiB
Child status: 0
Real time (s): 2.61565
CPU time (s): 6.03878
CPU user time (s): 5.94679
CPU system time (s): 0.091993
CPU usage (%): 230.871
Max. virtual memory (cumulated for all children) (KiB): 14204324
Max. memory (cumulated for all children) (KiB): 138812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.94679
system time used= 0.091993
maximum resident set size= 139880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28739
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2453
involuntary context switches= 73
# summary of solver processes directly reported to runsolver:
# pid: 7636
# total CPU time (s): 6.03878
# total CPU user time (s): 5.94679
# total CPU system time (s): 0.091993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036574 second user time and 0.073047 second system time
The end