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 (12786 MiB free)
memory of node 1: 16384 MiB (10442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308562-1534278077/watcher-4308562-1534278077 -o /tmp/evaluation-result-4308562-1534278077/solver-4308562-1534278077 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20078 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 742607820 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308562-1534278077.xml
running on 4 cores: 1,3,5,7
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
solver pid=20797, runsolver pid=20794
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 1.08 1.33 1.44 3/215 20812
/proc/meminfo: memFree=23766568/32770624 swapFree=67108796/67108860
[pid=20797] ppid=20794 vsize=14082736 memory=34164 CPUtime=0.11 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20794 20797 18471 0 -1 1077944320 6965 0 0 0 10 1 0 0 20 0 15 0 245370907 14420721664 8541 33554432000 4194304 4196468 140728973189408 140728973171952 140381029793527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
/proc/20797/statm: 3520684 8541 3139 1 0 3482761 0
[pid=20797/tid=20799] ppid=20794 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/20797/task/20799/stat : 20799 (java) R 20794 20797 18471 0 -1 4202560 5048 0 0 0 8 1 0 0 20 0 15 0 245370907 14420721664 8541 33554432000 4194304 4196468 140728973189408 140381033987616 140381013874014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20800] ppid=20794 vsize=14082736 memory=5793855966290565561 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380944861712 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20801] ppid=20794 vsize=14082736 memory=140715280672384 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380943809168 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20802] ppid=20794 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380942756112 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20803] ppid=20794 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20794 20797 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380941703568 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20804] ppid=20794 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20794 20797 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245370910 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380009634544 140381029804674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20805] ppid=20794 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20794 20797 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245370910 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380008580768 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20806] ppid=20794 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20794 20797 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245370910 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380007527664 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20807] ppid=20794 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370912 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380006476240 140381029812123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20808] ppid=20794 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) S 20794 20797 18471 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 245370913 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380005423344 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20809] ppid=20794 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20809/stat : 20809 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380004370800 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20810] ppid=20794 vsize=14082736 memory=140715280672384 CPUtime=0.01 cores=1,3,5,7
/proc/20797/task/20810/stat : 20810 (java) R 20794 20797 18471 0 -1 4202560 239 0 0 0 1 0 0 0 20 0 15 0 245370913 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380003317744 140381022030654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20811] ppid=20794 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20811/stat : 20811 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380002265440 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20812] ppid=20794 vsize=14082736 memory=140715280672384 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20812/stat : 20812 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370913 14420721664 8541 33554432000 4194304 4196468 140728973189408 140380001213488 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34164 KiB
[startup+0.213167 s]*
/proc/loadavg: 1.08 1.33 1.44 5/215 20812
/proc/meminfo: memFree=23751808/32770624 swapFree=67108796/67108860
[pid=20797] ppid=20794 vsize=14082736 memory=47816 CPUtime=0.31 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20794 20797 18471 0 -1 1077944320 10011 0 0 0 29 2 0 0 20 0 15 0 245370907 14420721664 11954 33554432000 4194304 4196468 140728973189408 140728973171952 140381029793527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
/proc/20797/statm: 3520684 11954 3413 1 0 3482761 0
[pid=20797/tid=20799] ppid=20794 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/20797/task/20799/stat : 20799 (java) R 20794 20797 18471 0 -1 4202560 7746 0 0 0 18 1 0 0 20 0 15 0 245370907 14420721664 11954 33554432000 4194304 4196468 140728973189408 140381034018976 140381029815453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20800] ppid=20794 vsize=14082736 memory=4211974441485462922 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380944861712 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20801] ppid=20794 vsize=14082736 memory=140715280672384 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380943809168 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20802] ppid=20794 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380942756112 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20803] ppid=20794 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20794 20797 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380941703568 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20804] ppid=20794 vsize=14082736 memory=140715280672384 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20794 20797 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245370910 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380009634544 140381029804674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20805] ppid=20794 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20794 20797 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245370910 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380008580768 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20806] ppid=20794 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20794 20797 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245370910 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380007527664 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20807] ppid=20794 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370912 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380006476240 140381029812123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20808] ppid=20794 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) R 20794 20797 18471 0 -1 1077944384 344 0 0 0 2 0 0 0 20 0 15 0 245370913 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380005423344 140381029804674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20809] ppid=20794 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20797/task/20809/stat : 20809 (java) R 20794 20797 18471 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 245370913 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380004370800 140381029804674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20810] ppid=20794 vsize=14082736 memory=140715280672384 CPUtime=0.06 cores=1,3,5,7
/proc/20797/task/20810/stat : 20810 (java) S 20794 20797 18471 0 -1 1077944384 272 0 0 0 6 0 0 0 20 0 15 0 245370913 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380003317744 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20811] ppid=20794 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20811/stat : 20811 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380002265440 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20812] ppid=20794 vsize=14082736 memory=140715280672384 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20812/stat : 20812 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370913 14420721664 11954 33554432000 4194304 4196468 140728973189408 140380001213488 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47816 KiB
[startup+0.310375 s]*
/proc/loadavg: 1.08 1.33 1.44 3/215 20812
/proc/meminfo: memFree=23748024/32770624 swapFree=67108796/67108860
[pid=20797] ppid=20794 vsize=14082736 memory=51300 CPUtime=0.43 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20794 20797 18471 0 -1 1077944320 10364 0 0 0 41 2 0 0 20 0 15 0 245370907 14420721664 12825 33554432000 4194304 4196468 140728973189408 140728973171952 140381029793527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
/proc/20797/statm: 3520684 12825 3416 1 0 3482761 0
[pid=20797/tid=20799] ppid=20794 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/20797/task/20799/stat : 20799 (java) R 20794 20797 18471 0 -1 4202560 8089 0 0 0 28 1 0 0 20 0 15 0 245370907 14420721664 12825 33554432000 4194304 4196468 140728973189408 140381034014624 140381011357083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20800] ppid=20794 vsize=14082736 memory=4211974441485462922 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380944861712 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20801] ppid=20794 vsize=14082736 memory=140715280674748 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380943809168 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20802] ppid=20794 vsize=14082736 memory=140715141231159 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380942756112 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20803] ppid=20794 vsize=14082736 memory=140715141221839 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20794 20797 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245370908 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380941703568 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20804] ppid=20794 vsize=14082736 memory=140715280690882 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20794 20797 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245370910 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380009634544 140381029804674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20805] ppid=20794 vsize=14082736 memory=140715141231023 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20794 20797 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245370910 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380008580768 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20806] ppid=20794 vsize=14082736 memory=281430282452880 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20794 20797 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245370910 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380007527664 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20807] ppid=20794 vsize=14082736 memory=281430282450576 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370912 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380006476240 140381029812123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20808] ppid=20794 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) S 20794 20797 18471 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 245370913 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380005423344 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20809] ppid=20794 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20797/task/20809/stat : 20809 (java) S 20794 20797 18471 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 245370913 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380004370800 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20810] ppid=20794 vsize=14082736 memory=140715280672384 CPUtime=0.08 cores=1,3,5,7
/proc/20797/task/20810/stat : 20810 (java) S 20794 20797 18471 0 -1 1077944384 277 0 0 0 8 0 0 0 20 0 15 0 245370913 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380003317744 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20811] ppid=20794 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20811/stat : 20811 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380002265440 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20812] ppid=20794 vsize=14082736 memory=140715280672384 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20812/stat : 20812 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370913 14420721664 12825 33554432000 4194304 4196468 140728973189408 140380001213488 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51300 KiB
[startup+0.700722 s]
/proc/loadavg: 1.08 1.33 1.44 3/215 20812
/proc/meminfo: memFree=23724012/32770624 swapFree=67108796/67108860
[pid=20797] ppid=20794 vsize=14084804 memory=88880 CPUtime=0.99 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20794 20797 18471 0 -1 1077944320 17096 0 0 0 95 4 0 0 20 0 15 0 245370907 14422839296 22220 33554432000 4194304 4196468 140728973189408 140728973171952 140381029793527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
/proc/20797/statm: 3521201 22220 3496 1 0 3483273 0
[pid=20797/tid=20799] ppid=20794 vsize=14084804 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/20797/task/20799/stat : 20799 (java) R 20794 20797 18471 0 -1 4202560 14426 0 0 0 64 3 0 0 20 0 15 0 245370907 14422839296 22220 33554432000 4194304 4196468 140728973189408 140381034022224 140381013874014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20800] ppid=20794 vsize=14084804 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380944861712 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20801] ppid=20794 vsize=14084804 memory=3780 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380943809168 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20802] ppid=20794 vsize=14084804 memory=7236533984234661184 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380942756112 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20803] ppid=20794 vsize=14084804 memory=8099279071866868837 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20794 20797 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245370908 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380941703568 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20804] ppid=20794 vsize=14084804 memory=4641330296368681040 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20794 20797 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245370910 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380009634544 140381029804674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20805] ppid=20794 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20794 20797 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245370910 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380008580768 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20806] ppid=20794 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20794 20797 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245370910 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380007527664 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20807] ppid=20794 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370912 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380006476240 140381029812123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20808] ppid=20794 vsize=14084804 memory=571 CPUtime=0.08 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) R 20794 20797 18471 0 -1 1077944384 520 0 0 0 8 0 0 0 20 0 15 0 245370913 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380005423344 140381029804674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20809] ppid=20794 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/20797/task/20809/stat : 20809 (java) S 20794 20797 18471 0 -1 1077944384 419 0 0 0 7 0 0 0 20 0 15 0 245370913 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380004370800 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20810] ppid=20794 vsize=14084804 memory=701 CPUtime=0.15 cores=1,3,5,7
/proc/20797/task/20810/stat : 20810 (java) S 20794 20797 18471 0 -1 1077944384 349 0 0 0 15 0 0 0 20 0 15 0 245370913 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380003317744 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20811] ppid=20794 vsize=14084804 memory=281430282636784 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20811/stat : 20811 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380002265440 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20812] ppid=20794 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20812/stat : 20812 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370913 14422839296 22220 33554432000 4194304 4196468 140728973189408 140380001213488 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88880 KiB
[startup+1.50113 s]
/proc/loadavg: 1.08 1.33 1.44 4/215 20812
/proc/meminfo: memFree=23683532/32770624 swapFree=67108796/67108860
[pid=20797] ppid=20794 vsize=14090948 memory=161648 CPUtime=3.21 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20794 20797 18471 0 -1 1077944320 23803 0 0 0 312 9 0 0 20 0 15 0 245370907 14429130752 40412 33554432000 4194304 4196468 140728973189408 140728973171952 140381029793527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
/proc/20797/statm: 3522737 40412 3547 1 0 3484809 0
[pid=20797/tid=20799] ppid=20794 vsize=14090948 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/20797/task/20799/stat : 20799 (java) R 20794 20797 18471 0 -1 4202560 17736 0 0 0 140 6 0 0 20 0 15 0 245370907 14429130752 40412 33554432000 4194304 4196468 140728973189408 140381034030016 140380626330579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20800] ppid=20794 vsize=14090948 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380944861712 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20801] ppid=20794 vsize=14090948 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380943809168 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20802] ppid=20794 vsize=14090948 memory=4948217522092284800 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380942756112 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20803] ppid=20794 vsize=14090948 memory=-3472574513799858003 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20794 20797 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380941703568 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20804] ppid=20794 vsize=14090948 memory=-6305710611591816320 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20794 20797 18471 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 245370910 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380009634544 140381029804674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20805] ppid=20794 vsize=14090948 memory=9049869770490478765 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20794 20797 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245370910 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380008580768 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20806] ppid=20794 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20794 20797 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245370910 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380007527664 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20807] ppid=20794 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370912 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380006476240 140381029812123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20808] ppid=20794 vsize=14090948 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) R 20794 20797 18471 0 -1 4202560 1780 0 0 0 54 1 0 0 20 0 15 0 245370913 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380005403744 140381014956288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20809] ppid=20794 vsize=14090948 memory=4580 CPUtime=0.57 cores=1,3,5,7
/proc/20797/task/20809/stat : 20809 (java) R 20794 20797 18471 0 -1 4202560 1267 0 0 0 57 0 0 0 20 0 15 0 245370913 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380004361632 140381014182384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20810] ppid=20794 vsize=14090948 memory=-6876588461455810464 CPUtime=0.59 cores=1,3,5,7
/proc/20797/task/20810/stat : 20810 (java) R 20794 20797 18471 0 -1 4202560 1623 0 0 0 58 1 0 0 20 0 15 0 245370913 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380003317744 140381009196701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20811] ppid=20794 vsize=14090948 memory=7666384899138478906 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20811/stat : 20811 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380002265440 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20812] ppid=20794 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20812/stat : 20812 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14429130752 40412 33554432000 4194304 4196468 140728973189408 140380001213488 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 161648 KiB
[startup+1.91557 s]
# the end of solver process 20797 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.33602 s, system=0.107714 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60113 s]
/proc/loadavg: 1.08 1.33 1.44 4/215 20812
/proc/meminfo: memFree=23683532/32770624 swapFree=67108796/67108860
[pid=20797] ppid=20794 vsize=14090948 memory=168520 CPUtime=3.54 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20794 20797 18471 0 -1 1077944320 24839 0 0 0 345 9 0 0 20 0 15 0 245370907 14429130752 42130 33554432000 4194304 4196468 140728973189408 140728973171952 140381029793527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
/proc/20797/statm: 3522737 42130 3547 1 0 3484809 0
[pid=20797/tid=20799] ppid=20794 vsize=14090948 memory=7957689449132282197 CPUtime=1.56 cores=1,3,5,7
/proc/20797/task/20799/stat : 20799 (java) R 20794 20797 18471 0 -1 4202560 17738 0 0 0 150 6 0 0 20 0 15 0 245370907 14429130752 42130 33554432000 4194304 4196468 140728973189408 140381034029248 140380626363719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20800] ppid=20794 vsize=14090948 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380944861712 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20801] ppid=20794 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380943809168 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20802] ppid=20794 vsize=14090948 memory=230067640924787 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380942756112 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20803] ppid=20794 vsize=14090948 memory=4194034551754063904 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20794 20797 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380941703568 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20804] ppid=20794 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20794 20797 18471 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 245370910 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380009634544 140381029804674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20805] ppid=20794 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20794 20797 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245370910 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380008580768 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20806] ppid=20794 vsize=14090948 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20794 20797 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245370910 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380007527664 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20807] ppid=20794 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370912 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380006476240 140381029812123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20808] ppid=20794 vsize=14090948 memory=-6079119013371994981 CPUtime=0.65 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) R 20794 20797 18471 0 -1 4202560 1872 0 0 0 64 1 0 0 20 0 15 0 245370913 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380005414800 140381013292661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20809] ppid=20794 vsize=14090948 memory=6944656575208382560 CPUtime=0.67 cores=1,3,5,7
/proc/20797/task/20809/stat : 20809 (java) R 20794 20797 18471 0 -1 4202560 2152 0 0 0 67 0 0 0 20 0 15 0 245370913 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380004356960 140381011337395 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20810] ppid=20794 vsize=14090948 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/20797/task/20810/stat : 20810 (java) S 20794 20797 18471 0 -1 1077944384 1680 0 0 0 61 1 0 0 20 0 15 0 245370913 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380003317744 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20811] ppid=20794 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20811/stat : 20811 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380002265440 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20812] ppid=20794 vsize=14090948 memory=281430282207472 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20812/stat : 20812 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14429130752 42130 33554432000 4194304 4196468 140728973189408 140380001213488 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 168520 KiB
[startup+1.80121 s]
/proc/loadavg: 1.08 1.33 1.44 4/215 20812
/proc/meminfo: memFree=23683532/32770624 swapFree=67108796/67108860
[pid=20797] ppid=20794 vsize=14090948 memory=177132 CPUtime=4.14 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20794 20797 18471 0 -1 1077944320 26050 0 0 0 405 9 0 0 20 0 15 0 245370907 14429130752 44283 33554432000 4194304 4196468 140728973189408 140728973171952 140381029793527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
/proc/20797/statm: 3522737 44283 3548 1 0 3484809 0
[pid=20797/tid=20799] ppid=20794 vsize=14090948 memory=-3472574513799858009 CPUtime=1.76 cores=1,3,5,7
/proc/20797/task/20799/stat : 20799 (java) R 20794 20797 18471 0 -1 4202560 17742 0 0 0 170 6 0 0 20 0 15 0 245370907 14429130752 44283 33554432000 4194304 4196468 140728973189408 140381034028696 140380626403264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20800] ppid=20794 vsize=14090948 memory=4948217522092284800 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380944861712 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20801] ppid=20794 vsize=14090948 memory=-3472574513799858003 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380943809168 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20802] ppid=20794 vsize=14090948 memory=-6305710611591816320 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380942756112 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20803] ppid=20794 vsize=14090948 memory=9049869770490478765 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20794 20797 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245370908 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380941703568 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20804] ppid=20794 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20794 20797 18471 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 245370910 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380009634544 140381029804674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20805] ppid=20794 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20794 20797 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245370910 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380008580768 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20806] ppid=20794 vsize=14090948 memory=7590648123635033920 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20794 20797 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245370910 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380007527664 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20807] ppid=20794 vsize=14090948 memory=8099561564667007843 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370912 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380006476240 140381029812123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20808] ppid=20794 vsize=14090948 memory=4640766332535986532 CPUtime=0.85 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) R 20794 20797 18471 0 -1 4202560 2642 0 0 0 84 1 0 0 20 0 15 0 245370913 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380005408416 140381013292123 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20809] ppid=20794 vsize=14090948 memory=355419777 CPUtime=0.87 cores=1,3,5,7
/proc/20797/task/20809/stat : 20809 (java) R 20794 20797 18471 0 -1 4202560 2585 0 0 0 87 0 0 0 20 0 15 0 245370913 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380004357344 140381010494206 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20810] ppid=20794 vsize=14090948 memory=-9174445032661854264 CPUtime=0.63 cores=1,3,5,7
/proc/20797/task/20810/stat : 20810 (java) S 20794 20797 18471 0 -1 1077944384 1684 0 0 0 62 1 0 0 20 0 15 0 245370913 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380003317744 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20811] ppid=20794 vsize=14090948 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20811/stat : 20811 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380002265440 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20812] ppid=20794 vsize=14090948 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20812/stat : 20812 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245370913 14429130752 44283 33554432000 4194304 4196468 140728973189408 140380001213488 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 177132 KiB
[startup+1.90061 s]
/proc/loadavg: 1.08 1.33 1.44 4/215 20812
/proc/meminfo: memFree=23683532/32770624 swapFree=67108796/67108860
[pid=20797] ppid=20794 vsize=14157512 memory=186540 CPUtime=4.42 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20794 20797 18471 0 -1 1077944320 26818 0 0 0 433 9 0 0 20 0 14 0 245370907 14497292288 46635 33554432000 4194304 4196468 140728973189408 140728973171952 140381029793527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
/proc/20797/statm: 3539378 46635 3550 1 0 3501450 0
[pid=20797/tid=20799] ppid=20794 vsize=14157512 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/20797/task/20799/stat : 20799 (java) S 20794 20797 18471 0 -1 1077944384 17752 0 0 0 179 6 0 0 20 0 14 0 245370907 14497292288 46635 33554432000 4194304 4196468 140728973189408 140381034036368 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20800] ppid=20794 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 245370908 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380944861712 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20801] ppid=20794 vsize=14157512 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 245370908 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380943809168 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20802] ppid=20794 vsize=14157512 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20794 20797 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 245370908 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380942756112 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20803] ppid=20794 vsize=14157512 memory=7666384899138478906 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20794 20797 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 245370908 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380941703568 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20804] ppid=20794 vsize=14157512 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20794 20797 18471 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 14 0 245370910 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380009634752 140381029804674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20805] ppid=20794 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20794 20797 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 245370910 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380008580768 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20806] ppid=20794 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20794 20797 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 245370910 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380007527664 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20807] ppid=20794 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20794 20797 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 245370912 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380006475296 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20808] ppid=20794 vsize=14157512 memory=7972373607061099355 CPUtime=0.95 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) R 20794 20797 18471 0 -1 4202560 2828 0 0 0 94 1 0 0 20 0 14 0 245370913 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380005408416 140381011314864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20809] ppid=20794 vsize=14157512 memory=-8412654338029023647 CPUtime=0.96 cores=1,3,5,7
/proc/20797/task/20809/stat : 20809 (java) S 20794 20797 18471 0 -1 1077944384 3130 0 0 0 96 0 0 0 20 0 14 0 245370913 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380004355312 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20810] ppid=20794 vsize=14157512 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/20797/task/20810/stat : 20810 (java) S 20794 20797 18471 0 -1 1077944384 1684 0 0 0 62 1 0 0 20 0 14 0 245370913 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380003317744 140381029804674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
[pid=20797/tid=20811] ppid=20794 vsize=14157512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20811/stat : 20811 (java) S 20794 20797 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 245370913 14497292288 46635 33554432000 4194304 4196468 140728973189408 140380002265440 140381029803733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13385728 140728973198421 140728973198601 140728973198601 140728973201359 0
Current children cumulated CPU time: 4.42 s
Current children cumulated vsize: 14157512 KiB
Current children cumulated memory: 186540 KiB
Child status: 0
Real time (s): 1.91562
CPU time (s): 4.44374
CPU user time (s): 4.33602
CPU system time (s): 0.107714
CPU usage (%): 231.974
Max. virtual memory (cumulated for all children) (KiB): 14157512
Max. memory (cumulated for all children) (KiB): 186540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.33602
system time used= 0.107714
maximum resident set size= 186992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26825
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= 2606
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 20797
# total CPU time (s): 4.44374
# total CPU user time (s): 4.33602
# total CPU system time (s): 0.107714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031037 second user time and 0.060072 second system time
The end