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 (8944 MiB free)
memory of node 1: 16384 MiB (9771 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310247-1534332452/watcher-4310247-1534332452 -o /tmp/evaluation-result-4310247-1534332452/solver-4310247-1534332452 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20537 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1971610051 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310247-1534332452.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
solver pid=23562, runsolver pid=23559
Current StackSize limit: 8192 KiB
[startup+0.100192 s]*
/proc/loadavg: 1.07 1.29 1.54 3/215 23577
/proc/meminfo: memFree=19154160/32770624 swapFree=67108860/67108860
[pid=23562] ppid=23559 vsize=14082736 memory=28396 CPUtime=0.08 cores=0,2,4,6
/proc/23562/stat : 23562 (java) S 23559 23562 20506 0 -1 1077944320 6016 0 0 0 7 1 0 0 20 0 15 0 250808388 14420721664 7099 33554432000 4194304 4196468 140726557223808 140726557206352 139749348949751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
/proc/23562/statm: 3520684 7099 3119 1 0 3482761 0
[pid=23562/tid=23564] ppid=23559 vsize=14082736 memory=-6966717417093883519 CPUtime=0.07 cores=0,2,4,6
/proc/23562/task/23564/stat : 23564 (java) R 23559 23562 20506 0 -1 4202560 4100 0 0 0 6 1 0 0 20 0 15 0 250808388 14420721664 7099 33554432000 4194304 4196468 140726557223808 139749353180944 139749330356050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23565] ppid=23559 vsize=14082736 memory=5793855000647158201 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23565/stat : 23565 (java) S 23559 23562 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 7099 33554432000 4194304 4196468 140726557223808 139749312056208 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23566] ppid=23559 vsize=14082736 memory=139749637265024 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23566/stat : 23566 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748943522576 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23567] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23567/stat : 23567 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748942470288 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23568] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23568/stat : 23568 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748941417488 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23569] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23569/stat : 23569 (java) S 23559 23562 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250808391 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748261062768 139749348960898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23570] ppid=23559 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23570/stat : 23570 (java) S 23559 23562 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250808391 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748260008736 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23571] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23571/stat : 23571 (java) S 23559 23562 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250808391 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748258956400 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23572] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23572/stat : 23572 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748257904720 139749348968347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23573] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23573/stat : 23573 (java) S 23559 23562 20506 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748256852592 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23574] ppid=23559 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23574/stat : 23574 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748255799792 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23575] ppid=23559 vsize=14082736 memory=139749637265024 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23575/stat : 23575 (java) S 23559 23562 20506 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748254747504 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23576] ppid=23559 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23576/stat : 23576 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748253694944 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23577] ppid=23559 vsize=14082736 memory=139749637265024 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23577/stat : 23577 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808396 14420721664 7099 33554432000 4194304 4196468 140726557223808 139748252641712 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 28396 KiB
[startup+0.210453 s]*
/proc/loadavg: 1.07 1.29 1.54 4/215 23577
/proc/meminfo: memFree=19134872/32770624 swapFree=67108860/67108860
[pid=23562] ppid=23559 vsize=14082736 memory=44080 CPUtime=0.24 cores=0,2,4,6
/proc/23562/stat : 23562 (java) S 23559 23562 20506 0 -1 1077944320 10146 0 0 0 22 2 0 0 20 0 15 0 250808388 14420721664 11020 33554432000 4194304 4196468 140726557223808 140726557206352 139749348949751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
/proc/23562/statm: 3520684 11020 3302 1 0 3482761 0
[pid=23562/tid=23564] ppid=23559 vsize=14082736 memory=6735269665583770266 CPUtime=0.18 cores=0,2,4,6
/proc/23562/task/23564/stat : 23564 (java) R 23559 23562 20506 0 -1 4202560 7982 0 0 0 16 2 0 0 20 0 15 0 250808388 14420721664 11020 33554432000 4194304 4196468 140726557223808 139749353175112 139749348961686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23565] ppid=23559 vsize=14082736 memory=4211973475842055562 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23565/stat : 23565 (java) S 23559 23562 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 11020 33554432000 4194304 4196468 140726557223808 139749312056208 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23566] ppid=23559 vsize=14082736 memory=139749637265024 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23566/stat : 23566 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748943522576 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23567] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23567/stat : 23567 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748942470288 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23568] ppid=23559 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23568/stat : 23568 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748941417488 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23569] ppid=23559 vsize=14082736 memory=139749637265024 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23569/stat : 23569 (java) S 23559 23562 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250808391 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748261062768 139749348960898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23570] ppid=23559 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23570/stat : 23570 (java) S 23559 23562 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250808391 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748260008736 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23571] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23571/stat : 23571 (java) S 23559 23562 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250808391 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748258956400 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23572] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23572/stat : 23572 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748257904720 139749348968347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23573] ppid=23559 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23573/stat : 23573 (java) S 23559 23562 20506 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748256852592 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23574] ppid=23559 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23562/task/23574/stat : 23574 (java) S 23559 23562 20506 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 15 0 250808394 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748255799792 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23575] ppid=23559 vsize=14082736 memory=139749637265024 CPUtime=0.04 cores=0,2,4,6
/proc/23562/task/23575/stat : 23575 (java) R 23559 23562 20506 0 -1 4202560 303 0 0 0 4 0 0 0 20 0 15 0 250808394 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748254747504 139749327498595 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23576] ppid=23559 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23576/stat : 23576 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748253694944 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23577] ppid=23559 vsize=14082736 memory=139749637265024 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23577/stat : 23577 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808396 14420721664 11020 33554432000 4194304 4196468 140726557223808 139748252641712 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 44080 KiB
[startup+0.31063 s]*
/proc/loadavg: 1.07 1.29 1.54 4/215 23577
/proc/meminfo: memFree=19130840/32770624 swapFree=67108860/67108860
[pid=23562] ppid=23559 vsize=14082736 memory=50380 CPUtime=0.41 cores=0,2,4,6
/proc/23562/stat : 23562 (java) S 23559 23562 20506 0 -1 1077944320 10715 0 0 0 38 3 0 0 20 0 15 0 250808388 14420721664 12595 33554432000 4194304 4196468 140726557223808 140726557206352 139749348949751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
/proc/23562/statm: 3520684 12595 3404 1 0 3482761 0
[pid=23562/tid=23564] ppid=23559 vsize=14082736 memory=4871374705135476842 CPUtime=0.27 cores=0,2,4,6
/proc/23562/task/23564/stat : 23564 (java) R 23559 23562 20506 0 -1 4202560 8391 0 0 0 25 2 0 0 20 0 15 0 250808388 14420721664 12595 33554432000 4194304 4196468 140726557223808 139749353111488 139749330513326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23565] ppid=23559 vsize=14082736 memory=4211973475842055562 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23565/stat : 23565 (java) S 23559 23562 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 12595 33554432000 4194304 4196468 140726557223808 139749312056208 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23566] ppid=23559 vsize=14082736 memory=139749637267384 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23566/stat : 23566 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748943522576 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23567] ppid=23559 vsize=14082736 memory=139749511789068 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23567/stat : 23567 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748942470288 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23568] ppid=23559 vsize=14082736 memory=139749511777743 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23568/stat : 23568 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748941417488 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23569] ppid=23559 vsize=14082736 memory=139749637285556 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23569/stat : 23569 (java) S 23559 23562 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250808391 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748261062768 139749348960898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23570] ppid=23559 vsize=14082736 memory=139749511786927 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23570/stat : 23570 (java) S 23559 23562 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250808391 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748260008736 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23571] ppid=23559 vsize=14082736 memory=279499023564688 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23571/stat : 23571 (java) S 23559 23562 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250808391 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748258956400 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23572] ppid=23559 vsize=14082736 memory=279499023562384 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23572/stat : 23572 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748257904720 139749348968347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23573] ppid=23559 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23562/task/23573/stat : 23573 (java) S 23559 23562 20506 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 15 0 250808394 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748256852592 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23574] ppid=23559 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23562/task/23574/stat : 23574 (java) S 23559 23562 20506 0 -1 1077944384 275 0 0 0 2 0 0 0 20 0 15 0 250808394 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748255799792 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23575] ppid=23559 vsize=14082736 memory=139749637265024 CPUtime=0.08 cores=0,2,4,6
/proc/23562/task/23575/stat : 23575 (java) S 23559 23562 20506 0 -1 1077944384 339 0 0 0 8 0 0 0 20 0 15 0 250808394 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748254747504 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23576] ppid=23559 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23576/stat : 23576 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748253694944 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23577] ppid=23559 vsize=14082736 memory=139749637265024 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23577/stat : 23577 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808396 14420721664 12595 33554432000 4194304 4196468 140726557223808 139748252641712 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50380 KiB
[startup+0.70179 s]
/proc/loadavg: 1.07 1.29 1.54 3/215 23577
/proc/meminfo: memFree=19117072/32770624 swapFree=67108860/67108860
[pid=23562] ppid=23559 vsize=14084804 memory=86440 CPUtime=0.97 cores=0,2,4,6
/proc/23562/stat : 23562 (java) S 23559 23562 20506 0 -1 1077944320 17476 0 0 0 92 5 0 0 20 0 15 0 250808388 14422839296 21610 33554432000 4194304 4196468 140726557223808 140726557206352 139749348949751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
/proc/23562/statm: 3521201 21610 3504 1 0 3483273 0
[pid=23562/tid=23564] ppid=23559 vsize=14084804 memory=876 CPUtime=0.65 cores=0,2,4,6
/proc/23562/task/23564/stat : 23564 (java) R 23559 23562 20506 0 -1 4202560 14782 0 0 0 61 4 0 0 20 0 15 0 250808388 14422839296 21610 33554432000 4194304 4196468 140726557223808 139749353173744 139749348971677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23565] ppid=23559 vsize=14084804 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23565/stat : 23565 (java) S 23559 23562 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250808389 14422839296 21610 33554432000 4194304 4196468 140726557223808 139749312056208 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23566] ppid=23559 vsize=14084804 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23566/stat : 23566 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748943522576 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23567] ppid=23559 vsize=14084804 memory=6296683612554547549 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23567/stat : 23567 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748942470288 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23568] ppid=23559 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23568/stat : 23568 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748941417488 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23569] ppid=23559 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23569/stat : 23569 (java) S 23559 23562 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250808391 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748261062768 139749348960898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23570] ppid=23559 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23570/stat : 23570 (java) S 23559 23562 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250808391 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748260008736 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23571] ppid=23559 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23571/stat : 23571 (java) S 23559 23562 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250808391 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748258956400 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23572] ppid=23559 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23572/stat : 23572 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748257904720 139749348968347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23573] ppid=23559 vsize=14084804 memory=269 CPUtime=0.07 cores=0,2,4,6
/proc/23562/task/23573/stat : 23573 (java) R 23559 23562 20506 0 -1 4202560 499 0 0 0 7 0 0 0 20 0 15 0 250808394 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748256852592 139749330493094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23574] ppid=23559 vsize=14084804 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/23562/task/23574/stat : 23574 (java) R 23559 23562 20506 0 -1 4202560 407 0 0 0 7 0 0 0 20 0 15 0 250808394 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748255781088 139749333868776 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23575] ppid=23559 vsize=14084804 memory=20534 CPUtime=0.15 cores=0,2,4,6
/proc/23562/task/23575/stat : 23575 (java) S 23559 23562 20506 0 -1 1077944384 407 0 0 0 15 0 0 0 20 0 15 0 250808394 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748254747504 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23576] ppid=23559 vsize=14084804 memory=279499023748592 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23576/stat : 23576 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748253694944 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23577] ppid=23559 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23577/stat : 23577 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808396 14422839296 21610 33554432000 4194304 4196468 140726557223808 139748252641712 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86440 KiB
[startup+1.31048 s]
# the end of solver process 23562 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.20533 s, system=0.089613 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800899 s]
/proc/loadavg: 1.07 1.29 1.54 3/215 23577
/proc/meminfo: memFree=19117072/32770624 swapFree=67108860/67108860
[pid=23562] ppid=23559 vsize=14086852 memory=92584 CPUtime=1.13 cores=0,2,4,6
/proc/23562/stat : 23562 (java) S 23559 23562 20506 0 -1 1077944320 18006 0 0 0 107 6 0 0 20 0 15 0 250808388 14424936448 23146 33554432000 4194304 4196468 140726557223808 140726557206352 139749348949751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
/proc/23562/statm: 3521713 23146 3504 1 0 3483785 0
[pid=23562/tid=23564] ppid=23559 vsize=14086852 memory=8851400225972064177 CPUtime=0.75 cores=0,2,4,6
/proc/23562/task/23564/stat : 23564 (java) R 23559 23562 20506 0 -1 4202560 15232 0 0 0 70 5 0 0 20 0 15 0 250808388 14424936448 23146 33554432000 4194304 4196468 140726557223808 139749353186320 139749334629914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23565] ppid=23559 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23565/stat : 23565 (java) S 23559 23562 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250808389 14424936448 23146 33554432000 4194304 4196468 140726557223808 139749312056208 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23566] ppid=23559 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23566/stat : 23566 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748943522576 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23567] ppid=23559 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23567/stat : 23567 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748942470288 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23568] ppid=23559 vsize=14086852 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23568/stat : 23568 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748941417488 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23569] ppid=23559 vsize=14086852 memory=6363681283794813024 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23569/stat : 23569 (java) S 23559 23562 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250808391 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748261062768 139749348960898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23570] ppid=23559 vsize=14086852 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23570/stat : 23570 (java) S 23559 23562 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250808391 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748260008736 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23571] ppid=23559 vsize=14086852 memory=7375016464604554582 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23571/stat : 23571 (java) S 23559 23562 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250808391 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748258956400 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23572] ppid=23559 vsize=14086852 memory=5788089055784292432 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23572/stat : 23572 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748257904720 139749348968347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23573] ppid=23559 vsize=14086852 memory=8310089781426884755 CPUtime=0.09 cores=0,2,4,6
/proc/23562/task/23573/stat : 23573 (java) S 23559 23562 20506 0 -1 1077944384 515 0 0 0 9 0 0 0 20 0 15 0 250808394 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748256852592 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23574] ppid=23559 vsize=14086852 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23562/task/23574/stat : 23574 (java) S 23559 23562 20506 0 -1 1077944384 417 0 0 0 8 0 0 0 20 0 15 0 250808394 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748255799792 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23575] ppid=23559 vsize=14086852 memory=345967677 CPUtime=0.18 cores=0,2,4,6
/proc/23562/task/23575/stat : 23575 (java) S 23559 23562 20506 0 -1 1077944384 462 0 0 0 18 0 0 0 20 0 15 0 250808394 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748254747504 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23576] ppid=23559 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23576/stat : 23576 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748253694944 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23577] ppid=23559 vsize=14086852 memory=279499023840864 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23577/stat : 23577 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808396 14424936448 23146 33554432000 4194304 4196468 140726557223808 139748252641712 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 92584 KiB
[startup+1.20069 s]
/proc/loadavg: 1.07 1.29 1.54 4/215 23577
/proc/meminfo: memFree=19071820/32770624 swapFree=67108860/67108860
[pid=23562] ppid=23559 vsize=14088900 memory=124340 CPUtime=2.01 cores=0,2,4,6
/proc/23562/stat : 23562 (java) S 23559 23562 20506 0 -1 1077944320 23006 0 0 0 193 8 0 0 20 0 15 0 250808388 14427033600 31085 33554432000 4194304 4196468 140726557223808 140726557206352 139749348949751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
/proc/23562/statm: 3522225 31085 3543 1 0 3484297 0
[pid=23562/tid=23564] ppid=23559 vsize=14088900 memory=4051330028506710048 CPUtime=1.14 cores=0,2,4,6
/proc/23562/task/23564/stat : 23564 (java) R 23559 23562 20506 0 -1 4202560 17992 0 0 0 109 5 0 0 20 0 15 0 250808388 14427033600 31085 33554432000 4194304 4196468 140726557223808 139749353185976 139748988816935 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23565] ppid=23559 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23565/stat : 23565 (java) S 23559 23562 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250808389 14427033600 31085 33554432000 4194304 4196468 140726557223808 139749312056208 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23566] ppid=23559 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23566/stat : 23566 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748943522576 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23567] ppid=23559 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23567/stat : 23567 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748942470288 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23568] ppid=23559 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23568/stat : 23568 (java) S 23559 23562 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250808389 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748941417488 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23569] ppid=23559 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23569/stat : 23569 (java) S 23559 23562 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250808391 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748261062768 139749348960898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23570] ppid=23559 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23570/stat : 23570 (java) S 23559 23562 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250808391 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748260008736 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23571] ppid=23559 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23571/stat : 23571 (java) S 23559 23562 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250808391 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748258956400 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23572] ppid=23559 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23572/stat : 23572 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748257904720 139749348968347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23573] ppid=23559 vsize=14088900 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/23562/task/23573/stat : 23573 (java) R 23559 23562 20506 0 -1 4202560 952 0 0 0 26 0 0 0 20 0 15 0 250808394 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748256844432 139749348971098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23574] ppid=23559 vsize=14088900 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/23562/task/23574/stat : 23574 (java) R 23559 23562 20506 0 -1 4202560 1201 0 0 0 25 0 0 0 20 0 15 0 250808394 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748255785816 139749348971098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23575] ppid=23559 vsize=14088900 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/23562/task/23575/stat : 23575 (java) S 23559 23562 20506 0 -1 1077944384 1480 0 0 0 31 0 0 0 20 0 15 0 250808394 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748254747504 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23576] ppid=23559 vsize=14088900 memory=739271074867393073 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23576/stat : 23576 (java) S 23559 23562 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250808394 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748253694944 139749348959957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
[pid=23562/tid=23577] ppid=23559 vsize=14088900 memory=-8851153767425282410 CPUtime=0 cores=0,2,4,6
/proc/23562/task/23577/stat : 23577 (java) S 23559 23562 20506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250808396 14427033600 31085 33554432000 4194304 4196468 140726557223808 139748252641712 139749348960898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28585984 140726557226074 140726557226254 140726557226254 140726557229007 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 124340 KiB
[startup+1.30072 s]*
/proc/loadavg: 1.07 1.29 1.54 3/202 23578
/proc/meminfo: memFree=19135004/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1.31052
CPU time (s): 2.29494
CPU user time (s): 2.20533
CPU system time (s): 0.089613
CPU usage (%): 175.117
Max. virtual memory (cumulated for all children) (KiB): 14088932
Max. memory (cumulated for all children) (KiB): 124340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.20533
system time used= 0.089613
maximum resident set size= 129196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23844
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= 1958
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 23562
# total CPU time (s): 2.29494
# total CPU user time (s): 2.20533
# total CPU system time (s): 0.089613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031728 second user time and 0.058119 second system time
The end