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-3456338-1307224858/watcher-3456338-1307224858 -o /tmp/evaluation-result-3456338-1307224858/solver-3456338-1307224858 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456338-1307224858.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: 2.04 2.03 2.00 1/519 5753
/proc/meminfo: memFree=21375044/32951124 swapFree=58800704/67111528
[pid=5753] ppid=5751 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/5753/stat : 5753 (java) S 5751 5753 4768 0 -1 4202496 1233 0 0 0 0 0 0 0 25 0 2 0 814901318 31260672 954 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107253733 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/5753/statm: 7632 954 728 9 0 383 0
[pid=5753/tid=5754] ppid=5751 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5754/stat : 5754 (java) R 5751 5753 4768 0 -1 4202560 5828 0 1 0 0 0 0 0 25 0 2 0 814901319 10694979584 6643 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0369129 s]
/proc/loadavg: 2.04 2.03 2.00 1/519 5753
/proc/meminfo: memFree=21375044/32951124 swapFree=58800704/67111528
[pid=5753] ppid=5751 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/5753/stat : 5753 (java) S 5751 5753 4768 0 -1 4202496 11022 0 1 0 1 1 0 0 25 0 11 0 814901318 10716594176 10722 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/5753/statm: 2616356 10723 1621 9 0 2607104 0
[pid=5753/tid=5754] ppid=5751 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/5753/task/5754/stat : 5754 (java) R 5751 5753 4768 0 -1 4202560 9901 0 1 0 1 1 0 0 25 0 11 0 814901319 10716594176 10723 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 47541590482851 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100933 s]
/proc/loadavg: 2.04 2.03 2.00 1/519 5753
/proc/meminfo: memFree=21375044/32951124 swapFree=58800704/67111528
[pid=5753] ppid=5751 vsize=10540240 CPUtime=0.1 cores=0,2,4,6
/proc/5753/stat : 5753 (java) S 5751 5753 4768 0 -1 4202496 13091 0 1 0 9 1 0 0 25 0 18 0 814901318 10793205760 12779 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5753/statm: 2635060 12780 2092 9 0 2625794 0
[pid=5753/tid=5754] ppid=5751 vsize=10540240 CPUtime=0.08 cores=0,2,4,6
/proc/5753/task/5754/stat : 5754 (java) R 5751 5753 4768 0 -1 4202560 11161 0 1 0 7 1 0 0 18 0 18 0 814901319 10793205760 12780 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 47541594950483 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) 10540240
[startup+0.300833 s]
/proc/loadavg: 2.04 2.03 2.00 1/519 5753
/proc/meminfo: memFree=21375044/32951124 swapFree=58800704/67111528
[pid=5753] ppid=5751 vsize=10541928 CPUtime=0.51 cores=0,2,4,6
/proc/5753/stat : 5753 (java) S 5751 5753 4768 0 -1 4202496 16067 0 1 0 49 2 0 0 25 0 18 0 814901318 10794934272 15447 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5753/statm: 2635482 15448 2201 9 0 2626216 0
[pid=5753/tid=5754] ppid=5751 vsize=10541928 CPUtime=0.28 cores=0,2,4,6
/proc/5753/task/5754/stat : 5754 (java) R 5751 5753 4768 0 -1 4202560 13221 0 1 0 26 2 0 0 18 0 18 0 814901319 10794934272 15449 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 46912505558427 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10541928
[startup+0.700793 s]
/proc/loadavg: 2.04 2.03 2.00 1/519 5753
/proc/meminfo: memFree=21375044/32951124 swapFree=58800704/67111528
[pid=5753] ppid=5751 vsize=10562764 CPUtime=1.64 cores=0,2,4,6
/proc/5753/stat : 5753 (java) S 5751 5753 4768 0 -1 4202496 37442 0 1 0 158 6 0 0 25 0 19 0 814901318 10816270336 33619 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5753/statm: 2640691 33624 2229 9 0 2631425 0
[pid=5753/tid=5754] ppid=5751 vsize=10562764 CPUtime=0.68 cores=0,2,4,6
/proc/5753/task/5754/stat : 5754 (java) R 5751 5753 4768 0 -1 4202560 23450 0 1 0 64 4 0 0 18 0 19 0 814901319 10816270336 33626 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 46912505776441 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10562764
[startup+1.50065 s]
/proc/loadavg: 2.04 2.03 2.00 2/538 5772
/proc/meminfo: memFree=21167316/32951124 swapFree=58800704/67111528
[pid=5753] ppid=5751 vsize=10562764 CPUtime=2.73 cores=0,2,4,6
/proc/5753/stat : 5753 (java) S 5751 5753 4768 0 -1 4202496 119881 0 1 0 257 16 0 0 25 0 19 0 814901318 10816270336 115722 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5753/statm: 2640691 115729 2233 9 0 2631425 0
[pid=5753/tid=5754] ppid=5751 vsize=10562764 CPUtime=1.48 cores=0,2,4,6
/proc/5753/task/5754/stat : 5754 (java) R 5751 5753 4768 0 -1 4202560 105763 0 1 0 134 14 0 0 19 0 19 0 814901319 10816270336 115733 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 46912506079766 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5753/tid=5756] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5756/stat : 5756 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 115738 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5757] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5757/stat : 5757 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 115742 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5758] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5758/stat : 5758 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 115745 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5759] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5759/stat : 5759 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 115750 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5760] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5760/stat : 5760 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 115755 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5761] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5761/stat : 5761 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 115759 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5762] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5762/stat : 5762 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 115764 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5763] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5763/stat : 5763 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 115769 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5764] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5764/stat : 5764 (java) S 5751 5753 4768 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814901322 10816270336 115773 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107267584 0 0 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5765] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5765/stat : 5765 (java) S 5751 5753 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814901322 10816270336 115775 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5766] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5766/stat : 5766 (java) S 5751 5753 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814901322 10816270336 115776 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5767] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5767/stat : 5767 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901324 10816270336 115780 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107274673 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5768] ppid=5751 vsize=10562764 CPUtime=0.63 cores=0,2,4,6
/proc/5753/task/5768/stat : 5768 (java) S 5751 5753 4768 0 -1 4202560 9468 0 0 0 62 1 0 0 15 0 19 0 814901324 10816270336 115785 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 0 0 0 0
[pid=5753/tid=5769] ppid=5751 vsize=10562764 CPUtime=0.6 cores=0,2,4,6
/proc/5753/task/5769/stat : 5769 (java) S 5751 5753 4768 0 -1 4202560 3504 0 0 0 60 0 0 0 15 0 19 0 814901324 10816270336 115790 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5770] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5770/stat : 5770 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901324 10816270336 115794 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5771] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5771/stat : 5771 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814901325 10816270336 115799 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107267584 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5772] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5772/stat : 5772 (java) S 5751 5753 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901350 10816270336 115803 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107267584 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 10562764
[startup+3.10135 s]
/proc/loadavg: 2.04 2.03 2.00 3/557 5816
/proc/meminfo: memFree=20584988/32951124 swapFree=58800704/67111528
[pid=5753] ppid=5751 vsize=10562764 CPUtime=4.34 cores=0,2,4,6
/proc/5753/stat : 5753 (java) S 5751 5753 4768 0 -1 4202496 317591 0 1 0 396 38 0 0 25 0 19 0 814901318 10816270336 313430 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5753/statm: 2640691 313437 2234 9 0 2631425 0
[pid=5753/tid=5754] ppid=5751 vsize=10562764 CPUtime=3.08 cores=0,2,4,6
/proc/5753/task/5754/stat : 5754 (java) R 5751 5753 4768 0 -1 4202560 303470 0 1 0 272 36 0 0 19 0 19 0 814901319 10816270336 313441 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 46912505697535 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5753/tid=5756] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5756/stat : 5756 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 313444 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5757] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5757/stat : 5757 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 313449 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5758] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5758/stat : 5758 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 313453 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5759] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5759/stat : 5759 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 313457 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5760] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5760/stat : 5760 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 313461 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5761] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5761/stat : 5761 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 313465 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5762] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5762/stat : 5762 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 313469 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5763] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5763/stat : 5763 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 313472 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5764] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5764/stat : 5764 (java) S 5751 5753 4768 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814901322 10816270336 313476 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107267584 0 0 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5765] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5765/stat : 5765 (java) S 5751 5753 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814901322 10816270336 313480 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5766] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5766/stat : 5766 (java) S 5751 5753 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814901322 10816270336 313484 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5767] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5767/stat : 5767 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901324 10816270336 313487 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107274673 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5768] ppid=5751 vsize=10562764 CPUtime=0.63 cores=0,2,4,6
/proc/5753/task/5768/stat : 5768 (java) S 5751 5753 4768 0 -1 4202560 9469 0 0 0 62 1 0 0 15 0 19 0 814901324 10816270336 313491 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 0 0 0 0
[pid=5753/tid=5769] ppid=5751 vsize=10562764 CPUtime=0.61 cores=0,2,4,6
/proc/5753/task/5769/stat : 5769 (java) S 5751 5753 4768 0 -1 4202560 3505 0 0 0 61 0 0 0 15 0 19 0 814901324 10816270336 313494 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5770] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5770/stat : 5770 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901324 10816270336 313498 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5771] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5771/stat : 5771 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814901325 10816270336 313501 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107267584 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5772] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5772/stat : 5772 (java) S 5751 5753 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901350 10816270336 313504 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107267584 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 10562764
Solver just ended. Dumping a history of the last processes samples
[startup+3.50128 s]
/proc/loadavg: 2.04 2.03 2.00 3/557 5825
/proc/meminfo: memFree=19662308/32951124 swapFree=58800704/67111528
[pid=5753] ppid=5751 vsize=10562764 CPUtime=4.76 cores=0,2,4,6
/proc/5753/stat : 5753 (java) S 5751 5753 4768 0 -1 4202496 372730 0 1 0 432 44 0 0 25 0 19 0 814901318 10816270336 368569 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5753/statm: 2640691 368572 2234 9 0 2631425 0
[pid=5753/tid=5754] ppid=5751 vsize=10562764 CPUtime=3.48 cores=0,2,4,6
/proc/5753/task/5754/stat : 5754 (java) R 5751 5753 4768 0 -1 4202560 358601 0 1 0 306 42 0 0 20 0 19 0 814901319 10816270336 368574 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 46912505776455 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5753/tid=5756] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5756/stat : 5756 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 368576 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5757] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5757/stat : 5757 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 368578 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5758] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5758/stat : 5758 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 368579 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5759] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5759/stat : 5759 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 368581 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5760] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5760/stat : 5760 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 368583 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5761] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5761/stat : 5761 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 368584 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 2 0 0 0
[pid=5753/tid=5762] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5762/stat : 5762 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 368586 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5763] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5763/stat : 5763 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901321 10816270336 368587 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5764] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5764/stat : 5764 (java) S 5751 5753 4768 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814901322 10816270336 368588 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107267584 0 0 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5765] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5765/stat : 5765 (java) S 5751 5753 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814901322 10816270336 368589 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5766] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5766/stat : 5766 (java) S 5751 5753 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814901322 10816270336 368590 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5767] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5767/stat : 5767 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901324 10816270336 368591 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107274673 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5768] ppid=5751 vsize=10562764 CPUtime=0.63 cores=0,2,4,6
/proc/5753/task/5768/stat : 5768 (java) S 5751 5753 4768 0 -1 4202560 9469 0 0 0 62 1 0 0 16 0 19 0 814901324 10816270336 368593 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 0 0 0 0
[pid=5753/tid=5769] ppid=5751 vsize=10562764 CPUtime=0.62 cores=0,2,4,6
/proc/5753/task/5769/stat : 5769 (java) R 5751 5753 4768 0 -1 4202560 3507 0 0 0 62 0 0 0 15 0 19 0 814901324 10816270336 368593 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 47541593102384 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5753/tid=5770] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5770/stat : 5770 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814901324 10816270336 368593 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107266969 0 4 0 16800975 18446604445356122432 0 0 -1 4 0 0 0
[pid=5753/tid=5771] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5771/stat : 5771 (java) S 5751 5753 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814901325 10816270336 368593 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107267584 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
[pid=5753/tid=5772] ppid=5751 vsize=10562764 CPUtime=0 cores=0,2,4,6
/proc/5753/task/5772/stat : 5772 (java) S 5751 5753 4768 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814901350 10816270336 368594 33554432000 1073741824 1073778376 140737148535296 18446744073709551615 228107267584 0 4 0 16800975 18446604445356122432 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 10562764
[startup+3.90118 s]
/proc/loadavg: 2.04 2.03 2.00 3/557 5825
/proc/meminfo: memFree=19662308/32951124 swapFree=58800704/67111528
[pid=5753] ppid=5751 vsize=0 CPUtime=5.17 cores=0,2,4,6
/proc/5753/stat : 5753 (java) Z 5751 5753 4768 0 -1 4203548 413906 0 1 0 463 54 0 0 18 0 2 0 814901318 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5753/statm: 0 0 0 0 0 0 0
[pid=5753/tid=5763] ppid=5751 vsize=0 CPUtime=0.05 cores=0,2,4,6
/proc/5753/task/5763/stat : 5763 (java) R 5751 5753 4768 0 -1 4203588 1 0 0 0 0 5 0 0 18 0 2 0 814901321 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) 5.17
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.91222
CPU time (s): 5.19621
CPU user time (s): 4.63629
CPU system time (s): 0.559914
CPU usage (%): 132.82
Max. virtual memory (cumulated for all children) (KiB): 10562764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.63629
system time used= 0.559914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413906
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= 373
involuntary context switches= 119
runsolver used 0.022996 second user time and 0.055991 second system time
The end