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-3732158-1338739596/watcher-3732158-1338739596 -o /tmp/evaluation-result-3732158-1338739596/solver-3732158-1338739596 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3732158-1338739596.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: 0.58 0.35 0.63 10/197 9630
/proc/meminfo: memFree=26277328/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/9630/stat : 9630 (java) R 9628 9630 9489 0 -1 4202496 591 0 0 0 0 0 0 0 20 0 1 0 340084421 23793664 317 33554432000 1073741824 1073778376 140734737344896 140734737333960 223642434099 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 5809 332 256 9 0 128 0
[startup+0.0730681 s]
/proc/loadavg: 0.58 0.35 0.63 10/197 9630
/proc/meminfo: memFree=26277328/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2699928 CPUtime=0.05 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 3893 0 1 0 4 1 0 0 20 0 18 0 340084421 2764726272 5611 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 674982 5611 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100197 s]
/proc/loadavg: 0.58 0.35 0.63 10/197 9630
/proc/meminfo: memFree=26277328/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2699928 CPUtime=0.09 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 4697 0 1 0 8 1 0 0 20 0 18 0 340084421 2764726272 6408 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 674982 6408 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300165 s]
/proc/loadavg: 0.58 0.35 0.63 10/197 9630
/proc/meminfo: memFree=26277328/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2833056 CPUtime=0.47 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 5752 0 1 0 46 1 0 0 20 0 20 0 340084421 2901049344 9725 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 708264 9725 2226 9 0 698958 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2833056
[startup+0.700231 s]
/proc/loadavg: 0.58 0.35 0.63 10/197 9630
/proc/meminfo: memFree=26277328/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2966184 CPUtime=1.11 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 10148 0 1 0 107 4 0 0 20 0 20 0 340084421 3037372416 12476 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 741546 12476 2241 9 0 732240 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2966184
[startup+1.50066 s]
/proc/loadavg: 0.70 0.38 0.64 3/217 9652
/proc/meminfo: memFree=26231184/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2966184 CPUtime=1.91 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 16236 0 1 0 185 6 0 0 20 0 22 0 340084421 3037372416 33015 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 741546 33016 2242 9 0 732240 0
[pid=9630/tid=9632] ppid=9628 vsize=2966184 CPUtime=0.26 cores=0,2,4,6
/proc/9630/task/9632/stat : 9632 (java) S 9628 9630 9489 0 -1 4202560 2797 0 1 0 25 1 0 0 20 0 22 0 340084422 3037372416 33016 33554432000 1073741824 1073778376 140734737344896 139891889026200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9633/stat : 9633 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 33016 33554432000 1073741824 1073778376 140734737344896 139891873306920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9634/stat : 9634 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 33016 33554432000 1073741824 1073778376 140734737344896 139891872254120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9635/stat : 9635 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 33018 33554432000 1073741824 1073778376 140734737344896 139891871201832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9636/stat : 9636 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 33032 33554432000 1073741824 1073778376 140734737344896 139891870149032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9637/stat : 9637 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 33050 33554432000 1073741824 1073778376 140734737344896 139891869096744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9638] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9638/stat : 9638 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 33066 33554432000 1073741824 1073778376 140734737344896 139891868043944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9639] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9639/stat : 9639 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 33083 33554432000 1073741824 1073778376 140734737344896 139891866991656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9640] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9640/stat : 9640 (java) S 9628 9630 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 33099 33554432000 1073741824 1073778376 140734737344896 139891865938856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9641] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9641/stat : 9641 (java) S 9628 9630 9489 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 340084424 3037372416 33114 33554432000 1073741824 1073778376 140734737344896 139891853527272 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9642] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9642/stat : 9642 (java) S 9628 9630 9489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 340084425 3037372416 33130 33554432000 1073741824 1073778376 140734737344896 139891852473336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9643] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9643/stat : 9643 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084425 3037372416 33137 33554432000 1073741824 1073778376 140734737344896 139891851420936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9644] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9644/stat : 9644 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 33137 33554432000 1073741824 1073778376 140734737344896 139891732113808 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9645] ppid=9628 vsize=2966184 CPUtime=0.45 cores=0,2,4,6
/proc/9630/task/9645/stat : 9645 (java) R 9628 9630 9489 0 -1 4202560 4676 0 0 0 45 0 0 0 20 0 22 0 340084427 3037372416 33137 33554432000 1073741824 1073778376 140734737344896 139891731038696 139891892604358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9646] ppid=9628 vsize=2966184 CPUtime=0.5 cores=0,2,4,6
/proc/9630/task/9646/stat : 9646 (java) R 9628 9630 9489 0 -1 4202560 7552 0 0 0 48 2 0 0 20 0 22 0 340084427 3037372416 33137 33554432000 1073741824 1073778376 140734737344896 139891729996040 139891895844673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9647] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9647/stat : 9647 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 33137 33554432000 1073741824 1073778376 140734737344896 139891728956536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9648] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9648/stat : 9648 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 33139 33554432000 1073741824 1073778376 140734737344896 139891727903944 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9651] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9651/stat : 9651 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084452 3037372416 33147 33554432000 1073741824 1073778376 140734737344896 139891724743848 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9652] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9652/stat : 9652 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084452 3037372416 33150 33554432000 1073741824 1073778376 140734737344896 139891723691048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 2966184
[startup+3.10066 s]
/proc/loadavg: 0.70 0.38 0.64 4/217 9654
/proc/meminfo: memFree=26142744/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2966184 CPUtime=4.37 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 21610 0 1 0 425 12 0 0 20 0 22 0 340084421 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 741546 59980 2275 9 0 732240 0
[pid=9630/tid=9632] ppid=9628 vsize=2966184 CPUtime=0.27 cores=0,2,4,6
/proc/9630/task/9632/stat : 9632 (java) S 9628 9630 9489 0 -1 4202560 2799 0 1 0 25 2 0 0 20 0 22 0 340084422 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891889026200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9633/stat : 9633 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891873306920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9634/stat : 9634 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891872254120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9635/stat : 9635 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891871201832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9636/stat : 9636 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891870149032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9637/stat : 9637 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891869096744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9638] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9638/stat : 9638 (java) S 9628 9630 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891868043944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9639] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9639/stat : 9639 (java) S 9628 9630 9489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891866991656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9640] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9640/stat : 9640 (java) S 9628 9630 9489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891865938856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9641] ppid=9628 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/9630/task/9641/stat : 9641 (java) S 9628 9630 9489 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 22 0 340084424 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891853527272 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9642] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9642/stat : 9642 (java) S 9628 9630 9489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340084425 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891852473336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9643] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9643/stat : 9643 (java) S 9628 9630 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340084425 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891851420936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9644] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9644/stat : 9644 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891732113808 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9645] ppid=9628 vsize=2966184 CPUtime=0.76 cores=0,2,4,6
/proc/9630/task/9645/stat : 9645 (java) S 9628 9630 9489 0 -1 4202560 6197 0 0 0 74 2 0 0 20 0 22 0 340084427 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891731061432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9646] ppid=9628 vsize=2966184 CPUtime=1.03 cores=0,2,4,6
/proc/9630/task/9646/stat : 9646 (java) S 9628 9630 9489 0 -1 4202560 11162 0 0 0 101 2 0 0 20 0 22 0 340084427 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891730008632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9647] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9647/stat : 9647 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891728956536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9648] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9648/stat : 9648 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891727903944 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9651] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9651/stat : 9651 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084452 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891724743848 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9652] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9652/stat : 9652 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084452 3037372416 59980 33554432000 1073741824 1073778376 140734737344896 139891723691048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 2966184
[startup+6.30085 s]
/proc/loadavg: 0.70 0.38 0.64 5/219 9660
/proc/meminfo: memFree=25904400/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2966184 CPUtime=8.97 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 21728 0 1 0 880 17 0 0 20 0 22 0 340084421 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 741546 95823 2276 9 0 732240 0
[pid=9630/tid=9632] ppid=9628 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/9630/task/9632/stat : 9632 (java) S 9628 9630 9489 0 -1 4202560 2800 0 1 0 26 2 0 0 20 0 22 0 340084422 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891889026200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9633/stat : 9633 (java) S 9628 9630 9489 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891873306920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9634/stat : 9634 (java) S 9628 9630 9489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891872254120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9635/stat : 9635 (java) S 9628 9630 9489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891871201832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9636/stat : 9636 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891870149032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9637/stat : 9637 (java) S 9628 9630 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891869096744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9638] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9638/stat : 9638 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891868043944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9639] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9639/stat : 9639 (java) S 9628 9630 9489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891866991656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9640] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9640/stat : 9640 (java) S 9628 9630 9489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 340084423 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891865938856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9641] ppid=9628 vsize=2966184 CPUtime=0.14 cores=0,2,4,6
/proc/9630/task/9641/stat : 9641 (java) R 9628 9630 9489 0 -1 4202560 38 0 0 0 14 0 0 0 20 0 22 0 340084424 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891853526248 139891892297360 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9642] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9642/stat : 9642 (java) S 9628 9630 9489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340084425 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891852473336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9643] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9643/stat : 9643 (java) S 9628 9630 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340084425 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891851420936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9644] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9644/stat : 9644 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891732113808 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9645] ppid=9628 vsize=2966184 CPUtime=0.79 cores=0,2,4,6
/proc/9630/task/9645/stat : 9645 (java) S 9628 9630 9489 0 -1 4202560 6198 0 0 0 77 2 0 0 20 0 22 0 340084427 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891731061432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9646] ppid=9628 vsize=2966184 CPUtime=1.21 cores=0,2,4,6
/proc/9630/task/9646/stat : 9646 (java) S 9628 9630 9489 0 -1 4202560 11170 0 0 0 119 2 0 0 20 0 22 0 340084427 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891730008632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9647] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9647/stat : 9647 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891728956536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9648] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9648/stat : 9648 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891727903944 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9651] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9651/stat : 9651 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084452 3037372416 95823 33554432000 1073741824 1073778376 140734737344896 139891724743848 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
[pid=9630/tid=9648] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9648/stat : 9648 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 126559 33554432000 1073741824 1073778376 140734737344896 139891727903944 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9651] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9651/stat : 9651 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084452 3037372416 126559 33554432000 1073741824 1073778376 140734737344896 139891724743848 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9652] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9652/stat : 9652 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084452 3037372416 126559 33554432000 1073741824 1073778376 140734737344896 139891723691048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9661] ppid=9628 vsize=2966184 CPUtime=4.97 cores=0,2,4,6
/proc/9630/task/9661/stat : 9661 (java) R 9628 9630 9489 0 -1 4202560 8 0 0 0 497 0 0 0 20 0 22 0 340085153 3037372416 126559 33554432000 1073741824 1073778376 140734737344896 139891725795896 139891732737970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9662] ppid=9628 vsize=2966184 CPUtime=4.98 cores=0,2,4,6
/proc/9630/task/9662/stat : 9662 (java) R 9628 9630 9489 0 -1 4202560 42 0 0 0 498 0 0 0 20 0 22 0 340085153 3037372416 126559 33554432000 1073741824 1073778376 140734737344896 139891726846088 139891733132796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.56
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+14.3072 s]
/proc/loadavg: 1.13 0.48 0.67 5/219 9664
/proc/meminfo: memFree=25737648/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2966184 CPUtime=24.71 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 21832 0 1 0 2449 22 0 0 20 0 22 0 340084421 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 741546 127072 2277 9 0 732240 0
[pid=9630/tid=9632] ppid=9628 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/9630/task/9632/stat : 9632 (java) S 9628 9630 9489 0 -1 4202560 2801 0 1 0 26 2 0 0 20 0 22 0 340084422 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891889026200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/9630/task/9633/stat : 9633 (java) S 9628 9630 9489 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 22 0 340084423 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891873306920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/9630/task/9634/stat : 9634 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 22 0 340084423 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891872254120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9630/task/9635/stat : 9635 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 22 0 340084423 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891871201832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9630/task/9636/stat : 9636 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 22 0 340084423 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891870149032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/9630/task/9637/stat : 9637 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 22 0 340084423 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891869096744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9638] ppid=9628 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/9630/task/9638/stat : 9638 (java) S 9628 9630 9489 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 22 0 340084423 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891868043944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9639] ppid=9628 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/9630/task/9639/stat : 9639 (java) S 9628 9630 9489 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 22 0 340084423 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891866991656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9640] ppid=9628 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9630/task/9640/stat : 9640 (java) S 9628 9630 9489 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 22 0 340084423 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891865938856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9641] ppid=9628 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/9630/task/9641/stat : 9641 (java) S 9628 9630 9489 0 -1 4202560 48 0 0 0 58 1 0 0 20 0 22 0 340084424 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891853527272 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9642] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9642/stat : 9642 (java) S 9628 9630 9489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340084425 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891852473336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9643] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9643/stat : 9643 (java) S 9628 9630 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340084425 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891851420936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9644] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9644/stat : 9644 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891732113808 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9645] ppid=9628 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/9630/task/9645/stat : 9645 (java) S 9628 9630 9489 0 -1 4202560 6198 0 0 0 82 2 0 0 20 0 22 0 340084427 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891731061432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9646] ppid=9628 vsize=2966184 CPUtime=1.24 cores=0,2,4,6
/proc/9630/task/9646/stat : 9646 (java) S 9628 9630 9489 0 -1 4202560 11171 0 0 0 122 2 0 0 20 0 22 0 340084427 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891730008632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9647] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9647/stat : 9647 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891728956536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9648] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9648/stat : 9648 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340084427 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891727903944 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9651] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9651/stat : 9651 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084452 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891724743848 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9652] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9652/stat : 9652 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340084452 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891723691048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9661] ppid=9628 vsize=2966184 CPUtime=6.46 cores=0,2,4,6
/proc/9630/task/9661/stat : 9661 (java) R 9628 9630 9489 0 -1 4202560 9 0 0 0 646 0 0 0 20 0 22 0 340085153 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891725795736 139891732723238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9662] ppid=9628 vsize=2966184 CPUtime=6.47 cores=0,2,4,6
/proc/9630/task/9662/stat : 9662 (java) R 9628 9630 9489 0 -1 4202560 43 0 0 0 646 1 0 0 20 0 22 0 340085153 3037372416 127072 33554432000 1073741824 1073778376 140734737344896 139891726845968 139891732823156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 24.71
Current children cumulated vsize (KiB) 2966184
[startup+15.1007 s]
/proc/loadavg: 1.13 0.48 0.67 5/219 9664
/proc/meminfo: memFree=25737648/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2966184 CPUtime=25.51 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 21832 0 1 0 2527 24 0 0 20 0 20 0 340084421 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 741546 127067 2277 9 0 732240 0
[pid=9630/tid=9632] ppid=9628 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/9630/task/9632/stat : 9632 (java) S 9628 9630 9489 0 -1 4202560 2801 0 1 0 26 2 0 0 20 0 20 0 340084422 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891889026200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/9630/task/9633/stat : 9633 (java) S 9628 9630 9489 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891873306920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/9630/task/9634/stat : 9634 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891872254120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9630/task/9635/stat : 9635 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891871201832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9630/task/9636/stat : 9636 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891870149032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/9630/task/9637/stat : 9637 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891869096744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9638] ppid=9628 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/9630/task/9638/stat : 9638 (java) S 9628 9630 9489 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891868043944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9639] ppid=9628 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/9630/task/9639/stat : 9639 (java) S 9628 9630 9489 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891866991656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9640] ppid=9628 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9630/task/9640/stat : 9640 (java) S 9628 9630 9489 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891865938856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9641] ppid=9628 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/9630/task/9641/stat : 9641 (java) S 9628 9630 9489 0 -1 4202560 48 0 0 0 58 1 0 0 20 0 20 0 340084424 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891853527272 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9642] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9642/stat : 9642 (java) S 9628 9630 9489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340084425 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891852473336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9643] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9643/stat : 9643 (java) S 9628 9630 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340084425 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891851420936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9644] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9644/stat : 9644 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891732113808 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9645] ppid=9628 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/9630/task/9645/stat : 9645 (java) S 9628 9630 9489 0 -1 4202560 6198 0 0 0 82 2 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891731061432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9646] ppid=9628 vsize=2966184 CPUtime=1.24 cores=0,2,4,6
/proc/9630/task/9646/stat : 9646 (java) S 9628 9630 9489 0 -1 4202560 11171 0 0 0 122 2 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891730008632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9647] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9647/stat : 9647 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891728956536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9648] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9648/stat : 9648 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891727903944 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9651] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9651/stat : 9651 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340084452 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891724743848 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9652] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9652/stat : 9652 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340084452 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891723691048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 2966184
[startup+15.3007 s]
/proc/loadavg: 1.13 0.48 0.67 3/217 9664
/proc/meminfo: memFree=25735600/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=2966184 CPUtime=25.51 cores=0,2,4,6
/proc/9630/stat : 9630 (java) S 9628 9630 9489 0 -1 4202496 21832 0 1 0 2527 24 0 0 20 0 20 0 340084421 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 140734737336032 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 741546 127067 2277 9 0 732240 0
[pid=9630/tid=9632] ppid=9628 vsize=2966184 CPUtime=0.28 cores=0,2,4,6
/proc/9630/task/9632/stat : 9632 (java) S 9628 9630 9489 0 -1 4202560 2801 0 1 0 26 2 0 0 20 0 20 0 340084422 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891889026200 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9633] ppid=9628 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/9630/task/9633/stat : 9633 (java) S 9628 9630 9489 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891873306920 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9634] ppid=9628 vsize=2966184 CPUtime=0.03 cores=0,2,4,6
/proc/9630/task/9634/stat : 9634 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891872254120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9630/tid=9635] ppid=9628 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9630/task/9635/stat : 9635 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891871201832 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9636] ppid=9628 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9630/task/9636/stat : 9636 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891870149032 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9637] ppid=9628 vsize=2966184 CPUtime=0.06 cores=0,2,4,6
/proc/9630/task/9637/stat : 9637 (java) S 9628 9630 9489 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891869096744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9638] ppid=9628 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/9630/task/9638/stat : 9638 (java) S 9628 9630 9489 0 -1 4202560 14 0 0 0 5 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891868043944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9639] ppid=9628 vsize=2966184 CPUtime=0.05 cores=0,2,4,6
/proc/9630/task/9639/stat : 9639 (java) S 9628 9630 9489 0 -1 4202560 13 0 0 0 5 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891866991656 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9640] ppid=9628 vsize=2966184 CPUtime=0.04 cores=0,2,4,6
/proc/9630/task/9640/stat : 9640 (java) S 9628 9630 9489 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 20 0 340084423 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891865938856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9641] ppid=9628 vsize=2966184 CPUtime=0.59 cores=0,2,4,6
/proc/9630/task/9641/stat : 9641 (java) S 9628 9630 9489 0 -1 4202560 48 0 0 0 58 1 0 0 20 0 20 0 340084424 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891853527272 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9642] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9642/stat : 9642 (java) S 9628 9630 9489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340084425 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891852473336 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9643] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9643/stat : 9643 (java) S 9628 9630 9489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340084425 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891851420936 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9644] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9644/stat : 9644 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891732113808 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9645] ppid=9628 vsize=2966184 CPUtime=0.84 cores=0,2,4,6
/proc/9630/task/9645/stat : 9645 (java) S 9628 9630 9489 0 -1 4202560 6198 0 0 0 82 2 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891731061432 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9630/tid=9646] ppid=9628 vsize=2966184 CPUtime=1.24 cores=0,2,4,6
/proc/9630/task/9646/stat : 9646 (java) S 9628 9630 9489 0 -1 4202560 11171 0 0 0 122 2 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891730008632 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9647] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9647/stat : 9647 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891728956536 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9630/tid=9648] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9648/stat : 9648 (java) S 9628 9630 9489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340084427 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891727903944 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9651] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9651/stat : 9651 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340084452 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891724743848 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9630/tid=9652] ppid=9628 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/9630/task/9652/stat : 9652 (java) S 9628 9630 9489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340084452 3037372416 127067 33554432000 1073741824 1073778376 140734737344896 139891723691048 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 2966184
[startup+15.4071 s]
/proc/loadavg: 1.13 0.48 0.67 3/217 9664
/proc/meminfo: memFree=25735600/32873844 swapFree=7628/7628
[pid=9630] ppid=9628 vsize=0 CPUtime=25.71 cores=0,2,4,6
/proc/9630/stat : 9630 (java) Z 9628 9630 9489 0 -1 4203532 21843 0 1 0 2537 34 0 0 20 0 2 0 340084421 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9630/statm: 0 0 0 0 0 0 0
[pid=9630/tid=9645] ppid=9628 vsize=0 CPUtime=0.84 cores=0,2,4,6
/proc/9630/task/9645/stat : 9645 (java) R 9628 9630 9489 0 -1 4203588 6198 0 0 0 82 2 0 0 20 0 2 0 340084427 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.71
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 15.4077
CPU time (s): 25.7291
CPU user time (s): 25.3661
CPU system time (s): 0.362944
CPU usage (%): 166.988
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.3661
system time used= 0.362944
maximum resident set size= 510340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21843
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= 1374
involuntary context switches= 1348
runsolver used 0.06299 second user time and 0.108983 second system time
The end