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-3456468-1307222089/watcher-3456468-1307222089 -o /tmp/evaluation-result-3456468-1307222089/solver-3456468-1307222089 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456468-1307222089.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: 2.04 2.04 2.01 3/576 15161
/proc/meminfo: memFree=24996472/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 1383 0 1 0 0 0 0 0 25 0 2 0 912439593 88928256 1085 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 21711 1092 840 9 0 12867 0
[pid=15161/tid=15162] ppid=15159 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 7118 0 1 0 0 0 0 0 25 0 2 0 912439594 10694979584 7934 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.036206 s]
/proc/loadavg: 2.04 2.04 2.01 3/576 15161
/proc/meminfo: memFree=24996472/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 10970 0 1 0 1 1 0 0 25 0 11 0 912439593 10716594176 10669 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2616356 10669 1600 9 0 2607104 0
[pid=15161/tid=15162] ppid=15159 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 9848 0 1 0 1 1 0 0 25 0 11 0 912439594 10716594176 10671 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 46912505164395 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100198 s]
/proc/loadavg: 2.04 2.04 2.01 3/576 15161
/proc/meminfo: memFree=24996472/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 11961 0 1 0 5 2 0 0 25 0 18 0 912439593 10724442112 11658 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2618272 11659 1755 9 0 2609006 0
[pid=15161/tid=15162] ppid=15159 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 10788 0 1 0 5 1 0 0 22 0 18 0 912439594 10724442112 11659 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 47003251015685 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.326215 s]
/proc/loadavg: 2.04 2.04 2.01 3/576 15161
/proc/meminfo: memFree=24996472/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10608684 CPUtime=0.5 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 17053 0 1 0 48 2 0 0 25 0 19 0 912439593 10863292416 16092 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2652171 16092 2196 9 0 2642905 0
[pid=15161/tid=15162] ppid=15159 vsize=10608684 CPUtime=0.28 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 13609 0 1 0 26 2 0 0 23 0 19 0 912439594 10863292416 16092 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296751797 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10608684
[startup+0.701064 s]
/proc/loadavg: 2.04 2.04 2.01 3/576 15161
/proc/meminfo: memFree=24996472/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10619548 CPUtime=1.59 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 39769 0 1 0 153 6 0 0 25 0 19 0 912439593 10874417152 36431 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2654887 36431 2222 9 0 2645621 0
[pid=15161/tid=15162] ppid=15159 vsize=10619548 CPUtime=0.65 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 28765 0 1 0 60 5 0 0 25 0 19 0 912439594 10874417152 36431 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 46912505645800 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10619548
[startup+1.50097 s]
/proc/loadavg: 2.04 2.04 2.01 3/595 15180
/proc/meminfo: memFree=24820124/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10617636 CPUtime=2.51 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 57643 0 1 0 242 9 0 0 25 0 19 0 912439593 10872459264 53590 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2654409 53590 2224 9 0 2645143 0
[pid=15161/tid=15162] ppid=15159 vsize=10617636 CPUtime=1.44 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 46371 0 1 0 137 7 0 0 25 0 19 0 912439594 10872459264 53590 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 46912505575376 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15161/tid=15164] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15164/stat : 15164 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 53590 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15165] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15165/stat : 15165 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 53590 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15166] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15166/stat : 15166 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 53590 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15167] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15167/stat : 15167 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 53590 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15168] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15168/stat : 15168 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 53590 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15169] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15169/stat : 15169 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 53590 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15170] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15170/stat : 15170 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 53592 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15171] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15171/stat : 15171 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 53595 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15172] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15172/stat : 15172 (java) S 15159 15161 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912439597 10872459264 53601 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 0 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15173] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15173/stat : 15173 (java) S 15159 15161 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912439597 10872459264 53607 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15174] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15174/stat : 15174 (java) S 15159 15161 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912439597 10872459264 53613 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15175] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15175/stat : 15175 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912439601 10872459264 53617 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296749489 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15176] ppid=15159 vsize=10617636 CPUtime=0.49 cores=1,3,5,7
/proc/15161/task/15176/stat : 15176 (java) S 15159 15161 14484 0 -1 4202560 5106 0 0 0 49 0 0 0 18 0 19 0 912439601 10872459264 53619 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15177] ppid=15159 vsize=10617636 CPUtime=0.54 cores=1,3,5,7
/proc/15161/task/15177/stat : 15177 (java) S 15159 15161 14484 0 -1 4202560 5006 0 0 0 54 0 0 0 15 0 19 0 912439601 10872459264 53623 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 5 0 0 0
[pid=15161/tid=15178] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15178/stat : 15178 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912439601 10872459264 53623 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15179] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15179/stat : 15179 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912439601 10872459264 53623 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15180] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15180/stat : 15180 (java) S 15159 15161 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912439612 10872459264 53623 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 10617636
[startup+3.1007 s]
/proc/loadavg: 2.04 2.04 2.01 3/595 15180
/proc/meminfo: memFree=24749568/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10617636 CPUtime=4.11 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 76629 0 1 0 400 11 0 0 25 0 19 0 912439593 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2654409 72576 2224 9 0 2645143 0
[pid=15161/tid=15162] ppid=15159 vsize=10617636 CPUtime=3.05 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 65357 0 1 0 296 9 0 0 25 0 19 0 912439594 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 46912505606312 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15161/tid=15164] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15164/stat : 15164 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15165] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15165/stat : 15165 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15166] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15166/stat : 15166 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15167] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15167/stat : 15167 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15168] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15168/stat : 15168 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15169] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15169/stat : 15169 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15170] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15170/stat : 15170 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15171] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15171/stat : 15171 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15172] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15172/stat : 15172 (java) S 15159 15161 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912439597 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 0 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15173] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15173/stat : 15173 (java) S 15159 15161 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912439597 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15174] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15174/stat : 15174 (java) S 15159 15161 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912439597 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15175] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15175/stat : 15175 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912439601 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296749489 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15176] ppid=15159 vsize=10617636 CPUtime=0.49 cores=1,3,5,7
/proc/15161/task/15176/stat : 15176 (java) S 15159 15161 14484 0 -1 4202560 5106 0 0 0 49 0 0 0 18 0 19 0 912439601 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15177] ppid=15159 vsize=10617636 CPUtime=0.54 cores=1,3,5,7
/proc/15161/task/15177/stat : 15177 (java) S 15159 15161 14484 0 -1 4202560 5006 0 0 0 54 0 0 0 15 0 19 0 912439601 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 5 0 0 0
[pid=15161/tid=15178] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15178/stat : 15178 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912439601 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15179] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15179/stat : 15179 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912439601 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15180] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15180/stat : 15180 (java) S 15159 15161 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912439612 10872459264 72576 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 10617636
[startup+6.30116 s]
/proc/loadavg: 2.03 2.04 2.01 3/595 15180
/proc/meminfo: memFree=24600268/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10617636 CPUtime=7.31 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 123727 0 1 0 715 16 0 0 25 0 19 0 912439593 10872459264 119567 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2654409 119569 2225 9 0 2645143 0
[pid=15161/tid=15162] ppid=15159 vsize=10617636 CPUtime=6.25 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 112456 0 1 0 610 15 0 0 25 0 19 0 912439594 10872459264 119569 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 46912505575376 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15161/tid=15164] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15164/stat : 15164 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 119569 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15165] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15165/stat : 15165 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 119569 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15166] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15166/stat : 15166 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 119569 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15167] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15167/stat : 15167 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 119569 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15168] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15168/stat : 15168 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 119569 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15169] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15169/stat : 15169 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 119569 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15170] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15170/stat : 15170 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 119570 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15171] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15171/stat : 15171 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912439596 10872459264 119572 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15172] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15172/stat : 15172 (java) S 15159 15161 14484 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912439597 10872459264 119572 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 0 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15173] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15173/stat : 15173 (java) S 15159 15161 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912439597 10872459264 119572 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15174] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15174/stat : 15174 (java) S 15159 15161 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912439597 10872459264 119572 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15175] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15175/stat : 15175 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912439601 10872459264 119572 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296749489 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15176] ppid=15159 vsize=10617636 CPUtime=0.49 cores=1,3,5,7
/proc/15161/task/15176/stat : 15176 (java) S 15159 15161 14484 0 -1 4202560 5106 0 0 0 49 0 0 0 18 0 19 0 912439601 10872459264 119572 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15177] ppid=15159 vsize=10617636 CPUtime=0.55 cores=1,3,5,7
/proc/15161/task/15177/stat : 15177 (java) S 15159 15161 14484 0 -1 4202560 5006 0 0 0 55 0 0 0 15 0 19 0 912439601 10872459264 119572 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/15161/task/15171/stat : 15171 (java) S 15159 15161 14484 0 -1 4202560 9928 0 0 0 2 0 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15172] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15172/stat : 15172 (java) S 15159 15161 14484 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 912439597 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 0 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15173] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15173/stat : 15173 (java) S 15159 15161 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912439597 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15174] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15174/stat : 15174 (java) S 15159 15161 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912439597 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15175] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15175/stat : 15175 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296749489 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15176] ppid=15159 vsize=10617636 CPUtime=0.5 cores=1,3,5,7
/proc/15161/task/15176/stat : 15176 (java) S 15159 15161 14484 0 -1 4202560 5124 0 0 0 50 0 0 0 18 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15177] ppid=15159 vsize=10617636 CPUtime=0.55 cores=1,3,5,7
/proc/15161/task/15177/stat : 15177 (java) S 15159 15161 14484 0 -1 4202560 5006 0 0 0 55 0 0 0 15 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 5 0 0 0
[pid=15161/tid=15178] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15178/stat : 15178 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15179] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15179/stat : 15179 (java) S 15159 15161 14484 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15180] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15180/stat : 15180 (java) S 15159 15161 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912439612 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1723.4
Current children cumulated vsize (KiB) 10617636
[startup+1782.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/595 15396
/proc/meminfo: memFree=22176444/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10617636 CPUtime=1783.4 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 708713 0 1 0 178257 83 0 0 25 0 19 0 912439593 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2654409 704179 2238 9 0 2645143 0
[pid=15161/tid=15162] ppid=15159 vsize=10617636 CPUtime=1782.17 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 651108 0 1 0 178142 75 0 0 25 0 19 0 912439594 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 46912505575847 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15161/tid=15164] ppid=15159 vsize=10617636 CPUtime=0.01 cores=1,3,5,7
/proc/15161/task/15164/stat : 15164 (java) S 15159 15161 14484 0 -1 4202560 6762 0 0 0 0 1 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15165] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15165/stat : 15165 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15166] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15166/stat : 15166 (java) S 15159 15161 14484 0 -1 4202560 6580 0 0 0 0 0 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15167] ppid=15159 vsize=10617636 CPUtime=0.01 cores=1,3,5,7
/proc/15161/task/15167/stat : 15167 (java) S 15159 15161 14484 0 -1 4202560 6187 0 0 0 1 0 0 0 16 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15168] ppid=15159 vsize=10617636 CPUtime=0.01 cores=1,3,5,7
/proc/15161/task/15168/stat : 15168 (java) S 15159 15161 14484 0 -1 4202560 6702 0 0 0 1 0 0 0 16 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15169] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15169/stat : 15169 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15170] ppid=15159 vsize=10617636 CPUtime=0.02 cores=1,3,5,7
/proc/15161/task/15170/stat : 15170 (java) S 15159 15161 14484 0 -1 4202560 10043 0 0 0 1 1 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15171] ppid=15159 vsize=10617636 CPUtime=0.02 cores=1,3,5,7
/proc/15161/task/15171/stat : 15171 (java) S 15159 15161 14484 0 -1 4202560 9928 0 0 0 2 0 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15172] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15172/stat : 15172 (java) S 15159 15161 14484 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 912439597 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 0 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15173] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15173/stat : 15173 (java) S 15159 15161 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912439597 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15174] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15174/stat : 15174 (java) S 15159 15161 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912439597 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15175] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15175/stat : 15175 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296749489 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15176] ppid=15159 vsize=10617636 CPUtime=0.5 cores=1,3,5,7
/proc/15161/task/15176/stat : 15176 (java) S 15159 15161 14484 0 -1 4202560 5124 0 0 0 50 0 0 0 18 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15177] ppid=15159 vsize=10617636 CPUtime=0.55 cores=1,3,5,7
/proc/15161/task/15177/stat : 15177 (java) S 15159 15161 14484 0 -1 4202560 5006 0 0 0 55 0 0 0 15 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 5 0 0 0
[pid=15161/tid=15178] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15178/stat : 15178 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15179] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15179/stat : 15179 (java) S 15159 15161 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15180] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15180/stat : 15180 (java) S 15159 15161 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912439612 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (KiB) 10617636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.9 s]
/proc/loadavg: 2.11 2.06 2.01 3/595 15396
/proc/meminfo: memFree=22175316/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10617636 CPUtime=1800.01 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 708715 0 1 0 179918 83 0 0 25 0 19 0 912439593 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2654409 704179 2238 9 0 2645143 0
[pid=15161/tid=15162] ppid=15159 vsize=10617636 CPUtime=1798.79 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 651108 0 1 0 179804 75 0 0 25 0 19 0 912439594 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 46912505575858 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15161/tid=15164] ppid=15159 vsize=10617636 CPUtime=0.01 cores=1,3,5,7
/proc/15161/task/15164/stat : 15164 (java) S 15159 15161 14484 0 -1 4202560 6762 0 0 0 0 1 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15165] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15165/stat : 15165 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15166] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15166/stat : 15166 (java) S 15159 15161 14484 0 -1 4202560 6580 0 0 0 0 0 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15167] ppid=15159 vsize=10617636 CPUtime=0.01 cores=1,3,5,7
/proc/15161/task/15167/stat : 15167 (java) S 15159 15161 14484 0 -1 4202560 6187 0 0 0 1 0 0 0 16 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15168] ppid=15159 vsize=10617636 CPUtime=0.01 cores=1,3,5,7
/proc/15161/task/15168/stat : 15168 (java) S 15159 15161 14484 0 -1 4202560 6702 0 0 0 1 0 0 0 16 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15169] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15169/stat : 15169 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15170] ppid=15159 vsize=10617636 CPUtime=0.02 cores=1,3,5,7
/proc/15161/task/15170/stat : 15170 (java) S 15159 15161 14484 0 -1 4202560 10043 0 0 0 1 1 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15171] ppid=15159 vsize=10617636 CPUtime=0.02 cores=1,3,5,7
/proc/15161/task/15171/stat : 15171 (java) S 15159 15161 14484 0 -1 4202560 9928 0 0 0 2 0 0 0 15 0 19 0 912439596 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15172] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15172/stat : 15172 (java) S 15159 15161 14484 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 912439597 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 0 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15173] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15173/stat : 15173 (java) S 15159 15161 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912439597 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15174] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15174/stat : 15174 (java) S 15159 15161 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912439597 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15175] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15175/stat : 15175 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296749489 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15176] ppid=15159 vsize=10617636 CPUtime=0.5 cores=1,3,5,7
/proc/15161/task/15176/stat : 15176 (java) S 15159 15161 14484 0 -1 4202560 5124 0 0 0 50 0 0 0 18 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15177] ppid=15159 vsize=10617636 CPUtime=0.55 cores=1,3,5,7
/proc/15161/task/15177/stat : 15177 (java) S 15159 15161 14484 0 -1 4202560 5006 0 0 0 55 0 0 0 15 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 5 0 0 0
[pid=15161/tid=15178] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15178/stat : 15178 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15179] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15179/stat : 15179 (java) S 15159 15161 14484 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912439601 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15180] ppid=15159 vsize=10617636 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15180/stat : 15180 (java) S 15159 15161 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912439612 10872459264 704179 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10617636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1799.03 s]
/proc/loadavg: 2.11 2.06 2.01 3/595 15396
/proc/meminfo: memFree=22175316/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=10619692 CPUtime=1800.23 cores=1,3,5,7
/proc/15161/stat : 15161 (java) S 15159 15161 14484 0 -1 4202496 708745 0 1 0 179930 93 0 0 18 0 19 0 912439593 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 2654923 704207 2240 9 0 2645657 0
[pid=15161/tid=15162] ppid=15159 vsize=10619692 CPUtime=1798.89 cores=1,3,5,7
/proc/15161/task/15162/stat : 15162 (java) R 15159 15161 14484 0 -1 4202560 651108 0 1 0 179814 75 0 0 25 0 19 0 912439594 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 46912505575830 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15161/tid=15164] ppid=15159 vsize=10619692 CPUtime=0.01 cores=1,3,5,7
/proc/15161/task/15164/stat : 15164 (java) S 15159 15161 14484 0 -1 4202560 6762 0 0 0 0 1 0 0 15 0 19 0 912439596 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15165] ppid=15159 vsize=10619692 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15165/stat : 15165 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912439596 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15166] ppid=15159 vsize=10619692 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15166/stat : 15166 (java) S 15159 15161 14484 0 -1 4202560 6580 0 0 0 0 0 0 0 15 0 19 0 912439596 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15167] ppid=15159 vsize=10619692 CPUtime=0.01 cores=1,3,5,7
/proc/15161/task/15167/stat : 15167 (java) S 15159 15161 14484 0 -1 4202560 6187 0 0 0 1 0 0 0 16 0 19 0 912439596 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15168] ppid=15159 vsize=10619692 CPUtime=0.01 cores=1,3,5,7
/proc/15161/task/15168/stat : 15168 (java) S 15159 15161 14484 0 -1 4202560 6702 0 0 0 1 0 0 0 16 0 19 0 912439596 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15169] ppid=15159 vsize=10619692 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15169/stat : 15169 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912439596 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15170] ppid=15159 vsize=10619692 CPUtime=0.02 cores=1,3,5,7
/proc/15161/task/15170/stat : 15170 (java) S 15159 15161 14484 0 -1 4202560 10043 0 0 0 1 1 0 0 15 0 19 0 912439596 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15171] ppid=15159 vsize=10619692 CPUtime=0.02 cores=1,3,5,7
/proc/15161/task/15171/stat : 15171 (java) S 15159 15161 14484 0 -1 4202560 9928 0 0 0 2 0 0 0 15 0 19 0 912439596 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 7 0 0 0
[pid=15161/tid=15172] ppid=15159 vsize=10619692 CPUtime=0.09 cores=1,3,5,7
/proc/15161/task/15172/stat : 15172 (java) R 15159 15161 14484 0 -1 4202560 19 0 0 0 0 9 0 0 16 0 19 0 912439597 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224284879159 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=15161/tid=15173] ppid=15159 vsize=10619692 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15173/stat : 15173 (java) S 15159 15161 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912439597 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15174] ppid=15159 vsize=10619692 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15174/stat : 15174 (java) S 15159 15161 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912439597 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15176] ppid=15159 vsize=10619692 CPUtime=0.5 cores=1,3,5,7
/proc/15161/task/15176/stat : 15176 (java) S 15159 15161 14484 0 -1 4202560 5124 0 0 0 50 0 0 0 18 0 19 0 912439601 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15177] ppid=15159 vsize=10619692 CPUtime=0.55 cores=1,3,5,7
/proc/15161/task/15177/stat : 15177 (java) S 15159 15161 14484 0 -1 4202560 5006 0 0 0 55 0 0 0 15 0 19 0 912439601 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 5 0 0 0
[pid=15161/tid=15178] ppid=15159 vsize=10619692 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15178/stat : 15178 (java) S 15159 15161 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912439601 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296741785 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
[pid=15161/tid=15180] ppid=15159 vsize=10619692 CPUtime=0 cores=1,3,5,7
/proc/15161/task/15180/stat : 15180 (java) S 15159 15161 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912439612 10874564608 704207 33554432000 1073741824 1073778376 140735673545856 18446744073709551615 224296742400 0 4 0 16800975 18446604470983620736 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 10619692
[startup+1799.2 s]
/proc/loadavg: 2.11 2.06 2.01 3/595 15396
/proc/meminfo: memFree=22175316/32951124 swapFree=34426104/67111528
[pid=15161] ppid=15159 vsize=0 CPUtime=1800.47 cores=1,3,5,7
/proc/15161/stat : 15161 (java) Z 15159 15161 14484 0 -1 4203548 708745 0 1 0 179937 110 0 0 16 0 2 0 912439593 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15161/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1799.21
CPU time (s): 1800.5
CPU user time (s): 1799.38
CPU system time (s): 1.11983
CPU usage (%): 100.071
Max. virtual memory (cumulated for all children) (KiB): 10619692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 1.11983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 708745
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= 36818
involuntary context switches= 40763
runsolver used 10.1055 second user time and 23.1705 second system time
The end