runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1718477-1240637157/watcher-1718477-1240637157 -o /tmp/evaluation-result-1718477-1240637157/solver-1718477-1240637157 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/CirCUs HOME/instance-1718477-1240637157.cnf -t 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.84 1.46 3/64 18861
/proc/meminfo: memFree=1210032/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=2832 CPUtime=0
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 120000 91743943 2899968 168 1992294400 134512640 135224549 4294956208 18446744073709551615 134749214 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 708 169 70 173 0 533 0

[startup+0.040838 s]
/proc/loadavg: 1.84 1.84 1.46 3/64 18861
/proc/meminfo: memFree=1210032/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=4940 CPUtime=0.03
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 738 0 0 0 3 0 0 0 18 0 1 120000 91743943 5058560 690 1992294400 134512640 135224549 4294956208 18446744073709551615 134749214 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 1235 691 70 173 0 1060 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4940

[startup+0.101843 s]
/proc/loadavg: 1.84 1.84 1.46 3/64 18861
/proc/meminfo: memFree=1210032/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=8232 CPUtime=0.09
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 1684 0 0 0 9 0 0 0 18 0 1 120000 91743943 8429568 1571 1992294400 134512640 135224549 4294956208 18446744073709551615 134549145 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 2058 1572 70 173 0 1883 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8232

[startup+0.301865 s]
/proc/loadavg: 1.84 1.84 1.46 3/64 18861
/proc/meminfo: memFree=1210032/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=13492 CPUtime=0.29
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 3163 0 0 0 28 1 0 0 19 0 1 120000 91743943 13815808 2920 1992294400 134512640 135224549 4294956208 18446744073709551615 134570469 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 3373 2920 76 173 0 3198 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13492

[startup+0.70191 s]
/proc/loadavg: 1.84 1.84 1.46 3/64 18861
/proc/meminfo: memFree=1210032/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=13492 CPUtime=0.69
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 3169 0 0 0 68 1 0 0 22 0 1 120000 91743943 13815808 2926 1992294400 134512640 135224549 4294956208 18446744073709551615 134572424 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 3373 2926 76 173 0 3198 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13492

[startup+1.502 s]
/proc/loadavg: 1.84 1.84 1.46 2/65 18862
/proc/meminfo: memFree=1198504/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=13656 CPUtime=1.49
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 3202 0 0 0 148 1 0 0 25 0 1 120000 91743943 13983744 2959 1992294400 134512640 135224549 4294956208 18446744073709551615 134632529 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 3414 2959 76 173 0 3239 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13656

[startup+3.10118 s]
/proc/loadavg: 1.84 1.84 1.46 2/65 18862
/proc/meminfo: memFree=1197736/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=14104 CPUtime=3.09
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 3468 0 0 0 308 1 0 0 25 0 1 120000 91743943 14442496 3225 1992294400 134512640 135224549 4294956208 18446744073709551615 134619204 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 3526 3225 92 173 0 3351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14104

[startup+6.30153 s]
/proc/loadavg: 1.77 1.83 1.46 2/65 18862
/proc/meminfo: memFree=1196392/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=15164 CPUtime=6.28
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 3726 0 0 0 627 1 0 0 25 0 1 120000 91743943 15527936 3483 1992294400 134512640 135224549 4294956208 18446744073709551615 134595407 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 3791 3483 92 173 0 3616 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15164

[startup+12.7012 s]
/proc/loadavg: 1.71 1.81 1.46 2/65 18862
/proc/meminfo: memFree=1195368/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=15956 CPUtime=12.69
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 3909 0 0 0 1267 2 0 0 25 0 1 120000 91743943 16338944 3666 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 3989 3666 92 173 0 3814 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15956

[startup+25.5017 s]
/proc/loadavg: 1.55 1.77 1.45 2/65 18862
/proc/meminfo: memFree=1193896/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=17380 CPUtime=25.48
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 4280 0 0 0 2546 2 0 0 25 0 1 120000 91743943 17797120 4037 1992294400 134512640 135224549 4294956208 18446744073709551615 134595227 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 4345 4037 92 173 0 4170 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17380

[startup+51.1015 s]
/proc/loadavg: 1.43 1.72 1.44 2/65 18862
/proc/meminfo: memFree=1191464/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=20000 CPUtime=51.07
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 4888 0 0 0 5104 3 0 0 25 0 1 120000 91743943 20480000 4645 1992294400 134512640 135224549 4294956208 18446744073709551615 134587806 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 5000 4645 92 173 0 4825 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20000

[startup+102.305 s]
/proc/loadavg: 1.30 1.64 1.43 2/65 18862
/proc/meminfo: memFree=1186856/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=24496 CPUtime=102.27
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 6038 0 0 0 10223 4 0 0 25 0 1 120000 91743943 25083904 5795 1992294400 134512640 135224549 4294956208 18446744073709551615 134595754 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 6124 5795 92 173 0 5949 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 24496

[startup+162.302 s]
/proc/loadavg: 1.24 1.55 1.41 2/65 18862
/proc/meminfo: memFree=1182312/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=29248 CPUtime=162.24
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 7169 0 0 0 16219 5 0 0 25 0 1 120000 91743943 29949952 6926 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 7312 6926 92 173 0 7137 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 29248

Solver just ended. Dumping a history of the last processes samples

[startup+179.103 s]
/proc/loadavg: 1.18 1.53 1.40 2/65 18862
/proc/meminfo: memFree=1182312/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=29512 CPUtime=179.04
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 7240 0 0 0 17899 5 0 0 25 0 1 120000 91743943 30220288 6997 1992294400 134512640 135224549 4294956208 18446744073709551615 134595383 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 7378 6997 92 173 0 7203 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 29512

[startup+191.901 s]
/proc/loadavg: 1.14 1.50 1.40 2/65 18862
/proc/meminfo: memFree=1180456/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=31096 CPUtime=191.83
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 7622 0 0 0 19177 6 0 0 25 0 1 120000 91743943 31842304 7379 1992294400 134512640 135224549 4294956208 18446744073709551615 134618879 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 7774 7379 92 173 0 7599 0
Current children cumulated CPU time (s) 191.83
Current children cumulated vsize (KiB) 31096

[startup+195.101 s]
/proc/loadavg: 1.13 1.49 1.39 2/65 18862
/proc/meminfo: memFree=1180456/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=31096 CPUtime=195.03
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 7622 0 0 0 19497 6 0 0 25 0 1 120000 91743943 31842304 7379 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 7774 7379 92 173 0 7599 0
Current children cumulated CPU time (s) 195.03
Current children cumulated vsize (KiB) 31096

[startup+198.302 s]
/proc/loadavg: 1.13 1.49 1.39 2/65 18862
/proc/meminfo: memFree=1180456/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=31096 CPUtime=198.23
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 7622 0 0 0 19817 6 0 0 25 0 1 120000 91743943 31842304 7379 1992294400 134512640 135224549 4294956208 18446744073709551615 134595622 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 7774 7379 92 173 0 7599 0
Current children cumulated CPU time (s) 198.23
Current children cumulated vsize (KiB) 31096

[startup+199.902 s]
/proc/loadavg: 1.13 1.49 1.39 2/65 18862
/proc/meminfo: memFree=1180456/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=31096 CPUtime=199.83
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 7622 0 0 0 19977 6 0 0 25 0 1 120000 91743943 31842304 7379 1992294400 134512640 135224549 4294956208 18446744073709551615 134595278 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 7774 7379 92 173 0 7599 0
Current children cumulated CPU time (s) 199.83
Current children cumulated vsize (KiB) 31096

[startup+200.701 s]
/proc/loadavg: 1.12 1.48 1.39 2/65 18862
/proc/meminfo: memFree=1180456/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=31096 CPUtime=200.63
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 7622 0 0 0 20057 6 0 0 25 0 1 120000 91743943 31842304 7379 1992294400 134512640 135224549 4294956208 18446744073709551615 134587904 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 7774 7379 92 173 0 7599 0
Current children cumulated CPU time (s) 200.63
Current children cumulated vsize (KiB) 31096

[startup+201.101 s]
/proc/loadavg: 1.12 1.48 1.39 2/65 18862
/proc/meminfo: memFree=1180456/2055920 swapFree=4144072/4192956
[pid=18861] ppid=18859 vsize=31096 CPUtime=201.03
/proc/18861/stat : 18861 (CirCUs) R 18859 18861 18732 0 -1 4194304 7622 0 0 0 20097 6 0 0 25 0 1 120000 91743943 31842304 7379 1992294400 134512640 135224549 4294956208 18446744073709551615 134595525 0 0 4096 8192 0 0 0 17 1 0 0
/proc/18861/statm: 7774 7379 92 173 0 7599 0
Current children cumulated CPU time (s) 201.03
Current children cumulated vsize (KiB) 31096

Child status: 0
Real time (s): 201.171
CPU time (s): 201.111
CPU user time (s): 201.042
CPU system time (s): 0.068989
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 31096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 201.042
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7627
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= 2
involuntary context switches= 505

runsolver used 0.204968 second user time and 0.361944 second system time

The end