runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4106831-1466278634/watcher-4106831-1466278634 -o /tmp/evaluation-result-4106831-1466278634/solver-4106831-1466278634 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24567 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106831-1466278634.opb
pid=29278
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.17 2.16 2.10 3/194 29281
/proc/meminfo: memFree=30908744/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 29910127 98570240 978 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 24065 978 744 9 0 16771 0
[pid=29281/tid=29282] ppid=29278 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 2 0 29910128 98582528 985 33554432000 1073741824 1073778376 140736431078512 139898656968232 242167399837 0 0 0 16784584 0 0 0 -1 3 0 0 0 0 0
[startup+0.100119 s]
/proc/loadavg: 2.17 2.16 2.10 3/194 29281
/proc/meminfo: memFree=30908744/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 4424 0 1 0 9 1 0 0 20 0 18 0 29910127 9787879424 6053 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2389619 6053 2140 9 0 2380296 0
[pid=29281/tid=29282] ppid=29278 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2376 0 1 0 6 1 0 0 20 0 18 0 29910128 9787879424 6054 33554432000 1073741824 1073778376 140736431078512 139898656971680 242170782989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200275 s]
/proc/loadavg: 2.17 2.16 2.10 3/194 29281
/proc/meminfo: memFree=30908744/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 4712 0 1 0 24 1 0 0 20 0 18 0 29910127 9787879424 6795 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2389619 6795 2212 9 0 2380296 0
[pid=29281/tid=29282] ppid=29278 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2399 0 1 0 16 2 0 0 20 0 18 0 29910128 9787879424 6795 33554432000 1073741824 1073778376 140736431078512 139898656971680 139898510228748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.300287 s]
/proc/loadavg: 2.17 2.16 2.10 3/194 29281
/proc/meminfo: memFree=30908744/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 6084 0 1 0 46 2 0 0 20 0 18 0 29910127 9787879424 9324 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2389619 9324 2243 9 0 2380296 0
[pid=29281/tid=29282] ppid=29278 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2404 0 1 0 26 2 0 0 20 0 18 0 29910128 9787879424 9324 33554432000 1073741824 1073778376 140736431078512 139898656971680 139898659164416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700235 s]
/proc/loadavg: 2.17 2.16 2.10 3/194 29281
/proc/meminfo: memFree=30908744/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9625040 CPUtime=1.67 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 29795 0 1 0 161 6 0 0 20 0 19 0 29910127 9856040960 33219 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2406260 33219 2261 9 0 2396937 0
[pid=29281/tid=29282] ppid=29278 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2466 0 1 0 66 2 0 0 20 0 19 0 29910128 9856040960 33219 33554432000 1073741824 1073778376 140736431078512 139898656964760 139898660258645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9625040
[startup+1.50082 s]
/proc/loadavg: 2.17 2.16 2.10 3/213 29300
/proc/meminfo: memFree=30785784/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 33239 0 1 0 324 7 0 0 20 0 19 0 29910127 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2406260 33211 2271 9 0 2396937 0
[pid=29281/tid=29282] ppid=29278 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2467 0 1 0 146 2 0 0 20 0 19 0 29910128 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898656973288 139898511046312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29284] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29284/stat : 29284 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898629426088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29285] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29285/stat : 29285 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898499148840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29286] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29286/stat : 29286 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898498095784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29287] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29287/stat : 29287 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898497043240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29288] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29288/stat : 29288 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898495990184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29289] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29289/stat : 29289 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898494937640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29290] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29290/stat : 29290 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898157787304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29291] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29291/stat : 29291 (java) S 29278 29281 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29910129 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898156734760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29292] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29292/stat : 29292 (java) S 29278 29281 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898144537448 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29293] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29293/stat : 29293 (java) S 29278 29281 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898143483768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29294] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29294/stat : 29294 (java) S 29278 29281 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898142430600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29295] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29295/stat : 29295 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910132 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898141379344 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29296] ppid=29278 vsize=9625040 CPUtime=0.9 cores=1,3,5,7
/proc/29281/task/29296/stat : 29296 (java) R 29278 29281 24550 0 -1 4202560 15717 0 0 0 87 3 0 0 20 0 19 0 29910133 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898140326200 139898661062080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29297] ppid=29278 vsize=9625040 CPUtime=0.9 cores=1,3,5,7
/proc/29281/task/29297/stat : 29297 (java) S 29278 29281 24550 0 -1 4202560 13778 0 0 0 87 3 0 0 20 0 19 0 29910133 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898139273656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29298] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29298/stat : 29298 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910133 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898138220792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29299] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29299/stat : 29299 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910133 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898137168456 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29300] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29300/stat : 29300 (java) S 29278 29281 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29910181 9856040960 33211 33554432000 1073741824 1073778376 140736431078512 139898136114728 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 9625040
[startup+3.10085 s]
/proc/loadavg: 2.17 2.16 2.10 3/213 29300
/proc/meminfo: memFree=30781456/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9625040 CPUtime=5.07 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 33288 0 1 0 500 7 0 0 20 0 19 0 29910127 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2406260 35301 2277 9 0 2396937 0
[pid=29281/tid=29282] ppid=29278 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2473 0 1 0 306 2 0 0 20 0 19 0 29910128 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898656973304 139898511015251 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29284] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29284/stat : 29284 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898629426088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29285] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29285/stat : 29285 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898499148840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29286] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29286/stat : 29286 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898498095784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29287] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29287/stat : 29287 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898497043240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29288] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29288/stat : 29288 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898495990184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29289] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29289/stat : 29289 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898494937640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29290] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29290/stat : 29290 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898157787304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29291] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29291/stat : 29291 (java) S 29278 29281 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29910129 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898156734760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29292] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29292/stat : 29292 (java) S 29278 29281 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898144537448 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29293] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29293/stat : 29293 (java) S 29278 29281 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898143483768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29294] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29294/stat : 29294 (java) S 29278 29281 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898142430600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29295] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29295/stat : 29295 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910132 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898141379344 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29296] ppid=29278 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/29281/task/29296/stat : 29296 (java) R 29278 29281 24550 0 -1 4202560 15755 0 0 0 96 3 0 0 20 0 19 0 29910133 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898140320040 139898662959261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29297] ppid=29278 vsize=9625040 CPUtime=0.97 cores=1,3,5,7
/proc/29281/task/29297/stat : 29297 (java) S 29278 29281 24550 0 -1 4202560 13782 0 0 0 94 3 0 0 20 0 19 0 29910133 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898139273656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29298] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29298/stat : 29298 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910133 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898138220792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29299] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29299/stat : 29299 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910133 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898137168456 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29300] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29300/stat : 29300 (java) S 29278 29281 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29910181 9856040960 35301 33554432000 1073741824 1073778376 140736431078512 139898136114728 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 9625040
[startup+6.30078 s]
/proc/loadavg: 2.15 2.16 2.09 3/213 29300
/proc/meminfo: memFree=30765288/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9625040 CPUtime=8.62 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 33470 0 1 0 855 7 0 0 20 0 19 0 29910127 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2406260 38875 2277 9 0 2396937 0
[pid=29281/tid=29282] ppid=29278 vsize=9625040 CPUtime=6.28 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2484 0 1 0 625 3 0 0 20 0 19 0 29910128 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898656973144 139898510971900 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29284] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29284/stat : 29284 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898629426088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29285] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29285/stat : 29285 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898499148840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29286] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29286/stat : 29286 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898498095784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29287] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29287/stat : 29287 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898497043240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29288] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29288/stat : 29288 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898495990184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29289] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29289/stat : 29289 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898494937640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29290] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29290/stat : 29290 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910128 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898157787304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29291] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29291/stat : 29291 (java) S 29278 29281 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29910129 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898156734760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29292] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29292/stat : 29292 (java) S 29278 29281 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898144537448 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29293] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29293/stat : 29293 (java) S 29278 29281 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898143483768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29294] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29294/stat : 29294 (java) S 29278 29281 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898142430600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29295] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29295/stat : 29295 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910132 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898141379344 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29296] ppid=29278 vsize=9625040 CPUtime=1.33 cores=1,3,5,7
/proc/29281/task/29296/stat : 29296 (java) S 29278 29281 24550 0 -1 4202560 15926 0 0 0 130 3 0 0 20 0 19 0 29910133 9856040960 38875 33554432000 1073741824 1073778376 140736431078512 139898140326200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29297] ppid=29278 vsize=9625040 CPUtime=0.98 cores=1,3,5,7
################
# More data... #
################
[pid=29281/tid=29293] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29293/stat : 29293 (java) S 29278 29281 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 123168 33554432000 1073741824 1073778376 140736431078512 139898143483768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29294] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29294/stat : 29294 (java) S 29278 29281 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 123168 33554432000 1073741824 1073778376 140736431078512 139898142430600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29295] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29295/stat : 29295 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910132 9856040960 123168 33554432000 1073741824 1073778376 140736431078512 139898141379344 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29296] ppid=29278 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/29281/task/29296/stat : 29296 (java) S 29278 29281 24550 0 -1 4202560 15926 0 0 0 131 3 0 0 20 0 19 0 29910133 9856040960 123168 33554432000 1073741824 1073778376 140736431078512 139898140326200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29297] ppid=29278 vsize=9625040 CPUtime=1.18 cores=1,3,5,7
/proc/29281/task/29297/stat : 29297 (java) S 29278 29281 24550 0 -1 4202560 13789 0 0 0 115 3 0 0 20 0 19 0 29910133 9856040960 123168 33554432000 1073741824 1073778376 140736431078512 139898139273656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29298] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29298/stat : 29298 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910133 9856040960 123168 33554432000 1073741824 1073778376 140736431078512 139898138220792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29299] ppid=29278 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/29281/task/29299/stat : 29299 (java) S 29278 29281 24550 0 -1 4202560 95 0 0 0 29 33 0 0 20 0 19 0 29910133 9856040960 123168 33554432000 1073741824 1073778376 140736431078512 139898137168456 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29300] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29300/stat : 29300 (java) S 29278 29281 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29910181 9856040960 123168 33554432000 1073741824 1073778376 140736431078512 139898136114728 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1673.78
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.22 2.14 2.10 3/213 29497
/proc/meminfo: memFree=30399408/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9625040 CPUtime=1734.43 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 38870 0 1 0 173306 137 0 0 20 0 19 0 29910127 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2406260 92720 2299 9 0 2396937 0
[pid=29281/tid=29282] ppid=29278 vsize=9625040 CPUtime=1715.7 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2672 0 1 0 171538 32 0 0 20 0 19 0 29910128 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898656971952 139898511045657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29284] ppid=29278 vsize=9625040 CPUtime=1.67 cores=1,3,5,7
/proc/29281/task/29284/stat : 29284 (java) S 29278 29281 24550 0 -1 4202560 774 0 0 0 154 13 0 0 20 0 19 0 29910128 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898629426088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29285] ppid=29278 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29281/task/29285/stat : 29285 (java) S 29278 29281 24550 0 -1 4202560 897 0 0 0 146 12 0 0 20 0 19 0 29910128 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898499148840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29286] ppid=29278 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/29281/task/29286/stat : 29286 (java) S 29278 29281 24550 0 -1 4202560 707 0 0 0 138 10 0 0 20 0 19 0 29910128 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898498095784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29287] ppid=29278 vsize=9625040 CPUtime=1.69 cores=1,3,5,7
/proc/29281/task/29287/stat : 29287 (java) S 29278 29281 24550 0 -1 4202560 489 0 0 0 153 16 0 0 20 0 19 0 29910128 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898497043240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29288] ppid=29278 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/29281/task/29288/stat : 29288 (java) S 29278 29281 24550 0 -1 4202560 442 0 0 0 156 12 0 0 20 0 19 0 29910128 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898495990184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29289] ppid=29278 vsize=9625040 CPUtime=1.87 cores=1,3,5,7
/proc/29281/task/29289/stat : 29289 (java) S 29278 29281 24550 0 -1 4202560 464 0 0 0 172 15 0 0 20 0 19 0 29910128 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898494937640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29290] ppid=29278 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/29281/task/29290/stat : 29290 (java) S 29278 29281 24550 0 -1 4202560 424 0 0 0 143 12 0 0 20 0 19 0 29910128 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898157787304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29291] ppid=29278 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/29281/task/29291/stat : 29291 (java) S 29278 29281 24550 0 -1 4202560 291 0 0 0 139 9 0 0 20 0 19 0 29910129 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898156734760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29292] ppid=29278 vsize=9625040 CPUtime=2.85 cores=1,3,5,7
/proc/29281/task/29292/stat : 29292 (java) S 29278 29281 24550 0 -1 4202560 633 0 0 0 280 5 0 0 20 0 19 0 29910130 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898144537448 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29293] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29293/stat : 29293 (java) S 29278 29281 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898143483768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29294] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29294/stat : 29294 (java) S 29278 29281 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898142430600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29295] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29295/stat : 29295 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910132 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898141379344 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29296] ppid=29278 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/29281/task/29296/stat : 29296 (java) S 29278 29281 24550 0 -1 4202560 15926 0 0 0 131 3 0 0 20 0 19 0 29910133 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898140326200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29297] ppid=29278 vsize=9625040 CPUtime=1.18 cores=1,3,5,7
/proc/29281/task/29297/stat : 29297 (java) S 29278 29281 24550 0 -1 4202560 13789 0 0 0 115 3 0 0 20 0 19 0 29910133 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898139273656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29298] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29298/stat : 29298 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910133 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898138220792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29299] ppid=29278 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/29281/task/29299/stat : 29299 (java) S 29278 29281 24550 0 -1 4202560 99 0 0 0 31 33 0 0 20 0 19 0 29910133 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898137168456 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29300] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29300/stat : 29300 (java) S 29278 29281 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29910181 9856040960 92720 33554432000 1073741824 1073778376 140736431078512 139898136114728 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1734.43
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.20 2.14 2.10 3/213 29498
/proc/meminfo: memFree=30414724/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9625040 CPUtime=1795.1 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 39038 0 1 0 179366 144 0 0 20 0 19 0 29910127 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2406260 87950 2299 9 0 2396937 0
[pid=29281/tid=29282] ppid=29278 vsize=9625040 CPUtime=1775.14 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2693 0 1 0 177482 32 0 0 20 0 19 0 29910128 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898656971968 139898510179505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29284] ppid=29278 vsize=9625040 CPUtime=1.79 cores=1,3,5,7
/proc/29281/task/29284/stat : 29284 (java) S 29278 29281 24550 0 -1 4202560 785 0 0 0 165 14 0 0 20 0 19 0 29910128 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898629426088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29285] ppid=29278 vsize=9625040 CPUtime=1.7 cores=1,3,5,7
/proc/29281/task/29285/stat : 29285 (java) S 29278 29281 24550 0 -1 4202560 907 0 0 0 157 13 0 0 20 0 19 0 29910128 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898499148840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29286] ppid=29278 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/29281/task/29286/stat : 29286 (java) S 29278 29281 24550 0 -1 4202560 727 0 0 0 152 10 0 0 20 0 19 0 29910128 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898498095784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29287] ppid=29278 vsize=9625040 CPUtime=1.78 cores=1,3,5,7
/proc/29281/task/29287/stat : 29287 (java) S 29278 29281 24550 0 -1 4202560 496 0 0 0 162 16 0 0 20 0 19 0 29910128 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898497043240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29288] ppid=29278 vsize=9625040 CPUtime=1.81 cores=1,3,5,7
/proc/29281/task/29288/stat : 29288 (java) S 29278 29281 24550 0 -1 4202560 456 0 0 0 168 13 0 0 20 0 19 0 29910128 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898495990184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29289] ppid=29278 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/29281/task/29289/stat : 29289 (java) S 29278 29281 24550 0 -1 4202560 470 0 0 0 184 15 0 0 20 0 19 0 29910128 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898494937640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29290] ppid=29278 vsize=9625040 CPUtime=1.68 cores=1,3,5,7
/proc/29281/task/29290/stat : 29290 (java) S 29278 29281 24550 0 -1 4202560 435 0 0 0 156 12 0 0 20 0 19 0 29910128 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898157787304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29291] ppid=29278 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29281/task/29291/stat : 29291 (java) S 29278 29281 24550 0 -1 4202560 297 0 0 0 149 9 0 0 20 0 19 0 29910129 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898156734760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29292] ppid=29278 vsize=9625040 CPUtime=3.13 cores=1,3,5,7
/proc/29281/task/29292/stat : 29292 (java) S 29278 29281 24550 0 -1 4202560 691 0 0 0 308 5 0 0 20 0 19 0 29910130 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898144537448 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29293] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29293/stat : 29293 (java) S 29278 29281 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898143483768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29294] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29294/stat : 29294 (java) S 29278 29281 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898142430600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29295] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29295/stat : 29295 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910132 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898141379344 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29296] ppid=29278 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/29281/task/29296/stat : 29296 (java) S 29278 29281 24550 0 -1 4202560 15926 0 0 0 131 3 0 0 20 0 19 0 29910133 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898140326200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29297] ppid=29278 vsize=9625040 CPUtime=1.18 cores=1,3,5,7
/proc/29281/task/29297/stat : 29297 (java) S 29278 29281 24550 0 -1 4202560 13789 0 0 0 115 3 0 0 20 0 19 0 29910133 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898139273656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29298] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29298/stat : 29298 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910133 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898138220792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29299] ppid=29278 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/29281/task/29299/stat : 29299 (java) S 29278 29281 24550 0 -1 4202560 103 0 0 0 33 34 0 0 20 0 19 0 29910133 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898137168456 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29300] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29300/stat : 29300 (java) S 29278 29281 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29910181 9856040960 87950 33554432000 1073741824 1073778376 140736431078512 139898136114728 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.2 s]
/proc/loadavg: 2.18 2.14 2.09 3/213 29498
/proc/meminfo: memFree=30441968/32872528 swapFree=338416/354768
[pid=29281] ppid=29278 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7
/proc/29281/stat : 29281 (java) S 29278 29281 24550 0 -1 4202496 39040 0 1 0 179860 144 0 0 20 0 19 0 29910127 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 140736431069648 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/29281/statm: 2406260 87757 2299 9 0 2396937 0
[pid=29281/tid=29282] ppid=29278 vsize=9625040 CPUtime=1780.02 cores=1,3,5,7
/proc/29281/task/29282/stat : 29282 (java) R 29278 29281 24550 0 -1 4202560 2695 0 1 0 177969 33 0 0 20 0 19 0 29910128 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898656971968 139898510971938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29284] ppid=29278 vsize=9625040 CPUtime=1.79 cores=1,3,5,7
/proc/29281/task/29284/stat : 29284 (java) S 29278 29281 24550 0 -1 4202560 785 0 0 0 165 14 0 0 20 0 19 0 29910128 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898629426088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29285] ppid=29278 vsize=9625040 CPUtime=1.71 cores=1,3,5,7
/proc/29281/task/29285/stat : 29285 (java) S 29278 29281 24550 0 -1 4202560 907 0 0 0 158 13 0 0 20 0 19 0 29910128 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898499148840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29286] ppid=29278 vsize=9625040 CPUtime=1.63 cores=1,3,5,7
/proc/29281/task/29286/stat : 29286 (java) S 29278 29281 24550 0 -1 4202560 727 0 0 0 153 10 0 0 20 0 19 0 29910128 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898498095784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29287] ppid=29278 vsize=9625040 CPUtime=1.79 cores=1,3,5,7
/proc/29281/task/29287/stat : 29287 (java) S 29278 29281 24550 0 -1 4202560 496 0 0 0 163 16 0 0 20 0 19 0 29910128 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898497043240 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29288] ppid=29278 vsize=9625040 CPUtime=1.83 cores=1,3,5,7
/proc/29281/task/29288/stat : 29288 (java) S 29278 29281 24550 0 -1 4202560 456 0 0 0 170 13 0 0 20 0 19 0 29910128 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898495990184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29289] ppid=29278 vsize=9625040 CPUtime=2 cores=1,3,5,7
/proc/29281/task/29289/stat : 29289 (java) S 29278 29281 24550 0 -1 4202560 470 0 0 0 185 15 0 0 20 0 19 0 29910128 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898494937640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29290] ppid=29278 vsize=9625040 CPUtime=1.69 cores=1,3,5,7
/proc/29281/task/29290/stat : 29290 (java) S 29278 29281 24550 0 -1 4202560 435 0 0 0 157 12 0 0 20 0 19 0 29910128 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898157787304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29281/tid=29291] ppid=29278 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29281/task/29291/stat : 29291 (java) S 29278 29281 24550 0 -1 4202560 297 0 0 0 149 9 0 0 20 0 19 0 29910129 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898156734760 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29292] ppid=29278 vsize=9625040 CPUtime=3.13 cores=1,3,5,7
/proc/29281/task/29292/stat : 29292 (java) S 29278 29281 24550 0 -1 4202560 691 0 0 0 308 5 0 0 20 0 19 0 29910130 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898144537448 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29293] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29293/stat : 29293 (java) S 29278 29281 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898143483768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29294] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29294/stat : 29294 (java) S 29278 29281 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29910130 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898142430600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29295] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29295/stat : 29295 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910132 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898141379344 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29296] ppid=29278 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/29281/task/29296/stat : 29296 (java) S 29278 29281 24550 0 -1 4202560 15926 0 0 0 131 3 0 0 20 0 19 0 29910133 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898140326200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29281/tid=29297] ppid=29278 vsize=9625040 CPUtime=1.18 cores=1,3,5,7
/proc/29281/task/29297/stat : 29297 (java) S 29278 29281 24550 0 -1 4202560 13789 0 0 0 115 3 0 0 20 0 19 0 29910133 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898139273656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29298] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29298/stat : 29298 (java) S 29278 29281 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29910133 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898138220792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29281/tid=29299] ppid=29278 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/29281/task/29299/stat : 29299 (java) S 29278 29281 24550 0 -1 4202560 103 0 0 0 33 34 0 0 20 0 19 0 29910133 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898137168456 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29281/tid=29300] ppid=29278 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29281/task/29300/stat : 29300 (java) S 29278 29281 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29910181 9856040960 87757 33554432000 1073741824 1073778376 140736431078512 139898136114728 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29281 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1787.24
CPU time (s): 1800.7
CPU user time (s): 1798.76
CPU system time (s): 1.9407
CPU usage (%): 100.753
Max. virtual memory (cumulated for all children) (KiB): 9626768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.9407
maximum resident set size= 860496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39075
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43274
involuntary context switches= 22355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1223 second user time and 13.073 second system time
The end