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-3456455-1307221304/watcher-3456455-1307221304 -o /tmp/evaluation-result-3456455-1307221304/solver-3456455-1307221304 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456455-1307221304.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: 1.96 2.05 2.02 2/501 30427
/proc/meminfo: memFree=24426460/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 8206 0 1 0 0 0 0 0 25 0 2 0 912361041 10694979584 7907 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2611079 7919 917 9 0 2602235 0
[pid=30427/tid=30428] ppid=30424 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 7275 0 1 0 0 0 0 0 25 0 2 0 912361041 10694979584 8092 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260905088059 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0824259 s]
/proc/loadavg: 1.96 2.05 2.02 2/501 30427
/proc/meminfo: memFree=24426460/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10538944 CPUtime=0.07 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 12296 0 1 0 5 2 0 0 25 0 18 0 912361041 10791878656 11992 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2634736 11992 1913 9 0 2625470 0
[pid=30427/tid=30428] ppid=30424 vsize=10538944 CPUtime=0.07 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 10926 0 1 0 5 2 0 0 25 0 18 0 912361041 10791878656 11992 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917223391 0 2147483391 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538944
[startup+0.107302 s]
/proc/loadavg: 1.96 2.05 2.02 2/501 30427
/proc/meminfo: memFree=24426460/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10539568 CPUtime=0.12 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 13181 0 1 0 10 2 0 0 25 0 18 0 912361041 10792517632 12877 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2634892 12877 2115 9 0 2625626 0
[pid=30427/tid=30428] ppid=30424 vsize=10539568 CPUtime=0.1 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 11237 0 1 0 8 2 0 0 25 0 18 0 912361041 10792517632 12877 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917220811 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539568
[startup+0.323101 s]
/proc/loadavg: 1.96 2.05 2.02 2/501 30427
/proc/meminfo: memFree=24426460/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10541976 CPUtime=0.57 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 18283 0 1 0 54 3 0 0 25 0 19 0 912361041 10794983424 17301 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2635494 17303 2205 9 0 2626228 0
[pid=30427/tid=30428] ppid=30424 vsize=10541976 CPUtime=0.3 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 14551 0 1 0 28 2 0 0 18 0 19 0 912361041 10794983424 17303 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 46912505620518 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10541976
[startup+0.700144 s]
/proc/loadavg: 1.96 2.05 2.02 2/501 30427
/proc/meminfo: memFree=24426460/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10552268 CPUtime=1.59 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 45363 0 1 0 154 5 0 0 25 0 19 0 912361041 10805522432 40363 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2638067 40364 2222 9 0 2628801 0
[pid=30427/tid=30428] ppid=30424 vsize=10552268 CPUtime=0.68 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 32892 0 1 0 64 4 0 0 18 0 19 0 912361041 10805522432 40366 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 46912505557509 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10552268
[startup+1.50106 s]
/proc/loadavg: 2.13 2.08 2.03 3/520 30447
/proc/meminfo: memFree=24142904/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10552268 CPUtime=2.57 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 104612 0 1 0 246 11 0 0 25 0 19 0 912361041 10805522432 98403 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2638067 98409 2225 9 0 2628801 0
[pid=30427/tid=30428] ppid=30424 vsize=10552268 CPUtime=1.48 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 90859 0 1 0 138 10 0 0 19 0 19 0 912361041 10805522432 98412 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 46912505524972 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30427/tid=30430] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30430/stat : 30430 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 98416 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30431] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30431/stat : 30431 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 98419 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30432] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30432/stat : 30432 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 98422 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30433] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30433/stat : 30433 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 98424 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30434] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30434/stat : 30434 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 98425 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30436] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30436/stat : 30436 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 98425 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30437] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30437/stat : 30437 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 98426 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30438] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30438/stat : 30438 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 98427 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30439] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30439/stat : 30439 (java) S 30424 30427 29646 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912361044 10805522432 98427 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 0 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30440] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30440/stat : 30440 (java) S 30424 30427 29646 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912361044 10805522432 98428 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30441] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30441/stat : 30441 (java) S 30424 30427 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912361044 10805522432 98428 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30442] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30442/stat : 30442 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 98429 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917217713 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30443] ppid=30424 vsize=10552268 CPUtime=0.52 cores=0,2,4,6
/proc/30427/task/30443/stat : 30443 (java) S 30424 30427 29646 0 -1 4202560 5549 0 0 0 52 0 0 0 19 0 19 0 912361046 10805522432 98429 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30444] ppid=30424 vsize=10552268 CPUtime=0.55 cores=0,2,4,6
/proc/30427/task/30444/stat : 30444 (java) S 30424 30427 29646 0 -1 4202560 7052 0 0 0 54 1 0 0 15 0 19 0 912361046 10805522432 98430 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30445] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30445/stat : 30445 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 98430 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30446] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30446/stat : 30446 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912361046 10805522432 98431 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30447] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30447/stat : 30447 (java) S 30424 30427 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912361057 10805522432 98432 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 10552268
[startup+3.1007 s]
/proc/loadavg: 2.13 2.08 2.03 3/520 30447
/proc/meminfo: memFree=23890812/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10552268 CPUtime=4.17 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 158341 0 1 0 401 16 0 0 25 0 19 0 912361041 10805522432 152132 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2638067 152133 2225 9 0 2628801 0
[pid=30427/tid=30428] ppid=30424 vsize=10552268 CPUtime=3.08 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 144580 0 1 0 293 15 0 0 23 0 19 0 912361041 10805522432 152133 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 46912505665546 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30427/tid=30430] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30430/stat : 30430 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 152135 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30431] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30431/stat : 30431 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 152136 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30432] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30432/stat : 30432 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 152138 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30433] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30433/stat : 30433 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 152139 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30434] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30434/stat : 30434 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 152141 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30436] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30436/stat : 30436 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 152141 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30437] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30437/stat : 30437 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 152143 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30438] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30438/stat : 30438 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 152144 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30439] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30439/stat : 30439 (java) S 30424 30427 29646 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912361044 10805522432 152146 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 0 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30440] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30440/stat : 30440 (java) S 30424 30427 29646 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912361044 10805522432 152147 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30441] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30441/stat : 30441 (java) S 30424 30427 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912361044 10805522432 152149 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30442] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30442/stat : 30442 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 152149 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917217713 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30443] ppid=30424 vsize=10552268 CPUtime=0.52 cores=0,2,4,6
/proc/30427/task/30443/stat : 30443 (java) S 30424 30427 29646 0 -1 4202560 5549 0 0 0 52 0 0 0 15 0 19 0 912361046 10805522432 152151 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30444] ppid=30424 vsize=10552268 CPUtime=0.55 cores=0,2,4,6
/proc/30427/task/30444/stat : 30444 (java) S 30424 30427 29646 0 -1 4202560 7052 0 0 0 54 1 0 0 15 0 19 0 912361046 10805522432 152152 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30445] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30445/stat : 30445 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 152154 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30446] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30446/stat : 30446 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912361046 10805522432 152154 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30447] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30447/stat : 30447 (java) S 30424 30427 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912361057 10805522432 152156 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 10552268
[startup+6.30123 s]
/proc/loadavg: 2.12 2.08 2.03 3/520 30447
/proc/meminfo: memFree=23732388/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10552268 CPUtime=7.38 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 180930 0 1 0 719 19 0 0 25 0 19 0 912361041 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2638067 174014 2226 9 0 2628801 0
[pid=30427/tid=30428] ppid=30424 vsize=10552268 CPUtime=6.28 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 167167 0 1 0 611 17 0 0 25 0 19 0 912361041 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 46912505570214 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30427/tid=30430] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30430/stat : 30430 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30431] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30431/stat : 30431 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30432] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30432/stat : 30432 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30433] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30433/stat : 30433 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30434] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30434/stat : 30434 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30436] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30436/stat : 30436 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30437] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30437/stat : 30437 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30438] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30438/stat : 30438 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361043 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30439] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30439/stat : 30439 (java) S 30424 30427 29646 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912361044 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 0 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30440] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30440/stat : 30440 (java) S 30424 30427 29646 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912361044 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30441] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30441/stat : 30441 (java) S 30424 30427 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912361044 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30442] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30442/stat : 30442 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917217713 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30443] ppid=30424 vsize=10552268 CPUtime=0.52 cores=0,2,4,6
/proc/30427/task/30443/stat : 30443 (java) S 30424 30427 29646 0 -1 4202560 5549 0 0 0 52 0 0 0 15 0 19 0 912361046 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30444] ppid=30424 vsize=10552268 CPUtime=0.55 cores=0,2,4,6
/proc/30427/task/30444/stat : 30444 (java) S 30424 30427 29646 0 -1 4202560 7052 0 0 0 54 1 0 0 15 0 19 0 912361046 10805522432 174014 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/30427/task/30441/stat : 30441 (java) S 30424 30427 29646 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912361044 10805522432 701090 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30442] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30442/stat : 30442 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 701090 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917217713 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30443] ppid=30424 vsize=10552268 CPUtime=0.54 cores=0,2,4,6
/proc/30427/task/30443/stat : 30443 (java) S 30424 30427 29646 0 -1 4202560 5559 0 0 0 54 0 0 0 16 0 19 0 912361046 10805522432 701090 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30444] ppid=30424 vsize=10552268 CPUtime=0.56 cores=0,2,4,6
/proc/30427/task/30444/stat : 30444 (java) S 30424 30427 29646 0 -1 4202560 7053 0 0 0 55 1 0 0 15 0 19 0 912361046 10805522432 701090 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30445] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30445/stat : 30445 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 701090 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30446] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30446/stat : 30446 (java) S 30424 30427 29646 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 912361046 10805522432 701090 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30447] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30447/stat : 30447 (java) S 30424 30427 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912361057 10805522432 701090 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1663.55
Current children cumulated vsize (KiB) 10552268
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/520 30493
/proc/meminfo: memFree=18217336/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10552268 CPUtime=1723.57 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 708310 0 1 0 172283 74 0 0 25 0 19 0 912361041 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2638067 701094 2239 9 0 2628801 0
[pid=30427/tid=30428] ppid=30424 vsize=10552268 CPUtime=1722.26 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 651040 0 1 0 172161 65 0 0 25 0 19 0 912361041 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 46912505668409 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30427/tid=30430] ppid=30424 vsize=10552268 CPUtime=0.02 cores=0,2,4,6
/proc/30427/task/30430/stat : 30430 (java) S 30424 30427 29646 0 -1 4202560 7869 0 0 0 1 1 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30431] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30431/stat : 30431 (java) S 30424 30427 29646 0 -1 4202560 3421 0 0 0 0 0 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30432] ppid=30424 vsize=10552268 CPUtime=0.01 cores=0,2,4,6
/proc/30427/task/30432/stat : 30432 (java) S 30424 30427 29646 0 -1 4202560 7441 0 0 0 1 0 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 4 0 0 0
[pid=30427/tid=30433] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30433/stat : 30433 (java) S 30424 30427 29646 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30434] ppid=30424 vsize=10552268 CPUtime=0.02 cores=0,2,4,6
/proc/30427/task/30434/stat : 30434 (java) S 30424 30427 29646 0 -1 4202560 6973 0 0 0 1 1 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30436] ppid=30424 vsize=10552268 CPUtime=0.01 cores=0,2,4,6
/proc/30427/task/30436/stat : 30436 (java) S 30424 30427 29646 0 -1 4202560 4243 0 0 0 1 0 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30437] ppid=30424 vsize=10552268 CPUtime=0.03 cores=0,2,4,6
/proc/30427/task/30437/stat : 30437 (java) S 30424 30427 29646 0 -1 4202560 9730 0 0 0 2 1 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 4 0 0 0
[pid=30427/tid=30438] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30438/stat : 30438 (java) S 30424 30427 29646 0 -1 4202560 3605 0 0 0 0 0 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30439] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30439/stat : 30439 (java) S 30424 30427 29646 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 912361044 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 0 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30440] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30440/stat : 30440 (java) S 30424 30427 29646 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912361044 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30441] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30441/stat : 30441 (java) S 30424 30427 29646 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912361044 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30442] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30442/stat : 30442 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917217713 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30443] ppid=30424 vsize=10552268 CPUtime=0.54 cores=0,2,4,6
/proc/30427/task/30443/stat : 30443 (java) S 30424 30427 29646 0 -1 4202560 5559 0 0 0 54 0 0 0 16 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30444] ppid=30424 vsize=10552268 CPUtime=0.58 cores=0,2,4,6
/proc/30427/task/30444/stat : 30444 (java) S 30424 30427 29646 0 -1 4202560 7058 0 0 0 57 1 0 0 15 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30445] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30445/stat : 30445 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30446] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30446/stat : 30446 (java) S 30424 30427 29646 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30447] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30447/stat : 30447 (java) S 30424 30427 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912361057 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1723.57
Current children cumulated vsize (KiB) 10552268
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/520 30543
/proc/meminfo: memFree=21057600/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10552268 CPUtime=1783.57 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 708314 0 1 0 178283 74 0 0 25 0 19 0 912361041 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2638067 701094 2239 9 0 2628801 0
[pid=30427/tid=30428] ppid=30424 vsize=10552268 CPUtime=1782.26 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 651040 0 1 0 178161 65 0 0 25 0 19 0 912361041 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 46912505567585 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30427/tid=30430] ppid=30424 vsize=10552268 CPUtime=0.02 cores=0,2,4,6
/proc/30427/task/30430/stat : 30430 (java) S 30424 30427 29646 0 -1 4202560 7869 0 0 0 1 1 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30431] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30431/stat : 30431 (java) S 30424 30427 29646 0 -1 4202560 3421 0 0 0 0 0 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30432] ppid=30424 vsize=10552268 CPUtime=0.01 cores=0,2,4,6
/proc/30427/task/30432/stat : 30432 (java) S 30424 30427 29646 0 -1 4202560 7441 0 0 0 1 0 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 4 0 0 0
[pid=30427/tid=30433] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30433/stat : 30433 (java) S 30424 30427 29646 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30434] ppid=30424 vsize=10552268 CPUtime=0.02 cores=0,2,4,6
/proc/30427/task/30434/stat : 30434 (java) S 30424 30427 29646 0 -1 4202560 6973 0 0 0 1 1 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30436] ppid=30424 vsize=10552268 CPUtime=0.01 cores=0,2,4,6
/proc/30427/task/30436/stat : 30436 (java) S 30424 30427 29646 0 -1 4202560 4243 0 0 0 1 0 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30437] ppid=30424 vsize=10552268 CPUtime=0.03 cores=0,2,4,6
/proc/30427/task/30437/stat : 30437 (java) S 30424 30427 29646 0 -1 4202560 9730 0 0 0 2 1 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 4 0 0 0
[pid=30427/tid=30438] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30438/stat : 30438 (java) S 30424 30427 29646 0 -1 4202560 3605 0 0 0 0 0 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30439] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30439/stat : 30439 (java) S 30424 30427 29646 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 912361044 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 0 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30440] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30440/stat : 30440 (java) S 30424 30427 29646 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912361044 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30441] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30441/stat : 30441 (java) S 30424 30427 29646 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912361044 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30442] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30442/stat : 30442 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917217713 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30443] ppid=30424 vsize=10552268 CPUtime=0.54 cores=0,2,4,6
/proc/30427/task/30443/stat : 30443 (java) S 30424 30427 29646 0 -1 4202560 5559 0 0 0 54 0 0 0 16 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30444] ppid=30424 vsize=10552268 CPUtime=0.58 cores=0,2,4,6
/proc/30427/task/30444/stat : 30444 (java) S 30424 30427 29646 0 -1 4202560 7058 0 0 0 57 1 0 0 15 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30445] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30445/stat : 30445 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30446] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30446/stat : 30446 (java) S 30424 30427 29646 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30447] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30447/stat : 30447 (java) S 30424 30427 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912361057 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (KiB) 10552268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 30543
/proc/meminfo: memFree=21040120/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=10552268 CPUtime=1800.09 cores=0,2,4,6
/proc/30427/stat : 30427 (java) S 30424 30427 29646 0 -1 4202496 708314 0 1 0 179935 74 0 0 25 0 19 0 912361041 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 2638067 701094 2239 9 0 2628801 0
[pid=30427/tid=30428] ppid=30424 vsize=10552268 CPUtime=1798.78 cores=0,2,4,6
/proc/30427/task/30428/stat : 30428 (java) R 30424 30427 29646 0 -1 4202560 651040 0 1 0 179813 65 0 0 25 0 19 0 912361041 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 46912505668329 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30427/tid=30430] ppid=30424 vsize=10552268 CPUtime=0.02 cores=0,2,4,6
/proc/30427/task/30430/stat : 30430 (java) S 30424 30427 29646 0 -1 4202560 7869 0 0 0 1 1 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30431] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30431/stat : 30431 (java) S 30424 30427 29646 0 -1 4202560 3421 0 0 0 0 0 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30432] ppid=30424 vsize=10552268 CPUtime=0.01 cores=0,2,4,6
/proc/30427/task/30432/stat : 30432 (java) S 30424 30427 29646 0 -1 4202560 7441 0 0 0 1 0 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 4 0 0 0
[pid=30427/tid=30433] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30433/stat : 30433 (java) S 30424 30427 29646 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30434] ppid=30424 vsize=10552268 CPUtime=0.02 cores=0,2,4,6
/proc/30427/task/30434/stat : 30434 (java) S 30424 30427 29646 0 -1 4202560 6973 0 0 0 1 1 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30436] ppid=30424 vsize=10552268 CPUtime=0.01 cores=0,2,4,6
/proc/30427/task/30436/stat : 30436 (java) S 30424 30427 29646 0 -1 4202560 4243 0 0 0 1 0 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30437] ppid=30424 vsize=10552268 CPUtime=0.03 cores=0,2,4,6
/proc/30427/task/30437/stat : 30437 (java) S 30424 30427 29646 0 -1 4202560 9730 0 0 0 2 1 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 4 0 0 0
[pid=30427/tid=30438] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30438/stat : 30438 (java) S 30424 30427 29646 0 -1 4202560 3605 0 0 0 0 0 0 0 16 0 19 0 912361043 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30439] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30439/stat : 30439 (java) S 30424 30427 29646 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 912361044 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 0 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30440] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30440/stat : 30440 (java) S 30424 30427 29646 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912361044 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30441] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30441/stat : 30441 (java) S 30424 30427 29646 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912361044 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30442] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30442/stat : 30442 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917217713 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30443] ppid=30424 vsize=10552268 CPUtime=0.54 cores=0,2,4,6
/proc/30427/task/30443/stat : 30443 (java) S 30424 30427 29646 0 -1 4202560 5559 0 0 0 54 0 0 0 16 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30444] ppid=30424 vsize=10552268 CPUtime=0.58 cores=0,2,4,6
/proc/30427/task/30444/stat : 30444 (java) S 30424 30427 29646 0 -1 4202560 7058 0 0 0 57 1 0 0 15 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 2 0 0 0
[pid=30427/tid=30445] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30445/stat : 30445 (java) S 30424 30427 29646 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210009 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
[pid=30427/tid=30446] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30446/stat : 30446 (java) S 30424 30427 29646 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912361046 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 0 0 0 0
[pid=30427/tid=30447] ppid=30424 vsize=10552268 CPUtime=0 cores=0,2,4,6
/proc/30427/task/30447/stat : 30447 (java) S 30424 30427 29646 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912361057 10805522432 701094 33554432000 1073741824 1073778376 140737407481632 18446744073709551615 260917210624 0 4 0 16800975 18446604447608683200 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10552268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/520 30543
/proc/meminfo: memFree=21040120/32950928 swapFree=61542356/67111528
[pid=30427] ppid=30424 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/30427/stat : 30427 (java) Z 30424 30427 29646 0 -1 4203548 708343 0 1 0 179936 84 0 0 17 0 2 0 912361041 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30427/statm: 0 0 0 0 0 0 0
[pid=30427/tid=30441] ppid=30424 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/30427/task/30441/stat : 30441 (java) R 30424 30427 29646 0 -1 4203588 9 0 0 0 0 9 0 0 18 0 2 0 912361044 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.93
CPU time (s): 1800.21
CPU user time (s): 1799.36
CPU system time (s): 0.84987
CPU usage (%): 100.071
Max. virtual memory (cumulated for all children) (KiB): 10552268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.84987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 708343
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= 36728
involuntary context switches= 3984
runsolver used 9.26559 second user time and 18.8031 second system time
The end