runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734552-1338701001/watcher-3734552-1338701001 -o /tmp/evaluation-result-3734552-1338701001/solver-3734552-1338701001 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734552-1338701001.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 3/194 19786
/proc/meminfo: memFree=27537552/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/19786/stat : 19786 (java) R 19784 19786 15746 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 336224639 9515008 182 33554432000 1073741824 1073778376 140737467120112 140737467102840 248790204085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19786/statm: 2323 182 140 9 0 71 0
[startup+0.07816 s]
/proc/loadavg: 2.05 2.01 2.00 3/194 19786
/proc/meminfo: memFree=27537552/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=2956804 CPUtime=0.05 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 4114 0 1 0 4 1 0 0 20 0 18 0 336224639 3027767296 5833 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 739201 5833 1781 9 0 729885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804
[startup+0.100195 s]
/proc/loadavg: 2.05 2.01 2.00 3/194 19786
/proc/meminfo: memFree=27537552/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 4889 0 1 0 7 1 0 0 20 0 18 0 336224639 3028844544 6595 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 739464 6597 2118 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.300158 s]
/proc/loadavg: 2.05 2.01 2.00 3/194 19786
/proc/meminfo: memFree=27537552/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 8397 0 1 0 52 2 0 0 20 0 19 0 336224639 3097006080 9898 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 756105 9898 2253 9 0 746526 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 3024420
[startup+0.700264 s]
/proc/loadavg: 2.05 2.01 2.00 3/194 19786
/proc/meminfo: memFree=27537552/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=3024420 CPUtime=1.24 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 9607 0 1 0 121 3 0 0 20 0 19 0 336224639 3097006080 11152 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 756105 11152 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 3024420
[startup+1.50071 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 19808
/proc/meminfo: memFree=27497312/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=3024420 CPUtime=2.04 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 9613 0 1 0 201 3 0 0 20 0 19 0 336224639 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 756105 13201 2266 9 0 746526 0
[pid=19786/tid=19788] ppid=19784 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/19786/task/19788/stat : 19788 (java) R 19784 19786 15746 0 -1 4202560 3061 0 1 0 144 2 0 0 20 0 19 0 336224640 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760407081472 139760266359005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19789] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19789/stat : 19789 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760390507304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19790] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19790/stat : 19790 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760389454504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19791] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19791/stat : 19791 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760388402216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19792] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19792/stat : 19792 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760387349416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19793] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19793/stat : 19793 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760386296104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19794] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19794/stat : 19794 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760385243304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19795] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19795/stat : 19795 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760265849384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19796] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19796/stat : 19796 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760264796584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19797] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19797/stat : 19797 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760252599016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19798] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19798/stat : 19798 (java) S 19784 19786 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760251545080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19799] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19799/stat : 19799 (java) S 19784 19786 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139760250492680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19800] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19800/stat : 19800 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224645 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139759510875024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19801] ppid=19784 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/19786/task/19801/stat : 19801 (java) S 19784 19786 15746 0 -1 4202560 2712 0 0 0 26 0 0 0 20 0 19 0 336224645 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139759509821624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19802] ppid=19784 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/19786/task/19802/stat : 19802 (java) S 19784 19786 15746 0 -1 4202560 2639 0 0 0 27 0 0 0 20 0 19 0 336224646 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139759508768824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19803] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19803/stat : 19803 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139759507716728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19804] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19804/stat : 19804 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139759506664136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19808] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19808/stat : 19808 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224676 3097006080 13201 33554432000 1073741824 1073778376 140737165631424 139759504533032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 3024420
[startup+3.10073 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 19808
/proc/meminfo: memFree=27489376/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=3024420 CPUtime=3.64 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 9619 0 1 0 361 3 0 0 20 0 19 0 336224639 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 756105 16273 2266 9 0 746526 0
[pid=19786/tid=19788] ppid=19784 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/19786/task/19788/stat : 19788 (java) R 19784 19786 15746 0 -1 4202560 3067 0 1 0 304 2 0 0 20 0 19 0 336224640 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760407081304 139760266406875 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19789] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19789/stat : 19789 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760390507304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19790] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19790/stat : 19790 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760389454504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19791] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19791/stat : 19791 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760388402216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19792] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19792/stat : 19792 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760387349416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19793] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19793/stat : 19793 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760386296104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19794] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19794/stat : 19794 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760385243304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19795] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19795/stat : 19795 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760265849384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19796] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19796/stat : 19796 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760264796584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19797] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19797/stat : 19797 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760252599016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19798] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19798/stat : 19798 (java) S 19784 19786 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760251545080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19799] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19799/stat : 19799 (java) S 19784 19786 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139760250492680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19800] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19800/stat : 19800 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224645 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139759510875024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19801] ppid=19784 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/19786/task/19801/stat : 19801 (java) S 19784 19786 15746 0 -1 4202560 2712 0 0 0 26 0 0 0 20 0 19 0 336224645 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139759509821624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19802] ppid=19784 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/19786/task/19802/stat : 19802 (java) S 19784 19786 15746 0 -1 4202560 2639 0 0 0 27 0 0 0 20 0 19 0 336224646 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139759508768824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19803] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19803/stat : 19803 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139759507716728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19804] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19804/stat : 19804 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139759506664136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19808] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19808/stat : 19808 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224676 3097006080 16273 33554432000 1073741824 1073778376 140737165631424 139759504533032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 3024420
[startup+6.30074 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 19808
/proc/meminfo: memFree=27469144/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=3024420 CPUtime=6.84 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 9629 0 1 0 681 3 0 0 20 0 19 0 336224639 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 756105 19953 2267 9 0 746526 0
[pid=19786/tid=19788] ppid=19784 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/19786/task/19788/stat : 19788 (java) R 19784 19786 15746 0 -1 4202560 3076 0 1 0 623 2 0 0 20 0 19 0 336224640 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760407079440 139760266395890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19789] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19789/stat : 19789 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760390507304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19790] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19790/stat : 19790 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760389454504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19791] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19791/stat : 19791 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760388402216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19792] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19792/stat : 19792 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760387349416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19793] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19793/stat : 19793 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760386296104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19794] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19794/stat : 19794 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760385243304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19795] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19795/stat : 19795 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760265849384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19796] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19796/stat : 19796 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760264796584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19797] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19797/stat : 19797 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760252599016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19798] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19798/stat : 19798 (java) S 19784 19786 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760251545080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19799] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19799/stat : 19799 (java) S 19784 19786 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139760250492680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19800] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19800/stat : 19800 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224645 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139759510875024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19801] ppid=19784 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/19786/task/19801/stat : 19801 (java) S 19784 19786 15746 0 -1 4202560 2712 0 0 0 26 0 0 0 20 0 19 0 336224645 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139759509821624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19802] ppid=19784 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19786/task/19802/stat : 19802 (java) S 19784 19786 15746 0 -1 4202560 2639 0 0 0 28 0 0 0 20 0 19 0 336224646 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139759508768824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19803] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19803/stat : 19803 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139759507716728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19804] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19804/stat : 19804 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139759506664136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19808] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19808/stat : 19808 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224676 3097006080 19953 33554432000 1073741824 1073778376 140737165631424 139759504533032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
/proc/19786/task/19790/stat : 19790 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760389454504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19791] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19791/stat : 19791 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760388402216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19792] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19792/stat : 19792 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760387349416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19793] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19793/stat : 19793 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760386296104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19794] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19794/stat : 19794 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760385243304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19795] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19795/stat : 19795 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760265849384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19796] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19796/stat : 19796 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760264796584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19797] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19797/stat : 19797 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760252599016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19798] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19798/stat : 19798 (java) S 19784 19786 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760251545080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19799] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19799/stat : 19799 (java) S 19784 19786 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139760250492680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19800] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19800/stat : 19800 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224645 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139759510875024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19801] ppid=19784 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/19786/task/19801/stat : 19801 (java) S 19784 19786 15746 0 -1 4202560 2712 0 0 0 26 0 0 0 20 0 19 0 336224645 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139759509821624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19802] ppid=19784 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19786/task/19802/stat : 19802 (java) S 19784 19786 15746 0 -1 4202560 2639 0 0 0 28 0 0 0 20 0 19 0 336224646 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139759508768824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19803] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19803/stat : 19803 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139759507716728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19804] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19804/stat : 19804 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139759506664136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19808] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19808/stat : 19808 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224676 3097006080 26609 33554432000 1073741824 1073778376 140737165631424 139759504533032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.25
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+13.5007 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 19808
/proc/meminfo: memFree=27436292/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=3024420 CPUtime=14.05 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 9643 0 1 0 1401 4 0 0 20 0 19 0 336224639 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 756105 27121 2267 9 0 746526 0
[pid=19786/tid=19788] ppid=19784 vsize=3024420 CPUtime=13.42 cores=0,2,4,6
/proc/19786/task/19788/stat : 19788 (java) R 19784 19786 15746 0 -1 4202560 3090 0 1 0 1340 2 0 0 20 0 19 0 336224640 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760407081304 139760266451908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19789] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19789/stat : 19789 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760390507304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19790] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19790/stat : 19790 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760389454504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19791] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19791/stat : 19791 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760388402216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19792] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19792/stat : 19792 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760387349416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19793] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19793/stat : 19793 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760386296104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19794] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19794/stat : 19794 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760385243304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19795] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19795/stat : 19795 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760265849384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19796] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19796/stat : 19796 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760264796584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19797] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19797/stat : 19797 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760252599016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19798] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19798/stat : 19798 (java) S 19784 19786 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760251545080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19799] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19799/stat : 19799 (java) S 19784 19786 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139760250492680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19800] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19800/stat : 19800 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224645 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139759510875024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19801] ppid=19784 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/19786/task/19801/stat : 19801 (java) S 19784 19786 15746 0 -1 4202560 2712 0 0 0 26 0 0 0 20 0 19 0 336224645 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139759509821624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19802] ppid=19784 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19786/task/19802/stat : 19802 (java) S 19784 19786 15746 0 -1 4202560 2639 0 0 0 28 0 0 0 20 0 19 0 336224646 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139759508768824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19803] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19803/stat : 19803 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139759507716728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19804] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19804/stat : 19804 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139759506664136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19808] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19808/stat : 19808 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224676 3097006080 27121 33554432000 1073741824 1073778376 140737165631424 139759504533032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.05
Current children cumulated vsize (KiB) 3024420
[startup+14.3068 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 19808
/proc/meminfo: memFree=27434120/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=3024420 CPUtime=14.85 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 9644 0 1 0 1481 4 0 0 20 0 19 0 336224639 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 756105 27633 2267 9 0 746526 0
[pid=19786/tid=19788] ppid=19784 vsize=3024420 CPUtime=14.23 cores=0,2,4,6
/proc/19786/task/19788/stat : 19788 (java) R 19784 19786 15746 0 -1 4202560 3091 0 1 0 1421 2 0 0 20 0 19 0 336224640 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760407081304 139760266451908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19789] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19789/stat : 19789 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760390507304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19790] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19790/stat : 19790 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760389454504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19791] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19791/stat : 19791 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760388402216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19792] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19792/stat : 19792 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760387349416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19793] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19793/stat : 19793 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760386296104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19794] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19794/stat : 19794 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760385243304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19795] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19795/stat : 19795 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760265849384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19796] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19796/stat : 19796 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760264796584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19797] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19797/stat : 19797 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760252599016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19798] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19798/stat : 19798 (java) S 19784 19786 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760251545080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19799] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19799/stat : 19799 (java) S 19784 19786 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760250492680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19800] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19800/stat : 19800 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224645 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759510875024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19801] ppid=19784 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/19786/task/19801/stat : 19801 (java) S 19784 19786 15746 0 -1 4202560 2712 0 0 0 26 0 0 0 20 0 19 0 336224645 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759509821624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19802] ppid=19784 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19786/task/19802/stat : 19802 (java) S 19784 19786 15746 0 -1 4202560 2639 0 0 0 28 0 0 0 20 0 19 0 336224646 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759508768824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19803] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19803/stat : 19803 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759507716728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19804] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19804/stat : 19804 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759506664136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19808] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19808/stat : 19808 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224676 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759504533032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.85
Current children cumulated vsize (KiB) 3024420
[startup+14.5007 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 19808
/proc/meminfo: memFree=27434120/32873844 swapFree=7108/7108
[pid=19786] ppid=19784 vsize=3024420 CPUtime=15.05 cores=0,2,4,6
/proc/19786/stat : 19786 (java) S 19784 19786 15746 0 -1 4202496 9644 0 1 0 1501 4 0 0 20 0 19 0 336224639 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 140737165622560 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19786/statm: 756105 27633 2267 9 0 746526 0
[pid=19786/tid=19788] ppid=19784 vsize=3024420 CPUtime=14.42 cores=0,2,4,6
/proc/19786/task/19788/stat : 19788 (java) R 19784 19786 15746 0 -1 4202560 3091 0 1 0 1440 2 0 0 20 0 19 0 336224640 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760407081304 139760266451948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19789] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19789/stat : 19789 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760390507304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19790] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19790/stat : 19790 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760389454504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19791] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19791/stat : 19791 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760388402216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19792] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19792/stat : 19792 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760387349416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19793] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19793/stat : 19793 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760386296104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19794] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19794/stat : 19794 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760385243304 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19786/tid=19795] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19795/stat : 19795 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760265849384 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19796] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19796/stat : 19796 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224642 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760264796584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19797] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19797/stat : 19797 (java) S 19784 19786 15746 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760252599016 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19798] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19798/stat : 19798 (java) S 19784 19786 15746 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760251545080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19799] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19799/stat : 19799 (java) S 19784 19786 15746 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336224643 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139760250492680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19800] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19800/stat : 19800 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224645 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759510875024 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19801] ppid=19784 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/19786/task/19801/stat : 19801 (java) S 19784 19786 15746 0 -1 4202560 2712 0 0 0 26 0 0 0 20 0 19 0 336224645 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759509821624 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19786/tid=19802] ppid=19784 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/19786/task/19802/stat : 19802 (java) S 19784 19786 15746 0 -1 4202560 2639 0 0 0 28 0 0 0 20 0 19 0 336224646 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759508768824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19803] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19803/stat : 19803 (java) S 19784 19786 15746 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759507716728 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19786/tid=19804] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19804/stat : 19804 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224646 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759506664136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19786/tid=19808] ppid=19784 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/19786/task/19808/stat : 19808 (java) S 19784 19786 15746 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336224676 3097006080 27633 33554432000 1073741824 1073778376 140737165631424 139759504533032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.05
Current children cumulated vsize (KiB) 3024420
Child status: 30
Real time (s): 14.5442
CPU time (s): 15.0657
CPU user time (s): 15.0097
CPU system time (s): 0.055991
CPU usage (%): 103.586
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.0097
system time used= 0.055991
maximum resident set size= 112584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9650
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 575
involuntary context switches= 45
runsolver used 0.027995 second user time and 0.068989 second system time
The end