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-3454205-1307190519/watcher-3454205-1307190519 -o /tmp/evaluation-result-3454205-1307190519/solver-3454205-1307190519 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454205-1307190519.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: 3.66 3.86 3.78 3/551 9233
/proc/meminfo: memFree=11960008/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 1243 0 0 0 0 0 0 0 17 0 2 0 830650590 31268864 963 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 7634 963 736 9 0 385 0
[pid=9233/tid=9234] ppid=9231 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) R 9231 9233 4029 0 -1 4202560 3580 0 1 0 0 0 0 0 18 0 2 0 830650591 10694979584 4396 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0581089 s]
/proc/loadavg: 3.66 3.86 3.78 3/551 9233
/proc/meminfo: memFree=11960008/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10533152 CPUtime=0.04 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 11437 0 1 0 3 1 0 0 17 0 13 0 830650590 10785947648 11135 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2633288 11135 1684 9 0 2624036 0
[pid=9233/tid=9234] ppid=9231 vsize=10533152 CPUtime=0.03 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) R 9231 9233 4029 0 -1 4202560 10289 0 1 0 3 0 0 0 24 0 13 0 830650591 10785947648 11135 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982379487 0 2147483391 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533152
[startup+0.101065 s]
/proc/loadavg: 3.66 3.86 3.78 3/551 9233
/proc/meminfo: memFree=11960008/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10539980 CPUtime=0.09 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 12987 0 1 0 8 1 0 0 17 0 18 0 830650590 10792939520 12653 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2634995 12654 2092 9 0 2625729 0
[pid=9233/tid=9234] ppid=9231 vsize=10539980 CPUtime=0.08 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) R 9231 9233 4029 0 -1 4202560 11056 0 1 0 7 1 0 0 25 0 18 0 830650591 10792939520 12655 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46934721158010 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539980
[startup+0.301064 s]
/proc/loadavg: 3.66 3.86 3.78 3/551 9233
/proc/meminfo: memFree=11960008/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10548968 CPUtime=0.56 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 22939 0 1 0 53 3 0 0 17 0 18 0 830650590 10802143232 19860 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2637242 19861 2198 9 0 2627976 0
[pid=9233/tid=9234] ppid=9231 vsize=10548968 CPUtime=0.28 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) R 9231 9233 4029 0 -1 4202560 13726 0 1 0 27 1 0 0 25 0 18 0 830650591 10802143232 19861 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912505541691 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10548968
[startup+0.701012 s]
/proc/loadavg: 3.66 3.86 3.78 3/551 9233
/proc/meminfo: memFree=11960008/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10549508 CPUtime=1.35 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 53316 0 1 0 129 6 0 0 17 0 18 0 830650590 10802696192 47783 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2637377 47787 2204 9 0 2628111 0
[pid=9233/tid=9234] ppid=9231 vsize=10549508 CPUtime=0.67 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) R 9231 9233 4029 0 -1 4202560 40521 0 1 0 63 4 0 0 25 0 18 0 830650591 10802696192 47789 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912505795377 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 10549508
[startup+1.50083 s]
/proc/loadavg: 3.66 3.86 3.78 4/569 9251
/proc/meminfo: memFree=11678136/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10553620 CPUtime=2.75 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 128228 0 1 0 260 15 0 0 17 0 22 0 830650590 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2638405 122695 2216 9 0 2629139 0
[pid=9233/tid=9234] ppid=9231 vsize=10553620 CPUtime=1.14 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) S 9231 9233 4029 0 -1 4202560 107995 0 1 0 102 12 0 0 25 0 22 0 830650591 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9236] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9236/stat : 9236 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830650592 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9237] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9237/stat : 9237 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9238] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9238/stat : 9238 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9239] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9239/stat : 9239 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9240] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9240/stat : 9240 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9241] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9241/stat : 9241 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9242] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9242/stat : 9242 (java) S 9231 9233 4029 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 830650592 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9243] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9243/stat : 9243 (java) S 9231 9233 4029 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 830650592 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9244] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9244/stat : 9244 (java) S 9231 9233 4029 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830650593 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 0 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9245] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9245/stat : 9245 (java) S 9231 9233 4029 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 830650594 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9246] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9246/stat : 9246 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830650594 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9247] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9247/stat : 9247 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982373809 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9248] ppid=9231 vsize=10553620 CPUtime=0.45 cores=1,3,5,7
/proc/9233/task/9248/stat : 9248 (java) R 9231 9233 4029 0 -1 4202560 7392 0 0 0 45 0 0 0 17 0 22 0 830650596 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46934716591564 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9233/tid=9249] ppid=9231 vsize=10553620 CPUtime=0.47 cores=1,3,5,7
/proc/9233/task/9249/stat : 9249 (java) S 9231 9233 4029 0 -1 4202560 4326 0 0 0 47 0 0 0 15 0 22 0 830650596 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982375796 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9250] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9250/stat : 9250 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9251] ppid=9231 vsize=10553620 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9251/stat : 9251 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830650596 10806906880 122695 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 10553620
[startup+3.10155 s]
/proc/loadavg: 3.66 3.86 3.78 6/573 9255
/proc/meminfo: memFree=11450564/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10553960 CPUtime=6.42 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 148535 0 1 0 624 18 0 0 17 0 22 0 830650590 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2638490 143000 2221 9 0 2629224 0
[pid=9233/tid=9234] ppid=9231 vsize=10553960 CPUtime=1.14 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) S 9231 9233 4029 0 -1 4202560 107995 0 1 0 102 12 0 0 15 0 22 0 830650591 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9236] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9236/stat : 9236 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830650592 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9237] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9237/stat : 9237 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9238] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9238/stat : 9238 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9239] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9239/stat : 9239 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9240] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9240/stat : 9240 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9241] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9241/stat : 9241 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9242] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9242/stat : 9242 (java) S 9231 9233 4029 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 830650592 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9243] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9243/stat : 9243 (java) S 9231 9233 4029 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 830650592 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9244] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9244/stat : 9244 (java) S 9231 9233 4029 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830650593 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 0 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9245] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9245/stat : 9245 (java) S 9231 9233 4029 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 830650594 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9246] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9246/stat : 9246 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830650594 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9247] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9247/stat : 9247 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982373809 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9248] ppid=9231 vsize=10553960 CPUtime=0.67 cores=1,3,5,7
/proc/9233/task/9248/stat : 9248 (java) S 9231 9233 4029 0 -1 4202560 7423 0 0 0 67 0 0 0 16 0 22 0 830650596 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9249] ppid=9231 vsize=10553960 CPUtime=0.72 cores=1,3,5,7
/proc/9233/task/9249/stat : 9249 (java) S 9231 9233 4029 0 -1 4202560 4456 0 0 0 72 0 0 0 16 0 22 0 830650596 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9250] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9250/stat : 9250 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9251] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9251/stat : 9251 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830650596 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9252] ppid=9231 vsize=10553960 CPUtime=1.93 cores=1,3,5,7
/proc/9233/task/9252/stat : 9252 (java) R 9231 9233 4029 0 -1 4202560 871 0 0 0 193 0 0 0 25 0 22 0 830650706 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912505875193 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9233/tid=9253] ppid=9231 vsize=10553960 CPUtime=1.91 cores=1,3,5,7
/proc/9233/task/9253/stat : 9253 (java) R 9231 9233 4029 0 -1 4202560 26622 0 0 0 188 3 0 0 25 0 22 0 830650706 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912506201615 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9233/tid=9254] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9254/stat : 9254 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830650708 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9255] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9255/stat : 9255 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830650709 10807255040 143000 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.42
Current children cumulated vsize (KiB) 10553960
[startup+6.30103 s]
/proc/loadavg: 3.69 3.86 3.78 5/573 9255
/proc/meminfo: memFree=11395440/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10553960 CPUtime=12.85 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 148739 0 1 0 1267 18 0 0 17 0 22 0 830650590 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2638490 142402 2223 9 0 2629224 0
[pid=9233/tid=9234] ppid=9231 vsize=10553960 CPUtime=1.14 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) S 9231 9233 4029 0 -1 4202560 107995 0 1 0 102 12 0 0 15 0 22 0 830650591 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9236] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9236/stat : 9236 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830650592 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9237] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9237/stat : 9237 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9238] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9238/stat : 9238 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9239] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9239/stat : 9239 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9240] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9240/stat : 9240 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9241] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9241/stat : 9241 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830650592 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9242] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9242/stat : 9242 (java) S 9231 9233 4029 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 830650592 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9243] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9243/stat : 9243 (java) S 9231 9233 4029 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 830650592 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9244] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9244/stat : 9244 (java) S 9231 9233 4029 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830650593 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 0 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9245] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9245/stat : 9245 (java) S 9231 9233 4029 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 830650594 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9246] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9246/stat : 9246 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 830650594 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9247] ppid=9231 vsize=10553960 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9247/stat : 9247 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10807255040 142402 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982373809 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=11287124/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10554208 CPUtime=1643.57 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 997159 0 1 0 164241 116 0 0 17 0 22 0 830650590 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2638552 985340 2255 9 0 2629286 0
[pid=9233/tid=9234] ppid=9231 vsize=10554208 CPUtime=1.14 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) S 9231 9233 4029 0 -1 4202560 108000 0 1 0 102 12 0 0 15 0 22 0 830650591 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9236] ppid=9231 vsize=10554208 CPUtime=0.33 cores=1,3,5,7
/proc/9233/task/9236/stat : 9236 (java) S 9231 9233 4029 0 -1 4202560 30507 0 0 0 30 3 0 0 15 0 22 0 830650592 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9237] ppid=9231 vsize=10554208 CPUtime=0.24 cores=1,3,5,7
/proc/9233/task/9237/stat : 9237 (java) S 9231 9233 4029 0 -1 4202560 23035 0 0 0 20 4 0 0 16 0 22 0 830650592 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9238] ppid=9231 vsize=10554208 CPUtime=0.27 cores=1,3,5,7
/proc/9233/task/9238/stat : 9238 (java) S 9231 9233 4029 0 -1 4202560 28027 0 0 0 24 3 0 0 16 0 22 0 830650592 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9239] ppid=9231 vsize=10554208 CPUtime=0.25 cores=1,3,5,7
/proc/9233/task/9239/stat : 9239 (java) S 9231 9233 4029 0 -1 4202560 13492 0 0 0 24 1 0 0 16 0 22 0 830650592 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9240] ppid=9231 vsize=10554208 CPUtime=0.18 cores=1,3,5,7
/proc/9233/task/9240/stat : 9240 (java) S 9231 9233 4029 0 -1 4202560 7022 0 0 0 18 0 0 0 16 0 22 0 830650592 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9241] ppid=9231 vsize=10554208 CPUtime=0.28 cores=1,3,5,7
/proc/9233/task/9241/stat : 9241 (java) S 9231 9233 4029 0 -1 4202560 26747 0 0 0 25 3 0 0 15 0 22 0 830650592 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9242] ppid=9231 vsize=10554208 CPUtime=0.18 cores=1,3,5,7
/proc/9233/task/9242/stat : 9242 (java) S 9231 9233 4029 0 -1 4202560 14139 0 0 0 17 1 0 0 16 0 22 0 830650592 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9243] ppid=9231 vsize=10554208 CPUtime=0.2 cores=1,3,5,7
/proc/9233/task/9243/stat : 9243 (java) S 9231 9233 4029 0 -1 4202560 16766 0 0 0 18 2 0 0 15 0 22 0 830650592 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9244] ppid=9231 vsize=10554208 CPUtime=2.81 cores=1,3,5,7
/proc/9233/task/9244/stat : 9244 (java) S 9231 9233 4029 0 -1 4202560 57857 0 0 0 275 6 0 0 15 0 22 0 830650593 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 0 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9245] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9245/stat : 9245 (java) S 9231 9233 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830650594 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9246] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9246/stat : 9246 (java) S 9231 9233 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830650594 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9247] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9247/stat : 9247 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982373809 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9248] ppid=9231 vsize=10554208 CPUtime=0.97 cores=1,3,5,7
/proc/9233/task/9248/stat : 9248 (java) S 9231 9233 4029 0 -1 4202560 7969 0 0 0 96 1 0 0 15 0 22 0 830650596 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9249] ppid=9231 vsize=10554208 CPUtime=1.27 cores=1,3,5,7
/proc/9233/task/9249/stat : 9249 (java) S 9231 9233 4029 0 -1 4202560 4525 0 0 0 127 0 0 0 15 0 22 0 830650596 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9250] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9250/stat : 9250 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9251] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9251/stat : 9251 (java) S 9231 9233 4029 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830650596 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9252] ppid=9231 vsize=10554208 CPUtime=817.72 cores=1,3,5,7
/proc/9233/task/9252/stat : 9252 (java) R 9231 9233 4029 0 -1 4202560 977 0 0 0 81772 0 0 0 25 0 22 0 830650706 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912505680306 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9233/tid=9253] ppid=9231 vsize=10554208 CPUtime=817.56 cores=1,3,5,7
/proc/9233/task/9253/stat : 9253 (java) R 9231 9233 4029 0 -1 4202560 656892 0 0 0 81684 72 0 0 25 0 22 0 830650706 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912505884056 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9233/tid=9254] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9254/stat : 9254 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830650708 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9255] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9255/stat : 9255 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830650709 10807508992 985340 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1643.57
Current children cumulated vsize (KiB) 10554208
[startup+882.301 s]
/proc/loadavg: 2.06 2.20 2.82 3/546 9299
/proc/meminfo: memFree=11217296/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10554208 CPUtime=1763.32 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 1015884 0 1 0 176212 120 0 0 17 0 22 0 830650590 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2638552 1002947 2255 9 0 2629286 0
[pid=9233/tid=9234] ppid=9231 vsize=10554208 CPUtime=1.14 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) R 9231 9233 4029 0 -1 4202560 108002 0 1 0 102 12 0 0 15 0 22 0 830650591 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9233/tid=9236] ppid=9231 vsize=10554208 CPUtime=0.38 cores=1,3,5,7
/proc/9233/task/9236/stat : 9236 (java) S 9231 9233 4029 0 -1 4202560 33747 0 0 0 34 4 0 0 16 0 22 0 830650592 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9237] ppid=9231 vsize=10554208 CPUtime=0.25 cores=1,3,5,7
/proc/9233/task/9237/stat : 9237 (java) S 9231 9233 4029 0 -1 4202560 23205 0 0 0 21 4 0 0 15 0 22 0 830650592 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9238] ppid=9231 vsize=10554208 CPUtime=0.3 cores=1,3,5,7
/proc/9233/task/9238/stat : 9238 (java) S 9231 9233 4029 0 -1 4202560 29605 0 0 0 27 3 0 0 15 0 22 0 830650592 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9239] ppid=9231 vsize=10554208 CPUtime=0.27 cores=1,3,5,7
/proc/9233/task/9239/stat : 9239 (java) S 9231 9233 4029 0 -1 4202560 13525 0 0 0 26 1 0 0 15 0 22 0 830650592 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9240] ppid=9231 vsize=10554208 CPUtime=0.23 cores=1,3,5,7
/proc/9233/task/9240/stat : 9240 (java) S 9231 9233 4029 0 -1 4202560 12821 0 0 0 21 2 0 0 16 0 22 0 830650592 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9241] ppid=9231 vsize=10554208 CPUtime=0.32 cores=1,3,5,7
/proc/9233/task/9241/stat : 9241 (java) S 9231 9233 4029 0 -1 4202560 30119 0 0 0 28 4 0 0 16 0 22 0 830650592 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9242] ppid=9231 vsize=10554208 CPUtime=0.19 cores=1,3,5,7
/proc/9233/task/9242/stat : 9242 (java) S 9231 9233 4029 0 -1 4202560 14419 0 0 0 18 1 0 0 16 0 22 0 830650592 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9243] ppid=9231 vsize=10554208 CPUtime=0.23 cores=1,3,5,7
/proc/9233/task/9243/stat : 9243 (java) S 9231 9233 4029 0 -1 4202560 20893 0 0 0 20 3 0 0 15 0 22 0 830650592 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9244] ppid=9231 vsize=10554208 CPUtime=3.17 cores=1,3,5,7
/proc/9233/task/9244/stat : 9244 (java) S 9231 9233 4029 0 -1 4202560 57973 0 0 0 311 6 0 0 15 0 22 0 830650593 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 0 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9245] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9245/stat : 9245 (java) S 9231 9233 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830650594 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9246] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9246/stat : 9246 (java) S 9231 9233 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830650594 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9247] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9247/stat : 9247 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982373809 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9248] ppid=9231 vsize=10554208 CPUtime=0.97 cores=1,3,5,7
/proc/9233/task/9248/stat : 9248 (java) S 9231 9233 4029 0 -1 4202560 7969 0 0 0 96 1 0 0 15 0 22 0 830650596 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9249] ppid=9231 vsize=10554208 CPUtime=1.27 cores=1,3,5,7
/proc/9233/task/9249/stat : 9249 (java) S 9231 9233 4029 0 -1 4202560 4525 0 0 0 127 0 0 0 15 0 22 0 830650596 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9250] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9250/stat : 9250 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9251] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9251/stat : 9251 (java) S 9231 9233 4029 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 830650596 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9252] ppid=9231 vsize=10554208 CPUtime=877.31 cores=1,3,5,7
/proc/9233/task/9252/stat : 9252 (java) R 9231 9233 4029 0 -1 4202560 980 0 0 0 87731 0 0 0 25 0 22 0 830650706 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912505868000 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9233/tid=9253] ppid=9231 vsize=10554208 CPUtime=877.15 cores=1,3,5,7
/proc/9233/task/9253/stat : 9253 (java) R 9231 9233 4029 0 -1 4202560 656893 0 0 0 87643 72 0 0 25 0 22 0 830650706 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912506201600 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9233/tid=9254] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9254/stat : 9254 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830650708 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9255] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9255/stat : 9255 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830650709 10807508992 1002947 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1763.32
Current children cumulated vsize (KiB) 10554208
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.601 s]
/proc/loadavg: 2.04 2.19 2.80 3/546 9299
/proc/meminfo: memFree=11121068/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=10554208 CPUtime=1800.05 cores=1,3,5,7
/proc/9233/stat : 9233 (java) S 9231 9233 4029 0 -1 4202496 1041091 0 1 0 179880 125 0 0 17 0 22 0 830650590 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 2638552 1026965 2255 9 0 2629286 0
[pid=9233/tid=9234] ppid=9231 vsize=10554208 CPUtime=1.14 cores=1,3,5,7
/proc/9233/task/9234/stat : 9234 (java) S 9231 9233 4029 0 -1 4202560 108002 0 1 0 102 12 0 0 15 0 22 0 830650591 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9236] ppid=9231 vsize=10554208 CPUtime=0.41 cores=1,3,5,7
/proc/9233/task/9236/stat : 9236 (java) S 9231 9233 4029 0 -1 4202560 34843 0 0 0 37 4 0 0 15 0 22 0 830650592 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9237] ppid=9231 vsize=10554208 CPUtime=0.25 cores=1,3,5,7
/proc/9233/task/9237/stat : 9237 (java) S 9231 9233 4029 0 -1 4202560 23205 0 0 0 21 4 0 0 15 0 22 0 830650592 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9238] ppid=9231 vsize=10554208 CPUtime=0.31 cores=1,3,5,7
/proc/9233/task/9238/stat : 9238 (java) S 9231 9233 4029 0 -1 4202560 29641 0 0 0 28 3 0 0 16 0 22 0 830650592 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9239] ppid=9231 vsize=10554208 CPUtime=0.31 cores=1,3,5,7
/proc/9233/task/9239/stat : 9239 (java) S 9231 9233 4029 0 -1 4202560 19572 0 0 0 29 2 0 0 16 0 22 0 830650592 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9240] ppid=9231 vsize=10554208 CPUtime=0.23 cores=1,3,5,7
/proc/9233/task/9240/stat : 9240 (java) S 9231 9233 4029 0 -1 4202560 13015 0 0 0 21 2 0 0 16 0 22 0 830650592 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9241] ppid=9231 vsize=10554208 CPUtime=0.37 cores=1,3,5,7
/proc/9233/task/9241/stat : 9241 (java) S 9231 9233 4029 0 -1 4202560 37169 0 0 0 32 5 0 0 16 0 22 0 830650592 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9242] ppid=9231 vsize=10554208 CPUtime=0.24 cores=1,3,5,7
/proc/9233/task/9242/stat : 9242 (java) S 9231 9233 4029 0 -1 4202560 20095 0 0 0 22 2 0 0 15 0 22 0 830650592 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
[pid=9233/tid=9243] ppid=9231 vsize=10554208 CPUtime=0.28 cores=1,3,5,7
/proc/9233/task/9243/stat : 9243 (java) S 9231 9233 4029 0 -1 4202560 25992 0 0 0 24 4 0 0 15 0 22 0 830650592 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9244] ppid=9231 vsize=10554208 CPUtime=3.17 cores=1,3,5,7
/proc/9233/task/9244/stat : 9244 (java) S 9231 9233 4029 0 -1 4202560 57975 0 0 0 311 6 0 0 15 0 22 0 830650593 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 0 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9245] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9245/stat : 9245 (java) S 9231 9233 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830650594 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9246] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9246/stat : 9246 (java) S 9231 9233 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830650594 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9247] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9247/stat : 9247 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982373809 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9248] ppid=9231 vsize=10554208 CPUtime=0.97 cores=1,3,5,7
/proc/9233/task/9248/stat : 9248 (java) S 9231 9233 4029 0 -1 4202560 7969 0 0 0 96 1 0 0 15 0 22 0 830650596 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 1 0 0 0
[pid=9233/tid=9249] ppid=9231 vsize=10554208 CPUtime=1.27 cores=1,3,5,7
/proc/9233/task/9249/stat : 9249 (java) S 9231 9233 4029 0 -1 4202560 4525 0 0 0 127 0 0 0 15 0 22 0 830650596 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9250] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9250/stat : 9250 (java) S 9231 9233 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830650596 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366105 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9251] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9251/stat : 9251 (java) S 9231 9233 4029 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830650596 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 5 0 0 0
[pid=9233/tid=9252] ppid=9231 vsize=10554208 CPUtime=895.55 cores=1,3,5,7
/proc/9233/task/9252/stat : 9252 (java) R 9231 9233 4029 0 -1 4202560 982 0 0 0 89555 0 0 0 25 0 22 0 830650706 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912505868037 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9233/tid=9253] ppid=9231 vsize=10554208 CPUtime=895.4 cores=1,3,5,7
/proc/9233/task/9253/stat : 9253 (java) R 9231 9233 4029 0 -1 4202560 656896 0 0 0 89468 72 0 0 25 0 22 0 830650706 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 46912505592401 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9233/tid=9254] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9254/stat : 9254 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830650708 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 3 0 0 0
[pid=9233/tid=9255] ppid=9231 vsize=10554208 CPUtime=0 cores=1,3,5,7
/proc/9233/task/9255/stat : 9255 (java) S 9231 9233 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830650709 10807508992 1026965 33554432000 1073741824 1073778376 140735326172480 18446744073709551615 242982366720 0 4 0 16800975 18446604459089225856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10554208
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.726 s]
/proc/loadavg: 2.04 2.19 2.80 3/546 9299
/proc/meminfo: memFree=11121068/32951132 swapFree=46579808/67111528
[pid=9233] ppid=9231 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/9233/stat : 9233 (java) Z 9231 9233 4029 0 -1 4203548 1041133 0 1 0 179887 133 0 0 15 0 2 0 830650590 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9233/statm: 0 0 0 0 0 0 0
[pid=9233/tid=9252] ppid=9231 vsize=0 CPUtime=895.65 cores=1,3,5,7
/proc/9233/task/9252/stat : 9252 (java) R 9231 9233 4029 0 -1 4203588 982 0 0 0 89557 8 0 0 25 0 2 0 830650706 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 900.797
CPU time (s): 1800.28
CPU user time (s): 1798.88
CPU system time (s): 1.40679
CPU usage (%): 199.854
Max. virtual memory (cumulated for all children) (KiB): 10554208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.40679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1041133
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= 21947
involuntary context switches= 20512
runsolver used 4.49632 second user time and 11.9202 second system time
The end