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-3457011-1307215866/watcher-3457011-1307215866 -o /tmp/evaluation-result-3457011-1307215866/solver-3457011-1307215866 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457011-1307215866.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: 0.00 0.00 0.00 2/454 15729
/proc/meminfo: memFree=24579220/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 4325 0 1 0 0 0 0 0 22 0 2 0 814002240 10694979584 4027 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2611079 4039 917 9 0 2602235 0
[pid=15729/tid=15730] ppid=15727 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 5776 0 1 0 0 0 0 0 24 0 2 0 814002240 10694979584 6592 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0798901 s]
/proc/loadavg: 0.00 0.00 0.00 2/454 15729
/proc/meminfo: memFree=24579220/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 12057 0 1 0 5 2 0 0 22 0 18 0 814002240 10724442112 11754 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2618272 11754 1755 9 0 2609006 0
[pid=15729/tid=15730] ppid=15727 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 10883 0 1 0 5 1 0 0 25 0 18 0 814002240 10724442112 11754 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350210507 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.100871 s]
/proc/loadavg: 0.00 0.00 0.00 2/454 15729
/proc/meminfo: memFree=24579220/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10539444 CPUtime=0.11 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 13125 0 1 0 9 2 0 0 22 0 18 0 814002240 10792390656 12778 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2634861 12778 2092 9 0 2625595 0
[pid=15729/tid=15730] ppid=15727 vsize=10539444 CPUtime=0.08 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 11174 0 1 0 7 1 0 0 25 0 18 0 814002240 10792390656 12778 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 47785403899909 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539444
[startup+0.305768 s]
/proc/loadavg: 0.00 0.00 0.00 2/454 15729
/proc/meminfo: memFree=24579220/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10542272 CPUtime=0.51 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 16132 0 1 0 48 3 0 0 22 0 19 0 814002240 10795286528 15332 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2635568 15332 2209 9 0 2626302 0
[pid=15729/tid=15730] ppid=15727 vsize=10542272 CPUtime=0.29 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 12984 0 1 0 27 2 0 0 25 0 19 0 814002240 10795286528 15332 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 46912505227952 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10542272
[startup+0.700718 s]
/proc/loadavg: 0.00 0.00 0.00 2/454 15729
/proc/meminfo: memFree=24579220/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10556144 CPUtime=1.6 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 41773 0 1 0 155 5 0 0 22 0 19 0 814002240 10809491456 38820 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2639036 38822 2221 9 0 2629770 0
[pid=15729/tid=15730] ppid=15727 vsize=10556144 CPUtime=0.69 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 30264 0 1 0 65 4 0 0 25 0 19 0 814002240 10809491456 38823 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10556144
[startup+1.50159 s]
/proc/loadavg: 0.00 0.00 0.00 3/474 15749
/proc/meminfo: memFree=24052256/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10556144 CPUtime=2.62 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 125658 0 1 0 245 17 0 0 22 0 19 0 814002240 10809491456 122704 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2639036 122708 2225 9 0 2629770 0
[pid=15729/tid=15730] ppid=15727 vsize=10556144 CPUtime=1.49 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 114115 0 1 0 133 16 0 0 25 0 19 0 814002240 10809491456 122710 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 46912505658239 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15729/tid=15732] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15732/stat : 15732 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 122712 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15733] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15733/stat : 15733 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 122714 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15734] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15734/stat : 15734 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 122715 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15735] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15735/stat : 15735 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 122717 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15736] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15736/stat : 15736 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 122718 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15737] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15737/stat : 15737 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 122720 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15738] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15738/stat : 15738 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 122721 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15739] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15739/stat : 15739 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 122723 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15740] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15740/stat : 15740 (java) S 15727 15729 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002243 10809491456 122725 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 0 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15741] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15741/stat : 15741 (java) S 15727 15729 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002243 10809491456 122728 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15742] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15742/stat : 15742 (java) S 15727 15729 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002243 10809491456 122733 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15743] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15743/stat : 15743 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10809491456 122738 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350207409 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15744] ppid=15727 vsize=10556144 CPUtime=0.6 cores=1,3,5,7
/proc/15729/task/15744/stat : 15744 (java) S 15727 15729 15674 0 -1 4202560 4776 0 0 0 60 0 0 0 20 0 19 0 814002245 10809491456 122742 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15745] ppid=15727 vsize=10556144 CPUtime=0.51 cores=1,3,5,7
/proc/15729/task/15745/stat : 15745 (java) S 15727 15729 15674 0 -1 4202560 5613 0 0 0 51 0 0 0 15 0 19 0 814002245 10809491456 122746 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15746] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15746/stat : 15746 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10809491456 122751 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15747] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15747/stat : 15747 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002245 10809491456 122755 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15749] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15749/stat : 15749 (java) S 15727 15729 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002269 10809491456 122759 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10556144
[startup+3.10127 s]
/proc/loadavg: 0.16 0.03 0.01 4/474 15749
/proc/meminfo: memFree=23158192/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10556144 CPUtime=4.34 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 287272 0 1 0 401 33 0 0 22 0 19 0 814002240 10809491456 284318 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2639036 284324 2225 9 0 2629770 0
[pid=15729/tid=15730] ppid=15727 vsize=10556144 CPUtime=3.08 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 275710 0 1 0 277 31 0 0 25 0 19 0 814002240 10809491456 284327 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 46912505658239 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15729/tid=15732] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15732/stat : 15732 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 284330 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15733] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15733/stat : 15733 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 284334 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15734] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15734/stat : 15734 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 284338 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15735] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15735/stat : 15735 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 284341 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15736] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15736/stat : 15736 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 284344 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15737] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15737/stat : 15737 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 284347 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15738] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15738/stat : 15738 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 284349 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15739] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15739/stat : 15739 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10809491456 284351 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15740] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15740/stat : 15740 (java) S 15727 15729 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002243 10809491456 284354 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 0 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15741] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15741/stat : 15741 (java) S 15727 15729 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002243 10809491456 284355 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15742] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15742/stat : 15742 (java) S 15727 15729 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002243 10809491456 284357 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15743] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15743/stat : 15743 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10809491456 284360 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350207409 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15744] ppid=15727 vsize=10556144 CPUtime=0.67 cores=1,3,5,7
/proc/15729/task/15744/stat : 15744 (java) S 15727 15729 15674 0 -1 4202560 4783 0 0 0 67 0 0 0 15 0 19 0 814002245 10809491456 284365 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15745] ppid=15727 vsize=10556144 CPUtime=0.55 cores=1,3,5,7
/proc/15729/task/15745/stat : 15745 (java) S 15727 15729 15674 0 -1 4202560 5628 0 0 0 55 0 0 0 15 0 19 0 814002245 10809491456 284369 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15746] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15746/stat : 15746 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10809491456 284373 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15747] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15747/stat : 15747 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002245 10809491456 284378 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15749] ppid=15727 vsize=10556144 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15749/stat : 15749 (java) S 15727 15729 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002269 10809491456 284382 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10556144
[startup+6.30065 s]
/proc/loadavg: 0.16 0.03 0.01 3/474 15749
/proc/meminfo: memFree=20589480/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10553604 CPUtime=7.56 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 588176 0 1 0 692 64 0 0 22 0 19 0 814002240 10806890496 584612 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2638401 584613 2226 9 0 2629135 0
[pid=15729/tid=15730] ppid=15727 vsize=10553604 CPUtime=6.29 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 576605 0 1 0 567 62 0 0 25 0 19 0 814002240 10806890496 584614 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 46912505772222 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15729/tid=15732] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15732/stat : 15732 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10806890496 584615 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15733] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15733/stat : 15733 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10806890496 584616 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15734] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15734/stat : 15734 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10806890496 584616 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15735] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15735/stat : 15735 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10806890496 584617 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15736] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15736/stat : 15736 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10806890496 584618 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15737] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15737/stat : 15737 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10806890496 584620 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15738] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15738/stat : 15738 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10806890496 584621 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15739] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15739/stat : 15739 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002242 10806890496 584622 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15740] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15740/stat : 15740 (java) S 15727 15729 15674 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814002243 10806890496 584623 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 0 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15741] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15741/stat : 15741 (java) S 15727 15729 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002243 10806890496 584624 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15742] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15742/stat : 15742 (java) S 15727 15729 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002243 10806890496 584625 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15743] ppid=15727 vsize=10553604 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15743/stat : 15743 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10806890496 584626 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350207409 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15744] ppid=15727 vsize=10553604 CPUtime=0.68 cores=1,3,5,7
/proc/15729/task/15744/stat : 15744 (java) S 15727 15729 15674 0 -1 4202560 4783 0 0 0 68 0 0 0 15 0 19 0 814002245 10806890496 584627 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15745] ppid=15727 vsize=10553604 CPUtime=0.56 cores=1,3,5,7
/proc/15729/task/15745/stat : 15745 (java) S 15727 15729 15674 0 -1 4202560 5628 0 0 0 56 0 0 0 15 0 19 0 814002245 10806890496 584628 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/15729/task/15741/stat : 15741 (java) S 15727 15729 15674 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814002243 10807730176 916706 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15742] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15742/stat : 15742 (java) S 15727 15729 15674 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002243 10807730176 916706 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15743] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15743/stat : 15743 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10807730176 916706 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350207409 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15744] ppid=15727 vsize=10554424 CPUtime=1.3 cores=1,3,5,7
/proc/15729/task/15744/stat : 15744 (java) S 15727 15729 15674 0 -1 4202560 6278 0 0 0 130 0 0 0 15 0 19 0 814002245 10807730176 916706 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15745] ppid=15727 vsize=10554424 CPUtime=0.6 cores=1,3,5,7
/proc/15729/task/15745/stat : 15745 (java) S 15727 15729 15674 0 -1 4202560 5633 0 0 0 60 0 0 0 15 0 19 0 814002245 10807730176 916706 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15746] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15746/stat : 15746 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10807730176 916706 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15747] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15747/stat : 15747 (java) S 15727 15729 15674 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 814002245 10807730176 916706 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15749] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15749/stat : 15749 (java) S 15727 15729 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002269 10807730176 916706 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.19
Current children cumulated vsize (KiB) 10554424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/474 15795
/proc/meminfo: memFree=17283208/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10554424 CPUtime=1727.28 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 922697 0 1 0 172625 103 0 0 22 0 19 0 814002240 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2638606 916737 2256 9 0 2629340 0
[pid=15729/tid=15730] ppid=15727 vsize=10554424 CPUtime=1719.77 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 835218 0 1 0 171887 90 0 0 25 0 19 0 814002240 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 46912505678990 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15729/tid=15732] ppid=15727 vsize=10554424 CPUtime=0.6 cores=1,3,5,7
/proc/15729/task/15732/stat : 15732 (java) S 15727 15729 15674 0 -1 4202560 9837 0 0 0 58 2 0 0 16 0 19 0 814002242 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15733] ppid=15727 vsize=10554424 CPUtime=0.56 cores=1,3,5,7
/proc/15729/task/15733/stat : 15733 (java) S 15727 15729 15674 0 -1 4202560 6521 0 0 0 56 0 0 0 15 0 19 0 814002242 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15734] ppid=15727 vsize=10554424 CPUtime=0.61 cores=1,3,5,7
/proc/15729/task/15734/stat : 15734 (java) S 15727 15729 15674 0 -1 4202560 8802 0 0 0 61 0 0 0 16 0 19 0 814002242 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15735] ppid=15727 vsize=10554424 CPUtime=0.52 cores=1,3,5,7
/proc/15729/task/15735/stat : 15735 (java) S 15727 15729 15674 0 -1 4202560 7590 0 0 0 52 0 0 0 15 0 19 0 814002242 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15736] ppid=15727 vsize=10554424 CPUtime=0.64 cores=1,3,5,7
/proc/15729/task/15736/stat : 15736 (java) S 15727 15729 15674 0 -1 4202560 8515 0 0 0 64 0 0 0 15 0 19 0 814002242 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15737] ppid=15727 vsize=10554424 CPUtime=0.6 cores=1,3,5,7
/proc/15729/task/15737/stat : 15737 (java) S 15727 15729 15674 0 -1 4202560 6748 0 0 0 59 1 0 0 15 0 19 0 814002242 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15738] ppid=15727 vsize=10554424 CPUtime=0.5 cores=1,3,5,7
/proc/15729/task/15738/stat : 15738 (java) S 15727 15729 15674 0 -1 4202560 9542 0 0 0 49 1 0 0 16 0 19 0 814002242 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15739] ppid=15727 vsize=10554424 CPUtime=0.51 cores=1,3,5,7
/proc/15729/task/15739/stat : 15739 (java) S 15727 15729 15674 0 -1 4202560 7541 0 0 0 51 0 0 0 15 0 19 0 814002242 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15740] ppid=15727 vsize=10554424 CPUtime=0.94 cores=1,3,5,7
/proc/15729/task/15740/stat : 15740 (java) S 15727 15729 15674 0 -1 4202560 9222 0 0 0 93 1 0 0 15 0 19 0 814002243 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 0 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15741] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15741/stat : 15741 (java) S 15727 15729 15674 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814002243 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15742] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15742/stat : 15742 (java) S 15727 15729 15674 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002243 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15743] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15743/stat : 15743 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350207409 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15744] ppid=15727 vsize=10554424 CPUtime=1.3 cores=1,3,5,7
/proc/15729/task/15744/stat : 15744 (java) S 15727 15729 15674 0 -1 4202560 6278 0 0 0 130 0 0 0 15 0 19 0 814002245 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15745] ppid=15727 vsize=10554424 CPUtime=0.6 cores=1,3,5,7
/proc/15729/task/15745/stat : 15745 (java) S 15727 15729 15674 0 -1 4202560 5633 0 0 0 60 0 0 0 15 0 19 0 814002245 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15746] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15746/stat : 15746 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15747] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15747/stat : 15747 (java) S 15727 15729 15674 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 814002245 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15749] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15749/stat : 15749 (java) S 15727 15729 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002269 10807730176 916737 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.28
Current children cumulated vsize (KiB) 10554424
[startup+1782.3 s]
/proc/loadavg: 2.15 2.03 1.70 3/474 15796
/proc/meminfo: memFree=17281552/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10554424 CPUtime=1787.38 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 922780 0 1 0 178635 103 0 0 22 0 19 0 814002240 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2638606 916810 2256 9 0 2629340 0
[pid=15729/tid=15730] ppid=15727 vsize=10554424 CPUtime=1779.7 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 835222 0 1 0 177880 90 0 0 25 0 19 0 814002240 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 46912505772134 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15729/tid=15732] ppid=15727 vsize=10554424 CPUtime=0.62 cores=1,3,5,7
/proc/15729/task/15732/stat : 15732 (java) S 15727 15729 15674 0 -1 4202560 9840 0 0 0 60 2 0 0 15 0 19 0 814002242 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15733] ppid=15727 vsize=10554424 CPUtime=0.58 cores=1,3,5,7
/proc/15729/task/15733/stat : 15733 (java) S 15727 15729 15674 0 -1 4202560 6523 0 0 0 58 0 0 0 15 0 19 0 814002242 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15734] ppid=15727 vsize=10554424 CPUtime=0.63 cores=1,3,5,7
/proc/15729/task/15734/stat : 15734 (java) S 15727 15729 15674 0 -1 4202560 8811 0 0 0 63 0 0 0 15 0 19 0 814002242 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15735] ppid=15727 vsize=10554424 CPUtime=0.56 cores=1,3,5,7
/proc/15729/task/15735/stat : 15735 (java) S 15727 15729 15674 0 -1 4202560 7602 0 0 0 56 0 0 0 16 0 19 0 814002242 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15736] ppid=15727 vsize=10554424 CPUtime=0.64 cores=1,3,5,7
/proc/15729/task/15736/stat : 15736 (java) S 15727 15729 15674 0 -1 4202560 8518 0 0 0 64 0 0 0 15 0 19 0 814002242 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15737] ppid=15727 vsize=10554424 CPUtime=0.61 cores=1,3,5,7
/proc/15729/task/15737/stat : 15737 (java) S 15727 15729 15674 0 -1 4202560 6765 0 0 0 60 1 0 0 15 0 19 0 814002242 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15738] ppid=15727 vsize=10554424 CPUtime=0.52 cores=1,3,5,7
/proc/15729/task/15738/stat : 15738 (java) S 15727 15729 15674 0 -1 4202560 9552 0 0 0 51 1 0 0 15 0 19 0 814002242 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15739] ppid=15727 vsize=10554424 CPUtime=0.55 cores=1,3,5,7
/proc/15729/task/15739/stat : 15739 (java) S 15727 15729 15674 0 -1 4202560 7558 0 0 0 54 1 0 0 16 0 19 0 814002242 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15740] ppid=15727 vsize=10554424 CPUtime=0.94 cores=1,3,5,7
/proc/15729/task/15740/stat : 15740 (java) S 15727 15729 15674 0 -1 4202560 9226 0 0 0 93 1 0 0 15 0 19 0 814002243 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 0 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15741] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15741/stat : 15741 (java) S 15727 15729 15674 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814002243 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15742] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15742/stat : 15742 (java) S 15727 15729 15674 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002243 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15743] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15743/stat : 15743 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350207409 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15744] ppid=15727 vsize=10554424 CPUtime=1.3 cores=1,3,5,7
/proc/15729/task/15744/stat : 15744 (java) S 15727 15729 15674 0 -1 4202560 6278 0 0 0 130 0 0 0 15 0 19 0 814002245 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15745] ppid=15727 vsize=10554424 CPUtime=0.6 cores=1,3,5,7
/proc/15729/task/15745/stat : 15745 (java) S 15727 15729 15674 0 -1 4202560 5633 0 0 0 60 0 0 0 15 0 19 0 814002245 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15746] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15746/stat : 15746 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15747] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15747/stat : 15747 (java) S 15727 15729 15674 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 814002245 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15749] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15749/stat : 15749 (java) S 15727 15729 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002269 10807730176 916810 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.38
Current children cumulated vsize (KiB) 10554424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.12 2.03 1.70 3/474 15806
/proc/meminfo: memFree=17280052/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=10554424 CPUtime=1800.02 cores=1,3,5,7
/proc/15729/stat : 15729 (java) S 15727 15729 15674 0 -1 4202496 922795 0 1 0 179899 103 0 0 22 0 19 0 814002240 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 2638606 916822 2256 9 0 2629340 0
[pid=15729/tid=15730] ppid=15727 vsize=10554424 CPUtime=1792.31 cores=1,3,5,7
/proc/15729/task/15730/stat : 15730 (java) R 15727 15729 15674 0 -1 4202560 835223 0 1 0 179141 90 0 0 25 0 19 0 814002240 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 46912505688773 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15729/tid=15732] ppid=15727 vsize=10554424 CPUtime=0.62 cores=1,3,5,7
/proc/15729/task/15732/stat : 15732 (java) S 15727 15729 15674 0 -1 4202560 9840 0 0 0 60 2 0 0 15 0 19 0 814002242 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15733] ppid=15727 vsize=10554424 CPUtime=0.58 cores=1,3,5,7
/proc/15729/task/15733/stat : 15733 (java) S 15727 15729 15674 0 -1 4202560 6523 0 0 0 58 0 0 0 16 0 19 0 814002242 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15734] ppid=15727 vsize=10554424 CPUtime=0.63 cores=1,3,5,7
/proc/15729/task/15734/stat : 15734 (java) S 15727 15729 15674 0 -1 4202560 8811 0 0 0 63 0 0 0 15 0 19 0 814002242 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15735] ppid=15727 vsize=10554424 CPUtime=0.56 cores=1,3,5,7
/proc/15729/task/15735/stat : 15735 (java) S 15727 15729 15674 0 -1 4202560 7602 0 0 0 56 0 0 0 15 0 19 0 814002242 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15736] ppid=15727 vsize=10554424 CPUtime=0.66 cores=1,3,5,7
/proc/15729/task/15736/stat : 15736 (java) S 15727 15729 15674 0 -1 4202560 8524 0 0 0 66 0 0 0 16 0 19 0 814002242 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15737] ppid=15727 vsize=10554424 CPUtime=0.61 cores=1,3,5,7
/proc/15729/task/15737/stat : 15737 (java) S 15727 15729 15674 0 -1 4202560 6765 0 0 0 60 1 0 0 15 0 19 0 814002242 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15738] ppid=15727 vsize=10554424 CPUtime=0.53 cores=1,3,5,7
/proc/15729/task/15738/stat : 15738 (java) S 15727 15729 15674 0 -1 4202560 9558 0 0 0 52 1 0 0 16 0 19 0 814002242 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15739] ppid=15727 vsize=10554424 CPUtime=0.56 cores=1,3,5,7
/proc/15729/task/15739/stat : 15739 (java) S 15727 15729 15674 0 -1 4202560 7558 0 0 0 55 1 0 0 16 0 19 0 814002242 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15740] ppid=15727 vsize=10554424 CPUtime=0.94 cores=1,3,5,7
/proc/15729/task/15740/stat : 15740 (java) S 15727 15729 15674 0 -1 4202560 9226 0 0 0 93 1 0 0 15 0 19 0 814002243 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 0 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15741] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15741/stat : 15741 (java) S 15727 15729 15674 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814002243 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15742] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15742/stat : 15742 (java) S 15727 15729 15674 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002243 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15743] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15743/stat : 15743 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350207409 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15744] ppid=15727 vsize=10554424 CPUtime=1.3 cores=1,3,5,7
/proc/15729/task/15744/stat : 15744 (java) S 15727 15729 15674 0 -1 4202560 6278 0 0 0 130 0 0 0 15 0 19 0 814002245 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 5 0 0 0
[pid=15729/tid=15745] ppid=15727 vsize=10554424 CPUtime=0.6 cores=1,3,5,7
/proc/15729/task/15745/stat : 15745 (java) S 15727 15729 15674 0 -1 4202560 5633 0 0 0 60 0 0 0 15 0 19 0 814002245 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
[pid=15729/tid=15746] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15746/stat : 15746 (java) S 15727 15729 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002245 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350199705 0 4 0 16800975 18446604457787924928 0 0 -1 3 0 0 0
[pid=15729/tid=15747] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15747/stat : 15747 (java) S 15727 15729 15674 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 814002245 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 1 0 0 0
[pid=15729/tid=15749] ppid=15727 vsize=10554424 CPUtime=0 cores=1,3,5,7
/proc/15729/task/15749/stat : 15749 (java) S 15727 15729 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002269 10807730176 916822 33554432000 1073741824 1073778376 140733406324384 18446744073709551615 270350200320 0 4 0 16800975 18446604457787924928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10554424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.03 s]
/proc/loadavg: 2.12 2.03 1.70 3/474 15806
/proc/meminfo: memFree=17280052/32951124 swapFree=50923800/67111528
[pid=15729] ppid=15727 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/15729/stat : 15729 (java) Z 15727 15729 15674 0 -1 4203548 922834 0 1 0 179905 110 0 0 17 0 2 0 814002240 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15729/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.09
CPU time (s): 1800.23
CPU user time (s): 1799.06
CPU system time (s): 1.17282
CPU usage (%): 100.286
Max. virtual memory (cumulated for all children) (KiB): 10559036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.17282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922834
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= 40369
involuntary context switches= 15240
runsolver used 7.67083 second user time and 18.4822 second system time
The end