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 (14551 MiB free)
memory of node 1: 16384 MiB (13120 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310270-1534328479/watcher-4310270-1534328479 -o /tmp/evaluation-result-4310270-1534328479/solver-4310270-1534328479 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25580 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1580662654 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310270-1534328479.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=25713, runsolver pid=25710
[startup+0.100132 s]*
/proc/loadavg: 2.91 2.26 1.84 4/218 25728
/proc/meminfo: memFree=28318596/32770624 swapFree=67030680/67108860
[pid=25713] ppid=25710 vsize=14082736 memory=32760 CPUtime=0.11 cores=0,2,4,6
/proc/25713/stat : 25713 (java) S 25710 25713 25549 0 -1 1077944320 7144 0 0 0 10 1 0 0 20 0 15 0 250411071 14420721664 8190 33554432000 4194304 4196468 140724254059680 140724254042224 140319975595767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
/proc/25713/statm: 3520684 8190 3138 1 0 3482761 0
[pid=25713/tid=25715] ppid=25710 vsize=14082736 memory=-8629632960754519932 CPUtime=0.09 cores=0,2,4,6
/proc/25713/task/25715/stat : 25715 (java) R 25710 25713 25549 0 -1 4202560 5203 0 0 0 8 1 0 0 20 0 15 0 250411071 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319979780448 140319975617693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25716] ppid=25710 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25716/stat : 25716 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319938702352 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25717] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25717/stat : 25717 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319570193552 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25718] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25718/stat : 25718 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319569140496 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25719] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25719/stat : 25719 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319568087952 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25720] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25720/stat : 25720 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411073 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319449508080 140319975606914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25721] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25721/stat : 25721 (java) S 25710 25713 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250411074 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319448454304 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25722] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25722/stat : 25722 (java) S 25710 25713 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250411074 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319447401200 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25723] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25723/stat : 25723 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411076 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319446349776 140319975614363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25724] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25724/stat : 25724 (java) S 25710 25713 25549 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 250411076 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319445297904 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25725] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25725/stat : 25725 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411076 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319444245360 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25726] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0.01 cores=0,2,4,6
/proc/25713/task/25726/stat : 25726 (java) R 25710 25713 25549 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 250411076 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319443192304 140319954295968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25727] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25727/stat : 25727 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411077 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319442140000 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25728] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25728/stat : 25728 (java) S 25710 25713 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250411077 14420721664 8190 33554432000 4194304 4196468 140724254059680 140319441087024 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32760 KiB
[startup+0.210548 s]*
/proc/loadavg: 2.91 2.26 1.84 4/218 25728
/proc/meminfo: memFree=28302580/32770624 swapFree=67030680/67108860
[pid=25713] ppid=25710 vsize=14082736 memory=46924 CPUtime=0.3 cores=0,2,4,6
/proc/25713/stat : 25713 (java) S 25710 25713 25549 0 -1 1077944320 10336 0 0 0 28 2 0 0 20 0 15 0 250411071 14420721664 11731 33554432000 4194304 4196468 140724254059680 140724254042224 140319975595767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
/proc/25713/statm: 3520684 11731 3372 1 0 3482761 0
[pid=25713/tid=25715] ppid=25710 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25713/task/25715/stat : 25715 (java) S 25710 25713 25549 0 -1 1077944384 8049 0 0 0 18 2 0 0 20 0 15 0 250411071 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319979824704 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25716] ppid=25710 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25716/stat : 25716 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319938702352 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25717] ppid=25710 vsize=14082736 memory=139675875959010 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25717/stat : 25717 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319570193552 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25718] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25718/stat : 25718 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319569140496 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25719] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25719/stat : 25719 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319568087952 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25720] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25720/stat : 25720 (java) S 25710 25713 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250411073 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319449508080 140319975606914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25721] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25721/stat : 25721 (java) S 25710 25713 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250411074 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319448454304 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25722] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25722/stat : 25722 (java) S 25710 25713 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250411074 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319447401200 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25723] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25723/stat : 25723 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411076 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319446349776 140319975614363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25724] ppid=25710 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25713/task/25724/stat : 25724 (java) R 25710 25713 25549 0 -1 4202560 436 0 0 0 2 0 0 0 20 0 15 0 250411076 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319445296304 140319959092601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25725] ppid=25710 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25713/task/25725/stat : 25725 (java) R 25710 25713 25549 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 15 0 250411076 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319444245360 140319975606914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25726] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0.06 cores=0,2,4,6
/proc/25713/task/25726/stat : 25726 (java) R 25710 25713 25549 0 -1 4202560 321 0 0 0 6 0 0 0 20 0 15 0 250411076 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319443192304 140319975607702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25727] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25727/stat : 25727 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411077 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319442140000 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25728] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25728/stat : 25728 (java) S 25710 25713 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250411077 14420721664 11731 33554432000 4194304 4196468 140724254059680 140319441087024 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46924 KiB
[startup+0.310586 s]*
/proc/loadavg: 2.91 2.26 1.84 4/218 25728
/proc/meminfo: memFree=28298272/32770624 swapFree=67030680/67108860
[pid=25713] ppid=25710 vsize=14082736 memory=50388 CPUtime=0.43 cores=0,2,4,6
/proc/25713/stat : 25713 (java) S 25710 25713 25549 0 -1 1077944320 10724 0 0 0 41 2 0 0 20 0 15 0 250411071 14420721664 12597 33554432000 4194304 4196468 140724254059680 140724254042224 140319975595767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
/proc/25713/statm: 3520684 12597 3376 1 0 3482761 0
[pid=25713/tid=25715] ppid=25710 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/25713/task/25715/stat : 25715 (java) R 25710 25713 25549 0 -1 4202560 8409 0 0 0 28 2 0 0 20 0 15 0 250411071 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319979776816 140319955871648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25716] ppid=25710 vsize=14082736 memory=4294976238 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25716/stat : 25716 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319938702352 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25717] ppid=25710 vsize=14082736 memory=139675875956232 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25717/stat : 25717 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319570193552 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25718] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25718/stat : 25718 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319569140496 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25719] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25719/stat : 25719 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319568087952 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25720] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25720/stat : 25720 (java) S 25710 25713 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250411073 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319449508080 140319975606914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25721] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25721/stat : 25721 (java) S 25710 25713 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250411074 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319448454304 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25722] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25722/stat : 25722 (java) S 25710 25713 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250411074 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319447401200 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25723] ppid=25710 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25723/stat : 25723 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411076 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319446349776 140319975614363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25724] ppid=25710 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25713/task/25724/stat : 25724 (java) S 25710 25713 25549 0 -1 1077944384 437 0 0 0 3 0 0 0 20 0 15 0 250411076 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319445297904 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25725] ppid=25710 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25713/task/25725/stat : 25725 (java) S 25710 25713 25549 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 15 0 250411076 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319444245360 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25726] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0.08 cores=0,2,4,6
/proc/25713/task/25726/stat : 25726 (java) S 25710 25713 25549 0 -1 1077944384 343 0 0 0 8 0 0 0 20 0 15 0 250411076 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319443192304 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25727] ppid=25710 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25727/stat : 25727 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411077 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319442140000 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25728] ppid=25710 vsize=14082736 memory=139675874592384 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25728/stat : 25728 (java) S 25710 25713 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250411077 14420721664 12597 33554432000 4194304 4196468 140724254059680 140319441087024 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50388 KiB
[startup+0.700954 s]
/proc/loadavg: 2.91 2.26 1.84 4/218 25728
/proc/meminfo: memFree=28274548/32770624 swapFree=67030680/67108860
[pid=25713] ppid=25710 vsize=14084804 memory=88484 CPUtime=0.99 cores=0,2,4,6
/proc/25713/stat : 25713 (java) S 25710 25713 25549 0 -1 1077944320 17552 0 0 0 95 4 0 0 20 0 15 0 250411071 14422839296 22121 33554432000 4194304 4196468 140724254059680 140724254042224 140319975595767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
/proc/25713/statm: 3521201 22121 3496 1 0 3483273 0
[pid=25713/tid=25715] ppid=25710 vsize=14084804 memory=34104 CPUtime=0.67 cores=0,2,4,6
/proc/25713/task/25715/stat : 25715 (java) R 25710 25713 25549 0 -1 4202560 14853 0 0 0 64 3 0 0 20 0 15 0 250411071 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319979811344 140319975617693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25716] ppid=25710 vsize=14084804 memory=11908 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25716/stat : 25716 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319938702352 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25717] ppid=25710 vsize=14084804 memory=492 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25717/stat : 25717 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319570193552 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25718] ppid=25710 vsize=14084804 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25718/stat : 25718 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319569140496 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25719] ppid=25710 vsize=14084804 memory=932 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25719/stat : 25719 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319568087952 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25720] ppid=25710 vsize=14084804 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25720/stat : 25720 (java) S 25710 25713 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250411073 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319449508080 140319975606914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25721] ppid=25710 vsize=14084804 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25721/stat : 25721 (java) S 25710 25713 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250411074 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319448454304 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25722] ppid=25710 vsize=14084804 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25722/stat : 25722 (java) S 25710 25713 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250411074 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319447401200 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25723] ppid=25710 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25723/stat : 25723 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411076 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319446349776 140319975614363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25724] ppid=25710 vsize=14084804 memory=7881696724453321575 CPUtime=0.08 cores=0,2,4,6
/proc/25713/task/25724/stat : 25724 (java) S 25710 25713 25549 0 -1 1077944384 577 0 0 0 8 0 0 0 20 0 15 0 250411076 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319445297904 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25725] ppid=25710 vsize=14084804 memory=7453282923461570405 CPUtime=0.06 cores=0,2,4,6
/proc/25713/task/25725/stat : 25725 (java) S 25710 25713 25549 0 -1 1077944384 328 0 0 0 6 0 0 0 20 0 15 0 250411076 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319444245360 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25726] ppid=25710 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/25713/task/25726/stat : 25726 (java) S 25710 25713 25549 0 -1 1077944384 410 0 0 0 15 0 0 0 20 0 15 0 250411076 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319443192304 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25727] ppid=25710 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25727/stat : 25727 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411077 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319442140000 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25728] ppid=25710 vsize=14084804 memory=972 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25728/stat : 25728 (java) S 25710 25713 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250411077 14422839296 22121 33554432000 4194304 4196468 140724254059680 140319441087024 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88484 KiB
[startup+1.18275 s]
# the end of solver process 25713 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.92448 s, system=0.083988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.807412 s]
/proc/loadavg: 2.91 2.26 1.84 4/218 25728
/proc/meminfo: memFree=28274548/32770624 swapFree=67030680/67108860
[pid=25713] ppid=25710 vsize=14086852 memory=93144 CPUtime=1.19 cores=0,2,4,6
/proc/25713/stat : 25713 (java) S 25710 25713 25549 0 -1 1077944320 18122 0 0 0 114 5 0 0 20 0 15 0 250411071 14424936448 23286 33554432000 4194304 4196468 140724254059680 140724254042224 140319975595767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
/proc/25713/statm: 3521713 23286 3510 1 0 3483785 0
[pid=25713/tid=25715] ppid=25710 vsize=14086852 memory=2228 CPUtime=0.78 cores=0,2,4,6
/proc/25713/task/25715/stat : 25715 (java) R 25710 25713 25549 0 -1 4202560 15243 0 0 0 74 4 0 0 20 0 15 0 250411071 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319979828768 140319975607702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25716] ppid=25710 vsize=14086852 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25716/stat : 25716 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319938702352 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25717] ppid=25710 vsize=14086852 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25717/stat : 25717 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319570193552 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25718] ppid=25710 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25718/stat : 25718 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319569140496 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25719] ppid=25710 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25719/stat : 25719 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319568087952 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25720] ppid=25710 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25720/stat : 25720 (java) S 25710 25713 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250411073 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319449508080 140319975606914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25721] ppid=25710 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25721/stat : 25721 (java) S 25710 25713 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250411074 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319448454304 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25722] ppid=25710 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25722/stat : 25722 (java) S 25710 25713 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250411074 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319447401200 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25723] ppid=25710 vsize=14086852 memory=4211821575712316544 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25723/stat : 25723 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411076 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319446349776 140319975614363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25724] ppid=25710 vsize=14086852 memory=6944656592455359580 CPUtime=0.1 cores=0,2,4,6
/proc/25713/task/25724/stat : 25724 (java) S 25710 25713 25549 0 -1 1077944384 590 0 0 0 10 0 0 0 20 0 15 0 250411076 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319445297904 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25725] ppid=25710 vsize=14086852 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/25713/task/25725/stat : 25725 (java) R 25710 25713 25549 0 -1 4202560 345 0 0 0 8 0 0 0 20 0 15 0 250411076 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319444234624 140319956295144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25726] ppid=25710 vsize=14086852 memory=6944656592455359580 CPUtime=0.21 cores=0,2,4,6
/proc/25713/task/25726/stat : 25726 (java) R 25710 25713 25549 0 -1 4202560 560 0 0 0 21 0 0 0 20 0 15 0 250411076 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319443189240 140319959759297 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25727] ppid=25710 vsize=14086852 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25727/stat : 25727 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411077 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319442140000 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25728] ppid=25710 vsize=14086852 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25728/stat : 25728 (java) S 25710 25713 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250411077 14424936448 23286 33554432000 4194304 4196468 140724254059680 140319441087024 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 93144 KiB
[startup+1.00064 s]*
/proc/loadavg: 2.91 2.26 1.84 5/218 25728
/proc/meminfo: memFree=28240276/32770624 swapFree=67030680/67108860
[pid=25713] ppid=25710 vsize=14088900 memory=107736 CPUtime=1.59 cores=0,2,4,6
/proc/25713/stat : 25713 (java) S 25710 25713 25549 0 -1 1077944320 19270 0 0 0 153 6 0 0 20 0 15 0 250411071 14427033600 26934 33554432000 4194304 4196468 140724254059680 140724254042224 140319975595767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
/proc/25713/statm: 3522225 26934 3518 1 0 3484297 0
[pid=25713/tid=25715] ppid=25710 vsize=14088900 memory=5450919713671312938 CPUtime=0.98 cores=0,2,4,6
/proc/25713/task/25715/stat : 25715 (java) R 25710 25713 25549 0 -1 4202560 16067 0 0 0 93 5 0 0 20 0 15 0 250411071 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319979827240 140319953859425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25716] ppid=25710 vsize=14088900 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25716/stat : 25716 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319938702352 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25717] ppid=25710 vsize=14088900 memory=279351633612392 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25717/stat : 25717 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319570193552 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25718] ppid=25710 vsize=14088900 memory=279351518910084 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25718/stat : 25718 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319569140496 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25719] ppid=25710 vsize=14088900 memory=2319389199166349359 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25719/stat : 25719 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319568087952 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25720] ppid=25710 vsize=14088900 memory=3763241531567684532 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25720/stat : 25720 (java) S 25710 25713 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250411073 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319449508080 140319975606914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25721] ppid=25710 vsize=14088900 memory=3617855274531299375 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25721/stat : 25721 (java) S 25710 25713 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250411074 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319448454304 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25722] ppid=25710 vsize=14088900 memory=4951091520830867572 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25722/stat : 25722 (java) S 25710 25713 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250411074 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319447401200 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25723] ppid=25710 vsize=14088900 memory=-7450779821759504288 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25723/stat : 25723 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411076 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319446349776 140319975614363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25724] ppid=25710 vsize=14088900 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/25713/task/25724/stat : 25724 (java) R 25710 25713 25549 0 -1 4202560 642 0 0 0 15 0 0 0 20 0 15 0 250411076 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319445284128 140319954842500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25725] ppid=25710 vsize=14088900 memory=7234319696884687198 CPUtime=0.13 cores=0,2,4,6
/proc/25713/task/25725/stat : 25725 (java) S 25710 25713 25549 0 -1 1077944384 389 0 0 0 13 0 0 0 20 0 15 0 250411076 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319444245360 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25726] ppid=25710 vsize=14088900 memory=3472467972102272688 CPUtime=0.3 cores=0,2,4,6
/proc/25713/task/25726/stat : 25726 (java) S 25710 25713 25549 0 -1 1077944384 788 0 0 0 30 0 0 0 20 0 15 0 250411076 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319443192304 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25727] ppid=25710 vsize=14088900 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25727/stat : 25727 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411077 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319442140000 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25728] ppid=25710 vsize=14088900 memory=734557574449199859 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25728/stat : 25728 (java) S 25710 25713 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250411077 14427033600 26934 33554432000 4194304 4196468 140724254059680 140319441087024 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 107736 KiB
[startup+1.11045 s]
/proc/loadavg: 2.91 2.26 1.84 5/218 25728
/proc/meminfo: memFree=28240276/32770624 swapFree=67030680/67108860
[pid=25713] ppid=25710 vsize=14088900 memory=116848 CPUtime=1.79 cores=0,2,4,6
/proc/25713/stat : 25713 (java) S 25710 25713 25549 0 -1 1077944320 23312 0 0 0 172 7 0 0 20 0 15 0 250411071 14427033600 29212 33554432000 4194304 4196468 140724254059680 140724254042224 140319975595767 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
/proc/25713/statm: 3522225 29212 3525 1 0 3484297 0
[pid=25713/tid=25715] ppid=25710 vsize=14088900 memory=98752 CPUtime=1.07 cores=0,2,4,6
/proc/25713/task/25715/stat : 25715 (java) S 25710 25713 25549 0 -1 1077944384 19458 0 0 0 102 5 0 0 20 0 15 0 250411071 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319979831824 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25716] ppid=25710 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25716/stat : 25716 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319938702352 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25717] ppid=25710 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25717/stat : 25717 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319570193552 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25718] ppid=25710 vsize=14088900 memory=-2247047206207641111 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25718/stat : 25718 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319569140496 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25719] ppid=25710 vsize=14088900 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25719/stat : 25719 (java) S 25710 25713 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250411072 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319568087952 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25720] ppid=25710 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25720/stat : 25720 (java) S 25710 25713 25549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250411073 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319449508080 140319975606914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25721] ppid=25710 vsize=14088900 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25721/stat : 25721 (java) S 25710 25713 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250411074 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319448454304 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25722] ppid=25710 vsize=14088900 memory=-7812736537705029536 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25722/stat : 25722 (java) S 25710 25713 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250411074 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319447401200 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25723] ppid=25710 vsize=14088900 memory=7594570244803289937 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25723/stat : 25723 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411076 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319446349776 140319975614363 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25724] ppid=25710 vsize=14088900 memory=7594570244803289937 CPUtime=0.17 cores=0,2,4,6
/proc/25713/task/25724/stat : 25724 (java) R 25710 25713 25549 0 -1 4202560 724 0 0 0 17 0 0 0 20 0 15 0 250411076 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319445297904 140319955102545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25725] ppid=25710 vsize=14088900 memory=7739529857809277777 CPUtime=0.15 cores=0,2,4,6
/proc/25713/task/25725/stat : 25725 (java) R 25710 25713 25549 0 -1 4202560 446 0 0 0 15 0 0 0 20 0 15 0 250411076 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319444235152 140319975607702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25726] ppid=25710 vsize=14088900 memory=7739529857809277777 CPUtime=0.35 cores=0,2,4,6
/proc/25713/task/25726/stat : 25726 (java) R 25710 25713 25549 0 -1 1077944384 1295 0 0 0 35 0 0 0 20 0 15 0 250411076 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319443190096 140319975605973 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25727] ppid=25710 vsize=14088900 memory=7594570244803289937 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25727/stat : 25727 (java) S 25710 25713 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250411077 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319442140000 140319975605973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
[pid=25713/tid=25728] ppid=25710 vsize=14088900 memory=7594570244803289937 CPUtime=0 cores=0,2,4,6
/proc/25713/task/25728/stat : 25728 (java) S 25710 25713 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250411077 14427033600 29212 33554432000 4194304 4196468 140724254059680 140319441087024 140319975606914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33878016 140724254065754 140724254065934 140724254065934 140724254068687 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 116848 KiB
Child status: 0
Real time (s): 1.18279
CPU time (s): 2.00847
CPU user time (s): 1.92448
CPU system time (s): 0.083988
CPU usage (%): 169.808
Max. virtual memory (cumulated for all children) (KiB): 14088900
Max. memory (cumulated for all children) (KiB): 116848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.92448
system time used= 0.083988
maximum resident set size= 124688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2133
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 25713
# total CPU time (s): 2.00847
# total CPU user time (s): 1.92448
# total CPU system time (s): 0.083988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.028218 second user time and 0.059624 second system time
The end