runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3283966-1303763766/watcher-3283966-1303763766 -o /tmp/evaluation-result-3283966-1303763766/solver-3283966-1303763766 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3283966-1303763766.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.99 3.97 3.81 5/213 10852
/proc/meminfo: memFree=19655492/32950904 swapFree=67082284/67111528
[pid=10852] ppid=10850 vsize=102404 CPUtime=0 cores=0,2
/proc/10852/stat : 10852 (mono) S 10850 10852 9900 0 -1 4202496 697 0 0 0 0 0 0 0 25 0 8 0 487976349 104861696 606 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290708731 0 2147483391 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/10852/statm: 25601 606 475 742 0 18172 0
[pid=10852/tid=10853] ppid=10850 vsize=102404 CPUtime=0 cores=0,2
/proc/10852/task/10853/stat : 10853 (mono) S 10850 10852 9900 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 487976350 104861696 615 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10854] ppid=10850 vsize=102404 CPUtime=0 cores=0,2
/proc/10852/task/10854/stat : 10854 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 104861696 617 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=102404 CPUtime=0 cores=0,2
/proc/10852/task/10855/stat : 10855 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 104861696 618 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=102404 CPUtime=0 cores=0,2
/proc/10852/task/10856/stat : 10856 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 104861696 619 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=102404 CPUtime=0 cores=0,2
/proc/10852/task/10857/stat : 10857 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 104861696 621 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=102404 CPUtime=0 cores=0,2
/proc/10852/task/10858/stat : 10858 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 104861696 622 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=102404 CPUtime=0 cores=0,2
/proc/10852/task/10859/stat : 10859 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 104861696 625 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[startup+0.00903892 s]
/proc/loadavg: 3.99 3.97 3.81 5/213 10852
/proc/meminfo: memFree=19655492/32950904 swapFree=67082284/67111528
[pid=10852] ppid=10850 vsize=102736 CPUtime=0 cores=0,2
/proc/10852/stat : 10852 (mono) R 10850 10852 9900 0 -1 4202496 921 0 0 0 0 0 0 0 25 0 8 0 487976349 105201664 830 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290691832 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/10852/statm: 25684 830 639 742 0 18255 0
[pid=10852/tid=10853] ppid=10850 vsize=102736 CPUtime=0 cores=0,2
/proc/10852/task/10853/stat : 10853 (mono) S 10850 10852 9900 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 487976350 105201664 830 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10854] ppid=10850 vsize=102736 CPUtime=0 cores=0,2
/proc/10852/task/10854/stat : 10854 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 105201664 830 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=102736 CPUtime=0 cores=0,2
/proc/10852/task/10855/stat : 10855 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 105201664 830 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=102736 CPUtime=0 cores=0,2
/proc/10852/task/10856/stat : 10856 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 105201664 830 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=102736 CPUtime=0 cores=0,2
/proc/10852/task/10857/stat : 10857 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 105201664 830 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=102736 CPUtime=0 cores=0,2
/proc/10852/task/10858/stat : 10858 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 105201664 830 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=102736 CPUtime=0 cores=0,2
/proc/10852/task/10859/stat : 10859 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 487976350 105201664 830 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102736
[startup+0.103071 s]
/proc/loadavg: 3.99 3.97 3.81 5/213 10852
/proc/meminfo: memFree=19655492/32950904 swapFree=67082284/67111528
[pid=10852] ppid=10850 vsize=110988 CPUtime=0.1 cores=0,2
/proc/10852/stat : 10852 (mono) R 10850 10852 9900 0 -1 4202496 2670 0 0 0 10 0 0 0 18 0 9 0 487976349 113651712 2577 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290703281 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/10852/statm: 27747 2577 975 742 0 20318 0
[pid=10852/tid=10853] ppid=10850 vsize=110988 CPUtime=0 cores=0,2
/proc/10852/task/10853/stat : 10853 (mono) S 10850 10852 9900 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 9 0 487976350 113651712 2577 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10854] ppid=10850 vsize=110988 CPUtime=0 cores=0,2
/proc/10852/task/10854/stat : 10854 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 487976350 113651712 2577 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=110988 CPUtime=0 cores=0,2
/proc/10852/task/10855/stat : 10855 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 487976350 113651712 2577 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=110988 CPUtime=0 cores=0,2
/proc/10852/task/10856/stat : 10856 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 487976350 113651712 2577 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=110988 CPUtime=0 cores=0,2
/proc/10852/task/10857/stat : 10857 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 487976350 113651712 2577 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=110988 CPUtime=0 cores=0,2
/proc/10852/task/10858/stat : 10858 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 487976350 113651712 2577 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=110988 CPUtime=0 cores=0,2
/proc/10852/task/10859/stat : 10859 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 487976350 113651712 2577 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 110988
[startup+0.30436 s]
/proc/loadavg: 3.99 3.97 3.81 5/213 10852
/proc/meminfo: memFree=19655492/32950904 swapFree=67082284/67111528
[pid=10852] ppid=10850 vsize=118348 CPUtime=0.33 cores=0,2
/proc/10852/stat : 10852 (mono) R 10850 10852 9900 0 -1 4202496 4170 0 0 0 32 1 0 0 18 0 9 0 487976349 121188352 4077 33554432000 4194304 7232020 140734600905600 18446744073709551615 237278572240 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/10852/statm: 29587 4077 975 742 0 22158 0
[pid=10852/tid=10853] ppid=10850 vsize=118348 CPUtime=0 cores=0,2
/proc/10852/task/10853/stat : 10853 (mono) S 10850 10852 9900 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 487976350 121188352 4077 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10854] ppid=10850 vsize=118348 CPUtime=0 cores=0,2
/proc/10852/task/10854/stat : 10854 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 487976350 121188352 4077 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=118348 CPUtime=0 cores=0,2
/proc/10852/task/10855/stat : 10855 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 487976350 121188352 4077 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=118348 CPUtime=0 cores=0,2
/proc/10852/task/10856/stat : 10856 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 487976350 121188352 4077 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=118348 CPUtime=0 cores=0,2
/proc/10852/task/10857/stat : 10857 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 487976350 121188352 4077 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=118348 CPUtime=0.01 cores=0,2
/proc/10852/task/10858/stat : 10858 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 487976350 121188352 4077 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=118348 CPUtime=0 cores=0,2
/proc/10852/task/10859/stat : 10859 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 487976350 121188352 4077 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 118348
[startup+0.700868 s]
/proc/loadavg: 3.99 3.97 3.81 5/213 10852
/proc/meminfo: memFree=19655492/32950904 swapFree=67082284/67111528
[pid=10852] ppid=10850 vsize=205240 CPUtime=0.75 cores=0,2
/proc/10852/stat : 10852 (mono) R 10850 10852 9900 0 -1 4202496 24362 0 0 0 72 3 0 0 18 0 9 0 487976349 210165760 24269 33554432000 4194304 7232020 140734600905600 18446744073709551615 1089331973 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/10852/statm: 51310 24269 999 742 0 43881 0
[pid=10852/tid=10853] ppid=10850 vsize=205240 CPUtime=0.01 cores=0,2
/proc/10852/task/10853/stat : 10853 (mono) S 10850 10852 9900 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 487976350 210165760 24269 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10854] ppid=10850 vsize=205240 CPUtime=0 cores=0,2
/proc/10852/task/10854/stat : 10854 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 487976350 210165760 24269 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=205240 CPUtime=0.02 cores=0,2
/proc/10852/task/10855/stat : 10855 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 210165760 24270 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=205240 CPUtime=0 cores=0,2
/proc/10852/task/10856/stat : 10856 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 487976350 210165760 24270 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=205240 CPUtime=0.01 cores=0,2
/proc/10852/task/10857/stat : 10857 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 487976350 210165760 24270 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=205240 CPUtime=0.02 cores=0,2
/proc/10852/task/10858/stat : 10858 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 487976350 210165760 24270 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=205240 CPUtime=0.01 cores=0,2
/proc/10852/task/10859/stat : 10859 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 487976350 210165760 24271 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 205240
[startup+1.50073 s]
/proc/loadavg: 3.99 3.97 3.81 5/222 10861
/proc/meminfo: memFree=19546432/32950904 swapFree=67082284/67111528
[pid=10852] ppid=10850 vsize=247248 CPUtime=1.57 cores=0,2
/proc/10852/stat : 10852 (mono) R 10850 10852 9900 0 -1 4202496 36425 0 0 0 153 4 0 0 19 0 9 0 487976349 253181952 36331 33554432000 4194304 7232020 140734600905600 18446744073709551615 1103951154 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/10852/statm: 61812 36331 1023 742 0 54383 0
[pid=10852/tid=10853] ppid=10850 vsize=247248 CPUtime=0.01 cores=0,2
/proc/10852/task/10853/stat : 10853 (mono) S 10850 10852 9900 0 -1 4202560 4 0 0 0 1 0 0 0 16 0 9 0 487976350 253181952 36331 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10854] ppid=10850 vsize=247248 CPUtime=0.01 cores=0,2
/proc/10852/task/10854/stat : 10854 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 487976350 253181952 36331 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=247248 CPUtime=0.02 cores=0,2
/proc/10852/task/10855/stat : 10855 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253181952 36331 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=247248 CPUtime=0 cores=0,2
/proc/10852/task/10856/stat : 10856 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 487976350 253181952 36331 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=247248 CPUtime=0.01 cores=0,2
/proc/10852/task/10857/stat : 10857 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 487976350 253181952 36331 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=247248 CPUtime=0.02 cores=0,2
/proc/10852/task/10858/stat : 10858 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253181952 36331 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=247248 CPUtime=0.02 cores=0,2
/proc/10852/task/10859/stat : 10859 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 487976350 253181952 36331 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=247248 CPUtime=0 cores=0,2
/proc/10852/task/10861/stat : 10861 (mono) S 10850 10852 9900 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 487976350 253181952 36331 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290703281 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 247248
[startup+3.10045 s]
/proc/loadavg: 3.99 3.97 3.81 5/222 10861
/proc/meminfo: memFree=19510468/32950904 swapFree=67082284/67111528
[pid=10852] ppid=10850 vsize=247632 CPUtime=3.17 cores=0,2
/proc/10852/stat : 10852 (mono) R 10850 10852 9900 0 -1 4202496 36999 0 0 0 313 4 0 0 22 0 9 0 487976349 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290687366 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/10852/statm: 61908 36905 1023 742 0 54479 0
[pid=10852/tid=10853] ppid=10850 vsize=247632 CPUtime=0.01 cores=0,2
/proc/10852/task/10853/stat : 10853 (mono) S 10850 10852 9900 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10854] ppid=10850 vsize=247632 CPUtime=0.01 cores=0,2
/proc/10852/task/10854/stat : 10854 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=247632 CPUtime=0.02 cores=0,2
/proc/10852/task/10855/stat : 10855 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=247632 CPUtime=0 cores=0,2
/proc/10852/task/10856/stat : 10856 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=247632 CPUtime=0.02 cores=0,2
/proc/10852/task/10857/stat : 10857 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=247632 CPUtime=0.02 cores=0,2
/proc/10852/task/10858/stat : 10858 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=247632 CPUtime=0.02 cores=0,2
/proc/10852/task/10859/stat : 10859 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=247632 CPUtime=0 cores=0,2
/proc/10852/task/10861/stat : 10861 (mono) S 10850 10852 9900 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290703281 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 247632
Solver just ended. Dumping a history of the last processes samples
[startup+3.50037 s]
/proc/loadavg: 3.99 3.97 3.81 5/222 10861
/proc/meminfo: memFree=19506252/32950904 swapFree=67082284/67111528
[pid=10852] ppid=10850 vsize=247632 CPUtime=3.57 cores=0,2
/proc/10852/stat : 10852 (mono) R 10850 10852 9900 0 -1 4202496 36999 0 0 0 353 4 0 0 24 0 9 0 487976349 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 1103950843 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/10852/statm: 61908 36905 1023 742 0 54479 0
[pid=10852/tid=10853] ppid=10850 vsize=247632 CPUtime=0.01 cores=0,2
/proc/10852/task/10853/stat : 10853 (mono) S 10850 10852 9900 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10854] ppid=10850 vsize=247632 CPUtime=0.01 cores=0,2
/proc/10852/task/10854/stat : 10854 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=247632 CPUtime=0.02 cores=0,2
/proc/10852/task/10855/stat : 10855 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=247632 CPUtime=0 cores=0,2
/proc/10852/task/10856/stat : 10856 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=247632 CPUtime=0.02 cores=0,2
/proc/10852/task/10857/stat : 10857 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=247632 CPUtime=0.02 cores=0,2
/proc/10852/task/10858/stat : 10858 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=247632 CPUtime=0.02 cores=0,2
/proc/10852/task/10859/stat : 10859 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=247632 CPUtime=0 cores=0,2
/proc/10852/task/10861/stat : 10861 (mono) S 10850 10852 9900 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 487976350 253575168 36905 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290703281 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 247632
[startup+3.9053 s]
/proc/loadavg: 3.99 3.97 3.81 5/222 10861
/proc/meminfo: memFree=19506252/32950904 swapFree=67082284/67111528
[pid=10852] ppid=10850 vsize=247696 CPUtime=3.98 cores=0,2
/proc/10852/stat : 10852 (mono) R 10850 10852 9900 0 -1 4202496 37022 0 0 0 394 4 0 0 25 0 9 0 487976349 253640704 36928 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290696847 0 0 4096 545260780 18446744073709551615 0 0 17 0 0 0 0
/proc/10852/statm: 61924 36928 1023 742 0 54495 0
[pid=10852/tid=10853] ppid=10850 vsize=247696 CPUtime=0.01 cores=0,2
/proc/10852/task/10853/stat : 10853 (mono) R 10850 10852 9900 0 -1 4202560 4 0 0 0 1 0 0 0 15 0 9 0 487976350 253640704 36928 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=10852/tid=10854] ppid=10850 vsize=247696 CPUtime=0.02 cores=0,2
/proc/10852/task/10854/stat : 10854 (mono) R 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 487976350 253640704 36928 33554432000 4194304 7232020 140734600905600 18446744073709551615 6173332 0 0 4096 545260780 0 0 0 -1 2 0 0 0
[pid=10852/tid=10855] ppid=10850 vsize=247696 CPUtime=0.02 cores=0,2
/proc/10852/task/10855/stat : 10855 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253640704 36928 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10856] ppid=10850 vsize=247696 CPUtime=0 cores=0,2
/proc/10852/task/10856/stat : 10856 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 487976350 253640704 36928 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10857] ppid=10850 vsize=247696 CPUtime=0.03 cores=0,2
/proc/10852/task/10857/stat : 10857 (mono) R 10850 10852 9900 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 487976350 253640704 36928 33554432000 4194304 7232020 140734600905600 18446744073709551615 6172593 0 0 4096 545260780 0 0 0 -1 0 0 0 0
[pid=10852/tid=10858] ppid=10850 vsize=247696 CPUtime=0.02 cores=0,2
/proc/10852/task/10858/stat : 10858 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 487976350 253640704 36928 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 0 0 0 0
[pid=10852/tid=10859] ppid=10850 vsize=247696 CPUtime=0.02 cores=0,2
/proc/10852/task/10859/stat : 10859 (mono) S 10850 10852 9900 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 487976350 253640704 36928 33554432000 4194304 7232020 140734600905600 18446744073709551615 237290695577 0 0 4096 545260780 18446604453979607424 0 0 -1 2 0 0 0
[pid=10852/tid=10861] ppid=10850 vsize=247696 CPUtime=0 cores=0,2
/proc/10852/task/10861/stat : 10861 (mono) S 10850 10852 9900 0 -1 4194368 3 0 0 0 0 0 0 0 15 0 9 0 487976350 253640704 36928 33554432000 4194304 7232020 140734600905600 18446744073709551615 237278267327 0 2138816217 4096 545260780 18446744071562694473 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 247696
Child status: 0
Real time (s): 3.99926
CPU time (s): 4.09438
CPU user time (s): 4.03939
CPU system time (s): 0.054991
CPU usage (%): 102.378
Max. virtual memory (cumulated for all children) (KiB): 247696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.03939
system time used= 0.054991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37157
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= 2210
involuntary context switches= 397
runsolver used 0.004999 second user time and 0.018997 second system time
The end