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-3395021-1306090107/watcher-3395021-1306090107 -o /tmp/evaluation-result-3395021-1306090107/solver-3395021-1306090107 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3395021-1306090107.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.13 2.09 2.06 2/538 25565
/proc/meminfo: memFree=6581276/32951132 swapFree=54105148/67111528
[pid=25565] ppid=25563 vsize=105848 CPUtime=0.01 cores=0,2,4,6
/proc/25565/stat : 25565 (mono) R 25563 25565 24318 0 -1 4202496 1446 0 0 0 1 0 0 0 20 0 9 0 720609375 108388352 1353 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982357328 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25565/statm: 26462 1354 937 742 0 19033 0
[pid=25565/tid=25566] ppid=25563 vsize=105848 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25566/stat : 25566 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 720609376 108388352 1378 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25567] ppid=25563 vsize=105848 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25567/stat : 25567 (mono) S 25563 25565 24318 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 9 0 720609376 108388352 1378 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25568] ppid=25563 vsize=105848 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25568/stat : 25568 (mono) S 25563 25565 24318 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720609376 108388352 1378 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25569] ppid=25563 vsize=105848 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25569/stat : 25569 (mono) S 25563 25565 24318 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720609376 108388352 1378 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25570] ppid=25563 vsize=105848 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25570/stat : 25570 (mono) S 25563 25565 24318 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720609376 108388352 1378 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25571] ppid=25563 vsize=105848 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25571/stat : 25571 (mono) S 25563 25565 24318 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720609376 108388352 1378 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25572] ppid=25563 vsize=105848 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25572/stat : 25572 (mono) S 25563 25565 24318 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720609376 108388352 1379 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25573] ppid=25563 vsize=105848 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25573/stat : 25573 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 9 0 720609376 108388352 1379 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982373809 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[startup+0.115381 s]
/proc/loadavg: 2.13 2.09 2.06 2/538 25565
/proc/meminfo: memFree=6581276/32951132 swapFree=54105148/67111528
[pid=25565] ppid=25563 vsize=112244 CPUtime=0.13 cores=0,2,4,6
/proc/25565/stat : 25565 (mono) R 25563 25565 24318 0 -1 4202496 2840 0 0 0 13 0 0 0 18 0 9 0 720609375 114937856 2747 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982367275 0 0 4096 545260780 18446744073709551615 0 0 17 4 0 0 0
/proc/25565/statm: 28061 2747 976 742 0 20632 0
[pid=25565/tid=25566] ppid=25563 vsize=112244 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25566/stat : 25566 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 9 0 720609376 114937856 2747 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25567] ppid=25563 vsize=112244 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25567/stat : 25567 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609376 114937856 2747 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 0 0 0 0
[pid=25565/tid=25568] ppid=25563 vsize=112244 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25568/stat : 25568 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609376 114937856 2747 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25569] ppid=25563 vsize=112244 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25569/stat : 25569 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609376 114937856 2747 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25570] ppid=25563 vsize=112244 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25570/stat : 25570 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609376 114937856 2747 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25571] ppid=25563 vsize=112244 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25571/stat : 25571 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609376 114937856 2747 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25572] ppid=25563 vsize=112244 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25572/stat : 25572 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720609376 114937856 2747 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 0 0 0 0
[pid=25565/tid=25573] ppid=25563 vsize=112244 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25573/stat : 25573 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 720609376 114937856 2747 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982373809 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 112244
[startup+0.201363 s]
/proc/loadavg: 2.13 2.09 2.06 2/538 25565
/proc/meminfo: memFree=6581276/32951132 swapFree=54105148/67111528
[pid=25565] ppid=25563 vsize=114448 CPUtime=0.23 cores=0,2,4,6
/proc/25565/stat : 25565 (mono) R 25563 25565 24318 0 -1 4202496 3565 0 0 0 23 0 0 0 18 0 9 0 720609375 117194752 3472 33554432000 4194304 7232020 140733622709280 18446744073709551615 1074528472 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25565/statm: 28612 3472 976 742 0 21183 0
[pid=25565/tid=25566] ppid=25563 vsize=114448 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25566/stat : 25566 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 1 0 0 0 16 0 9 0 720609376 117194752 3472 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25567] ppid=25563 vsize=114448 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25567/stat : 25567 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609376 117194752 3472 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25568] ppid=25563 vsize=114448 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25568/stat : 25568 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609376 117194752 3472 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25569] ppid=25563 vsize=114448 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25569/stat : 25569 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609376 117194752 3472 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 0 0 0 0
[pid=25565/tid=25570] ppid=25563 vsize=114448 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25570/stat : 25570 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609376 117194752 3472 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25571] ppid=25563 vsize=114448 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25571/stat : 25571 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609376 117194752 3472 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25572] ppid=25563 vsize=114448 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25572/stat : 25572 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609376 117194752 3472 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25573] ppid=25563 vsize=114448 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25573/stat : 25573 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 720609376 117194752 3472 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982373809 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 114448
[startup+0.30143 s]
/proc/loadavg: 2.13 2.09 2.06 2/538 25565
/proc/meminfo: memFree=6581276/32951132 swapFree=54105148/67111528
[pid=25565] ppid=25563 vsize=117496 CPUtime=0.35 cores=0,2,4,6
/proc/25565/stat : 25565 (mono) R 25563 25565 24318 0 -1 4202496 4224 0 0 0 35 0 0 0 18 0 9 0 720609375 120315904 4131 33554432000 4194304 7232020 140733622709280 18446744073709551615 1074523307 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25565/statm: 29374 4131 995 742 0 21945 0
[pid=25565/tid=25566] ppid=25563 vsize=117496 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25566/stat : 25566 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 1 0 0 0 16 0 9 0 720609376 120315904 4131 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25567] ppid=25563 vsize=117496 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25567/stat : 25567 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720609376 120315904 4131 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25568] ppid=25563 vsize=117496 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25568/stat : 25568 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609376 120315904 4131 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25569] ppid=25563 vsize=117496 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25569/stat : 25569 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609376 120315904 4131 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 0 0 0 0
[pid=25565/tid=25570] ppid=25563 vsize=117496 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25570/stat : 25570 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609376 120315904 4131 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25571] ppid=25563 vsize=117496 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25571/stat : 25571 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609376 120315904 4131 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25572] ppid=25563 vsize=117496 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25572/stat : 25572 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720609376 120315904 4131 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25573] ppid=25563 vsize=117496 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25573/stat : 25573 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 9 0 720609376 120315904 4131 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982373809 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 117496
[startup+0.701339 s]
/proc/loadavg: 2.13 2.09 2.06 2/538 25565
/proc/meminfo: memFree=6581276/32951132 swapFree=54105148/67111528
[pid=25565] ppid=25563 vsize=211112 CPUtime=0.78 cores=0,2,4,6
/proc/25565/stat : 25565 (mono) R 25563 25565 24318 0 -1 4202496 27654 0 0 0 76 2 0 0 18 0 9 0 720609375 216178688 27562 33554432000 4194304 7232020 140733622709280 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25565/statm: 52778 27569 1000 742 0 45349 0
[pid=25565/tid=25566] ppid=25563 vsize=211112 CPUtime=0.02 cores=0,2,4,6
/proc/25565/task/25566/stat : 25566 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 2 0 0 0 16 0 9 0 720609376 216178688 27572 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25567] ppid=25563 vsize=211112 CPUtime=0.02 cores=0,2,4,6
/proc/25565/task/25567/stat : 25567 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720609376 216178688 27576 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 0 0 0 0
[pid=25565/tid=25568] ppid=25563 vsize=211112 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25568/stat : 25568 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720609376 216178688 27580 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25569] ppid=25563 vsize=211112 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25569/stat : 25569 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720609376 216178688 27584 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25570] ppid=25563 vsize=211112 CPUtime=0.02 cores=0,2,4,6
/proc/25565/task/25570/stat : 25570 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720609376 216178688 27588 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 0 0 0 0
[pid=25565/tid=25571] ppid=25563 vsize=211112 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25571/stat : 25571 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720609376 216178688 27592 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25572] ppid=25563 vsize=211176 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25572/stat : 25572 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609376 216244224 27599 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25573] ppid=25563 vsize=211176 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25573/stat : 25573 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720609376 216244224 27603 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982373809 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 211112
Solver just ended. Dumping a history of the last processes samples
[startup+0.701339 s]
/proc/loadavg: 2.13 2.09 2.06 2/538 25565
/proc/meminfo: memFree=6581276/32951132 swapFree=54105148/67111528
[pid=25565] ppid=25563 vsize=211112 CPUtime=0.78 cores=0,2,4,6
/proc/25565/stat : 25565 (mono) R 25563 25565 24318 0 -1 4202496 27654 0 0 0 76 2 0 0 18 0 9 0 720609375 216178688 27562 33554432000 4194304 7232020 140733622709280 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25565/statm: 52778 27569 1000 742 0 45349 0
[pid=25565/tid=25566] ppid=25563 vsize=211112 CPUtime=0.02 cores=0,2,4,6
/proc/25565/task/25566/stat : 25566 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 2 0 0 0 16 0 9 0 720609376 216178688 27572 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25567] ppid=25563 vsize=211112 CPUtime=0.02 cores=0,2,4,6
/proc/25565/task/25567/stat : 25567 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720609376 216178688 27576 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 0 0 0 0
[pid=25565/tid=25568] ppid=25563 vsize=211112 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25568/stat : 25568 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720609376 216178688 27580 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25569] ppid=25563 vsize=211112 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25569/stat : 25569 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720609376 216178688 27584 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 6 0 0 0
[pid=25565/tid=25570] ppid=25563 vsize=211112 CPUtime=0.02 cores=0,2,4,6
/proc/25565/task/25570/stat : 25570 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720609376 216178688 27588 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 0 0 0 0
[pid=25565/tid=25571] ppid=25563 vsize=211112 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25571/stat : 25571 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720609376 216178688 27592 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
[pid=25565/tid=25572] ppid=25563 vsize=211176 CPUtime=0.01 cores=0,2,4,6
/proc/25565/task/25572/stat : 25572 (mono) S 25563 25565 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720609376 216244224 27599 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982366105 0 0 4096 545260780 18446604451916589824 0 0 -1 4 0 0 0
[pid=25565/tid=25573] ppid=25563 vsize=211176 CPUtime=0 cores=0,2,4,6
/proc/25565/task/25573/stat : 25573 (mono) S 25563 25565 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720609376 216244224 27603 33554432000 4194304 7232020 140733622709280 18446744073709551615 242982373809 0 0 4096 545260780 18446604451916589824 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 211112
Child status: 0
Real time (s): 0.75628
CPU time (s): 0.84887
CPU user time (s): 0.807877
CPU system time (s): 0.040993
CPU usage (%): 112.243
Max. virtual memory (cumulated for all children) (KiB): 211112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.807877
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33259
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= 2658
involuntary context switches= 346
runsolver used 0.005999 second user time and 0.014997 second system time
The end