runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454731-1307186738/watcher-3454731-1307186738 -o /tmp/evaluation-result-3454731-1307186738/solver-3454731-1307186738 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454731-1307186738.opb
running on 4 cores: 1,3,5,7
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: 1.20 1.61 1.85 3/476 30905
/proc/meminfo: memFree=21403248/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 4473 0 1 0 0 0 0 0 17 0 2 0 811089147 10694979584 4176 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2611079 4190 917 9 0 2602235 0
[pid=30905/tid=30907] ppid=30903 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) R 30903 30905 28116 0 -1 4202560 3420 0 1 0 0 0 0 0 17 0 2 0 811089147 10694979584 4236 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.087727 s]
/proc/loadavg: 1.20 1.61 1.85 3/476 30905
/proc/meminfo: memFree=21403248/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10539972 CPUtime=0.08 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 12802 0 1 0 7 1 0 0 17 0 18 0 811089147 10792931328 12499 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2634993 12499 2079 9 0 2625727 0
[pid=30905/tid=30907] ppid=30903 vsize=10539972 CPUtime=0.06 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) R 30903 30905 28116 0 -1 4202560 10889 0 1 0 6 0 0 0 22 0 18 0 811089147 10792931328 12499 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 46912505190968 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539972
[startup+0.105702 s]
/proc/loadavg: 1.20 1.61 1.85 3/476 30905
/proc/meminfo: memFree=21403248/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10539972 CPUtime=0.1 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 12981 0 1 0 9 1 0 0 17 0 18 0 811089147 10792931328 12678 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2634993 12678 2092 9 0 2625727 0
[pid=30905/tid=30907] ppid=30903 vsize=10539972 CPUtime=0.07 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) R 30903 30905 28116 0 -1 4202560 11045 0 1 0 7 0 0 0 22 0 18 0 811089147 10792931328 12678 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 46912505201612 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539972
[startup+0.30067 s]
/proc/loadavg: 1.20 1.61 1.85 3/476 30905
/proc/meminfo: memFree=21403248/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10613344 CPUtime=0.35 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 16381 0 1 0 34 1 0 0 17 0 22 0 811089147 10868064256 15316 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2653336 15316 2204 9 0 2644070 0
[pid=30905/tid=30907] ppid=30903 vsize=10613344 CPUtime=0.15 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) S 30903 30905 28116 0 -1 4202560 11755 0 1 0 15 0 0 0 23 0 22 0 811089147 10868064256 15316 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10613344
[startup+0.700602 s]
/proc/loadavg: 1.20 1.61 1.85 3/476 30905
/proc/meminfo: memFree=21403248/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10620408 CPUtime=1.6 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 32254 0 1 0 157 3 0 0 17 0 22 0 811089147 10875297792 29131 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2655102 29133 2221 9 0 2645836 0
[pid=30905/tid=30907] ppid=30903 vsize=10620408 CPUtime=0.15 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) S 30903 30905 28116 0 -1 4202560 11755 0 1 0 15 0 0 0 23 0 22 0 811089147 10875297792 29133 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10620408
[startup+1.50146 s]
/proc/loadavg: 1.20 1.61 1.85 7/520 30949
/proc/meminfo: memFree=21056124/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10619328 CPUtime=3.89 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 61506 0 1 0 381 8 0 0 17 0 22 0 811089147 10874191872 52680 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2654832 52682 2254 9 0 2645566 0
[pid=30905/tid=30907] ppid=30903 vsize=10619328 CPUtime=0.15 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) S 30903 30905 28116 0 -1 4202560 11756 0 1 0 15 0 0 0 15 0 22 0 811089147 10874191872 52683 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30918] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30918/stat : 30918 (java) S 30903 30905 28116 0 -1 4202560 302 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 52684 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30919] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30919/stat : 30919 (java) S 30903 30905 28116 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 22 0 811089149 10874191872 52685 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30920] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30920/stat : 30920 (java) S 30903 30905 28116 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 52686 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30921] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30921/stat : 30921 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 52688 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30922] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30922/stat : 30922 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 52690 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30923] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30923/stat : 30923 (java) S 30903 30905 28116 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 22 0 811089149 10874191872 52693 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30924] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30924/stat : 30924 (java) S 30903 30905 28116 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 52696 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30925] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30925/stat : 30925 (java) S 30903 30905 28116 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 52699 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30927] ppid=30903 vsize=10619328 CPUtime=0.04 cores=1,3,5,7
/proc/30905/task/30927/stat : 30927 (java) S 30903 30905 28116 0 -1 4202560 1281 0 0 0 4 0 0 0 16 0 22 0 811089150 10874191872 52702 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 0 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30930] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30930/stat : 30930 (java) S 30903 30905 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811089151 10874191872 52706 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30931] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30931/stat : 30931 (java) S 30903 30905 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811089151 10874191872 52709 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30934] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30934/stat : 30934 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811089153 10874191872 52712 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273440177 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30935] ppid=30903 vsize=10619328 CPUtime=0.72 cores=1,3,5,7
/proc/30905/task/30935/stat : 30935 (java) S 30903 30905 28116 0 -1 4202560 8565 0 0 0 71 1 0 0 16 0 22 0 811089153 10874191872 52715 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30938] ppid=30903 vsize=10619328 CPUtime=0.82 cores=1,3,5,7
/proc/30905/task/30938/stat : 30938 (java) S 30903 30905 28116 0 -1 4202560 6059 0 0 0 82 0 0 0 15 0 22 0 811089153 10874191872 52719 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30939] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30939/stat : 30939 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811089153 10874191872 52722 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30941] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30941/stat : 30941 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811089153 10874191872 52725 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30946] ppid=30903 vsize=10619328 CPUtime=1.12 cores=1,3,5,7
/proc/30905/task/30946/stat : 30946 (java) R 30903 30905 28116 0 -1 4202560 340 0 0 0 112 0 0 0 25 0 22 0 811089168 10874191872 52729 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 46912505617231 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30905/tid=30947] ppid=30903 vsize=10619328 CPUtime=0.96 cores=1,3,5,7
/proc/30905/task/30947/stat : 30947 (java) R 30903 30905 28116 0 -1 4202560 31236 0 0 0 92 4 0 0 25 0 22 0 811089168 10874191872 52730 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 46912505712592 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30905/tid=30948] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30948/stat : 30948 (java) S 30903 30905 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811089169 10874191872 52732 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30949] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30949/stat : 30949 (java) S 30903 30905 28116 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 811089169 10874191872 52734 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 10619328
[startup+3.10524 s]
/proc/loadavg: 1.51 1.67 1.86 5/520 30949
/proc/meminfo: memFree=20875828/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10619328 CPUtime=7.04 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 81945 0 1 0 693 11 0 0 17 0 22 0 811089147 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2654832 73113 2255 9 0 2645566 0
[pid=30905/tid=30907] ppid=30903 vsize=10619328 CPUtime=0.15 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) S 30903 30905 28116 0 -1 4202560 11757 0 1 0 15 0 0 0 15 0 22 0 811089147 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30918] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30918/stat : 30918 (java) S 30903 30905 28116 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30919] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30919/stat : 30919 (java) S 30903 30905 28116 0 -1 4202560 299 0 0 0 0 0 0 0 16 0 22 0 811089149 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30920] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30920/stat : 30920 (java) S 30903 30905 28116 0 -1 4202560 261 0 0 0 1 0 0 0 16 0 22 0 811089149 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30921] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30921/stat : 30921 (java) S 30903 30905 28116 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30922] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30922/stat : 30922 (java) S 30903 30905 28116 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30923] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30923/stat : 30923 (java) S 30903 30905 28116 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30924] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30924/stat : 30924 (java) S 30903 30905 28116 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30925] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30925/stat : 30925 (java) S 30903 30905 28116 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30927] ppid=30903 vsize=10619328 CPUtime=0.15 cores=1,3,5,7
/proc/30905/task/30927/stat : 30927 (java) R 30903 30905 28116 0 -1 4202560 3033 0 0 0 15 0 0 0 15 0 22 0 811089150 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 47610448753110 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=30905/tid=30930] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30930/stat : 30930 (java) S 30903 30905 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811089151 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30931] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30931/stat : 30931 (java) S 30903 30905 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811089151 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30934] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30934/stat : 30934 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811089153 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273440177 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30935] ppid=30903 vsize=10619328 CPUtime=0.75 cores=1,3,5,7
/proc/30905/task/30935/stat : 30935 (java) S 30903 30905 28116 0 -1 4202560 8566 0 0 0 74 1 0 0 15 0 22 0 811089153 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30938] ppid=30903 vsize=10619328 CPUtime=0.84 cores=1,3,5,7
/proc/30905/task/30938/stat : 30938 (java) S 30903 30905 28116 0 -1 4202560 6065 0 0 0 84 0 0 0 15 0 22 0 811089153 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30939] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30939/stat : 30939 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811089153 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30941] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30941/stat : 30941 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811089153 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30946] ppid=30903 vsize=10619328 CPUtime=2.59 cores=1,3,5,7
/proc/30905/task/30946/stat : 30946 (java) S 30903 30905 28116 0 -1 4202560 386 0 0 0 259 0 0 0 25 0 22 0 811089168 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30947] ppid=30903 vsize=10619328 CPUtime=2.44 cores=1,3,5,7
/proc/30905/task/30947/stat : 30947 (java) S 30903 30905 28116 0 -1 4202560 49372 0 0 0 238 6 0 0 25 0 22 0 811089168 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30948] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30948/stat : 30948 (java) S 30903 30905 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811089169 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30949] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30949/stat : 30949 (java) S 30903 30905 28116 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 811089169 10874191872 73113 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 10619328
Solver just ended. Dumping a history of the last processes samples
[startup+4.70093 s]
/proc/loadavg: 1.51 1.67 1.86 6/520 30949
/proc/meminfo: memFree=20758276/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10619328 CPUtime=10.14 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 82732 0 1 0 1003 11 0 0 17 0 22 0 811089147 10874191872 73895 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2654832 73895 2255 9 0 2645566 0
[pid=30905/tid=30907] ppid=30903 vsize=10619328 CPUtime=0.15 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) S 30903 30905 28116 0 -1 4202560 11757 0 1 0 15 0 0 0 15 0 22 0 811089147 10874191872 73895 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30918] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30918/stat : 30918 (java) S 30903 30905 28116 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73895 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30919] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30919/stat : 30919 (java) S 30903 30905 28116 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73895 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30920] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30920/stat : 30920 (java) S 30903 30905 28116 0 -1 4202560 263 0 0 0 1 0 0 0 16 0 22 0 811089149 10874191872 73895 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30921] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30921/stat : 30921 (java) S 30903 30905 28116 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 22 0 811089149 10874191872 73895 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30922] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30922/stat : 30922 (java) S 30903 30905 28116 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73895 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30923] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30923/stat : 30923 (java) S 30903 30905 28116 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 73895 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30924] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30924/stat : 30924 (java) S 30903 30905 28116 0 -1 4202560 246 0 0 0 0 0 0 0 16 0 22 0 811089149 10874191872 73895 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/30905/task/30924/stat : 30924 (java) S 30903 30905 28116 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30925] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30925/stat : 30925 (java) S 30903 30905 28116 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30927] ppid=30903 vsize=10619328 CPUtime=0.33 cores=1,3,5,7
/proc/30905/task/30927/stat : 30927 (java) R 30903 30905 28116 0 -1 4202560 3875 0 0 0 33 0 0 0 15 0 22 0 811089150 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254261310516 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=30905/tid=30930] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30930/stat : 30930 (java) S 30903 30905 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811089151 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30931] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30931/stat : 30931 (java) S 30903 30905 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811089151 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30934] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30934/stat : 30934 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811089153 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273440177 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30935] ppid=30903 vsize=10619328 CPUtime=0.76 cores=1,3,5,7
/proc/30905/task/30935/stat : 30935 (java) S 30903 30905 28116 0 -1 4202560 8566 0 0 0 75 1 0 0 15 0 22 0 811089153 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30938] ppid=30903 vsize=10619328 CPUtime=0.84 cores=1,3,5,7
/proc/30905/task/30938/stat : 30938 (java) S 30903 30905 28116 0 -1 4202560 6065 0 0 0 84 0 0 0 15 0 22 0 811089153 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30939] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30939/stat : 30939 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811089153 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30941] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30941/stat : 30941 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811089153 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30946] ppid=30903 vsize=10619328 CPUtime=4.8 cores=1,3,5,7
/proc/30905/task/30946/stat : 30946 (java) S 30903 30905 28116 0 -1 4202560 423 0 0 0 480 0 0 0 25 0 22 0 811089168 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30947] ppid=30903 vsize=10619328 CPUtime=4.65 cores=1,3,5,7
/proc/30905/task/30947/stat : 30947 (java) S 30903 30905 28116 0 -1 4202560 61794 0 0 0 458 7 0 0 25 0 22 0 811089168 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30948] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30948/stat : 30948 (java) S 30903 30905 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811089169 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30949] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30949/stat : 30949 (java) S 30903 30905 28116 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 811089169 10874191872 86039 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 10619328
[startup+5.90072 s]
/proc/loadavg: 1.51 1.67 1.86 5/520 30949
/proc/meminfo: memFree=20707552/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10619328 CPUtime=12.42 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 95447 0 1 0 1230 12 0 0 17 0 22 0 811089147 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2654832 86234 2255 9 0 2645566 0
[pid=30905/tid=30907] ppid=30903 vsize=10619328 CPUtime=0.15 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) S 30903 30905 28116 0 -1 4202560 11757 0 1 0 15 0 0 0 15 0 22 0 811089147 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30918] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30918/stat : 30918 (java) S 30903 30905 28116 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30919] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30919/stat : 30919 (java) S 30903 30905 28116 0 -1 4202560 299 0 0 0 1 0 0 0 15 0 22 0 811089149 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30920] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30920/stat : 30920 (java) S 30903 30905 28116 0 -1 4202560 264 0 0 0 1 0 0 0 16 0 22 0 811089149 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30921] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30921/stat : 30921 (java) S 30903 30905 28116 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 22 0 811089149 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30922] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30922/stat : 30922 (java) S 30903 30905 28116 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 22 0 811089149 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30923] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30923/stat : 30923 (java) S 30903 30905 28116 0 -1 4202560 53 0 0 0 1 0 0 0 15 0 22 0 811089149 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30924] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30924/stat : 30924 (java) S 30903 30905 28116 0 -1 4202560 246 0 0 0 0 0 0 0 16 0 22 0 811089149 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30925] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30925/stat : 30925 (java) S 30903 30905 28116 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 22 0 811089149 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30927] ppid=30903 vsize=10619328 CPUtime=0.37 cores=1,3,5,7
/proc/30905/task/30927/stat : 30927 (java) R 30903 30905 28116 0 -1 4202560 4069 0 0 0 37 0 0 0 15 0 22 0 811089150 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 47610451470723 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=30905/tid=30930] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30930/stat : 30930 (java) S 30903 30905 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811089151 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30931] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30931/stat : 30931 (java) S 30903 30905 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 811089151 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30934] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30934/stat : 30934 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811089153 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273440177 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30935] ppid=30903 vsize=10619328 CPUtime=0.76 cores=1,3,5,7
/proc/30905/task/30935/stat : 30935 (java) S 30903 30905 28116 0 -1 4202560 8566 0 0 0 75 1 0 0 15 0 22 0 811089153 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30938] ppid=30903 vsize=10619328 CPUtime=0.84 cores=1,3,5,7
/proc/30905/task/30938/stat : 30938 (java) S 30903 30905 28116 0 -1 4202560 6065 0 0 0 84 0 0 0 15 0 22 0 811089153 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30939] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30939/stat : 30939 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811089153 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30941] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30941/stat : 30941 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811089153 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30946] ppid=30903 vsize=10619328 CPUtime=5.15 cores=1,3,5,7
/proc/30905/task/30946/stat : 30946 (java) S 30903 30905 28116 0 -1 4202560 424 0 0 0 515 0 0 0 25 0 22 0 811089168 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30947] ppid=30903 vsize=10619328 CPUtime=5 cores=1,3,5,7
/proc/30905/task/30947/stat : 30947 (java) S 30903 30905 28116 0 -1 4202560 61794 0 0 0 493 7 0 0 25 0 22 0 811089168 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30948] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30948/stat : 30948 (java) S 30903 30905 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811089169 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30949] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30949/stat : 30949 (java) S 30903 30905 28116 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 811089169 10874191872 86234 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 10619328
[startup+6.10069 s]
/proc/loadavg: 1.51 1.67 1.86 5/520 30949
/proc/meminfo: memFree=20707552/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10619328 CPUtime=12.62 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 95609 0 1 0 1250 12 0 0 17 0 19 0 811089147 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2654832 86396 2256 9 0 2645566 0
[pid=30905/tid=30907] ppid=30903 vsize=10619328 CPUtime=0.15 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) S 30903 30905 28116 0 -1 4202560 11757 0 1 0 15 0 0 0 15 0 19 0 811089147 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30918] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30918/stat : 30918 (java) S 30903 30905 28116 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30919] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30919/stat : 30919 (java) S 30903 30905 28116 0 -1 4202560 299 0 0 0 1 0 0 0 15 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30920] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30920/stat : 30920 (java) S 30903 30905 28116 0 -1 4202560 264 0 0 0 1 0 0 0 16 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30921] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30921/stat : 30921 (java) S 30903 30905 28116 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30922] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30922/stat : 30922 (java) S 30903 30905 28116 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30923] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30923/stat : 30923 (java) S 30903 30905 28116 0 -1 4202560 53 0 0 0 1 0 0 0 15 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30924] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30924/stat : 30924 (java) S 30903 30905 28116 0 -1 4202560 246 0 0 0 0 0 0 0 16 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30925] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30925/stat : 30925 (java) S 30903 30905 28116 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30927] ppid=30903 vsize=10619328 CPUtime=0.38 cores=1,3,5,7
/proc/30905/task/30927/stat : 30927 (java) S 30903 30905 28116 0 -1 4202560 4230 0 0 0 38 0 0 0 16 0 19 0 811089150 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 0 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30930] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30930/stat : 30930 (java) S 30903 30905 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 811089151 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30931] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30931/stat : 30931 (java) S 30903 30905 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 811089151 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30934] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30934/stat : 30934 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273440177 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30935] ppid=30903 vsize=10619328 CPUtime=0.76 cores=1,3,5,7
/proc/30905/task/30935/stat : 30935 (java) S 30903 30905 28116 0 -1 4202560 8566 0 0 0 75 1 0 0 15 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30938] ppid=30903 vsize=10619328 CPUtime=0.84 cores=1,3,5,7
/proc/30905/task/30938/stat : 30938 (java) S 30903 30905 28116 0 -1 4202560 6065 0 0 0 84 0 0 0 15 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30939] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30939/stat : 30939 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30941] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30941/stat : 30941 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30949] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30949/stat : 30949 (java) S 30903 30905 28116 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 811089169 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 10619328
[startup+6.20068 s]
/proc/loadavg: 1.51 1.67 1.86 5/520 30949
/proc/meminfo: memFree=20707552/32951124 swapFree=67057928/67111528
[pid=30905] ppid=30903 vsize=10619328 CPUtime=12.62 cores=1,3,5,7
/proc/30905/stat : 30905 (java) S 30903 30905 28116 0 -1 4202496 95609 0 1 0 1250 12 0 0 17 0 19 0 811089147 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30905/statm: 2654832 86396 2256 9 0 2645566 0
[pid=30905/tid=30907] ppid=30903 vsize=10619328 CPUtime=0.15 cores=1,3,5,7
/proc/30905/task/30907/stat : 30907 (java) S 30903 30905 28116 0 -1 4202560 11757 0 1 0 15 0 0 0 15 0 19 0 811089147 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30918] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30918/stat : 30918 (java) S 30903 30905 28116 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30919] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30919/stat : 30919 (java) S 30903 30905 28116 0 -1 4202560 299 0 0 0 1 0 0 0 15 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30920] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30920/stat : 30920 (java) S 30903 30905 28116 0 -1 4202560 264 0 0 0 1 0 0 0 16 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30921] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30921/stat : 30921 (java) S 30903 30905 28116 0 -1 4202560 97 0 0 0 0 0 0 0 16 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30922] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30922/stat : 30922 (java) S 30903 30905 28116 0 -1 4202560 24 0 0 0 0 0 0 0 16 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30923] ppid=30903 vsize=10619328 CPUtime=0.01 cores=1,3,5,7
/proc/30905/task/30923/stat : 30923 (java) S 30903 30905 28116 0 -1 4202560 53 0 0 0 1 0 0 0 15 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30924] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30924/stat : 30924 (java) S 30903 30905 28116 0 -1 4202560 246 0 0 0 0 0 0 0 16 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30925] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30925/stat : 30925 (java) S 30903 30905 28116 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 19 0 811089149 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 1 0 0 0
[pid=30905/tid=30927] ppid=30903 vsize=10619328 CPUtime=0.38 cores=1,3,5,7
/proc/30905/task/30927/stat : 30927 (java) S 30903 30905 28116 0 -1 4202560 4230 0 0 0 38 0 0 0 16 0 19 0 811089150 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 0 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30930] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30930/stat : 30930 (java) S 30903 30905 28116 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 811089151 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30931] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30931/stat : 30931 (java) S 30903 30905 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 811089151 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30934] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30934/stat : 30934 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273440177 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30935] ppid=30903 vsize=10619328 CPUtime=0.76 cores=1,3,5,7
/proc/30905/task/30935/stat : 30935 (java) S 30903 30905 28116 0 -1 4202560 8566 0 0 0 75 1 0 0 15 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 5 0 0 0
[pid=30905/tid=30938] ppid=30903 vsize=10619328 CPUtime=0.84 cores=1,3,5,7
/proc/30905/task/30938/stat : 30938 (java) S 30903 30905 28116 0 -1 4202560 6065 0 0 0 84 0 0 0 15 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30939] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30939/stat : 30939 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273432473 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
[pid=30905/tid=30941] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30941/stat : 30941 (java) S 30903 30905 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811089153 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 3 0 0 0
[pid=30905/tid=30949] ppid=30903 vsize=10619328 CPUtime=0 cores=1,3,5,7
/proc/30905/task/30949/stat : 30949 (java) S 30903 30905 28116 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 811089169 10874191872 86396 33554432000 1073741824 1073778376 140733853146208 18446744073709551615 254273433088 0 4 0 16800975 18446604464301736256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 10619328
Child status: 10
Real time (s): 6.27569
CPU time (s): 12.6651
CPU user time (s): 12.5221
CPU system time (s): 0.142978
CPU usage (%): 201.812
Max. virtual memory (cumulated for all children) (KiB): 10632256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5221
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95623
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1193
involuntary context switches= 567
runsolver used 0.036994 second user time and 0.075988 second system time
The end