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-3457007-1307215865/watcher-3457007-1307215865 -o /tmp/evaluation-result-3457007-1307215865/solver-3457007-1307215865 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457007-1307215865.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.00 0.00 0.00 2/472 688
/proc/meminfo: memFree=24394240/32951124 swapFree=60476376/67111528
[pid=688] ppid=686 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/688/stat : 688 (java) R 686 688 633 0 -1 4202496 560 0 0 0 0 0 0 0 18 0 1 0 814002438 23580672 303 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220811274005 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/688/statm: 5757 317 243 9 0 124 0
[pid=688/tid=689] ppid=686 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/688/task/689/stat : 689 (java) R 686 688 633 0 -1 4202560 1134 0 1 0 0 0 0 0 19 0 2 0 814002439 10681323520 1950 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0796901 s]
/proc/loadavg: 0.00 0.00 0.00 2/472 688
/proc/meminfo: memFree=24394240/32951124 swapFree=60476376/67111528
[pid=688] ppid=686 vsize=10538624 CPUtime=0.06 cores=0,2,4,6
/proc/688/stat : 688 (java) S 686 688 633 0 -1 4202496 11917 0 1 0 5 1 0 0 18 0 18 0 814002438 10791550976 11613 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/688/statm: 2634656 11613 1754 9 0 2625390 0
[pid=688/tid=689] ppid=686 vsize=10538624 CPUtime=0.06 cores=0,2,4,6
/proc/688/task/689/stat : 689 (java) R 686 688 633 0 -1 4202560 10740 0 1 0 5 1 0 0 21 0 18 0 814002439 10791550976 11613 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 47118417488723 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538624
[startup+0.100664 s]
/proc/loadavg: 0.00 0.00 0.00 2/472 688
/proc/meminfo: memFree=24394240/32951124 swapFree=60476376/67111528
[pid=688] ppid=686 vsize=10540188 CPUtime=0.09 cores=0,2,4,6
/proc/688/stat : 688 (java) S 686 688 633 0 -1 4202496 12951 0 1 0 8 1 0 0 18 0 18 0 814002438 10793152512 12647 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/688/statm: 2635047 12650 2093 9 0 2625781 0
[pid=688/tid=689] ppid=686 vsize=10540188 CPUtime=0.07 cores=0,2,4,6
/proc/688/task/689/stat : 689 (java) R 686 688 633 0 -1 4202560 11047 0 1 0 6 1 0 0 22 0 18 0 814002439 10793152512 12651 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 47118416053784 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540188
[startup+0.305595 s]
/proc/loadavg: 0.00 0.00 0.00 2/472 688
/proc/meminfo: memFree=24394240/32951124 swapFree=60476376/67111528
[pid=688] ppid=686 vsize=10546304 CPUtime=0.52 cores=0,2,4,6
/proc/688/stat : 688 (java) S 686 688 633 0 -1 4202496 19978 0 1 0 50 2 0 0 18 0 19 0 814002438 10799415296 18102 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/688/statm: 2636576 18102 2204 9 0 2627310 0
[pid=688/tid=689] ppid=686 vsize=10546304 CPUtime=0.28 cores=0,2,4,6
/proc/688/task/689/stat : 689 (java) R 686 688 633 0 -1 4202560 12930 0 1 0 27 1 0 0 23 0 19 0 814002439 10799415296 18102 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 47118417488692 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10546304
[startup+0.700593 s]
/proc/loadavg: 0.00 0.00 0.00 2/472 688
/proc/meminfo: memFree=24394240/32951124 swapFree=60476376/67111528
[pid=688] ppid=686 vsize=10550920 CPUtime=1.51 cores=0,2,4,6
/proc/688/stat : 688 (java) S 686 688 633 0 -1 4202496 52595 0 1 0 144 7 0 0 18 0 19 0 814002438 10804142080 49501 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/688/statm: 2637730 49505 2218 9 0 2628464 0
[pid=688/tid=689] ppid=686 vsize=10550920 CPUtime=0.68 cores=0,2,4,6
/proc/688/task/689/stat : 689 (java) R 686 688 633 0 -1 4202560 43133 0 1 0 62 6 0 0 25 0 19 0 814002439 10804142080 49506 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 46912505626114 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10550920
[startup+1.50145 s]
/proc/loadavg: 0.00 0.00 0.00 3/492 708
/proc/meminfo: memFree=23821100/32951124 swapFree=60476376/67111528
[pid=688] ppid=686 vsize=10550920 CPUtime=2.51 cores=0,2,4,6
/proc/688/stat : 688 (java) S 686 688 633 0 -1 4202496 130642 0 1 0 233 18 0 0 18 0 19 0 814002438 10804142080 127547 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/688/statm: 2637730 127554 2225 9 0 2628464 0
[pid=688/tid=689] ppid=686 vsize=10550920 CPUtime=1.47 cores=0,2,4,6
/proc/688/task/689/stat : 689 (java) R 686 688 633 0 -1 4202560 121159 0 1 0 131 16 0 0 25 0 19 0 814002439 10804142080 127557 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 46912505578762 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=688/tid=691] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/691/stat : 691 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814002441 10804142080 127561 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=692] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/692/stat : 692 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 127564 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=693] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/693/stat : 693 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 127568 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=694] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/694/stat : 694 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 127571 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=695] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/695/stat : 695 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 127575 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=696] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/696/stat : 696 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 127578 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=697] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/697/stat : 697 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814002441 10804142080 127581 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=698] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/698/stat : 698 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814002441 10804142080 127585 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=699] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/699/stat : 699 (java) S 686 688 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002442 10804142080 127588 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 0 0 16800975 18446604453432904768 0 0 -1 0 0 0 0
[pid=688/tid=700] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/700/stat : 700 (java) S 686 688 633 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 814002443 10804142080 127591 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=701] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/701/stat : 701 (java) S 686 688 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814002443 10804142080 127594 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
[pid=688/tid=702] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/702/stat : 702 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002445 10804142080 127598 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828060081 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=703] ppid=686 vsize=10550920 CPUtime=0.55 cores=0,2,4,6
/proc/688/task/703/stat : 703 (java) S 686 688 633 0 -1 4202560 2810 0 0 0 55 0 0 0 15 0 19 0 814002445 10804142080 127600 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 2 0 0 0
[pid=688/tid=704] ppid=686 vsize=10550920 CPUtime=0.45 cores=0,2,4,6
/proc/688/task/704/stat : 704 (java) S 686 688 633 0 -1 4202560 5520 0 0 0 45 0 0 0 16 0 19 0 814002445 10804142080 127603 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=705] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/705/stat : 705 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002445 10804142080 127606 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 2 0 0 0
[pid=688/tid=706] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/706/stat : 706 (java) S 686 688 633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 814002445 10804142080 127609 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
[pid=688/tid=707] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/707/stat : 707 (java) S 686 688 633 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 814002456 10804142080 127612 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 10550920
[startup+3.10118 s]
/proc/loadavg: 0.00 0.00 0.00 3/492 708
/proc/meminfo: memFree=22879296/32951124 swapFree=60476376/67111528
[pid=688] ppid=686 vsize=10550920 CPUtime=4.14 cores=0,2,4,6
/proc/688/stat : 688 (java) S 686 688 633 0 -1 4202496 284602 0 1 0 378 36 0 0 18 0 19 0 814002438 10804142080 281506 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/688/statm: 2637730 281510 2225 9 0 2628464 0
[pid=688/tid=689] ppid=686 vsize=10550920 CPUtime=3.07 cores=0,2,4,6
/proc/688/task/689/stat : 689 (java) R 686 688 633 0 -1 4202560 275110 0 1 0 272 35 0 0 25 0 19 0 814002439 10804142080 281512 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 46912505626117 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=688/tid=691] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/691/stat : 691 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814002441 10804142080 281514 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=692] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/692/stat : 692 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 281516 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=693] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/693/stat : 693 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 281519 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=694] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/694/stat : 694 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 281521 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=695] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/695/stat : 695 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 281523 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=696] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/696/stat : 696 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 281525 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=697] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/697/stat : 697 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814002441 10804142080 281527 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=698] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/698/stat : 698 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814002441 10804142080 281530 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=699] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/699/stat : 699 (java) S 686 688 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002442 10804142080 281532 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 0 0 16800975 18446604453432904768 0 0 -1 0 0 0 0
[pid=688/tid=700] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/700/stat : 700 (java) S 686 688 633 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 814002443 10804142080 281534 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=701] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/701/stat : 701 (java) S 686 688 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814002443 10804142080 281536 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
[pid=688/tid=702] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/702/stat : 702 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002445 10804142080 281538 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828060081 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=703] ppid=686 vsize=10550920 CPUtime=0.56 cores=0,2,4,6
/proc/688/task/703/stat : 703 (java) S 686 688 633 0 -1 4202560 2810 0 0 0 56 0 0 0 15 0 19 0 814002445 10804142080 281540 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 2 0 0 0
[pid=688/tid=704] ppid=686 vsize=10550920 CPUtime=0.48 cores=0,2,4,6
/proc/688/task/704/stat : 704 (java) S 686 688 633 0 -1 4202560 5525 0 0 0 48 0 0 0 15 0 19 0 814002445 10804142080 281543 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=705] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/705/stat : 705 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002445 10804142080 281545 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 2 0 0 0
[pid=688/tid=706] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/706/stat : 706 (java) S 686 688 633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 814002445 10804142080 281547 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
[pid=688/tid=707] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/707/stat : 707 (java) S 686 688 633 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 814002456 10804142080 281549 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 10550920
Solver just ended. Dumping a history of the last processes samples
[startup+3.5011 s]
/proc/loadavg: 0.00 0.00 0.00 3/492 708
/proc/meminfo: memFree=21963432/32951124 swapFree=60476376/67111528
[pid=688] ppid=686 vsize=10550920 CPUtime=4.55 cores=0,2,4,6
/proc/688/stat : 688 (java) S 686 688 633 0 -1 4202496 323563 0 1 0 413 42 0 0 18 0 19 0 814002438 10804142080 320467 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/688/statm: 2637730 320475 2225 9 0 2628464 0
[pid=688/tid=689] ppid=686 vsize=10550920 CPUtime=3.48 cores=0,2,4,6
/proc/688/task/689/stat : 689 (java) R 686 688 633 0 -1 4202560 314077 0 1 0 307 41 0 0 25 0 19 0 814002439 10804142080 320479 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 46912505578766 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=688/tid=691] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/691/stat : 691 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814002441 10804142080 320483 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=692] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/692/stat : 692 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 320487 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=693] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/693/stat : 693 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 320491 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=694] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/694/stat : 694 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 320495 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=695] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/695/stat : 695 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 320499 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=696] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/696/stat : 696 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 320503 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=697] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/697/stat : 697 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814002441 10804142080 320507 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=698] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/698/stat : 698 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814002441 10804142080 320511 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=699] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/699/stat : 699 (java) S 686 688 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002442 10804142080 320515 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 0 0 16800975 18446604453432904768 0 0 -1 0 0 0 0
[pid=688/tid=700] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/700/stat : 700 (java) S 686 688 633 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 814002443 10804142080 320518 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=701] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/701/stat : 701 (java) S 686 688 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814002443 10804142080 320521 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
[pid=688/tid=702] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/702/stat : 702 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002445 10804142080 320525 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828060081 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=703] ppid=686 vsize=10550920 CPUtime=0.56 cores=0,2,4,6
/proc/688/task/703/stat : 703 (java) S 686 688 633 0 -1 4202560 2810 0 0 0 56 0 0 0 15 0 19 0 814002445 10804142080 320528 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 2 0 0 0
[pid=688/tid=704] ppid=686 vsize=10550920 CPUtime=0.48 cores=0,2,4,6
/proc/688/task/704/stat : 704 (java) S 686 688 633 0 -1 4202560 5525 0 0 0 48 0 0 0 15 0 19 0 814002445 10804142080 320532 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=705] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/705/stat : 705 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002445 10804142080 320535 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 2 0 0 0
[pid=688/tid=706] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/706/stat : 706 (java) S 686 688 633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 814002445 10804142080 320538 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
[pid=688/tid=707] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/707/stat : 707 (java) S 686 688 633 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 814002456 10804142080 320541 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 10550920
[startup+3.70107 s]
/proc/loadavg: 0.00 0.00 0.00 3/492 708
/proc/meminfo: memFree=21963432/32951124 swapFree=60476376/67111528
[pid=688] ppid=686 vsize=10550920 CPUtime=4.74 cores=0,2,4,6
/proc/688/stat : 688 (java) S 686 688 633 0 -1 4202496 343414 0 1 0 430 44 0 0 18 0 19 0 814002438 10804142080 340318 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/688/statm: 2637730 340325 2225 9 0 2628464 0
[pid=688/tid=689] ppid=686 vsize=10550920 CPUtime=3.68 cores=0,2,4,6
/proc/688/task/689/stat : 689 (java) R 686 688 633 0 -1 4202560 333927 0 1 0 325 43 0 0 25 0 19 0 814002439 10804142080 340329 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 46912505578770 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=688/tid=691] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/691/stat : 691 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 814002441 10804142080 340334 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=692] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/692/stat : 692 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 340338 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=693] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/693/stat : 693 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 340343 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=694] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/694/stat : 694 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 340347 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=695] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/695/stat : 695 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 340351 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=696] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/696/stat : 696 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002441 10804142080 340356 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=697] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/697/stat : 697 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814002441 10804142080 340360 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=698] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/698/stat : 698 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814002441 10804142080 340365 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=699] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/699/stat : 699 (java) S 686 688 633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002442 10804142080 340370 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 0 0 16800975 18446604453432904768 0 0 -1 0 0 0 0
[pid=688/tid=700] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/700/stat : 700 (java) S 686 688 633 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 814002443 10804142080 340374 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=701] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/701/stat : 701 (java) S 686 688 633 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 814002443 10804142080 340378 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
[pid=688/tid=702] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/702/stat : 702 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002445 10804142080 340382 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828060081 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=703] ppid=686 vsize=10550920 CPUtime=0.56 cores=0,2,4,6
/proc/688/task/703/stat : 703 (java) S 686 688 633 0 -1 4202560 2810 0 0 0 56 0 0 0 15 0 19 0 814002445 10804142080 340386 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 2 0 0 0
[pid=688/tid=704] ppid=686 vsize=10550920 CPUtime=0.48 cores=0,2,4,6
/proc/688/task/704/stat : 704 (java) S 686 688 633 0 -1 4202560 5525 0 0 0 48 0 0 0 15 0 19 0 814002445 10804142080 340389 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 4 0 0 0
[pid=688/tid=705] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/705/stat : 705 (java) S 686 688 633 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 814002445 10804142080 340394 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052377 0 4 0 16800975 18446604453432904768 0 0 -1 2 0 0 0
[pid=688/tid=706] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/706/stat : 706 (java) S 686 688 633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 814002445 10804142080 340397 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
[pid=688/tid=707] ppid=686 vsize=10550920 CPUtime=0 cores=0,2,4,6
/proc/688/task/707/stat : 707 (java) S 686 688 633 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 814002456 10804142080 340401 33554432000 1073741824 1073778376 140736248927648 18446744073709551615 220828052992 0 4 0 16800975 18446604453432904768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 10550920
Child status: 20
Real time (s): 3.7973
CPU time (s): 4.84726
CPU user time (s): 4.34234
CPU system time (s): 0.504923
CPU usage (%): 127.65
Max. virtual memory (cumulated for all children) (KiB): 10550920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.34234
system time used= 0.504923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346542
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= 296
involuntary context switches= 53
runsolver used 0.022996 second user time and 0.045993 second system time
The end