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-3395027-1306090115/watcher-3395027-1306090115 -o /tmp/evaluation-result-3395027-1306090115/solver-3395027-1306090115 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3395027-1306090115.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.28 2.12 2.07 2/538 25635
/proc/meminfo: memFree=6544992/32951132 swapFree=54105148/67111528
[pid=25635] ppid=25633 vsize=105856 CPUtime=0.01 cores=0,2,4,6
/proc/25635/stat : 25635 (mono) R 25633 25635 24318 0 -1 4202496 1444 0 0 0 1 0 0 0 18 0 9 0 720610129 108396544 1351 33554432000 4194304 7232020 140735267054592 18446744073709551615 242970246923 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25635/statm: 26464 1352 935 742 0 19035 0
[pid=25635/tid=25636] ppid=25633 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25636/stat : 25636 (mono) S 25633 25635 24318 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 9 0 720610129 108339200 1374 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25637] ppid=25633 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25637/stat : 25637 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 720610129 108339200 1374 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25638] ppid=25633 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25638/stat : 25638 (mono) S 25633 25635 24318 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 9 0 720610129 108339200 1375 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25639] ppid=25633 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25639/stat : 25639 (mono) S 25633 25635 24318 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 9 0 720610129 108339200 1375 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25640] ppid=25633 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25640/stat : 25640 (mono) S 25633 25635 24318 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 9 0 720610129 108339200 1375 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25641] ppid=25633 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25641/stat : 25641 (mono) S 25633 25635 24318 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 9 0 720610129 108339200 1375 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25642] ppid=25633 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25642/stat : 25642 (mono) S 25633 25635 24318 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 9 0 720610129 108339200 1375 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25643] ppid=25633 vsize=105800 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25643/stat : 25643 (mono) S 25633 25635 24318 0 -1 4202560 3 0 0 0 0 0 0 0 24 0 9 0 720610130 108339200 1375 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982373809 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[startup+0.0501839 s]
/proc/loadavg: 2.28 2.12 2.07 2/538 25635
/proc/meminfo: memFree=6544992/32951132 swapFree=54105148/67111528
[pid=25635] ppid=25633 vsize=111040 CPUtime=0.04 cores=0,2,4,6
/proc/25635/stat : 25635 (mono) S 25633 25635 24318 0 -1 4202496 2737 0 0 0 4 0 0 0 18 0 9 0 720610129 113704960 2640 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25635/statm: 27760 2640 975 742 0 20331 0
[pid=25635/tid=25636] ppid=25633 vsize=111040 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25636/stat : 25636 (mono) S 25633 25635 24318 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 720610129 113704960 2640 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25637] ppid=25633 vsize=111040 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25637/stat : 25637 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 113704960 2640 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25638] ppid=25633 vsize=111040 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25638/stat : 25638 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 720610129 113704960 2640 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25639] ppid=25633 vsize=111040 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25639/stat : 25639 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 113704960 2640 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25640] ppid=25633 vsize=111040 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25640/stat : 25640 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 720610129 113704960 2640 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25641] ppid=25633 vsize=111040 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25641/stat : 25641 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 113704960 2640 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25642] ppid=25633 vsize=111040 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25642/stat : 25642 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 113704960 2640 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25643] ppid=25633 vsize=111040 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25643/stat : 25643 (mono) R 25633 25635 24318 0 -1 4194368 3 0 0 0 0 0 0 0 24 0 9 0 720610130 113704960 2640 33554432000 4194304 7232020 140735267054592 18446744073709551615 242969937855 8388608 2138816217 4096 545260780 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 111040
[startup+0.10268 s]
/proc/loadavg: 2.28 2.12 2.07 2/538 25635
/proc/meminfo: memFree=6544992/32951132 swapFree=54105148/67111528
[pid=25635] ppid=25633 vsize=112868 CPUtime=0.1 cores=0,2,4,6
/proc/25635/stat : 25635 (mono) S 25633 25635 24318 0 -1 4202496 3225 0 0 0 10 0 0 0 18 0 9 0 720610129 115576832 3128 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982373809 0 0 4096 545260780 18446744073709551615 0 0 17 2 0 0 0
/proc/25635/statm: 28217 3128 975 742 0 20788 0
[pid=25635/tid=25636] ppid=25633 vsize=112868 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25636/stat : 25636 (mono) S 25633 25635 24318 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 720610129 115576832 3128 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25637] ppid=25633 vsize=112868 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25637/stat : 25637 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 115576832 3128 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25638] ppid=25633 vsize=112868 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25638/stat : 25638 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 115576832 3128 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25639] ppid=25633 vsize=112868 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25639/stat : 25639 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 115576832 3128 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25640] ppid=25633 vsize=112868 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25640/stat : 25640 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 115576832 3128 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25641] ppid=25633 vsize=112868 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25641/stat : 25641 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 115576832 3128 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25642] ppid=25633 vsize=112868 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25642/stat : 25642 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 720610129 115576832 3128 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25643] ppid=25633 vsize=112868 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25643/stat : 25643 (mono) R 25633 25635 24318 0 -1 4194368 3 0 0 0 0 0 0 0 24 0 9 0 720610130 115576832 3128 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982374255 0 2147204825 4096 545260780 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 112868
[startup+0.30103 s]
/proc/loadavg: 2.28 2.12 2.07 2/538 25635
/proc/meminfo: memFree=6544992/32951132 swapFree=54105148/67111528
[pid=25635] ppid=25633 vsize=122728 CPUtime=0.34 cores=0,2,4,6
/proc/25635/stat : 25635 (mono) R 25633 25635 24318 0 -1 4202496 5092 0 0 0 34 0 0 0 18 0 9 0 720610129 125673472 4995 33554432000 4194304 7232020 140735267054592 18446744073709551615 1081803808 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/25635/statm: 30682 4995 975 742 0 23253 0
[pid=25635/tid=25636] ppid=25633 vsize=122728 CPUtime=0.01 cores=0,2,4,6
/proc/25635/task/25636/stat : 25636 (mono) S 25633 25635 24318 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 720610129 125673472 4995 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25637] ppid=25633 vsize=122728 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25637/stat : 25637 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720610129 125673472 4995 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25638] ppid=25633 vsize=122728 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25638/stat : 25638 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720610129 125673472 4995 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25639] ppid=25633 vsize=122728 CPUtime=0.01 cores=0,2,4,6
/proc/25635/task/25639/stat : 25639 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720610129 125673472 4995 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 4 0 0 0
[pid=25635/tid=25640] ppid=25633 vsize=122728 CPUtime=0.01 cores=0,2,4,6
/proc/25635/task/25640/stat : 25640 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 720610129 125673472 4995 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25641] ppid=25633 vsize=122728 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25641/stat : 25641 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 720610129 125673472 4995 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 4 0 0 0
[pid=25635/tid=25642] ppid=25633 vsize=122728 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25642/stat : 25642 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 720610129 125673472 4995 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25643] ppid=25633 vsize=122728 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25643/stat : 25643 (mono) S 25633 25635 24318 0 -1 4202560 3 0 0 0 0 0 0 0 22 0 9 0 720610130 125673472 4995 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982373809 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 122728
[startup+0.700948 s]
/proc/loadavg: 2.28 2.12 2.07 2/538 25635
/proc/meminfo: memFree=6544992/32951132 swapFree=54105148/67111528
[pid=25635] ppid=25633 vsize=136192 CPUtime=0.83 cores=0,2,4,6
/proc/25635/stat : 25635 (mono) R 25633 25635 24318 0 -1 4202496 7615 0 0 0 82 1 0 0 18 0 9 0 720610129 139460608 7518 33554432000 4194304 7232020 140735267054592 18446744073709551615 1081827951 0 0 4096 545260780 18446744073709551615 0 0 17 6 0 0 0
/proc/25635/statm: 34048 7518 994 742 0 26619 0
[pid=25635/tid=25636] ppid=25633 vsize=136192 CPUtime=0.02 cores=0,2,4,6
/proc/25635/task/25636/stat : 25636 (mono) S 25633 25635 24318 0 -1 4202560 4 0 0 0 2 0 0 0 15 0 9 0 720610129 139460608 7518 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 4 0 0 0
[pid=25635/tid=25637] ppid=25633 vsize=136192 CPUtime=0.03 cores=0,2,4,6
/proc/25635/task/25637/stat : 25637 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610129 139460608 7518 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25638] ppid=25633 vsize=136192 CPUtime=0.02 cores=0,2,4,6
/proc/25635/task/25638/stat : 25638 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610129 139460608 7518 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25639] ppid=25633 vsize=136192 CPUtime=0.02 cores=0,2,4,6
/proc/25635/task/25639/stat : 25639 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610129 139460608 7518 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25640] ppid=25633 vsize=136192 CPUtime=0.02 cores=0,2,4,6
/proc/25635/task/25640/stat : 25640 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 720610129 139460608 7518 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25641] ppid=25633 vsize=136192 CPUtime=0.02 cores=0,2,4,6
/proc/25635/task/25641/stat : 25641 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 720610129 139460608 7518 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 4 0 0 0
[pid=25635/tid=25642] ppid=25633 vsize=136192 CPUtime=0.01 cores=0,2,4,6
/proc/25635/task/25642/stat : 25642 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 720610129 139460608 7518 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25643] ppid=25633 vsize=136192 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25643/stat : 25643 (mono) S 25633 25635 24318 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 720610130 139460608 7518 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982373809 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 136192
[startup+1.5009 s]
/proc/loadavg: 2.28 2.12 2.07 3/547 25644
/proc/meminfo: memFree=6368208/32951132 swapFree=54105148/67111528
[pid=25635] ppid=25633 vsize=311996 CPUtime=1.69 cores=0,2,4,6
/proc/25635/stat : 25635 (mono) R 25633 25635 24318 0 -1 4202496 51170 0 0 0 165 4 0 0 18 0 9 0 720610129 319483904 51073 33554432000 4194304 7232020 140735267054592 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25635/statm: 77999 51073 999 742 0 70570 0
[pid=25635/tid=25636] ppid=25633 vsize=311996 CPUtime=0.03 cores=0,2,4,6
/proc/25635/task/25636/stat : 25636 (mono) S 25633 25635 24318 0 -1 4202560 4 0 0 0 3 0 0 0 15 0 9 0 720610129 319483904 51073 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 4 0 0 0
[pid=25635/tid=25637] ppid=25633 vsize=311996 CPUtime=0.04 cores=0,2,4,6
/proc/25635/task/25637/stat : 25637 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 720610129 319483904 51074 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25638] ppid=25633 vsize=311996 CPUtime=0.03 cores=0,2,4,6
/proc/25635/task/25638/stat : 25638 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610129 319483904 51074 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 4 0 0 0
[pid=25635/tid=25639] ppid=25633 vsize=311996 CPUtime=0.03 cores=0,2,4,6
/proc/25635/task/25639/stat : 25639 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610129 319483904 51075 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25640] ppid=25633 vsize=311996 CPUtime=0.03 cores=0,2,4,6
/proc/25635/task/25640/stat : 25640 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610129 319483904 51075 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25641] ppid=25633 vsize=311996 CPUtime=0.03 cores=0,2,4,6
/proc/25635/task/25641/stat : 25641 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610129 319483904 51075 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25642] ppid=25633 vsize=311996 CPUtime=0.03 cores=0,2,4,6
/proc/25635/task/25642/stat : 25642 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720610129 319483904 51075 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25643] ppid=25633 vsize=311996 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25643/stat : 25643 (mono) S 25633 25635 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720610130 319483904 51075 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982373809 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 311996
Solver just ended. Dumping a history of the last processes samples
[startup+1.70084 s]
/proc/loadavg: 2.28 2.12 2.07 3/547 25644
/proc/meminfo: memFree=6368208/32951132 swapFree=54105148/67111528
[pid=25635] ppid=25633 vsize=345752 CPUtime=1.92 cores=0,2,4,6
/proc/25635/stat : 25635 (mono) R 25633 25635 24318 0 -1 4202496 61353 0 0 0 187 5 0 0 19 0 9 0 720610129 354050048 61254 33554432000 4194304 7232020 140735267054592 18446744073709551615 1175817779 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/25635/statm: 86438 61254 1040 742 0 79009 0
[pid=25635/tid=25636] ppid=25633 vsize=345752 CPUtime=0.04 cores=0,2,4,6
/proc/25635/task/25636/stat : 25636 (mono) S 25633 25635 24318 0 -1 4202560 4 0 0 0 4 0 0 0 16 0 9 0 720610129 354050048 61254 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 4 0 0 0
[pid=25635/tid=25637] ppid=25633 vsize=345752 CPUtime=0.04 cores=0,2,4,6
/proc/25635/task/25637/stat : 25637 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 720610129 354050048 61254 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25638] ppid=25633 vsize=345752 CPUtime=0.03 cores=0,2,4,6
/proc/25635/task/25638/stat : 25638 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 720610129 354050048 61254 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 4 0 0 0
[pid=25635/tid=25639] ppid=25633 vsize=345752 CPUtime=0.04 cores=0,2,4,6
/proc/25635/task/25639/stat : 25639 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 720610129 354050048 61254 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 0 0 0 0
[pid=25635/tid=25640] ppid=25633 vsize=345752 CPUtime=0.04 cores=0,2,4,6
/proc/25635/task/25640/stat : 25640 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 720610129 354050048 61254 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25641] ppid=25633 vsize=345752 CPUtime=0.03 cores=0,2,4,6
/proc/25635/task/25641/stat : 25641 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 3 0 0 0 16 0 9 0 720610129 354050048 61254 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
[pid=25635/tid=25642] ppid=25633 vsize=345752 CPUtime=0.04 cores=0,2,4,6
/proc/25635/task/25642/stat : 25642 (mono) S 25633 25635 24318 0 -1 4202560 2 0 0 0 4 0 0 0 16 0 9 0 720610129 354050048 61254 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982366105 0 0 4096 545260780 18446604447407995968 0 0 -1 6 0 0 0
[pid=25635/tid=25643] ppid=25633 vsize=345752 CPUtime=0 cores=0,2,4,6
/proc/25635/task/25643/stat : 25643 (mono) S 25633 25635 24318 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 720610130 354050048 61254 33554432000 4194304 7232020 140735267054592 18446744073709551615 242982373809 0 0 4096 545260780 18446604447407995968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 345752
Child status: 0
Real time (s): 1.71597
CPU time (s): 1.9447
CPU user time (s): 1.87871
CPU system time (s): 0.065989
CPU usage (%): 113.329
Max. virtual memory (cumulated for all children) (KiB): 345752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.87871
system time used= 0.065989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61413
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= 3239
involuntary context switches= 557
runsolver used 0.010998 second user time and 0.026995 second system time
The end