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 (15403 MiB free)
memory of node 1: 16384 MiB (14314 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387569-1568285990/watcher-4387569-1568285990 -o /tmp/evaluation-result-4387569-1568285990/solver-4387569-1568285990 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568285939-6430 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -order HOME/glueminisat-simp-2.2.10-193oa-n-release -model:-verb=3:-elim-cl=5000000:-native-oa HOME HOME/instance-4387569-1568285990.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6574, runsolver pid=6571
[startup+0.100058 s]*
/proc/loadavg: 1.88 2.03 2.03 5/229 6591
/proc/meminfo: memFree=30338744/32770624 swapFree=66992636/67108860
[pid=6574] ppid=6571 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6574/stat : 6574 (scop.sh) S 6571 6574 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 404850440 115843072 349 33554432000 4194304 5098028 140730744744144 140730744741400 139876973949564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15523840 140730744746792 140730744747120 140730744747120 140730744750029 0
/proc/6574/statm: 28282 349 296 221 0 87 0
[pid=6577] ppid=6574 vsize=15012696 memory=72864 CPUtime=0.12 cores=0,2,4,6
/proc/6577/stat : 6577 (java) S 6574 6574 5522 0 -1 1077944320 6997 0 0 0 10 2 0 0 20 0 15 0 404850440 15373000704 18216 33554432000 4194304 4196468 140721450877536 140721450860080 140642923605751 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
/proc/6577/statm: 3753174 18216 2928 1 0 3715579 0
[pid=6577/tid=6578] ppid=6574 vsize=15012696 memory=7100839861464433778 CPUtime=0.09 cores=0,2,4,6
/proc/6577/task/6578/stat : 6578 (java) R 6574 6574 5522 0 -1 4202560 4786 0 0 0 8 1 0 0 20 0 15 0 404850440 15373000704 18216 33554432000 4194304 4196468 140721450877536 140642895399560 140642915842878 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6579] ppid=6574 vsize=15012696 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6579/stat : 6579 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 18216 33554432000 4194304 4196468 140721450877536 140642927848464 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6580] ppid=6574 vsize=15012696 memory=139763370751616 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6580/stat : 6580 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 18216 33554432000 4194304 4196468 140721450877536 140642742004880 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6581] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6581/stat : 6581 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 18216 33554432000 4194304 4196468 140721450877536 140642740951824 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6582] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6582/stat : 6582 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 18216 33554432000 4194304 4196468 140721450877536 140642739899280 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6583] ppid=6574 vsize=15012696 memory=139763370751616 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6583/stat : 6583 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850443 15373000704 18216 33554432000 4194304 4196468 140721450877536 140641961277680 140642923616898 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6584] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6584/stat : 6584 (java) S 6574 6574 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850444 15373000704 18216 33554432000 4194304 4196468 140721450877536 140641455563936 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6585] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6585/stat : 6585 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850444 15373000704 18216 33554432000 4194304 4196468 140721450877536 140641187128048 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6586] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6586/stat : 6586 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 18216 33554432000 4194304 4196468 140721450877536 140640812619728 140642923624347 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6587] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6587/stat : 6587 (java) S 6574 6574 5522 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 18216 33554432000 4194304 4196468 140721450877536 140641960225520 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6588] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6588/stat : 6588 (java) S 6574 6574 5522 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 18216 33554432000 4194304 4196468 140721450877536 140641959172976 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6589] ppid=6574 vsize=15012696 memory=139763370751616 CPUtime=0.01 cores=0,2,4,6
/proc/6577/task/6589/stat : 6589 (java) R 6574 6574 5522 0 -1 4202560 461 0 0 0 1 0 0 0 20 0 15 0 404850447 15373000704 18216 33554432000 4194304 4196468 140721450877536 140641958116856 140642923617686 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6590] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6590/stat : 6590 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 18216 33554432000 4194304 4196468 140721450877536 140640314714976 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6591] ppid=6574 vsize=15012696 memory=139763370751616 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6591/stat : 6591 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 18216 33554432000 4194304 4196468 140721450877536 140641957067312 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 74260 KiB
[startup+0.210814 s]*
/proc/loadavg: 1.89 2.03 2.03 3/229 6591
/proc/meminfo: memFree=30279296/32770624 swapFree=66992636/67108860
[pid=6574] ppid=6571 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6574/stat : 6574 (scop.sh) S 6571 6574 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 404850440 115843072 349 33554432000 4194304 5098028 140730744744144 140730744741400 139876973949564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15523840 140730744746792 140730744747120 140730744747120 140730744750029 0
/proc/6574/statm: 28282 349 296 221 0 87 0
[pid=6577] ppid=6574 vsize=15012696 memory=88192 CPUtime=0.25 cores=0,2,4,6
/proc/6577/stat : 6577 (java) S 6574 6574 5522 0 -1 1077944320 12100 0 0 0 22 3 0 0 20 0 15 0 404850440 15373000704 22048 33554432000 4194304 4196468 140721450877536 140721450860080 140642923605751 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
/proc/6577/statm: 3753174 22048 2943 1 0 3715579 0
[pid=6577/tid=6578] ppid=6574 vsize=15012696 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6577/task/6578/stat : 6578 (java) R 6574 6574 5522 0 -1 4202560 9846 0 0 0 18 2 0 0 20 0 15 0 404850440 15373000704 22048 33554432000 4194304 4196468 140721450877536 140642895427104 140642907686238 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6579] ppid=6574 vsize=15012696 memory=2809255 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6579/stat : 6579 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 22048 33554432000 4194304 4196468 140721450877536 140642927848464 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6580] ppid=6574 vsize=15012696 memory=2820719 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6580/stat : 6580 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 22048 33554432000 4194304 4196468 140721450877536 140642742004880 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6581] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6581/stat : 6581 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 22048 33554432000 4194304 4196468 140721450877536 140642740951824 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6582] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6582/stat : 6582 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 22048 33554432000 4194304 4196468 140721450877536 140642739899280 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6583] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6583/stat : 6583 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850443 15373000704 22048 33554432000 4194304 4196468 140721450877536 140641961277680 140642923616898 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6584] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6584/stat : 6584 (java) S 6574 6574 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850444 15373000704 22048 33554432000 4194304 4196468 140721450877536 140641455563936 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6585] ppid=6574 vsize=15012696 memory=139763370751616 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6585/stat : 6585 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850444 15373000704 22048 33554432000 4194304 4196468 140721450877536 140641187128048 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6586] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6586/stat : 6586 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 22048 33554432000 4194304 4196468 140721450877536 140640812619728 140642923624347 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6587] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6587/stat : 6587 (java) S 6574 6574 5522 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 22048 33554432000 4194304 4196468 140721450877536 140641960225520 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6588] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6588/stat : 6588 (java) S 6574 6574 5522 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 22048 33554432000 4194304 4196468 140721450877536 140641959172976 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6589] ppid=6574 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6577/task/6589/stat : 6589 (java) S 6574 6574 5522 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 15 0 404850447 15373000704 22048 33554432000 4194304 4196468 140721450877536 140641958119920 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6590] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6590/stat : 6590 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 22048 33554432000 4194304 4196468 140721450877536 140640314714976 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6591] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6591/stat : 6591 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 22048 33554432000 4194304 4196468 140721450877536 140641957067312 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 89588 KiB
[startup+0.310626 s]*
/proc/loadavg: 1.89 2.03 2.03 5/229 6591
/proc/meminfo: memFree=30240020/32770624 swapFree=66992636/67108860
[pid=6574] ppid=6571 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6574/stat : 6574 (scop.sh) S 6571 6574 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 404850440 115843072 349 33554432000 4194304 5098028 140730744744144 140730744741400 139876973949564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15523840 140730744746792 140730744747120 140730744747120 140730744750029 0
/proc/6574/statm: 28282 349 296 221 0 87 0
[pid=6577] ppid=6574 vsize=15012696 memory=91900 CPUtime=0.43 cores=0,2,4,6
/proc/6577/stat : 6577 (java) S 6574 6574 5522 0 -1 1077944320 12546 0 0 0 40 3 0 0 20 0 15 0 404850440 15373000704 22975 33554432000 4194304 4196468 140721450877536 140721450860080 140642923605751 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
/proc/6577/statm: 3753174 22975 3032 1 0 3715579 0
[pid=6577/tid=6578] ppid=6574 vsize=15012696 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/6577/task/6578/stat : 6578 (java) R 6574 6574 5522 0 -1 4202560 10102 0 0 0 27 3 0 0 20 0 15 0 404850440 15373000704 22975 33554432000 4194304 4196468 140721450877536 140642895396400 140642908771244 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6579] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6579/stat : 6579 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 22975 33554432000 4194304 4196468 140721450877536 140642927848464 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6580] ppid=6574 vsize=15012696 memory=13571500564055668 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6580/stat : 6580 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 22975 33554432000 4194304 4196468 140721450877536 140642742004880 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6581] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6581/stat : 6581 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 22975 33554432000 4194304 4196468 140721450877536 140642740951824 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6582] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6582/stat : 6582 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850442 15373000704 22975 33554432000 4194304 4196468 140721450877536 140642739899280 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6583] ppid=6574 vsize=15012696 memory=139763370751616 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6583/stat : 6583 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850443 15373000704 22975 33554432000 4194304 4196468 140721450877536 140641961277680 140642923616898 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6584] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6584/stat : 6584 (java) S 6574 6574 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850444 15373000704 22975 33554432000 4194304 4196468 140721450877536 140641455563936 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6585] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6585/stat : 6585 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850444 15373000704 22975 33554432000 4194304 4196468 140721450877536 140641187128048 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6586] ppid=6574 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6586/stat : 6586 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 22975 33554432000 4194304 4196468 140721450877536 140640812619728 140642923624347 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6587] ppid=6574 vsize=15012696 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6577/task/6587/stat : 6587 (java) S 6574 6574 5522 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 15 0 404850447 15373000704 22975 33554432000 4194304 4196468 140721450877536 140641960225520 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6588] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6588/stat : 6588 (java) S 6574 6574 5522 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 22975 33554432000 4194304 4196468 140721450877536 140641959172976 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6589] ppid=6574 vsize=15012696 memory=139763370751616 CPUtime=0.07 cores=0,2,4,6
/proc/6577/task/6589/stat : 6589 (java) S 6574 6574 5522 0 -1 1077944384 513 0 0 0 7 0 0 0 20 0 15 0 404850447 15373000704 22975 33554432000 4194304 4196468 140721450877536 140641958119920 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6590] ppid=6574 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6590/stat : 6590 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 22975 33554432000 4194304 4196468 140721450877536 140640314714976 140642923615957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6591] ppid=6574 vsize=15012696 memory=139763370751616 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6591/stat : 6591 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850447 15373000704 22975 33554432000 4194304 4196468 140721450877536 140641957067312 140642923616898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 93296 KiB
[startup+0.700809 s]
/proc/loadavg: 1.89 2.03 2.03 3/229 6591
/proc/meminfo: memFree=30147336/32770624 swapFree=66992636/67108860
[pid=6574] ppid=6571 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6574/stat : 6574 (scop.sh) S 6571 6574 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 404850440 115843072 349 33554432000 4194304 5098028 140730744744144 140730744741400 139876973949564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15523840 140730744746792 140730744747120 140730744747120 140730744750029 0
/proc/6574/statm: 28282 349 296 221 0 87 0
[pid=6577] ppid=6574 vsize=15021016 memory=130064 CPUtime=1.01 cores=0,2,4,6
/proc/6577/stat : 6577 (java) S 6574 6574 5522 0 -1 1077944320 20298 0 0 0 95 6 0 0 20 0 15 0 404850440 15381520384 32516 33554432000 4194304 4196468 140721450877536 140721450860080 140642923605751 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
/proc/6577/statm: 3755254 32516 3181 1 0 3716603 0
[pid=6577/tid=6578] ppid=6574 vsize=15021016 memory=2124 CPUtime=0.68 cores=0,2,4,6
/proc/6577/task/6578/stat : 6578 (java) R 6574 6574 5522 0 -1 4202560 17262 0 0 0 63 5 0 0 20 0 15 0 404850440 15381520384 32516 33554432000 4194304 4196468 140721450877536 140642895441728 140642923627677 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6579] ppid=6574 vsize=15021016 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6579/stat : 6579 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850442 15381520384 32516 33554432000 4194304 4196468 140721450877536 140642927848464 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6580] ppid=6574 vsize=15021016 memory=496 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6580/stat : 6580 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15381520384 32516 33554432000 4194304 4196468 140721450877536 140642742004880 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6581] ppid=6574 vsize=15021016 memory=928 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6581/stat : 6581 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15381520384 32516 33554432000 4194304 4196468 140721450877536 140642740951824 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6582] ppid=6574 vsize=15021016 memory=1604 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6582/stat : 6582 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850442 15381520384 32516 33554432000 4194304 4196468 140721450877536 140642739899280 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6583] ppid=6574 vsize=15021016 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6583/stat : 6583 (java) S 6574 6574 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404850443 15381520384 32516 33554432000 4194304 4196468 140721450877536 140641961277680 140642923616898 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6584] ppid=6574 vsize=15021016 memory=2356 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6584/stat : 6584 (java) S 6574 6574 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850444 15381520384 32516 33554432000 4194304 4196468 140721450877536 140641455563936 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6585] ppid=6574 vsize=15021016 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6585/stat : 6585 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850444 15381520384 32516 33554432000 4194304 4196468 140721450877536 140641187128048 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6586] ppid=6574 vsize=15021016 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6586/stat : 6586 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15381520384 32516 33554432000 4194304 4196468 140721450877536 140640812619728 140642923624347 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6587] ppid=6574 vsize=15021016 memory=8025788814061032556 CPUtime=0.08 cores=0,2,4,6
/proc/6577/task/6587/stat : 6587 (java) S 6574 6574 5522 0 -1 1077944384 629 0 0 0 8 0 0 0 20 0 15 0 404850447 15381520384 32516 33554432000 4194304 4196468 140721450877536 140641960225520 140642923616898 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6588] ppid=6574 vsize=15021016 memory=4638778402627731557 CPUtime=0.06 cores=0,2,4,6
/proc/6577/task/6588/stat : 6588 (java) R 6574 6574 5522 0 -1 4202560 393 0 0 0 6 0 0 0 20 0 15 0 404850447 15381520384 32516 33554432000 4194304 4196468 140721450877536 140641959160528 140642903298792 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6589] ppid=6574 vsize=15021016 memory=8514726395714826909 CPUtime=0.16 cores=0,2,4,6
/proc/6577/task/6589/stat : 6589 (java) S 6574 6574 5522 0 -1 1077944384 676 0 0 0 16 0 0 0 20 0 15 0 404850447 15381520384 32516 33554432000 4194304 4196468 140721450877536 140641958119920 140642923616898 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6590] ppid=6574 vsize=15021016 memory=7521407684649314384 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6590/stat : 6590 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15381520384 32516 33554432000 4194304 4196468 140721450877536 140640314714976 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6591] ppid=6574 vsize=15021016 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6591/stat : 6591 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850447 15381520384 32516 33554432000 4194304 4196468 140721450877536 140641957067312 140642923616898 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15134144 KiB
Current children cumulated memory: 131460 KiB
[startup+1.21248 s]
# the end of solver process 6574 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.00429 s, system=0.083785 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801256 s]
/proc/loadavg: 1.89 2.03 2.03 3/229 6591
/proc/meminfo: memFree=30147336/32770624 swapFree=66992636/67108860
[pid=6574] ppid=6571 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6574/stat : 6574 (scop.sh) S 6571 6574 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 404850440 115843072 349 33554432000 4194304 5098028 140730744744144 140730744741400 139876973949564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15523840 140730744746792 140730744747120 140730744747120 140730744750029 0
/proc/6574/statm: 28282 349 296 221 0 87 0
[pid=6577] ppid=6574 vsize=15021092 memory=134448 CPUtime=1.27 cores=0,2,4,6
/proc/6577/stat : 6577 (java) S 6574 6574 5522 0 -1 1077944320 20931 0 0 0 121 6 0 0 20 0 15 0 404850440 15381598208 33612 33554432000 4194304 4196468 140721450877536 140721450860080 140642923605751 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
/proc/6577/statm: 3755273 33612 3227 1 0 3716603 0
[pid=6577/tid=6578] ppid=6574 vsize=15021092 memory=8556 CPUtime=0.78 cores=0,2,4,6
/proc/6577/task/6578/stat : 6578 (java) R 6574 6574 5522 0 -1 4202560 17607 0 0 0 73 5 0 0 20 0 15 0 404850440 15381598208 33612 33554432000 4194304 4196468 140721450877536 140642895441472 140642414952892 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6579] ppid=6574 vsize=15021092 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6579/stat : 6579 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850442 15381598208 33612 33554432000 4194304 4196468 140721450877536 140642927848464 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6580] ppid=6574 vsize=15021092 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6580/stat : 6580 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15381598208 33612 33554432000 4194304 4196468 140721450877536 140642742004880 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6581] ppid=6574 vsize=15021092 memory=3440 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6581/stat : 6581 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15381598208 33612 33554432000 4194304 4196468 140721450877536 140642740951824 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6582] ppid=6574 vsize=15021092 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6582/stat : 6582 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850442 15381598208 33612 33554432000 4194304 4196468 140721450877536 140642739899280 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6583] ppid=6574 vsize=15021092 memory=5896 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6583/stat : 6583 (java) S 6574 6574 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404850443 15381598208 33612 33554432000 4194304 4196468 140721450877536 140641961277680 140642923616898 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6584] ppid=6574 vsize=15021092 memory=664 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6584/stat : 6584 (java) S 6574 6574 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850444 15381598208 33612 33554432000 4194304 4196468 140721450877536 140641455563936 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6585] ppid=6574 vsize=15021092 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6585/stat : 6585 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850444 15381598208 33612 33554432000 4194304 4196468 140721450877536 140641187128048 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6586] ppid=6574 vsize=15021092 memory=4639098309541126757 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6586/stat : 6586 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15381598208 33612 33554432000 4194304 4196468 140721450877536 140640812619728 140642923624347 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6587] ppid=6574 vsize=15021092 memory=6081102367496956009 CPUtime=0.11 cores=0,2,4,6
/proc/6577/task/6587/stat : 6587 (java) R 6574 6574 5522 0 -1 4202560 660 0 0 0 11 0 0 0 20 0 15 0 404850447 15381598208 33612 33554432000 4194304 4196468 140721450877536 140641960216848 140642909663347 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6588] ppid=6574 vsize=15021092 memory=7881696724453321575 CPUtime=0.11 cores=0,2,4,6
/proc/6577/task/6588/stat : 6588 (java) R 6574 6574 5522 0 -1 4202560 462 0 0 0 11 0 0 0 20 0 15 0 404850447 15381598208 33612 33554432000 4194304 4196468 140721450877536 140641959158856 140642905149083 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6589] ppid=6574 vsize=15021092 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/6577/task/6589/stat : 6589 (java) R 6574 6574 5522 0 -1 4202560 864 0 0 0 24 0 0 0 20 0 15 0 404850447 15381598208 33612 33554432000 4194304 4196468 140721450877536 140641958119920 140642902564008 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6590] ppid=6574 vsize=15021092 memory=279526538170464 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6590/stat : 6590 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15381598208 33612 33554432000 4194304 4196468 140721450877536 140640314714976 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6591] ppid=6574 vsize=15021092 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6591/stat : 6591 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850447 15381598208 33612 33554432000 4194304 4196468 140721450877536 140641957067312 140642923616898 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 15134220 KiB
Current children cumulated memory: 135844 KiB
[startup+1.20074 s]
/proc/loadavg: 1.89 2.03 2.03 3/229 6591
/proc/meminfo: memFree=29943488/32770624 swapFree=66992636/67108860
[pid=6574] ppid=6571 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/6574/stat : 6574 (scop.sh) S 6571 6574 5522 0 -1 4202496 556 322 0 0 0 0 0 0 20 0 1 0 404850440 115843072 349 33554432000 4194304 5098028 140730744744144 140730744741400 139876973949564 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15523840 140730744746792 140730744747120 140730744747120 140730744750029 0
/proc/6574/statm: 28282 349 296 221 0 87 0
[pid=6577] ppid=6574 vsize=15023140 memory=154644 CPUtime=2.05 cores=0,2,4,6
/proc/6577/stat : 6577 (java) S 6574 6574 5522 0 -1 1077944320 22902 0 0 0 198 7 0 0 20 0 15 0 404850440 15383695360 38661 33554432000 4194304 4196468 140721450877536 140721450860080 140642923605751 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
/proc/6577/statm: 3755785 38661 3236 1 0 3717115 0
[pid=6577/tid=6578] ppid=6574 vsize=15023140 memory=928 CPUtime=1.17 cores=0,2,4,6
/proc/6577/task/6578/stat : 6578 (java) R 6574 6574 5522 0 -1 4202560 18652 0 0 0 112 5 0 0 20 0 15 0 404850440 15383695360 38661 33554432000 4194304 4196468 140721450877536 140642895438000 140642412190835 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6579] ppid=6574 vsize=15023140 memory=1604 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6579/stat : 6579 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850442 15383695360 38661 33554432000 4194304 4196468 140721450877536 140642927848464 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6580] ppid=6574 vsize=15023140 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6580/stat : 6580 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15383695360 38661 33554432000 4194304 4196468 140721450877536 140642742004880 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6581] ppid=6574 vsize=15023140 memory=2356 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6581/stat : 6581 (java) S 6574 6574 5522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 404850442 15383695360 38661 33554432000 4194304 4196468 140721450877536 140642740951824 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6582] ppid=6574 vsize=15023140 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6582/stat : 6582 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850442 15383695360 38661 33554432000 4194304 4196468 140721450877536 140642739899280 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6583] ppid=6574 vsize=15023140 memory=279526538828384 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6583/stat : 6583 (java) S 6574 6574 5522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 404850443 15383695360 38661 33554432000 4194304 4196468 140721450877536 140641961277680 140642923616898 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6584] ppid=6574 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6584/stat : 6584 (java) S 6574 6574 5522 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 404850444 15383695360 38661 33554432000 4194304 4196468 140721450877536 140641455563936 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6585] ppid=6574 vsize=15023140 memory=139763269539760 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6585/stat : 6585 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850444 15383695360 38661 33554432000 4194304 4196468 140721450877536 140641187128048 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6586] ppid=6574 vsize=15023140 memory=808 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6586/stat : 6586 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15383695360 38661 33554432000 4194304 4196468 140721450877536 140640812619728 140642923624347 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6587] ppid=6574 vsize=15023140 memory=1804 CPUtime=0.22 cores=0,2,4,6
/proc/6577/task/6587/stat : 6587 (java) S 6574 6574 5522 0 -1 1077944384 984 0 0 0 22 0 0 0 20 0 15 0 404850447 15383695360 38661 33554432000 4194304 4196468 140721450877536 140641960225520 140642923616898 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6588] ppid=6574 vsize=15023140 memory=916 CPUtime=0.18 cores=0,2,4,6
/proc/6577/task/6588/stat : 6588 (java) S 6574 6574 5522 0 -1 1077944384 521 0 0 0 18 0 0 0 20 0 15 0 404850447 15383695360 38661 33554432000 4194304 4196468 140721450877536 140641959172976 140642923616898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6589] ppid=6574 vsize=15023140 memory=1396 CPUtime=0.45 cores=0,2,4,6
/proc/6577/task/6589/stat : 6589 (java) R 6574 6574 5522 0 -1 4202560 1407 0 0 0 45 0 0 0 20 0 15 0 404850447 15383695360 38661 33554432000 4194304 4196468 140721450877536 140641958119920 140642902524644 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6590] ppid=6574 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6590/stat : 6590 (java) S 6574 6574 5522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 404850447 15383695360 38661 33554432000 4194304 4196468 140721450877536 140640314714976 140642923615957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
[pid=6577/tid=6591] ppid=6574 vsize=15023140 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6577/task/6591/stat : 6591 (java) S 6574 6574 5522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 404850447 15383695360 38661 33554432000 4194304 4196468 140721450877536 140641957067312 140642923616898 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23097344 140721450881775 140721450882202 140721450882202 140721450885071 0
Current children cumulated CPU time: 2.05 s
Current children cumulated vsize: 15136268 KiB
Current children cumulated memory: 156040 KiB
Child status: 0
Real time (s): 1.21251
CPU time (s): 2.08807
CPU user time (s): 2.00429
CPU system time (s): 0.083785
CPU usage (%): 172.211
Max. virtual memory (cumulated for all children) (KiB): 15136268
Max. memory (cumulated for all children) (KiB): 156040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.00429
system time used= 0.083785
maximum resident set size= 155188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23834
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= 2397
involuntary context switches= 7
# summary of solver processes directly reported to runsolver:
# pid: 6574
# total CPU time (s): 2.08807
# total CPU user time (s): 2.00429
# total CPU system time (s): 0.083785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037895 second user time and 0.05121 second system time
The end