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-4121006-1467313185/watcher-4121006-1467313185 -o /tmp/evaluation-result-4121006-1467313185/solver-4121006-1467313185 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467310545-14394 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4121006-1467313185.opb
pid=15282
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.17 2.14 3/192 15285
/proc/meminfo: memFree=29984196/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 10344474 98570240 977 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 24065 977 743 9 0 16771 0
[pid=15285/tid=15286] ppid=15282 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 10344475 98570240 977 33554432000 1073741824 1073778376 140737295347040 140340114628136 227512501632 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100113 s]
/proc/loadavg: 2.16 2.17 2.14 3/192 15285
/proc/meminfo: memFree=29984196/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 4444 0 1 0 10 1 0 0 20 0 18 0 10344474 9787879424 6072 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2389619 6074 2140 9 0 2380296 0
[pid=15285/tid=15286] ppid=15282 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2378 0 1 0 8 0 0 0 20 0 18 0 10344475 9787879424 6074 33554432000 1073741824 1073778376 140737295347040 140340114631584 140340104695811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200317 s]
/proc/loadavg: 2.16 2.17 2.14 3/192 15285
/proc/meminfo: memFree=29984196/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 5605 0 1 0 25 1 0 0 20 0 19 0 10344474 9856040960 7426 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2406260 7426 2222 9 0 2396937 0
[pid=15285/tid=15286] ppid=15282 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2405 0 1 0 18 0 0 0 20 0 19 0 10344475 9856040960 7438 33554432000 1073741824 1073778376 140737295347040 140340114633344 140339952335393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040
[startup+0.300308 s]
/proc/loadavg: 2.16 2.17 2.14 3/192 15285
/proc/meminfo: memFree=29984196/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 8266 0 1 0 53 1 0 0 20 0 19 0 10344474 9856040960 8797 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2406260 8797 2245 9 0 2396937 0
[pid=15285/tid=15286] ppid=15282 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2405 0 1 0 27 0 0 0 20 0 19 0 10344475 9856040960 8797 33554432000 1073741824 1073778376 140737295347040 140340114632856 140339952654816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040
[startup+0.700262 s]
/proc/loadavg: 2.16 2.17 2.14 3/192 15285
/proc/meminfo: memFree=29984196/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9625040 CPUtime=1.11 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 9295 0 1 0 110 1 0 0 20 0 19 0 10344474 9856040960 9762 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2406260 9762 2254 9 0 2396937 0
[pid=15285/tid=15286] ppid=15282 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2406 0 1 0 67 0 0 0 20 0 19 0 10344475 9856040960 9762 33554432000 1073741824 1073778376 140737295347040 140340114632856 140339952700206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9625040
[startup+1.5007 s]
/proc/loadavg: 2.23 2.18 2.14 3/211 15304
/proc/meminfo: memFree=29951284/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 9301 0 1 0 192 2 0 0 20 0 19 0 10344474 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2406260 10789 2256 9 0 2396937 0
[pid=15285/tid=15286] ppid=15282 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2409 0 1 0 147 0 0 0 20 0 19 0 10344475 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140340114631208 140339952721655 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15288] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15288/stat : 15288 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140340076124584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15289] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15289/stat : 15289 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140340075072040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15290] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15290/stat : 15290 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140340074018984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15291] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15291/stat : 15291 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140340072966440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15292] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15292/stat : 15292 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140340071914408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15293] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15293/stat : 15293 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140340070861864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15294] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15294/stat : 15294 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339952216744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15295] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15295/stat : 15295 (java) S 15282 15285 12018 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339951164200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15296] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15296/stat : 15296 (java) S 15282 15285 12018 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10344476 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339938752872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15297] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15297/stat : 15297 (java) S 15282 15285 12018 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339937699192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15298] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15298/stat : 15298 (java) S 15282 15285 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339936646024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15299] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15299/stat : 15299 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339197241616 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15300] ppid=15282 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15285/task/15300/stat : 15300 (java) S 15282 15285 12018 0 -1 4202560 3016 0 0 0 22 0 0 0 20 0 19 0 10344479 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339196189496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15301] ppid=15282 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15285/task/15301/stat : 15301 (java) S 15282 15285 12018 0 -1 4202560 2603 0 0 0 21 0 0 0 20 0 19 0 10344479 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339195136952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15302] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15302/stat : 15302 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339194084088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15303] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15303/stat : 15303 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339193031752 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15304] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15304/stat : 15304 (java) S 15282 15285 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10344491 9856040960 10789 33554432000 1073741824 1073778376 140737295347040 140339191977000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9625040
[startup+3.10075 s]
/proc/loadavg: 2.23 2.18 2.14 3/211 15304
/proc/meminfo: memFree=29946568/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9625040 CPUtime=3.54 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 9303 0 1 0 352 2 0 0 20 0 19 0 10344474 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2406260 11813 2256 9 0 2396937 0
[pid=15285/tid=15286] ppid=15282 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2411 0 1 0 306 0 0 0 20 0 19 0 10344475 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140340114624176 140339952797768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15288] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15288/stat : 15288 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140340076124584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15289] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15289/stat : 15289 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140340075072040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15290] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15290/stat : 15290 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140340074018984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15291] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15291/stat : 15291 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140340072966440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15292] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15292/stat : 15292 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140340071914408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15293] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15293/stat : 15293 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140340070861864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15294] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15294/stat : 15294 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339952216744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15295] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15295/stat : 15295 (java) S 15282 15285 12018 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339951164200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15296] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15296/stat : 15296 (java) S 15282 15285 12018 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10344476 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339938752872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15297] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15297/stat : 15297 (java) S 15282 15285 12018 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339937699192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15298] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15298/stat : 15298 (java) S 15282 15285 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339936646024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15299] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15299/stat : 15299 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339197241616 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15300] ppid=15282 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15285/task/15300/stat : 15300 (java) S 15282 15285 12018 0 -1 4202560 3016 0 0 0 22 0 0 0 20 0 19 0 10344479 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339196189496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15301] ppid=15282 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15285/task/15301/stat : 15301 (java) S 15282 15285 12018 0 -1 4202560 2603 0 0 0 21 0 0 0 20 0 19 0 10344479 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339195136952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15302] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15302/stat : 15302 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339194084088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15303] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15303/stat : 15303 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339193031752 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15304] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15304/stat : 15304 (java) S 15282 15285 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10344491 9856040960 11813 33554432000 1073741824 1073778376 140737295347040 140339191977000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9625040
[startup+6.30076 s]
/proc/loadavg: 2.23 2.18 2.14 4/211 15304
/proc/meminfo: memFree=29935980/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9625040 CPUtime=6.73 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 9310 0 1 0 671 2 0 0 20 0 19 0 10344474 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2406260 14374 2257 9 0 2396937 0
[pid=15285/tid=15286] ppid=15282 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2417 0 1 0 624 0 0 0 20 0 19 0 10344475 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140340114624176 140339952797695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15288] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15288/stat : 15288 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140340076124584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15289] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15289/stat : 15289 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140340075072040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15290] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15290/stat : 15290 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140340074018984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15291] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15291/stat : 15291 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140340072966440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15292] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15292/stat : 15292 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140340071914408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15293] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15293/stat : 15293 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140340070861864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15294] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15294/stat : 15294 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140339952216744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15295] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15295/stat : 15295 (java) S 15282 15285 12018 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10344475 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140339951164200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15296] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15296/stat : 15296 (java) S 15282 15285 12018 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10344476 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140339938752872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15297] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15297/stat : 15297 (java) S 15282 15285 12018 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140339937699192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15298] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15298/stat : 15298 (java) S 15282 15285 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140339936646024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15299] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15299/stat : 15299 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140339197241616 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15300] ppid=15282 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15285/task/15300/stat : 15300 (java) S 15282 15285 12018 0 -1 4202560 3016 0 0 0 22 0 0 0 20 0 19 0 10344479 9856040960 14374 33554432000 1073741824 1073778376 140737295347040 140339196189496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15301] ppid=15282 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
################
# More data... #
################
[pid=15285/tid=15297] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15297/stat : 15297 (java) S 15282 15285 12018 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339937699192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15298] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15298/stat : 15298 (java) S 15282 15285 12018 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339936646024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15299] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15299/stat : 15299 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339197241616 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15300] ppid=15282 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15285/task/15300/stat : 15300 (java) S 15282 15285 12018 0 -1 4202560 3016 0 0 0 22 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339196189496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15301] ppid=15282 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/15285/task/15301/stat : 15301 (java) S 15282 15285 12018 0 -1 4202560 2614 0 0 0 25 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339195136952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15302] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15302/stat : 15302 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339194084088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15303] ppid=15282 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/15285/task/15303/stat : 15303 (java) S 15282 15285 12018 0 -1 4202560 102 0 0 0 21 19 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339193031752 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15304] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15304/stat : 15304 (java) S 15282 15285 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10344491 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339191977000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763
Current children cumulated vsize (KiB) 9625040
[startup+1762.41 s]
/proc/loadavg: 2.18 2.20 2.18 3/211 15435
/proc/meminfo: memFree=29681608/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9625040 CPUtime=1763.82 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 11431 0 1 0 176345 37 0 0 20 0 19 0 10344474 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2406260 75666 2272 9 0 2396937 0
[pid=15285/tid=15286] ppid=15282 vsize=9625040 CPUtime=1757.31 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2483 0 1 0 175702 29 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340114633016 140339952700900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15288] ppid=15282 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/15285/task/15288/stat : 15288 (java) S 15282 15285 12018 0 -1 4202560 312 0 0 0 14 3 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340076124584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15289] ppid=15282 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/15285/task/15289/stat : 15289 (java) S 15282 15285 12018 0 -1 4202560 186 0 0 0 14 1 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340075072040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15290] ppid=15282 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15285/task/15290/stat : 15290 (java) S 15282 15285 12018 0 -1 4202560 184 0 0 0 11 1 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340074018984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15291] ppid=15282 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/15285/task/15291/stat : 15291 (java) S 15282 15285 12018 0 -1 4202560 296 0 0 0 13 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340072966440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15292] ppid=15282 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15285/task/15292/stat : 15292 (java) S 15282 15285 12018 0 -1 4202560 453 0 0 0 18 3 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340071914408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15293] ppid=15282 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/15285/task/15293/stat : 15293 (java) S 15282 15285 12018 0 -1 4202560 135 0 0 0 14 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340070861864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15294] ppid=15282 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/15285/task/15294/stat : 15294 (java) S 15282 15285 12018 0 -1 4202560 215 0 0 0 11 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339952216744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15295] ppid=15282 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15285/task/15295/stat : 15295 (java) S 15282 15285 12018 0 -1 4202560 121 0 0 0 8 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339951164200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15296] ppid=15282 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15285/task/15296/stat : 15296 (java) S 15282 15285 12018 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 19 0 10344476 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339938752872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15297] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15297/stat : 15297 (java) S 15282 15285 12018 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339937699192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15298] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15298/stat : 15298 (java) S 15282 15285 12018 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339936646024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15299] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15299/stat : 15299 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339197241616 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15300] ppid=15282 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15285/task/15300/stat : 15300 (java) S 15282 15285 12018 0 -1 4202560 3016 0 0 0 22 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339196189496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15301] ppid=15282 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15285/task/15301/stat : 15301 (java) S 15282 15285 12018 0 -1 4202560 2614 0 0 0 27 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339195136952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15302] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15302/stat : 15302 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339194084088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15303] ppid=15282 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/15285/task/15303/stat : 15303 (java) S 15282 15285 12018 0 -1 4202560 102 0 0 0 21 19 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339193031752 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15304] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15304/stat : 15304 (java) S 15282 15285 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10344491 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339191977000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1763.82
Current children cumulated vsize (KiB) 9625040
[startup+1762.6 s]
/proc/loadavg: 2.18 2.20 2.18 3/211 15435
/proc/meminfo: memFree=29681608/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9625040 CPUtime=1764.02 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 11431 0 1 0 176365 37 0 0 20 0 19 0 10344474 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2406260 75666 2272 9 0 2396937 0
[pid=15285/tid=15286] ppid=15282 vsize=9625040 CPUtime=1757.5 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2483 0 1 0 175721 29 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340114633272 140339952797763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15288] ppid=15282 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/15285/task/15288/stat : 15288 (java) S 15282 15285 12018 0 -1 4202560 312 0 0 0 14 3 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340076124584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15289] ppid=15282 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/15285/task/15289/stat : 15289 (java) S 15282 15285 12018 0 -1 4202560 186 0 0 0 14 1 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340075072040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15290] ppid=15282 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15285/task/15290/stat : 15290 (java) S 15282 15285 12018 0 -1 4202560 184 0 0 0 11 1 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340074018984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15291] ppid=15282 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/15285/task/15291/stat : 15291 (java) S 15282 15285 12018 0 -1 4202560 296 0 0 0 13 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340072966440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15292] ppid=15282 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15285/task/15292/stat : 15292 (java) S 15282 15285 12018 0 -1 4202560 453 0 0 0 18 3 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340071914408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15293] ppid=15282 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/15285/task/15293/stat : 15293 (java) S 15282 15285 12018 0 -1 4202560 135 0 0 0 14 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340070861864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15294] ppid=15282 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/15285/task/15294/stat : 15294 (java) S 15282 15285 12018 0 -1 4202560 215 0 0 0 11 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339952216744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15295] ppid=15282 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15285/task/15295/stat : 15295 (java) S 15282 15285 12018 0 -1 4202560 121 0 0 0 8 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339951164200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15296] ppid=15282 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15285/task/15296/stat : 15296 (java) S 15282 15285 12018 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 19 0 10344476 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339938752872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15297] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15297/stat : 15297 (java) S 15282 15285 12018 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339937699192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15298] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15298/stat : 15298 (java) S 15282 15285 12018 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339936646024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15299] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15299/stat : 15299 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339197241616 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15300] ppid=15282 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15285/task/15300/stat : 15300 (java) S 15282 15285 12018 0 -1 4202560 3016 0 0 0 22 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339196189496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15301] ppid=15282 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/15285/task/15301/stat : 15301 (java) S 15282 15285 12018 0 -1 4202560 2614 0 0 0 27 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339195136952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15302] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15302/stat : 15302 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339194084088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15303] ppid=15282 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/15285/task/15303/stat : 15303 (java) S 15282 15285 12018 0 -1 4202560 102 0 0 0 21 19 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339193031752 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15304] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15304/stat : 15304 (java) S 15282 15285 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10344491 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339191977000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.02
Current children cumulated vsize (KiB) 9625040
[startup+1762.7 s]
/proc/loadavg: 2.18 2.20 2.18 3/211 15435
/proc/meminfo: memFree=29681608/32872528 swapFree=1299868/1463388
[pid=15285] ppid=15282 vsize=9625040 CPUtime=1764.13 cores=0,2,4,6
/proc/15285/stat : 15285 (java) S 15282 15285 12018 0 -1 4202496 11431 0 1 0 176376 37 0 0 20 0 19 0 10344474 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140737295338176 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15285/statm: 2406260 75666 2272 9 0 2396937 0
[pid=15285/tid=15286] ppid=15282 vsize=9625040 CPUtime=1757.6 cores=0,2,4,6
/proc/15285/task/15286/stat : 15286 (java) R 15282 15285 12018 0 -1 4202560 2483 0 1 0 175731 29 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340114633224 140339952883895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15288] ppid=15282 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/15285/task/15288/stat : 15288 (java) S 15282 15285 12018 0 -1 4202560 312 0 0 0 14 3 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340076124584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15289] ppid=15282 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/15285/task/15289/stat : 15289 (java) S 15282 15285 12018 0 -1 4202560 186 0 0 0 14 1 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340075072040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15290] ppid=15282 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/15285/task/15290/stat : 15290 (java) S 15282 15285 12018 0 -1 4202560 184 0 0 0 11 1 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340074018984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15291] ppid=15282 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/15285/task/15291/stat : 15291 (java) S 15282 15285 12018 0 -1 4202560 296 0 0 0 13 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340072966440 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15292] ppid=15282 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15285/task/15292/stat : 15292 (java) S 15282 15285 12018 0 -1 4202560 453 0 0 0 18 3 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340071914408 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15293] ppid=15282 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/15285/task/15293/stat : 15293 (java) S 15282 15285 12018 0 -1 4202560 135 0 0 0 14 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140340070861864 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15294] ppid=15282 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/15285/task/15294/stat : 15294 (java) S 15282 15285 12018 0 -1 4202560 215 0 0 0 11 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339952216744 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15295] ppid=15282 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/15285/task/15295/stat : 15295 (java) S 15282 15285 12018 0 -1 4202560 121 0 0 0 8 2 0 0 20 0 19 0 10344475 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339951164200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15296] ppid=15282 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15285/task/15296/stat : 15296 (java) S 15282 15285 12018 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 19 0 10344476 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339938752872 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15297] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15297/stat : 15297 (java) S 15282 15285 12018 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339937699192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15298] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15298/stat : 15298 (java) S 15282 15285 12018 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 10344477 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339936646024 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15299] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15299/stat : 15299 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339197241616 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15300] ppid=15282 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/15285/task/15300/stat : 15300 (java) S 15282 15285 12018 0 -1 4202560 3016 0 0 0 22 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339196189496 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15285/tid=15301] ppid=15282 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/15285/task/15301/stat : 15301 (java) S 15282 15285 12018 0 -1 4202560 2614 0 0 0 29 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339195136952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15285/tid=15302] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15302/stat : 15302 (java) S 15282 15285 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339194084088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15285/tid=15303] ppid=15282 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/15285/task/15303/stat : 15303 (java) S 15282 15285 12018 0 -1 4202560 102 0 0 0 21 19 0 0 20 0 19 0 10344479 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339193031752 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15285/tid=15304] ppid=15282 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15285/task/15304/stat : 15304 (java) S 15282 15285 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10344491 9856040960 75666 33554432000 1073741824 1073778376 140737295347040 140339191977000 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.13
Current children cumulated vsize (KiB) 9625040
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15285 and gives
# childrusage.ru_utime.tv_sec=1759
# childrusage.ru_utime.tv_usec=294546
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=781881
# CPU time returned by wait4() is 1760.08
# while last known CPU time is 1764.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1762.78
CPU time (s): 1764.13
CPU user time (s): 1763.76
CPU system time (s): 0.37
CPU usage (%): 100.077
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.29
system time used= 0.781881
maximum resident set size= 302752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11456
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37531
involuntary context switches= 10629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0315 second user time and 11.6762 second system time
The end