runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479373-1307448537/watcher-3479373-1307448537 -o /tmp/evaluation-result-3479373-1307448537/solver-3479373-1307448537 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3479373-1307448537.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.52 3.91 3.88 3/519 25331
/proc/meminfo: memFree=22863096/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 3068 0 1 0 0 0 0 0 18 0 2 0 935085476 10681323520 2769 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2607745 2783 906 9 0 2598901 0
[pid=25331/tid=25332] ppid=25329 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) R 25329 25331 24554 0 -1 4202560 7629 0 1 0 0 0 0 0 19 0 2 0 935085477 10694979584 8446 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.097332 s]
/proc/loadavg: 3.52 3.91 3.88 3/519 25331
/proc/meminfo: memFree=22863096/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10540400 CPUtime=0.09 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 13049 0 1 0 9 0 0 0 18 0 18 0 935085476 10793369600 12719 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2635100 12720 2092 9 0 2625834 0
[pid=25331/tid=25332] ppid=25329 vsize=10540400 CPUtime=0.07 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) R 25329 25331 24554 0 -1 4202560 11118 0 1 0 7 0 0 0 18 0 18 0 935085477 10793369600 12721 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46919256001363 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540400
[startup+0.100348 s]
/proc/loadavg: 3.52 3.91 3.88 3/519 25331
/proc/meminfo: memFree=22863096/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10540400 CPUtime=0.1 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 13115 0 1 0 9 1 0 0 18 0 18 0 935085476 10793369600 12785 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2635100 12785 2092 9 0 2625834 0
[pid=25331/tid=25332] ppid=25329 vsize=10540400 CPUtime=0.07 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) R 25329 25331 24554 0 -1 4202560 11182 0 1 0 7 0 0 0 18 0 18 0 935085477 10793369600 12785 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379373515 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540400
[startup+0.300297 s]
/proc/loadavg: 3.52 3.91 3.88 3/519 25331
/proc/meminfo: memFree=22863096/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10542960 CPUtime=0.45 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 42576 0 1 0 41 4 0 0 18 0 18 0 935085476 10795991040 41693 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2635740 41695 2200 9 0 2626474 0
[pid=25331/tid=25332] ppid=25329 vsize=10542960 CPUtime=0.28 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) R 25329 25331 24554 0 -1 4202560 38939 0 1 0 24 4 0 0 18 0 18 0 935085477 10795991040 41696 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912505572910 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10542960
[startup+0.70022 s]
/proc/loadavg: 3.52 3.91 3.88 3/519 25331
/proc/meminfo: memFree=22863096/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10542960 CPUtime=0.86 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 65506 0 1 0 78 8 0 0 18 0 18 0 935085476 10795991040 64623 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2635740 64626 2201 9 0 2626474 0
[pid=25331/tid=25332] ppid=25329 vsize=10542960 CPUtime=0.68 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) R 25329 25331 24554 0 -1 4202560 61866 0 1 0 60 8 0 0 18 0 18 0 935085477 10795991040 64627 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912505582080 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10542960
[startup+1.50108 s]
/proc/loadavg: 3.52 3.91 3.88 4/537 25349
/proc/meminfo: memFree=22543256/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10542960 CPUtime=1.66 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 111785 0 1 0 151 15 0 0 18 0 18 0 935085476 10795991040 110902 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2635740 110904 2201 9 0 2626474 0
[pid=25331/tid=25332] ppid=25329 vsize=10542960 CPUtime=1.48 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) R 25329 25331 24554 0 -1 4202560 108145 0 1 0 133 15 0 0 20 0 18 0 935085477 10795991040 110906 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912505601649 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25331/tid=25334] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25334/stat : 25334 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 935085478 10795991040 110907 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25335] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25335/stat : 25335 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 110909 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25336] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25336/stat : 25336 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 110910 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25337] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25337/stat : 25337 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 110911 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25338] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25338/stat : 25338 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 110913 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25339] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 110914 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (java) S 25329 25331 24554 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 935085478 10795991040 110916 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 935085478 10795991040 110916 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (java) S 25329 25331 24554 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 935085479 10795991040 110917 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 0 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (java) S 25329 25331 24554 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 935085480 10795991040 110918 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (java) S 25329 25331 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 935085480 10795991040 110920 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 935085482 10795991040 110921 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379370417 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25346] ppid=25329 vsize=10542960 CPUtime=0.09 cores=1,3,5,7
/proc/25331/task/25346/stat : 25346 (java) S 25329 25331 24554 0 -1 4202560 1189 0 0 0 9 0 0 0 18 0 18 0 935085482 10795991040 110923 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25347] ppid=25329 vsize=10542960 CPUtime=0.08 cores=1,3,5,7
/proc/25331/task/25347/stat : 25347 (java) S 25329 25331 24554 0 -1 4202560 1303 0 0 0 8 0 0 0 16 0 18 0 935085482 10795991040 110924 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25348] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25348/stat : 25348 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 935085482 10795991040 110925 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25349] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25349/stat : 25349 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 935085482 10795991040 110927 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10542960
[startup+3.10078 s]
/proc/loadavg: 3.52 3.91 3.88 4/537 25349
/proc/meminfo: memFree=22297260/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10542960 CPUtime=3.26 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 202615 0 1 0 299 27 0 0 18 0 18 0 935085476 10795991040 201732 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2635740 201735 2205 9 0 2626474 0
[pid=25331/tid=25332] ppid=25329 vsize=10542960 CPUtime=3.07 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) R 25329 25331 24554 0 -1 4202560 198971 0 1 0 281 26 0 0 25 0 18 0 935085477 10795991040 201736 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912505596789 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25331/tid=25334] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25334/stat : 25334 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 935085478 10795991040 201737 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25335] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25335/stat : 25335 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 201739 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25336] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25336/stat : 25336 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 201740 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25337] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25337/stat : 25337 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 201742 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25338] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25338/stat : 25338 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 201743 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25339] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10795991040 201744 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (java) S 25329 25331 24554 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 935085478 10795991040 201746 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 935085478 10795991040 201747 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (java) S 25329 25331 24554 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 935085479 10795991040 201748 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 0 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (java) S 25329 25331 24554 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 935085480 10795991040 201750 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (java) S 25329 25331 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 935085480 10795991040 201751 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 935085482 10795991040 201753 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379370417 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25346] ppid=25329 vsize=10542960 CPUtime=0.09 cores=1,3,5,7
/proc/25331/task/25346/stat : 25346 (java) S 25329 25331 24554 0 -1 4202560 1193 0 0 0 9 0 0 0 15 0 18 0 935085482 10795991040 201754 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25347] ppid=25329 vsize=10542960 CPUtime=0.08 cores=1,3,5,7
/proc/25331/task/25347/stat : 25347 (java) S 25329 25331 24554 0 -1 4202560 1303 0 0 0 8 0 0 0 16 0 18 0 935085482 10795991040 201755 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25348] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25348/stat : 25348 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 935085482 10795991040 201757 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25349] ppid=25329 vsize=10542960 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25349/stat : 25349 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 935085482 10795991040 201758 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 10542960
[startup+6.3012 s]
/proc/loadavg: 3.47 3.89 3.88 4/537 25349
/proc/meminfo: memFree=21520540/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10544152 CPUtime=6.68 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 462262 0 1 0 611 57 0 0 18 0 18 0 935085476 10797211648 460732 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2636038 460760 2206 9 0 2626772 0
[pid=25331/tid=25332] ppid=25329 vsize=10544152 CPUtime=6.27 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) R 25329 25331 24554 0 -1 4202560 457544 0 1 0 571 56 0 0 25 0 18 0 935085477 10797211648 460773 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46919256001626 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25331/tid=25334] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25334/stat : 25334 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 935085478 10797211648 460790 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25335] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25335/stat : 25335 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10797211648 460806 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25336] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25336/stat : 25336 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10797211648 460823 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25337] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25337/stat : 25337 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10797211648 460838 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25338] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25338/stat : 25338 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10797211648 460853 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25339] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935085478 10797211648 460869 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (java) S 25329 25331 24554 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 935085478 10797211648 460885 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 935085478 10797211648 460900 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (java) S 25329 25331 24554 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 935085479 10797211648 460916 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 0 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (java) S 25329 25331 24554 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 935085480 10797211648 460931 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (java) S 25329 25331 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 935085480 10797211648 460948 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 935085482 10797211648 460963 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379370417 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25346] ppid=25329 vsize=10544152 CPUtime=0.2 cores=1,3,5,7
/proc/25331/task/25346/stat : 25346 (java) S 25329 25331 24554 0 -1 4202560 1628 0 0 0 20 0 0 0 16 0 18 0 935085482 10797211648 460980 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25347] ppid=25329 vsize=10544152 CPUtime=0.18 cores=1,3,5,7
/proc/25331/task/25347/stat : 25347 (java) S 25329 25331 24554 0 -1 4202560 1980 0 0 0 18 0 0 0 15 0 18 0 935085482 10797211648 460996 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25348] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25348/stat : 25348 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 935085482 10797211648 461012 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25349] ppid=25329 vsize=10544152 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25349/stat : 25349 (java) S 25329 25331 24554 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 935085482 10797211648 461027 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=16599128/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10549588 CPUtime=1610.15 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 1372867 0 1 0 160835 180 0 0 18 0 22 0 935085476 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2637397 1359761 2244 9 0 2628131 0
[pid=25331/tid=25332] ppid=25329 vsize=10549588 CPUtime=47.28 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) S 25329 25331 24554 0 -1 4202560 651062 0 1 0 4640 88 0 0 15 0 22 0 935085477 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25334] ppid=25329 vsize=10549588 CPUtime=2.61 cores=1,3,5,7
/proc/25331/task/25334/stat : 25334 (java) S 25329 25331 24554 0 -1 4202560 70409 0 0 0 253 8 0 0 15 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25335] ppid=25329 vsize=10549588 CPUtime=2.86 cores=1,3,5,7
/proc/25331/task/25335/stat : 25335 (java) S 25329 25331 24554 0 -1 4202560 103814 0 0 0 276 10 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25336] ppid=25329 vsize=10549588 CPUtime=2.41 cores=1,3,5,7
/proc/25331/task/25336/stat : 25336 (java) S 25329 25331 24554 0 -1 4202560 70692 0 0 0 233 8 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25337] ppid=25329 vsize=10549588 CPUtime=2.16 cores=1,3,5,7
/proc/25331/task/25337/stat : 25337 (java) S 25329 25331 24554 0 -1 4202560 68751 0 0 0 208 8 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
[pid=25331/tid=25338] ppid=25329 vsize=10549588 CPUtime=2.42 cores=1,3,5,7
/proc/25331/task/25338/stat : 25338 (java) S 25329 25331 24554 0 -1 4202560 79856 0 0 0 232 10 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25339] ppid=25329 vsize=10549588 CPUtime=3.23 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (java) S 25329 25331 24554 0 -1 4202560 108706 0 0 0 309 14 0 0 15 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=10549588 CPUtime=2.92 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (java) S 25329 25331 24554 0 -1 4202560 102246 0 0 0 278 14 0 0 15 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=10549588 CPUtime=3.72 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (java) S 25329 25331 24554 0 -1 4202560 101195 0 0 0 359 13 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (java) S 25329 25331 24554 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 935085479 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 0 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (java) S 25329 25331 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 935085480 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (java) S 25329 25331 24554 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 935085480 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379370417 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25346] ppid=25329 vsize=10549588 CPUtime=0.9 cores=1,3,5,7
/proc/25331/task/25346/stat : 25346 (java) S 25329 25331 24554 0 -1 4202560 3293 0 0 0 90 0 0 0 15 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25347] ppid=25329 vsize=10549588 CPUtime=1.09 cores=1,3,5,7
/proc/25331/task/25347/stat : 25347 (java) S 25329 25331 24554 0 -1 4202560 11529 0 0 0 108 1 0 0 15 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25348] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25348/stat : 25348 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25349] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25349/stat : 25349 (java) S 25329 25331 24554 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25352] ppid=25329 vsize=10549588 CPUtime=769.23 cores=1,3,5,7
/proc/25331/task/25352/stat : 25352 (java) R 25329 25331 24554 0 -1 4202560 36 0 0 0 76923 0 0 0 25 0 22 0 935090772 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912505900843 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=10549588 CPUtime=769.18 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (java) R 25329 25331 24554 0 -1 4202560 55 0 0 0 76918 0 0 0 25 0 22 0 935090772 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912506008693 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25331/tid=25354] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25354/stat : 25354 (java) S 25329 25331 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 935090843 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25355] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25355/stat : 25355 (java) S 25329 25331 24554 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 935090845 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1610.15
Current children cumulated vsize (KiB) 10549588
[startup+882.32 s]
/proc/loadavg: 4.00 4.01 3.94 5/541 25379
/proc/meminfo: memFree=16592404/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10549588 CPUtime=1730.19 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 1372871 0 1 0 172839 180 0 0 18 0 22 0 935085476 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2637397 1359761 2244 9 0 2628131 0
[pid=25331/tid=25332] ppid=25329 vsize=10549588 CPUtime=47.28 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) S 25329 25331 24554 0 -1 4202560 651062 0 1 0 4640 88 0 0 15 0 22 0 935085477 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25334] ppid=25329 vsize=10549588 CPUtime=2.61 cores=1,3,5,7
/proc/25331/task/25334/stat : 25334 (java) S 25329 25331 24554 0 -1 4202560 70409 0 0 0 253 8 0 0 15 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25335] ppid=25329 vsize=10549588 CPUtime=2.86 cores=1,3,5,7
/proc/25331/task/25335/stat : 25335 (java) S 25329 25331 24554 0 -1 4202560 103814 0 0 0 276 10 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25336] ppid=25329 vsize=10549588 CPUtime=2.41 cores=1,3,5,7
/proc/25331/task/25336/stat : 25336 (java) S 25329 25331 24554 0 -1 4202560 70692 0 0 0 233 8 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25337] ppid=25329 vsize=10549588 CPUtime=2.16 cores=1,3,5,7
/proc/25331/task/25337/stat : 25337 (java) S 25329 25331 24554 0 -1 4202560 68751 0 0 0 208 8 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
[pid=25331/tid=25338] ppid=25329 vsize=10549588 CPUtime=2.42 cores=1,3,5,7
/proc/25331/task/25338/stat : 25338 (java) S 25329 25331 24554 0 -1 4202560 79856 0 0 0 232 10 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25339] ppid=25329 vsize=10549588 CPUtime=3.23 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (java) S 25329 25331 24554 0 -1 4202560 108706 0 0 0 309 14 0 0 15 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=10549588 CPUtime=2.92 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (java) S 25329 25331 24554 0 -1 4202560 102246 0 0 0 278 14 0 0 15 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=10549588 CPUtime=3.72 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (java) S 25329 25331 24554 0 -1 4202560 101195 0 0 0 359 13 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (java) S 25329 25331 24554 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 935085479 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 0 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (java) S 25329 25331 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 935085480 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (java) S 25329 25331 24554 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 935085480 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379370417 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25346] ppid=25329 vsize=10549588 CPUtime=0.9 cores=1,3,5,7
/proc/25331/task/25346/stat : 25346 (java) S 25329 25331 24554 0 -1 4202560 3293 0 0 0 90 0 0 0 15 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25347] ppid=25329 vsize=10549588 CPUtime=1.09 cores=1,3,5,7
/proc/25331/task/25347/stat : 25347 (java) S 25329 25331 24554 0 -1 4202560 11529 0 0 0 108 1 0 0 15 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25348] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25348/stat : 25348 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25349] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25349/stat : 25349 (java) S 25329 25331 24554 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25352] ppid=25329 vsize=10549588 CPUtime=829.25 cores=1,3,5,7
/proc/25331/task/25352/stat : 25352 (java) R 25329 25331 24554 0 -1 4202560 36 0 0 0 82925 0 0 0 25 0 22 0 935090772 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912505900865 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=10549588 CPUtime=829.2 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (java) R 25329 25331 24554 0 -1 4202560 55 0 0 0 82920 0 0 0 25 0 22 0 935090772 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912506008527 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25331/tid=25354] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25354/stat : 25354 (java) S 25329 25331 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 935090843 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25355] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25355/stat : 25355 (java) S 25329 25331 24554 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 935090845 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1730.19
Current children cumulated vsize (KiB) 10549588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+917.302 s]
/proc/loadavg: 3.56 3.90 3.90 4/537 25432
/proc/meminfo: memFree=17146192/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=10549588 CPUtime=1800.17 cores=1,3,5,7
/proc/25331/stat : 25331 (java) S 25329 25331 24554 0 -1 4202496 1372873 0 1 0 179837 180 0 0 18 0 22 0 935085476 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 2637397 1359761 2244 9 0 2628131 0
[pid=25331/tid=25332] ppid=25329 vsize=10549588 CPUtime=47.28 cores=1,3,5,7
/proc/25331/task/25332/stat : 25332 (java) S 25329 25331 24554 0 -1 4202560 651062 0 1 0 4640 88 0 0 15 0 22 0 935085477 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25334] ppid=25329 vsize=10549588 CPUtime=2.61 cores=1,3,5,7
/proc/25331/task/25334/stat : 25334 (java) S 25329 25331 24554 0 -1 4202560 70409 0 0 0 253 8 0 0 15 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25335] ppid=25329 vsize=10549588 CPUtime=2.86 cores=1,3,5,7
/proc/25331/task/25335/stat : 25335 (java) S 25329 25331 24554 0 -1 4202560 103814 0 0 0 276 10 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25336] ppid=25329 vsize=10549588 CPUtime=2.41 cores=1,3,5,7
/proc/25331/task/25336/stat : 25336 (java) S 25329 25331 24554 0 -1 4202560 70692 0 0 0 233 8 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25337] ppid=25329 vsize=10549588 CPUtime=2.16 cores=1,3,5,7
/proc/25331/task/25337/stat : 25337 (java) S 25329 25331 24554 0 -1 4202560 68751 0 0 0 208 8 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
[pid=25331/tid=25338] ppid=25329 vsize=10549588 CPUtime=2.42 cores=1,3,5,7
/proc/25331/task/25338/stat : 25338 (java) S 25329 25331 24554 0 -1 4202560 79856 0 0 0 232 10 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25339] ppid=25329 vsize=10549588 CPUtime=3.23 cores=1,3,5,7
/proc/25331/task/25339/stat : 25339 (java) S 25329 25331 24554 0 -1 4202560 108706 0 0 0 309 14 0 0 15 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25340] ppid=25329 vsize=10549588 CPUtime=2.92 cores=1,3,5,7
/proc/25331/task/25340/stat : 25340 (java) S 25329 25331 24554 0 -1 4202560 102246 0 0 0 278 14 0 0 15 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
[pid=25331/tid=25341] ppid=25329 vsize=10549588 CPUtime=3.72 cores=1,3,5,7
/proc/25331/task/25341/stat : 25341 (java) S 25329 25331 24554 0 -1 4202560 101195 0 0 0 359 13 0 0 16 0 22 0 935085478 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 3 0 0 0
[pid=25331/tid=25342] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25342/stat : 25342 (java) S 25329 25331 24554 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 935085479 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 0 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25343] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25343/stat : 25343 (java) S 25329 25331 24554 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 935085480 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25344] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25344/stat : 25344 (java) S 25329 25331 24554 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 935085480 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25345] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25345/stat : 25345 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379370417 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25346] ppid=25329 vsize=10549588 CPUtime=0.9 cores=1,3,5,7
/proc/25331/task/25346/stat : 25346 (java) S 25329 25331 24554 0 -1 4202560 3293 0 0 0 90 0 0 0 15 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25347] ppid=25329 vsize=10549588 CPUtime=1.09 cores=1,3,5,7
/proc/25331/task/25347/stat : 25347 (java) S 25329 25331 24554 0 -1 4202560 11529 0 0 0 108 1 0 0 15 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25348] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25348/stat : 25348 (java) S 25329 25331 24554 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379362713 0 4 0 16800975 18446604470742685824 0 0 -1 1 0 0 0
[pid=25331/tid=25349] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25349/stat : 25349 (java) S 25329 25331 24554 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 935085482 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 5 0 0 0
[pid=25331/tid=25352] ppid=25329 vsize=10549588 CPUtime=864.25 cores=1,3,5,7
/proc/25331/task/25352/stat : 25352 (java) R 25329 25331 24554 0 -1 4202560 36 0 0 0 86425 0 0 0 25 0 22 0 935090772 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912505900787 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=10549588 CPUtime=864.2 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (java) R 25329 25331 24554 0 -1 4202560 55 0 0 0 86420 0 0 0 25 0 22 0 935090772 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 46912506008251 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25331/tid=25354] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25354/stat : 25354 (java) S 25329 25331 24554 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 935090843 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
[pid=25331/tid=25355] ppid=25329 vsize=10549588 CPUtime=0 cores=1,3,5,7
/proc/25331/task/25355/stat : 25355 (java) S 25329 25331 24554 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 935090845 10802778112 1359761 33554432000 1073741824 1073778376 140734404593552 18446744073709551615 251379363328 0 4 0 16800975 18446604470742685824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10549588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+917.52 s]
/proc/loadavg: 3.56 3.90 3.90 3/518 25435
/proc/meminfo: memFree=19867108/32950928 swapFree=34421304/67111528
[pid=25331] ppid=25329 vsize=0 CPUtime=1800.41 cores=1,3,5,7
/proc/25331/stat : 25331 (java) Z 25329 25331 24554 0 -1 4203548 1372901 0 1 0 179841 200 0 0 17 0 2 0 935085476 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25331/statm: 0 0 0 0 0 0 0
[pid=25331/tid=25353] ppid=25329 vsize=0 CPUtime=864.39 cores=1,3,5,7
/proc/25331/task/25353/stat : 25353 (java) R 25329 25331 24554 0 -1 4203588 55 0 0 0 86421 18 0 0 25 0 2 0 935090772 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 917.522
CPU time (s): 1800.42
CPU user time (s): 1798.42
CPU system time (s): 2.00269
CPU usage (%): 196.226
Max. virtual memory (cumulated for all children) (KiB): 10549588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.42
system time used= 2.0027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1372901
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21452
involuntary context switches= 16051
runsolver used 4.76427 second user time and 11.0833 second system time
The end