runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3395031-1306090120/watcher-3395031-1306090120 -o /tmp/evaluation-result-3395031-1306090120/solver-3395031-1306090120 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3395031-1306090120.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.33 2.13 2.07 2/538 25705
/proc/meminfo: memFree=6543832/32951132 swapFree=54105148/67111528
[pid=25705] ppid=25703 vsize=105720 CPUtime=0.01 cores=0,2,4,6
/proc/25705/stat : 25705 (mono) R 25703 25705 24318 0 -1 4202496 1401 0 0 0 1 0 0 0 25 0 9 0 720610636 108257280 1308 33554432000 4194304 7232020 140734072709568 18446744073709551615 242970211013 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25705/statm: 26430 1308 926 742 0 19001 0
[pid=25705/tid=25706] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25706/stat : 25706 (mono) S 25703 25705 24318 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1372 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25707] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25707/stat : 25707 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1373 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25708] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25708/stat : 25708 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1373 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25709] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25709/stat : 25709 (mono) S 25703 25705 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1373 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25710] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25710/stat : 25710 (mono) S 25703 25705 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1373 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25711] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25711/stat : 25711 (mono) S 25703 25705 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1373 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25712] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25712/stat : 25712 (mono) S 25703 25705 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1373 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25713] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25713/stat : 25713 (mono) S 25703 25705 24318 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720610637 108339200 1373 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982373809 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[startup+0.0207421 s]
/proc/loadavg: 2.33 2.13 2.07 2/538 25705
/proc/meminfo: memFree=6543832/32951132 swapFree=54105148/67111528
[pid=25705] ppid=25703 vsize=105800 CPUtime=0.01 cores=0,2,4,6
/proc/25705/stat : 25705 (mono) R 25703 25705 24318 0 -1 4202496 1469 0 0 0 1 0 0 0 25 0 9 0 720610636 108339200 1374 33554432000 4194304 7232020 140734072709568 18446744073709551615 4345437 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25705/statm: 26450 1374 958 742 0 19021 0
[pid=25705/tid=25706] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25706/stat : 25706 (mono) S 25703 25705 24318 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1374 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25707] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25707/stat : 25707 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1374 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25708] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25708/stat : 25708 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1374 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25709] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25709/stat : 25709 (mono) S 25703 25705 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1374 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25710] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25710/stat : 25710 (mono) S 25703 25705 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1374 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25711] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25711/stat : 25711 (mono) S 25703 25705 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1374 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25712] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25712/stat : 25712 (mono) S 25703 25705 24318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 720610636 108339200 1375 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25713] ppid=25703 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25713/stat : 25713 (mono) S 25703 25705 24318 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720610637 108339200 1375 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982373809 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 105800
[startup+0.100735 s]
/proc/loadavg: 2.33 2.13 2.07 2/538 25705
/proc/meminfo: memFree=6543832/32951132 swapFree=54105148/67111528
[pid=25705] ppid=25703 vsize=113296 CPUtime=0.1 cores=0,2,4,6
/proc/25705/stat : 25705 (mono) R 25703 25705 24318 0 -1 4202496 3000 0 0 0 10 0 0 0 18 0 9 0 720610636 116015104 2903 33554432000 4194304 7232020 140734072709568 18446744073709551615 1103393819 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25705/statm: 28324 2903 975 742 0 20895 0
[pid=25705/tid=25706] ppid=25703 vsize=113296 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25706/stat : 25706 (mono) S 25703 25705 24318 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 720610636 116015104 2903 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25707] ppid=25703 vsize=113296 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25707/stat : 25707 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610636 116015104 2903 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 2 0 0 0
[pid=25705/tid=25708] ppid=25703 vsize=113296 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25708/stat : 25708 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610636 116015104 2903 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 2 0 0 0
[pid=25705/tid=25709] ppid=25703 vsize=113296 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25709/stat : 25709 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610636 116015104 2903 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 4 0 0 0
[pid=25705/tid=25710] ppid=25703 vsize=113296 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25710/stat : 25710 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610636 116015104 2903 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25711] ppid=25703 vsize=113296 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25711/stat : 25711 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610636 116015104 2903 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25712] ppid=25703 vsize=113296 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25712/stat : 25712 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610636 116015104 2905 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
[pid=25705/tid=25713] ppid=25703 vsize=113296 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25713/stat : 25713 (mono) S 25703 25705 24318 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 9 0 720610637 116015104 2908 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982373809 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 113296
[startup+0.300763 s]
/proc/loadavg: 2.33 2.13 2.07 2/538 25705
/proc/meminfo: memFree=6543832/32951132 swapFree=54105148/67111528
[pid=25705] ppid=25703 vsize=119312 CPUtime=0.35 cores=0,2,4,6
/proc/25705/stat : 25705 (mono) R 25703 25705 24318 0 -1 4202496 4814 0 0 0 35 0 0 0 18 0 9 0 720610636 122175488 4717 33554432000 4194304 7232020 140734072709568 18446744073709551615 1103406181 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25705/statm: 29828 4717 975 742 0 22399 0
[pid=25705/tid=25706] ppid=25703 vsize=119312 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25706/stat : 25706 (mono) S 25703 25705 24318 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 720610636 122175488 4717 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 4 0 0 0
[pid=25705/tid=25707] ppid=25703 vsize=119312 CPUtime=0.01 cores=0,2,4,6
/proc/25705/task/25707/stat : 25707 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720610636 122175488 4717 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25708] ppid=25703 vsize=119312 CPUtime=0.01 cores=0,2,4,6
/proc/25705/task/25708/stat : 25708 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720610636 122175488 4717 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
[pid=25705/tid=25709] ppid=25703 vsize=119312 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25709/stat : 25709 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720610636 122175488 4717 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 4 0 0 0
[pid=25705/tid=25710] ppid=25703 vsize=119312 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25710/stat : 25710 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720610636 122175488 4717 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25711] ppid=25703 vsize=119312 CPUtime=0.01 cores=0,2,4,6
/proc/25705/task/25711/stat : 25711 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720610636 122175488 4717 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25712] ppid=25703 vsize=119312 CPUtime=0.01 cores=0,2,4,6
/proc/25705/task/25712/stat : 25712 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720610636 122175488 4717 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 2 0 0 0
[pid=25705/tid=25713] ppid=25703 vsize=119312 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25713/stat : 25713 (mono) S 25703 25705 24318 0 -1 4202560 3 0 0 0 0 0 0 0 23 0 9 0 720610637 122175488 4717 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982373809 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 119312
[startup+0.700694 s]
/proc/loadavg: 2.33 2.13 2.07 2/538 25705
/proc/meminfo: memFree=6543832/32951132 swapFree=54105148/67111528
[pid=25705] ppid=25703 vsize=205240 CPUtime=0.83 cores=0,2,4,6
/proc/25705/stat : 25705 (mono) R 25703 25705 24318 0 -1 4202496 24893 0 0 0 80 3 0 0 18 0 9 0 720610636 210165760 24796 33554432000 4194304 7232020 140734072709568 18446744073709551615 1103427605 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25705/statm: 51310 24796 999 742 0 43881 0
[pid=25705/tid=25706] ppid=25703 vsize=205240 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25706/stat : 25706 (mono) S 25703 25705 24318 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 720610636 210165760 24796 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
[pid=25705/tid=25707] ppid=25703 vsize=205240 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25707/stat : 25707 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610636 210165760 24796 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25708] ppid=25703 vsize=205240 CPUtime=0.03 cores=0,2,4,6
/proc/25705/task/25708/stat : 25708 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720610636 210165760 24796 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 4 0 0 0
[pid=25705/tid=25709] ppid=25703 vsize=205240 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25709/stat : 25709 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610636 210165760 24796 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 4 0 0 0
[pid=25705/tid=25710] ppid=25703 vsize=205240 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25710/stat : 25710 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610636 210165760 24796 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25711] ppid=25703 vsize=205240 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25711/stat : 25711 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610636 210165760 24796 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
[pid=25705/tid=25712] ppid=25703 vsize=205240 CPUtime=0.03 cores=0,2,4,6
/proc/25705/task/25712/stat : 25712 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610636 210165760 24796 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 2 0 0 0
[pid=25705/tid=25713] ppid=25703 vsize=205240 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25713/stat : 25713 (mono) S 25703 25705 24318 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 720610637 210165760 24796 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982373809 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 205240
Solver just ended. Dumping a history of the last processes samples
[startup+1.12064 s]
/proc/loadavg: 2.33 2.13 2.07 3/547 25714
/proc/meminfo: memFree=6435516/32951132 swapFree=54105148/67111528
[pid=25705] ppid=25703 vsize=222008 CPUtime=1.26 cores=0,2,4,6
/proc/25705/stat : 25705 (mono) R 25703 25705 24318 0 -1 4202496 28612 0 0 0 123 3 0 0 18 0 9 0 720610636 227336192 28515 33554432000 4194304 7232020 140734072709568 18446744073709551615 1085492145 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25705/statm: 55502 28515 999 742 0 48073 0
[pid=25705/tid=25706] ppid=25703 vsize=222008 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25706/stat : 25706 (mono) S 25703 25705 24318 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 720610636 227336192 28515 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
[pid=25705/tid=25707] ppid=25703 vsize=222008 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25707/stat : 25707 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610636 227336192 28515 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25708] ppid=25703 vsize=222008 CPUtime=0.03 cores=0,2,4,6
/proc/25705/task/25708/stat : 25708 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720610636 227336192 28515 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 4 0 0 0
[pid=25705/tid=25709] ppid=25703 vsize=222008 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25709/stat : 25709 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610636 227336192 28515 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25710] ppid=25703 vsize=222008 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25710/stat : 25710 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610636 227336192 28515 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 4 0 0 0
[pid=25705/tid=25711] ppid=25703 vsize=222008 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25711/stat : 25711 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610636 227336192 28515 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
[pid=25705/tid=25712] ppid=25703 vsize=222008 CPUtime=0.03 cores=0,2,4,6
/proc/25705/task/25712/stat : 25712 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610636 227336192 28515 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 2 0 0 0
[pid=25705/tid=25713] ppid=25703 vsize=222008 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25713/stat : 25713 (mono) S 25703 25705 24318 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 9 0 720610637 227336192 28515 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982373809 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 222008
[startup+1.20063 s]
/proc/loadavg: 2.33 2.13 2.07 3/547 25714
/proc/meminfo: memFree=6435516/32951132 swapFree=54105148/67111528
[pid=25705] ppid=25703 vsize=255416 CPUtime=1.34 cores=0,2,4,6
/proc/25705/stat : 25705 (mono) R 25703 25705 24318 0 -1 4202496 37038 0 0 0 130 4 0 0 18 0 9 0 720610636 261545984 36941 33554432000 4194304 7232020 140734072709568 18446744073709551615 6155095 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25705/statm: 63854 36946 1001 742 0 56425 0
[pid=25705/tid=25706] ppid=25703 vsize=255416 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25706/stat : 25706 (mono) S 25703 25705 24318 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 720610636 261545984 36949 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
[pid=25705/tid=25707] ppid=25703 vsize=255416 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25707/stat : 25707 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610636 261545984 36953 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25708] ppid=25703 vsize=255416 CPUtime=0.03 cores=0,2,4,6
/proc/25705/task/25708/stat : 25708 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720610636 261545984 36957 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 4 0 0 0
[pid=25705/tid=25709] ppid=25703 vsize=255416 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25709/stat : 25709 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610636 261545984 36959 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 0 0 0 0
[pid=25705/tid=25710] ppid=25703 vsize=255416 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25710/stat : 25710 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610636 261545984 36963 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 4 0 0 0
[pid=25705/tid=25711] ppid=25703 vsize=255416 CPUtime=0.02 cores=0,2,4,6
/proc/25705/task/25711/stat : 25711 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610636 261545984 36966 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
[pid=25705/tid=25712] ppid=25703 vsize=255416 CPUtime=0.03 cores=0,2,4,6
/proc/25705/task/25712/stat : 25712 (mono) S 25703 25705 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610636 261545984 36972 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982366105 0 0 4096 545260780 18446604444920056768 0 0 -1 2 0 0 0
[pid=25705/tid=25713] ppid=25703 vsize=255416 CPUtime=0 cores=0,2,4,6
/proc/25705/task/25713/stat : 25713 (mono) S 25703 25705 24318 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 9 0 720610637 261545984 36975 33554432000 4194304 7232020 140734072709568 18446744073709551615 242982373809 0 0 4096 545260780 18446604444920056768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 255416
Child status: 0
Real time (s): 1.24987
CPU time (s): 1.39879
CPU user time (s): 1.3458
CPU system time (s): 0.052991
CPU usage (%): 111.915
Max. virtual memory (cumulated for all children) (KiB): 255416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.34579
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3218
involuntary context switches= 472
runsolver used 0.008998 second user time and 0.030995 second system time
The end