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-3457044-1307215870/watcher-3457044-1307215870 -o /tmp/evaluation-result-3457044-1307215870/solver-3457044-1307215870 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457044-1307215870.opb
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: 0.08 0.02 0.01 2/473 735
/proc/meminfo: memFree=22170940/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/735/stat : 735 (java) R 733 735 633 0 -1 4202496 514 0 0 0 0 0 0 0 21 0 1 0 814002981 23580672 258 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220811274005 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/735/statm: 5757 270 208 9 0 124 0
[pid=735/tid=736] ppid=733 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 4907 0 1 0 0 0 0 0 22 0 2 0 814002981 10694979584 5724 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.104279 s]
/proc/loadavg: 0.08 0.02 0.01 2/473 735
/proc/meminfo: memFree=22170940/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10540000 CPUtime=0.1 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 13113 0 1 0 9 1 0 0 21 0 18 0 814002981 10792960000 12792 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2635000 12793 2092 9 0 2625734 0
[pid=735/tid=736] ppid=733 vsize=10540000 CPUtime=0.09 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 11177 0 1 0 8 1 0 0 25 0 18 0 814002981 10792960000 12793 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828063179 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540000
[startup+0.206278 s]
/proc/loadavg: 0.08 0.02 0.01 2/473 735
/proc/meminfo: memFree=22170940/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10540324 CPUtime=0.29 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 14242 0 1 0 27 2 0 0 21 0 18 0 814002981 10793291776 13826 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2635081 13826 2183 9 0 2625815 0
[pid=735/tid=736] ppid=733 vsize=10540324 CPUtime=0.18 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 11812 0 1 0 17 1 0 0 25 0 18 0 814002981 10793291776 13826 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540324
[startup+0.312238 s]
/proc/loadavg: 0.08 0.02 0.01 2/473 735
/proc/meminfo: memFree=22170940/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10542136 CPUtime=0.52 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 16297 0 1 0 50 2 0 0 21 0 19 0 814002981 10795147264 15377 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2635534 15377 2210 9 0 2626268 0
[pid=735/tid=736] ppid=733 vsize=10542136 CPUtime=0.3 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 12981 0 1 0 28 2 0 0 25 0 19 0 814002981 10795147264 15377 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10542136
[startup+0.701161 s]
/proc/loadavg: 0.08 0.02 0.01 2/473 735
/proc/meminfo: memFree=22170940/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10553508 CPUtime=1.66 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 43997 0 1 0 162 4 0 0 21 0 19 0 814002981 10806792192 39829 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2638377 39830 2222 9 0 2629111 0
[pid=735/tid=736] ppid=733 vsize=10553508 CPUtime=0.69 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 32022 0 1 0 66 3 0 0 18 0 19 0 814002981 10806792192 39831 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10553508
[startup+1.50103 s]
/proc/loadavg: 0.08 0.02 0.01 4/492 754
/proc/meminfo: memFree=21470896/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10553508 CPUtime=2.76 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 130425 0 1 0 263 13 0 0 21 0 19 0 814002981 10806792192 126256 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2638377 126260 2226 9 0 2629111 0
[pid=735/tid=736] ppid=733 vsize=10553508 CPUtime=1.48 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 118269 0 1 0 136 12 0 0 18 0 19 0 814002981 10806792192 126265 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 46912505835673 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=735/tid=738] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/738/stat : 738 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 814002983 10806792192 126269 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=739] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/739/stat : 739 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814002983 10806792192 126272 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=740] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/740/stat : 740 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 126273 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=741] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/741/stat : 741 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 126275 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=742] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/742/stat : 742 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 126277 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=743] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/743/stat : 743 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 126279 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=744] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/744/stat : 744 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 126281 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=745] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/745/stat : 745 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 126283 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=746] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/746/stat : 746 (java) S 733 735 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002984 10806792192 126285 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 0 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=747] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/747/stat : 747 (java) S 733 735 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002985 10806792192 126287 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=748] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/748/stat : 748 (java) S 733 735 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002985 10806792192 126288 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=749] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/749/stat : 749 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10806792192 126290 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828060081 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=750] ppid=733 vsize=10553508 CPUtime=0.64 cores=0,2,4,6
/proc/735/task/750/stat : 750 (java) R 733 735 633 0 -1 4202560 6173 0 0 0 64 0 0 0 16 0 19 0 814002987 10806792192 126294 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 47282089017927 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=735/tid=751] ppid=733 vsize=10553508 CPUtime=0.62 cores=0,2,4,6
/proc/735/task/751/stat : 751 (java) R 733 735 633 0 -1 4202560 4831 0 0 0 62 0 0 0 15 0 19 0 814002987 10806792192 126299 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 47282092786989 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=735/tid=752] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/752/stat : 752 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10806792192 126304 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=753] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/753/stat : 753 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002987 10806792192 126307 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=754] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/754/stat : 754 (java) S 733 735 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814003011 10806792192 126308 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10553508
[startup+3.10074 s]
/proc/loadavg: 0.08 0.02 0.01 3/492 754
/proc/meminfo: memFree=21002920/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10553508 CPUtime=4.44 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 299848 0 1 0 412 32 0 0 21 0 19 0 814002981 10806792192 295678 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2638377 295681 2227 9 0 2629111 0
[pid=735/tid=736] ppid=733 vsize=10553508 CPUtime=3.08 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 287673 0 1 0 277 31 0 0 19 0 19 0 814002981 10806792192 295682 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 46912505696114 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=735/tid=738] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/738/stat : 738 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 814002983 10806792192 295683 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=739] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/739/stat : 739 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814002983 10806792192 295685 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=740] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/740/stat : 740 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 295687 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=741] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/741/stat : 741 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 295690 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=742] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/742/stat : 742 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 295693 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=743] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/743/stat : 743 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 295696 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=744] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/744/stat : 744 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 295699 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=745] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/745/stat : 745 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10806792192 295701 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=746] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/746/stat : 746 (java) S 733 735 633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814002984 10806792192 295702 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 0 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=747] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/747/stat : 747 (java) S 733 735 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002985 10806792192 295704 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=748] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/748/stat : 748 (java) S 733 735 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002985 10806792192 295707 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=749] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/749/stat : 749 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10806792192 295710 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828060081 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=750] ppid=733 vsize=10553508 CPUtime=0.7 cores=0,2,4,6
/proc/735/task/750/stat : 750 (java) S 733 735 633 0 -1 4202560 6181 0 0 0 70 0 0 0 15 0 19 0 814002987 10806792192 295714 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=751] ppid=733 vsize=10553508 CPUtime=0.63 cores=0,2,4,6
/proc/735/task/751/stat : 751 (java) S 733 735 633 0 -1 4202560 4837 0 0 0 63 0 0 0 16 0 19 0 814002987 10806792192 295716 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=752] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/752/stat : 752 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10806792192 295720 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=753] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/753/stat : 753 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002987 10806792192 295723 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=754] ppid=733 vsize=10553508 CPUtime=0 cores=0,2,4,6
/proc/735/task/754/stat : 754 (java) S 733 735 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814003011 10806792192 295725 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 10553508
[startup+6.30111 s]
/proc/loadavg: 0.23 0.05 0.02 3/492 754
/proc/meminfo: memFree=19663768/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10550568 CPUtime=7.66 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 609722 0 1 0 701 65 0 0 21 0 19 0 814002981 10803781632 604394 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2637642 604398 2228 9 0 2628376 0
[pid=735/tid=736] ppid=733 vsize=10550568 CPUtime=6.29 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 597545 0 1 0 565 64 0 0 18 0 19 0 814002981 10803781632 604399 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 46912505665983 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=735/tid=738] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/738/stat : 738 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 814002983 10803781632 604400 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=739] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/739/stat : 739 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814002983 10803781632 604402 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=740] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/740/stat : 740 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10803781632 604404 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=741] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/741/stat : 741 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10803781632 604406 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=742] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/742/stat : 742 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10803781632 604408 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=743] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/743/stat : 743 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10803781632 604409 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=744] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/744/stat : 744 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10803781632 604411 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=745] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/745/stat : 745 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002983 10803781632 604412 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=746] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/746/stat : 746 (java) S 733 735 633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814002984 10803781632 604414 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 0 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=747] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/747/stat : 747 (java) S 733 735 633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002985 10803781632 604416 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=748] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/748/stat : 748 (java) S 733 735 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002985 10803781632 604417 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=749] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/749/stat : 749 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10803781632 604419 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828060081 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=750] ppid=733 vsize=10550568 CPUtime=0.72 cores=0,2,4,6
/proc/735/task/750/stat : 750 (java) S 733 735 633 0 -1 4202560 6183 0 0 0 72 0 0 0 15 0 19 0 814002987 10803781632 604421 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=751] ppid=733 vsize=10550568 CPUtime=0.63 cores=0,2,4,6
/proc/735/task/751/stat : 751 (java) S 733 735 633 0 -1 4202560 4837 0 0 0 63 0 0 0 15 0 19 0 814002987 10803781632 604423 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/735/task/748/stat : 748 (java) S 733 735 633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002985 10803781632 916642 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=749] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/749/stat : 749 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10803781632 916642 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828060081 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=750] ppid=733 vsize=10550568 CPUtime=0.91 cores=0,2,4,6
/proc/735/task/750/stat : 750 (java) S 733 735 633 0 -1 4202560 6220 0 0 0 91 0 0 0 15 0 19 0 814002987 10803781632 916642 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=751] ppid=733 vsize=10550568 CPUtime=0.74 cores=0,2,4,6
/proc/735/task/751/stat : 751 (java) S 733 735 633 0 -1 4202560 4862 0 0 0 74 0 0 0 15 0 19 0 814002987 10803781632 916642 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=752] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/752/stat : 752 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10803781632 916642 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=753] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/753/stat : 753 (java) S 733 735 633 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 814002987 10803781632 916642 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=754] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/754/stat : 754 (java) S 733 735 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814003011 10803781632 916642 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1667.17
Current children cumulated vsize (KiB) 10550568
[startup+1722.3 s]
/proc/loadavg: 2.16 2.05 1.70 3/492 801
/proc/meminfo: memFree=17097492/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10550568 CPUtime=1727.29 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 923166 0 1 0 172623 106 0 0 21 0 19 0 814002981 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2637642 916651 2257 9 0 2628376 0
[pid=735/tid=736] ppid=733 vsize=10550568 CPUtime=1719.78 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 835092 0 1 0 171887 91 0 0 25 0 19 0 814002981 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 46912505562393 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=735/tid=738] ppid=733 vsize=10550568 CPUtime=0.65 cores=0,2,4,6
/proc/735/task/738/stat : 738 (java) S 733 735 633 0 -1 4202560 7054 0 0 0 64 1 0 0 16 0 19 0 814002983 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=739] ppid=733 vsize=10550568 CPUtime=0.6 cores=0,2,4,6
/proc/735/task/739/stat : 739 (java) S 733 735 633 0 -1 4202560 12494 0 0 0 58 2 0 0 16 0 19 0 814002983 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=740] ppid=733 vsize=10550568 CPUtime=0.53 cores=0,2,4,6
/proc/735/task/740/stat : 740 (java) S 733 735 633 0 -1 4202560 5683 0 0 0 52 1 0 0 16 0 19 0 814002983 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=741] ppid=733 vsize=10550568 CPUtime=0.61 cores=0,2,4,6
/proc/735/task/741/stat : 741 (java) S 733 735 633 0 -1 4202560 8397 0 0 0 60 1 0 0 15 0 19 0 814002983 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=742] ppid=733 vsize=10550568 CPUtime=0.56 cores=0,2,4,6
/proc/735/task/742/stat : 742 (java) S 733 735 633 0 -1 4202560 6386 0 0 0 55 1 0 0 16 0 19 0 814002983 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=743] ppid=733 vsize=10550568 CPUtime=0.65 cores=0,2,4,6
/proc/735/task/743/stat : 743 (java) S 733 735 633 0 -1 4202560 10827 0 0 0 63 2 0 0 15 0 19 0 814002983 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=744] ppid=733 vsize=10550568 CPUtime=0.65 cores=0,2,4,6
/proc/735/task/744/stat : 744 (java) S 733 735 633 0 -1 4202560 9476 0 0 0 64 1 0 0 15 0 19 0 814002983 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=745] ppid=733 vsize=10550568 CPUtime=0.58 cores=0,2,4,6
/proc/735/task/745/stat : 745 (java) S 733 735 633 0 -1 4202560 9863 0 0 0 57 1 0 0 15 0 19 0 814002983 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=746] ppid=733 vsize=10550568 CPUtime=0.94 cores=0,2,4,6
/proc/735/task/746/stat : 746 (java) S 733 735 633 0 -1 4202560 5561 0 0 0 93 1 0 0 15 0 19 0 814002984 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 0 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=747] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/747/stat : 747 (java) S 733 735 633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002985 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=748] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/748/stat : 748 (java) S 733 735 633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002985 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=749] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/749/stat : 749 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828060081 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=750] ppid=733 vsize=10550568 CPUtime=0.91 cores=0,2,4,6
/proc/735/task/750/stat : 750 (java) S 733 735 633 0 -1 4202560 6220 0 0 0 91 0 0 0 15 0 19 0 814002987 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=751] ppid=733 vsize=10550568 CPUtime=0.74 cores=0,2,4,6
/proc/735/task/751/stat : 751 (java) S 733 735 633 0 -1 4202560 4862 0 0 0 74 0 0 0 15 0 19 0 814002987 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=752] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/752/stat : 752 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=753] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/753/stat : 753 (java) S 733 735 633 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814002987 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=754] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/754/stat : 754 (java) S 733 735 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814003011 10803781632 916651 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1727.29
Current children cumulated vsize (KiB) 10550568
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 1.71 3/492 802
/proc/meminfo: memFree=17092008/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10550568 CPUtime=1787.41 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 923192 0 1 0 178635 106 0 0 21 0 19 0 814002981 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2637642 916667 2257 9 0 2628376 0
[pid=735/tid=736] ppid=733 vsize=10550568 CPUtime=1779.73 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 835096 0 1 0 177882 91 0 0 25 0 19 0 814002981 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 46912505692915 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=735/tid=738] ppid=733 vsize=10550568 CPUtime=0.67 cores=0,2,4,6
/proc/735/task/738/stat : 738 (java) S 733 735 633 0 -1 4202560 7057 0 0 0 66 1 0 0 16 0 19 0 814002983 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=739] ppid=733 vsize=10550568 CPUtime=0.62 cores=0,2,4,6
/proc/735/task/739/stat : 739 (java) S 733 735 633 0 -1 4202560 12497 0 0 0 60 2 0 0 15 0 19 0 814002983 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=740] ppid=733 vsize=10550568 CPUtime=0.57 cores=0,2,4,6
/proc/735/task/740/stat : 740 (java) S 733 735 633 0 -1 4202560 5685 0 0 0 56 1 0 0 16 0 19 0 814002983 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=741] ppid=733 vsize=10550568 CPUtime=0.62 cores=0,2,4,6
/proc/735/task/741/stat : 741 (java) S 733 735 633 0 -1 4202560 8397 0 0 0 61 1 0 0 15 0 19 0 814002983 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=742] ppid=733 vsize=10550568 CPUtime=0.57 cores=0,2,4,6
/proc/735/task/742/stat : 742 (java) S 733 735 633 0 -1 4202560 6386 0 0 0 56 1 0 0 15 0 19 0 814002983 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=743] ppid=733 vsize=10550568 CPUtime=0.65 cores=0,2,4,6
/proc/735/task/743/stat : 743 (java) S 733 735 633 0 -1 4202560 10827 0 0 0 63 2 0 0 15 0 19 0 814002983 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=744] ppid=733 vsize=10550568 CPUtime=0.68 cores=0,2,4,6
/proc/735/task/744/stat : 744 (java) S 733 735 633 0 -1 4202560 9478 0 0 0 67 1 0 0 16 0 19 0 814002983 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=745] ppid=733 vsize=10550568 CPUtime=0.62 cores=0,2,4,6
/proc/735/task/745/stat : 745 (java) S 733 735 633 0 -1 4202560 9869 0 0 0 61 1 0 0 16 0 19 0 814002983 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=746] ppid=733 vsize=10550568 CPUtime=0.94 cores=0,2,4,6
/proc/735/task/746/stat : 746 (java) S 733 735 633 0 -1 4202560 5563 0 0 0 93 1 0 0 15 0 19 0 814002984 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 0 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=747] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/747/stat : 747 (java) S 733 735 633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002985 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=748] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/748/stat : 748 (java) S 733 735 633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002985 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=749] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/749/stat : 749 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828060081 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=750] ppid=733 vsize=10550568 CPUtime=0.91 cores=0,2,4,6
/proc/735/task/750/stat : 750 (java) S 733 735 633 0 -1 4202560 6220 0 0 0 91 0 0 0 15 0 19 0 814002987 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=751] ppid=733 vsize=10550568 CPUtime=0.74 cores=0,2,4,6
/proc/735/task/751/stat : 751 (java) S 733 735 633 0 -1 4202560 4862 0 0 0 74 0 0 0 15 0 19 0 814002987 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=752] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/752/stat : 752 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=753] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/753/stat : 753 (java) S 733 735 633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814002987 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=754] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/754/stat : 754 (java) S 733 735 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814003011 10803781632 916667 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (KiB) 10550568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 1.96 2.02 1.71 2/469 989
/proc/meminfo: memFree=20765696/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=10550568 CPUtime=1800.04 cores=0,2,4,6
/proc/735/stat : 735 (java) S 733 735 633 0 -1 4202496 923197 0 1 0 179898 106 0 0 21 0 19 0 814002981 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 2637642 916669 2257 9 0 2628376 0
[pid=735/tid=736] ppid=733 vsize=10550568 CPUtime=1792.33 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4202560 835097 0 1 0 179142 91 0 0 25 0 19 0 814002981 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 46912505792110 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=735/tid=738] ppid=733 vsize=10550568 CPUtime=0.67 cores=0,2,4,6
/proc/735/task/738/stat : 738 (java) S 733 735 633 0 -1 4202560 7057 0 0 0 66 1 0 0 15 0 19 0 814002983 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=739] ppid=733 vsize=10550568 CPUtime=0.62 cores=0,2,4,6
/proc/735/task/739/stat : 739 (java) S 733 735 633 0 -1 4202560 12497 0 0 0 60 2 0 0 15 0 19 0 814002983 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=740] ppid=733 vsize=10550568 CPUtime=0.58 cores=0,2,4,6
/proc/735/task/740/stat : 740 (java) S 733 735 633 0 -1 4202560 5685 0 0 0 57 1 0 0 16 0 19 0 814002983 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=741] ppid=733 vsize=10550568 CPUtime=0.63 cores=0,2,4,6
/proc/735/task/741/stat : 741 (java) S 733 735 633 0 -1 4202560 8398 0 0 0 62 1 0 0 16 0 19 0 814002983 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=742] ppid=733 vsize=10550568 CPUtime=0.58 cores=0,2,4,6
/proc/735/task/742/stat : 742 (java) S 733 735 633 0 -1 4202560 6387 0 0 0 57 1 0 0 16 0 19 0 814002983 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=743] ppid=733 vsize=10550568 CPUtime=0.65 cores=0,2,4,6
/proc/735/task/743/stat : 743 (java) S 733 735 633 0 -1 4202560 10827 0 0 0 63 2 0 0 15 0 19 0 814002983 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=744] ppid=733 vsize=10550568 CPUtime=0.68 cores=0,2,4,6
/proc/735/task/744/stat : 744 (java) S 733 735 633 0 -1 4202560 9478 0 0 0 67 1 0 0 15 0 19 0 814002983 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=745] ppid=733 vsize=10550568 CPUtime=0.63 cores=0,2,4,6
/proc/735/task/745/stat : 745 (java) S 733 735 633 0 -1 4202560 9869 0 0 0 62 1 0 0 16 0 19 0 814002983 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 6 0 0 0
[pid=735/tid=746] ppid=733 vsize=10550568 CPUtime=0.94 cores=0,2,4,6
/proc/735/task/746/stat : 746 (java) S 733 735 633 0 -1 4202560 5565 0 0 0 93 1 0 0 15 0 19 0 814002984 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 0 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=747] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/747/stat : 747 (java) S 733 735 633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002985 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=748] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/748/stat : 748 (java) S 733 735 633 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002985 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=749] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/749/stat : 749 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828060081 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=750] ppid=733 vsize=10550568 CPUtime=0.91 cores=0,2,4,6
/proc/735/task/750/stat : 750 (java) S 733 735 633 0 -1 4202560 6220 0 0 0 91 0 0 0 15 0 19 0 814002987 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
[pid=735/tid=751] ppid=733 vsize=10550568 CPUtime=0.74 cores=0,2,4,6
/proc/735/task/751/stat : 751 (java) S 733 735 633 0 -1 4202560 4862 0 0 0 74 0 0 0 15 0 19 0 814002987 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=752] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/752/stat : 752 (java) S 733 735 633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002987 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052377 0 4 0 16800975 18446604453928699904 0 0 -1 4 0 0 0
[pid=735/tid=753] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/753/stat : 753 (java) S 733 735 633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814002987 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 2 0 0 0
[pid=735/tid=754] ppid=733 vsize=10550568 CPUtime=0 cores=0,2,4,6
/proc/735/task/754/stat : 754 (java) S 733 735 633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814003011 10803781632 916669 33554432000 1073741824 1073778376 140735778214800 18446744073709551615 220828052992 0 4 0 16800975 18446604453928699904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10550568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.02 s]
/proc/loadavg: 1.96 2.02 1.71 2/469 989
/proc/meminfo: memFree=20765696/32951124 swapFree=60476376/67111528
[pid=735] ppid=733 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/735/stat : 735 (java) Z 733 735 633 0 -1 4203548 923233 0 1 0 179905 113 0 0 17 0 2 0 814002981 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/735/statm: 0 0 0 0 0 0 0
[pid=735/tid=736] ppid=733 vsize=0 CPUtime=1792.42 cores=0,2,4,6
/proc/735/task/736/stat : 736 (java) R 733 735 633 0 -1 4203588 835097 0 1 0 179144 98 0 0 25 0 2 0 814002981 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.09
CPU time (s): 1800.26
CPU user time (s): 1799.05
CPU system time (s): 1.20582
CPU usage (%): 100.288
Max. virtual memory (cumulated for all children) (KiB): 10553508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.20582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 923233
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= 40267
involuntary context switches= 7877
runsolver used 8.93464 second user time and 18.8331 second system time
The end