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-3456921-1307204038/watcher-3456921-1307204038 -o /tmp/evaluation-result-3456921-1307204038/solver-3456921-1307204038 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456921-1307204038.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: 1.95 2.04 1.98 2/532 19697
/proc/meminfo: memFree=16363956/32950940 swapFree=67111364/67111528
[pid=19697] ppid=19695 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/19697/stat : 19697 (java) S 19695 19697 19289 0 -1 4202496 1362 0 1 0 0 0 0 0 25 0 2 0 910634552 36679680 1066 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19697/statm: 8955 1066 828 9 0 386 0
[pid=19697/tid=19698] ppid=19695 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19698/stat : 19698 (java) R 19695 19697 19289 0 -1 4202560 5581 0 1 0 0 0 0 0 25 0 2 0 910634553 10694979584 6397 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0312741 s]
/proc/loadavg: 1.95 2.04 1.98 2/532 19697
/proc/meminfo: memFree=16363956/32950940 swapFree=67111364/67111528
[pid=19697] ppid=19695 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/19697/stat : 19697 (java) S 19695 19697 19289 0 -1 4202496 10739 0 1 0 1 1 0 0 25 0 10 0 910634552 10705932288 10439 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19697/statm: 2613753 10439 1515 9 0 2604501 0
[pid=19697/tid=19698] ppid=19695 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/19697/task/19698/stat : 19698 (java) R 19695 19697 19289 0 -1 4202560 9619 0 1 0 0 1 0 0 25 0 10 0 910634553 10705932288 10440 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000419275 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.10429 s]
/proc/loadavg: 1.95 2.04 1.98 2/532 19697
/proc/meminfo: memFree=16363956/32950940 swapFree=67111364/67111528
[pid=19697] ppid=19695 vsize=10540208 CPUtime=0.11 cores=1,3,5,7
/proc/19697/stat : 19697 (java) S 19695 19697 19289 0 -1 4202496 13099 0 1 0 9 2 0 0 25 0 18 0 910634552 10793172992 12797 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19697/statm: 2635052 12797 2093 9 0 2625786 0
[pid=19697/tid=19698] ppid=19695 vsize=10540208 CPUtime=0.08 cores=1,3,5,7
/proc/19697/task/19698/stat : 19698 (java) R 19695 19697 19289 0 -1 4202560 11187 0 1 0 7 1 0 0 23 0 18 0 910634553 10793172992 12797 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540208
[startup+0.300165 s]
/proc/loadavg: 1.95 2.04 1.98 2/532 19697
/proc/meminfo: memFree=16363956/32950940 swapFree=67111364/67111528
[pid=19697] ppid=19695 vsize=10546264 CPUtime=0.54 cores=1,3,5,7
/proc/19697/stat : 19697 (java) S 19695 19697 19289 0 -1 4202496 21450 0 1 0 51 3 0 0 25 0 19 0 910634552 10799374336 19543 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19697/statm: 2636566 19543 2211 9 0 2627300 0
[pid=19697/tid=19698] ppid=19695 vsize=10546264 CPUtime=0.28 cores=1,3,5,7
/proc/19697/task/19698/stat : 19698 (java) R 19695 19697 19289 0 -1 4202560 14158 0 1 0 26 2 0 0 25 0 19 0 910634553 10799374336 19543 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 46912505121134 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10546264
[startup+0.701097 s]
/proc/loadavg: 1.95 2.04 1.98 2/532 19697
/proc/meminfo: memFree=16363956/32950940 swapFree=67111364/67111528
[pid=19697] ppid=19695 vsize=10556348 CPUtime=1.73 cores=1,3,5,7
/proc/19697/stat : 19697 (java) S 19695 19697 19289 0 -1 4202496 57431 0 1 0 166 7 0 0 25 0 19 0 910634552 10809700352 54333 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19697/statm: 2639087 54333 2220 9 0 2629821 0
[pid=19697/tid=19698] ppid=19695 vsize=10556348 CPUtime=0.67 cores=1,3,5,7
/proc/19697/task/19698/stat : 19698 (java) R 19695 19697 19289 0 -1 4202560 44303 0 1 0 62 5 0 0 25 0 19 0 910634553 10809700352 54333 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 46912505782014 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10556348
[startup+1.50095 s]
/proc/loadavg: 1.95 2.04 1.98 3/551 19716
/proc/meminfo: memFree=16034408/32950940 swapFree=67111364/67111528
[pid=19697] ppid=19695 vsize=10556348 CPUtime=2.57 cores=1,3,5,7
/proc/19697/stat : 19697 (java) S 19695 19697 19289 0 -1 4202496 104543 0 1 0 244 13 0 0 25 0 19 0 910634552 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19697/statm: 2639087 101444 2224 9 0 2629821 0
[pid=19697/tid=19698] ppid=19695 vsize=10556348 CPUtime=1.47 cores=1,3,5,7
/proc/19697/task/19698/stat : 19698 (java) R 19695 19697 19289 0 -1 4202560 91402 0 1 0 136 11 0 0 25 0 19 0 910634553 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 46912505584791 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=19697/tid=19700] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19700/stat : 19700 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19701] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19701/stat : 19701 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19702] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19702/stat : 19702 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19703] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19703/stat : 19703 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19704] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19704/stat : 19704 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19705] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19705/stat : 19705 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19706] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19706/stat : 19706 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19707] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19707/stat : 19707 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19708] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19708/stat : 19708 (java) S 19695 19697 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910634556 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000409088 0 0 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19709] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19709/stat : 19709 (java) S 19695 19697 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910634556 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19710] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19710/stat : 19710 (java) S 19695 19697 19289 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 910634556 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 5 0 0 0
[pid=19697/tid=19711] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19711/stat : 19711 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910634558 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000416177 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19712] ppid=19695 vsize=10556348 CPUtime=0.53 cores=1,3,5,7
/proc/19697/task/19712/stat : 19712 (java) S 19695 19697 19289 0 -1 4202560 4796 0 0 0 52 1 0 0 15 0 19 0 910634558 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19713] ppid=19695 vsize=10556348 CPUtime=0.55 cores=1,3,5,7
/proc/19697/task/19713/stat : 19713 (java) S 19695 19697 19289 0 -1 4202560 7185 0 0 0 55 0 0 0 15 0 19 0 910634558 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 5 0 0 0
[pid=19697/tid=19714] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19714/stat : 19714 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910634558 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19715] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19715/stat : 19715 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910634558 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000409088 0 4 0 16800975 18446604464298960128 0 0 -1 1 0 0 0
[pid=19697/tid=19716] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19716/stat : 19716 (java) S 19695 19697 19289 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 910634569 10809700352 101444 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000409088 0 4 0 16800975 18446604464298960128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 10556348
[startup+3.10067 s]
/proc/loadavg: 1.95 2.04 1.98 3/551 19716
/proc/meminfo: memFree=15812200/32950940 swapFree=67111364/67111528
[pid=19697] ppid=19695 vsize=10556348 CPUtime=4.21 cores=1,3,5,7
/proc/19697/stat : 19697 (java) S 19695 19697 19289 0 -1 4202496 179519 0 1 0 399 22 0 0 25 0 19 0 910634552 10809700352 176419 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19697/statm: 2639087 176419 2224 9 0 2629821 0
[pid=19697/tid=19698] ppid=19695 vsize=10556348 CPUtime=3.07 cores=1,3,5,7
/proc/19697/task/19698/stat : 19698 (java) R 19695 19697 19289 0 -1 4202560 166376 0 1 0 287 20 0 0 25 0 19 0 910634553 10809700352 176421 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 46912505583888 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19697/tid=19700] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19700/stat : 19700 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 176421 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19701] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19701/stat : 19701 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 176422 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19702] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19702/stat : 19702 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 176424 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19703] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19703/stat : 19703 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 176424 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19704] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19704/stat : 19704 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 176427 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19705] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19705/stat : 19705 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 176427 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19706] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19706/stat : 19706 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 176427 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19707] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19707/stat : 19707 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 176429 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19708] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19708/stat : 19708 (java) S 19695 19697 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910634556 10809700352 176429 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000409088 0 0 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19709] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19709/stat : 19709 (java) S 19695 19697 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910634556 10809700352 176432 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19710] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19710/stat : 19710 (java) S 19695 19697 19289 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 910634556 10809700352 176432 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 5 0 0 0
[pid=19697/tid=19711] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19711/stat : 19711 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910634558 10809700352 176432 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000416177 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19712] ppid=19695 vsize=10556348 CPUtime=0.55 cores=1,3,5,7
/proc/19697/task/19712/stat : 19712 (java) S 19695 19697 19289 0 -1 4202560 4798 0 0 0 54 1 0 0 15 0 19 0 910634558 10809700352 176435 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19713] ppid=19695 vsize=10556348 CPUtime=0.57 cores=1,3,5,7
/proc/19697/task/19713/stat : 19713 (java) S 19695 19697 19289 0 -1 4202560 7187 0 0 0 57 0 0 0 15 0 19 0 910634558 10809700352 176435 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 5 0 0 0
[pid=19697/tid=19714] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19714/stat : 19714 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910634558 10809700352 176435 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19715] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19715/stat : 19715 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910634558 10809700352 176437 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000409088 0 4 0 16800975 18446604464298960128 0 0 -1 1 0 0 0
[pid=19697/tid=19716] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19716/stat : 19716 (java) S 19695 19697 19289 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 910634569 10809700352 176437 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000409088 0 4 0 16800975 18446604464298960128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 10556348
Solver just ended. Dumping a history of the last processes samples
[startup+3.90159 s]
/proc/loadavg: 1.95 2.04 1.98 3/551 19716
/proc/meminfo: memFree=15648396/32950940 swapFree=67111364/67111528
[pid=19697] ppid=19695 vsize=10556348 CPUtime=5.01 cores=1,3,5,7
/proc/19697/stat : 19697 (java) S 19695 19697 19289 0 -1 4202496 198222 0 1 0 477 24 0 0 25 0 19 0 910634552 10809700352 195122 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19697/statm: 2639087 195124 2224 9 0 2629821 0
[pid=19697/tid=19698] ppid=19695 vsize=10556348 CPUtime=3.87 cores=1,3,5,7
/proc/19697/task/19698/stat : 19698 (java) R 19695 19697 19289 0 -1 4202560 185079 0 1 0 365 22 0 0 25 0 19 0 910634553 10809700352 195124 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 46912505526698 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19697/tid=19700] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19700/stat : 19700 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 195125 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19701] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19701/stat : 19701 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 195126 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19702] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19702/stat : 19702 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 195126 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19703] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19703/stat : 19703 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 195127 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19704] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19704/stat : 19704 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 195128 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19705] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19705/stat : 19705 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 195128 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19706] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19706/stat : 19706 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 195129 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19707] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19707/stat : 19707 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910634555 10809700352 195130 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 7 0 0 0
[pid=19697/tid=19708] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19708/stat : 19708 (java) S 19695 19697 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910634556 10809700352 195131 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000409088 0 0 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19709] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19709/stat : 19709 (java) S 19695 19697 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910634556 10809700352 195132 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19710] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19710/stat : 19710 (java) S 19695 19697 19289 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 910634556 10809700352 195132 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 5 0 0 0
[pid=19697/tid=19711] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19711/stat : 19711 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910634558 10809700352 195133 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000416177 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19712] ppid=19695 vsize=10556348 CPUtime=0.55 cores=1,3,5,7
/proc/19697/task/19712/stat : 19712 (java) S 19695 19697 19289 0 -1 4202560 4798 0 0 0 54 1 0 0 15 0 19 0 910634558 10809700352 195134 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19713] ppid=19695 vsize=10556348 CPUtime=0.57 cores=1,3,5,7
/proc/19697/task/19713/stat : 19713 (java) S 19695 19697 19289 0 -1 4202560 7187 0 0 0 57 0 0 0 15 0 19 0 910634558 10809700352 195135 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 5 0 0 0
[pid=19697/tid=19714] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19714/stat : 19714 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 910634558 10809700352 195136 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000408473 0 4 0 16800975 18446604464298960128 0 0 -1 3 0 0 0
[pid=19697/tid=19715] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19715/stat : 19715 (java) S 19695 19697 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910634558 10809700352 195136 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000409088 0 4 0 16800975 18446604464298960128 0 0 -1 1 0 0 0
[pid=19697/tid=19716] ppid=19695 vsize=10556348 CPUtime=0 cores=1,3,5,7
/proc/19697/task/19716/stat : 19716 (java) S 19695 19697 19289 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 910634569 10809700352 195137 33554432000 1073741824 1073778376 140733892695216 18446744073709551615 216000409088 0 4 0 16800975 18446604464298960128 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 10556348
[startup+4.30154 s]
/proc/loadavg: 1.95 2.04 1.98 3/534 19717
/proc/meminfo: memFree=16030388/32950940 swapFree=67111364/67111528
[pid=19697] ppid=19695 vsize=0 CPUtime=5.41 cores=1,3,5,7
/proc/19697/stat : 19697 (java) Z 19695 19697 19289 0 -1 4203548 214507 0 1 0 513 28 0 0 18 0 2 0 910634552 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19697/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.41
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 4.32033
CPU time (s): 5.42617
CPU user time (s): 5.13022
CPU system time (s): 0.295955
CPU usage (%): 125.596
Max. virtual memory (cumulated for all children) (KiB): 10556348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.13022
system time used= 0.295955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214507
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= 366
involuntary context switches= 76
runsolver used 0.018997 second user time and 0.075988 second system time
The end