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-3453721-1307194137/watcher-3453721-1307194137 -o /tmp/evaluation-result-3453721-1307194137/solver-3453721-1307194137 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453721-1307194137.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.10 3.84 3.89 4/476 29400
/proc/meminfo: memFree=24059680/32951124 swapFree=60476376/67111528
[pid=29400] ppid=29398 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29400/stat : 29400 (java) S 29398 29400 23562 0 -1 4202496 6332 0 1 0 0 0 0 0 25 0 2 0 811829626 10694979584 6034 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29400/statm: 2611079 6046 917 9 0 2602235 0
[pid=29400/tid=29401] ppid=29398 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29401/stat : 29401 (java) R 29398 29400 23562 0 -1 4202560 5764 0 1 0 0 0 0 0 25 0 2 0 811829627 10694979584 6580 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220815930427 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.056916 s]
/proc/loadavg: 3.10 3.84 3.89 4/476 29400
/proc/meminfo: memFree=24059680/32951124 swapFree=60476376/67111528
[pid=29400] ppid=29398 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/29400/stat : 29400 (java) S 29398 29400 23562 0 -1 4202496 11545 0 1 0 3 1 0 0 25 0 13 0 811829626 10718838784 11242 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828039141 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/29400/statm: 2616904 11242 1691 9 0 2607652 0
[pid=29400/tid=29401] ppid=29398 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/29400/task/29401/stat : 29401 (java) R 29398 29400 23562 0 -1 4202560 10397 0 1 0 3 1 0 0 25 0 13 0 811829627 10718838784 11242 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828063179 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.10091 s]
/proc/loadavg: 3.10 3.84 3.89 4/476 29400
/proc/meminfo: memFree=24059680/32951124 swapFree=60476376/67111528
[pid=29400] ppid=29398 vsize=10540028 CPUtime=0.1 cores=1,3,5,7
/proc/29400/stat : 29400 (java) S 29398 29400 23562 0 -1 4202496 13108 0 1 0 9 1 0 0 25 0 18 0 811829626 10792988672 12805 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29400/statm: 2635007 12805 2092 9 0 2625741 0
[pid=29400/tid=29401] ppid=29398 vsize=10540028 CPUtime=0.08 cores=1,3,5,7
/proc/29400/task/29401/stat : 29401 (java) R 29398 29400 23562 0 -1 4202560 11208 0 1 0 7 1 0 0 18 0 18 0 811829627 10792988672 12806 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 47010265520979 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540028
[startup+0.300837 s]
/proc/loadavg: 3.10 3.84 3.89 4/476 29400
/proc/meminfo: memFree=24059680/32951124 swapFree=60476376/67111528
[pid=29400] ppid=29398 vsize=10548388 CPUtime=0.61 cores=1,3,5,7
/proc/29400/stat : 29400 (java) S 29398 29400 23562 0 -1 4202496 16922 0 1 0 59 2 0 0 25 0 22 0 811829626 10801549312 15716 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29400/statm: 2637097 15716 2199 9 0 2627831 0
[pid=29400/tid=29401] ppid=29398 vsize=10548388 CPUtime=0.15 cores=1,3,5,7
/proc/29400/task/29401/stat : 29401 (java) S 29398 29400 23562 0 -1 4202560 11742 0 1 0 14 1 0 0 19 0 22 0 811829627 10801549312 15716 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10548388
[startup+0.700765 s]
/proc/loadavg: 3.10 3.84 3.89 4/476 29400
/proc/meminfo: memFree=24059680/32951124 swapFree=60476376/67111528
[pid=29400] ppid=29398 vsize=10558992 CPUtime=2.2 cores=1,3,5,7
/proc/29400/stat : 29400 (java) S 29398 29400 23562 0 -1 4202496 41693 0 1 0 215 5 0 0 25 0 22 0 811829626 10812407808 35206 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29400/statm: 2639748 35207 2220 9 0 2630482 0
[pid=29400/tid=29401] ppid=29398 vsize=10558992 CPUtime=0.15 cores=1,3,5,7
/proc/29400/task/29401/stat : 29401 (java) S 29398 29400 23562 0 -1 4202560 11742 0 1 0 14 1 0 0 15 0 22 0 811829627 10812407808 35207 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 10558992
[startup+1.50062 s]
/proc/loadavg: 3.10 3.84 3.89 4/495 29422
/proc/meminfo: memFree=23871320/32951124 swapFree=60476376/67111528
[pid=29400] ppid=29398 vsize=10557220 CPUtime=4.16 cores=1,3,5,7
/proc/29400/stat : 29400 (java) S 29398 29400 23562 0 -1 4202496 91683 0 1 0 404 12 0 0 25 0 22 0 811829626 10810593280 78271 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29400/statm: 2639305 78274 2250 9 0 2630039 0
[pid=29400/tid=29401] ppid=29398 vsize=10557220 CPUtime=0.15 cores=1,3,5,7
/proc/29400/task/29401/stat : 29401 (java) S 29398 29400 23562 0 -1 4202560 11742 0 1 0 14 1 0 0 16 0 22 0 811829627 10810593280 78275 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29403] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29403/stat : 29403 (java) S 29398 29400 23562 0 -1 4202560 205 0 0 0 0 0 0 0 16 0 22 0 811829628 10810593280 78278 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29404] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29404/stat : 29404 (java) S 29398 29400 23562 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811829628 10810593280 78278 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29400/tid=29405] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811829628 10810593280 78280 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 23562 0 -1 4202560 146 0 0 0 0 0 0 0 16 0 22 0 811829628 10810593280 78282 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 23562 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 811829628 10810593280 78284 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 23562 0 -1 4202560 288 0 0 0 0 0 0 0 16 0 22 0 811829628 10810593280 78287 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 23562 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 22 0 811829628 10810593280 78289 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 23562 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 22 0 811829628 10810593280 78292 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=10557220 CPUtime=0.03 cores=1,3,5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 23562 0 -1 4202560 912 0 0 0 3 0 0 0 16 0 22 0 811829629 10810593280 78295 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 23562 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811829630 10810593280 78297 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29413] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29413/stat : 29413 (java) S 29398 29400 23562 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 811829630 10810593280 78300 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29414] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29414/stat : 29414 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811829632 10810593280 78303 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29415] ppid=29398 vsize=10557220 CPUtime=0.96 cores=1,3,5,7
/proc/29400/task/29415/stat : 29415 (java) R 29398 29400 23562 0 -1 4202560 14400 0 0 0 94 2 0 0 23 0 22 0 811829632 10810593280 78306 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 47010264731154 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29400/tid=29416] ppid=29398 vsize=10557220 CPUtime=0.97 cores=1,3,5,7
/proc/29400/task/29416/stat : 29416 (java) S 29398 29400 23562 0 -1 4202560 8484 0 0 0 96 1 0 0 25 0 22 0 811829632 10810593280 78309 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29417] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29417/stat : 29417 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811829632 10810593280 78312 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29418] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29418/stat : 29418 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811829632 10810593280 78314 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29421] ppid=29398 vsize=10557220 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29421/stat : 29421 (java) S 29398 29400 23562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811829643 10810593280 78317 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 10557220
[startup+3.10137 s]
/proc/loadavg: 3.26 3.86 3.90 6/498 29425
/proc/meminfo: memFree=23694344/32951124 swapFree=60476376/67111528
[pid=29400] ppid=29398 vsize=10563880 CPUtime=7.86 cores=1,3,5,7
/proc/29400/stat : 29400 (java) S 29398 29400 23562 0 -1 4202496 120969 0 1 0 771 15 0 0 25 0 22 0 811829626 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29400/statm: 2640970 105540 2257 9 0 2631704 0
[pid=29400/tid=29401] ppid=29398 vsize=10563880 CPUtime=0.15 cores=1,3,5,7
/proc/29400/task/29401/stat : 29401 (java) S 29398 29400 23562 0 -1 4202560 11742 0 1 0 14 1 0 0 15 0 22 0 811829627 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29403] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29403/stat : 29403 (java) S 29398 29400 23562 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29404] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29404/stat : 29404 (java) S 29398 29400 23562 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29405] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 23562 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 23562 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 23562 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 23562 0 -1 4202560 294 0 0 0 0 0 0 0 16 0 22 0 811829628 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 23562 0 -1 4202560 311 0 0 0 0 0 0 0 16 0 22 0 811829628 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 23562 0 -1 4202560 194 0 0 0 0 0 0 0 16 0 22 0 811829628 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=10563880 CPUtime=0.1 cores=1,3,5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 23562 0 -1 4202560 2254 0 0 0 10 0 0 0 15 0 22 0 811829629 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 23562 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811829630 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29413] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29413/stat : 29413 (java) S 29398 29400 23562 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 811829630 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29414] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29414/stat : 29414 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811829632 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29415] ppid=29398 vsize=10563880 CPUtime=1.11 cores=1,3,5,7
/proc/29400/task/29415/stat : 29415 (java) S 29398 29400 23562 0 -1 4202560 14428 0 0 0 109 2 0 0 15 0 22 0 811829632 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29400/tid=29416] ppid=29398 vsize=10563880 CPUtime=1.39 cores=1,3,5,7
/proc/29400/task/29416/stat : 29416 (java) S 29398 29400 23562 0 -1 4202560 10377 0 0 0 138 1 0 0 21 0 22 0 811829632 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29417] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29417/stat : 29417 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811829632 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29418] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29418/stat : 29418 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811829632 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29421] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29421/stat : 29421 (java) S 29398 29400 23562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811829643 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29423] ppid=29398 vsize=10563880 CPUtime=1.82 cores=1,3,5,7
/proc/29400/task/29423/stat : 29423 (java) R 29398 29400 23562 0 -1 4202560 7 0 0 0 182 0 0 0 18 0 22 0 811829743 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 46912505534568 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29400/tid=29424] ppid=29398 vsize=10563880 CPUtime=1.82 cores=1,3,5,7
/proc/29400/task/29424/stat : 29424 (java) R 29398 29400 23562 0 -1 4202560 54901 0 0 0 176 6 0 0 17 0 22 0 811829743 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 46912505635149 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29400/tid=29425] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29425/stat : 29425 (java) S 29398 29400 23562 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811829743 10817413120 105540 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 10563880
Solver just ended. Dumping a history of the last processes samples
[startup+3.51021 s]
/proc/loadavg: 3.26 3.86 3.90 5/498 29425
/proc/meminfo: memFree=23557200/32951124 swapFree=60476376/67111528
[pid=29400] ppid=29398 vsize=10563880 CPUtime=8.69 cores=1,3,5,7
/proc/29400/stat : 29400 (java) S 29398 29400 23562 0 -1 4202496 138775 0 1 0 853 16 0 0 25 0 22 0 811829626 10817413120 123346 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29400/statm: 2640970 123349 2257 9 0 2631704 0
[pid=29400/tid=29401] ppid=29398 vsize=10563880 CPUtime=0.15 cores=1,3,5,7
/proc/29400/task/29401/stat : 29401 (java) S 29398 29400 23562 0 -1 4202560 11742 0 1 0 14 1 0 0 15 0 22 0 811829627 10817413120 123351 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29403] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29403/stat : 29403 (java) S 29398 29400 23562 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 123353 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29404] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29404/stat : 29404 (java) S 29398 29400 23562 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 123356 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29405] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 23562 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 123361 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 23562 0 -1 4202560 160 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 123364 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 23562 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 811829628 10817413120 123366 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 23562 0 -1 4202560 294 0 0 0 0 0 0 0 16 0 22 0 811829628 10817413120 123369 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 23562 0 -1 4202560 311 0 0 0 0 0 0 0 16 0 22 0 811829628 10817413120 123372 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 23562 0 -1 4202560 194 0 0 0 0 0 0 0 16 0 22 0 811829628 10817413120 123374 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=10563880 CPUtime=0.1 cores=1,3,5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 23562 0 -1 4202560 2254 0 0 0 10 0 0 0 15 0 22 0 811829629 10817413120 123377 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 23562 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811829630 10817413120 123380 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29413] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29413/stat : 29413 (java) S 29398 29400 23562 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 811829630 10817413120 123382 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29414] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29414/stat : 29414 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811829632 10817413120 123385 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29415] ppid=29398 vsize=10563880 CPUtime=1.13 cores=1,3,5,7
/proc/29400/task/29415/stat : 29415 (java) S 29398 29400 23562 0 -1 4202560 14429 0 0 0 111 2 0 0 15 0 22 0 811829632 10817413120 123387 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29400/tid=29416] ppid=29398 vsize=10563880 CPUtime=1.39 cores=1,3,5,7
/proc/29400/task/29416/stat : 29416 (java) S 29398 29400 23562 0 -1 4202560 10377 0 0 0 138 1 0 0 21 0 22 0 811829632 10817413120 123390 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29417] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29417/stat : 29417 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811829632 10817413120 123393 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29418] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29418/stat : 29418 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811829632 10817413120 123395 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29421] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29421/stat : 29421 (java) S 29398 29400 23562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811829643 10817413120 123397 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29423] ppid=29398 vsize=10563880 CPUtime=2.23 cores=1,3,5,7
/proc/29400/task/29423/stat : 29423 (java) R 29398 29400 23562 0 -1 4202560 7 0 0 0 223 0 0 0 18 0 22 0 811829743 10817413120 123399 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 46912506295999 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29400/tid=29424] ppid=29398 vsize=10563880 CPUtime=2.22 cores=1,3,5,7
/proc/29400/task/29424/stat : 29424 (java) R 29398 29400 23562 0 -1 4202560 72763 0 0 0 215 7 0 0 18 0 22 0 811829743 10817413120 123403 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 46912505577985 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29400/tid=29425] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29425/stat : 29425 (java) S 29398 29400 23562 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 811829743 10817413120 123407 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 10563880
[startup+3.70125 s]
/proc/loadavg: 3.26 3.86 3.90 5/498 29425
/proc/meminfo: memFree=23557200/32951124 swapFree=60476376/67111528
[pid=29400] ppid=29398 vsize=10563880 CPUtime=8.79 cores=1,3,5,7
/proc/29400/stat : 29400 (java) S 29398 29400 23562 0 -1 4202496 140199 0 1 0 862 17 0 0 25 0 19 0 811829626 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29400/statm: 2640970 124769 2257 9 0 2631704 0
[pid=29400/tid=29401] ppid=29398 vsize=10563880 CPUtime=0.15 cores=1,3,5,7
/proc/29400/task/29401/stat : 29401 (java) R 29398 29400 23562 0 -1 4202560 11742 0 1 0 14 1 0 0 15 0 19 0 811829627 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 46912505216952 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29400/tid=29403] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29403/stat : 29403 (java) S 29398 29400 23562 0 -1 4202560 391 0 0 0 0 0 0 0 15 0 19 0 811829628 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29404] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29404/stat : 29404 (java) S 29398 29400 23562 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 811829628 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29405] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29405/stat : 29405 (java) S 29398 29400 23562 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 811829628 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29406] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29406/stat : 29406 (java) S 29398 29400 23562 0 -1 4202560 200 0 0 0 0 0 0 0 16 0 19 0 811829628 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29407] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29407/stat : 29407 (java) S 29398 29400 23562 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 811829628 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29408] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29408/stat : 29408 (java) S 29398 29400 23562 0 -1 4202560 335 0 0 0 0 0 0 0 15 0 19 0 811829628 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 3 0 0 0
[pid=29400/tid=29409] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29409/stat : 29409 (java) S 29398 29400 23562 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 811829628 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29410] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29410/stat : 29410 (java) S 29398 29400 23562 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 811829628 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29411] ppid=29398 vsize=10563880 CPUtime=0.13 cores=1,3,5,7
/proc/29400/task/29411/stat : 29411 (java) S 29398 29400 23562 0 -1 4202560 2941 0 0 0 13 0 0 0 15 0 19 0 811829629 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 0 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29400/tid=29412] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29412/stat : 29412 (java) S 29398 29400 23562 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 811829630 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29413] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29413/stat : 29413 (java) S 29398 29400 23562 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 811829630 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29414] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29414/stat : 29414 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811829632 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828060081 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29415] ppid=29398 vsize=10563880 CPUtime=1.13 cores=1,3,5,7
/proc/29400/task/29415/stat : 29415 (java) S 29398 29400 23562 0 -1 4202560 14429 0 0 0 111 2 0 0 15 0 19 0 811829632 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 7 0 0 0
[pid=29400/tid=29416] ppid=29398 vsize=10563880 CPUtime=1.39 cores=1,3,5,7
/proc/29400/task/29416/stat : 29416 (java) S 29398 29400 23562 0 -1 4202560 10377 0 0 0 138 1 0 0 21 0 19 0 811829632 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29417] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29417/stat : 29417 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811829632 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052377 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
[pid=29400/tid=29418] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29418/stat : 29418 (java) S 29398 29400 23562 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811829632 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 5 0 0 0
[pid=29400/tid=29421] ppid=29398 vsize=10563880 CPUtime=0 cores=1,3,5,7
/proc/29400/task/29421/stat : 29421 (java) S 29398 29400 23562 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811829643 10817413120 124769 33554432000 1073741824 1073778376 140737164915984 18446744073709551615 220828052992 0 4 0 16800975 18446604461251810496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 10563880
Child status: 30
Real time (s): 3.74225
CPU time (s): 8.85165
CPU user time (s): 8.65968
CPU system time (s): 0.19197
CPU usage (%): 236.533
Max. virtual memory (cumulated for all children) (KiB): 10563880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.65968
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140209
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= 516
involuntary context switches= 180
runsolver used 0.021996 second user time and 0.049992 second system time
The end