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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1785383-1241909392/watcher-1785383-1241909392 -o /tmp/evaluation-result-1785383-1241909392/solver-1785383-1241909392 -C 5000 -W 6000 -M 1800 --output-limit 1,128 HOME/SApperloT-base -seed=1598928846 HOME/instance-1785383-1241909392.cnf 

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): 6000 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 134217728 bytes. The first 1048576 bytes and the last 133169152 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 27001
/proc/meminfo: memFree=1679024/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=1588 CPUtime=0
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 218972414 1626112 162 1992294400 134512640 135674940 4294956208 18446744073709551615 135172670 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 397 162 90 283 0 111 0

[startup+0.045626 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 27001
/proc/meminfo: memFree=1679024/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=2116 CPUtime=0.04
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 344 0 0 0 4 0 0 0 18 0 1 0 218972414 2166784 327 1992294400 134512640 135674940 4294956208 18446744073709551615 134557276 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 529 327 98 283 0 243 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2116

[startup+0.101632 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 27001
/proc/meminfo: memFree=1679024/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=2512 CPUtime=0.09
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 413 0 0 0 9 0 0 0 18 0 1 0 218972414 2572288 396 1992294400 134512640 135674940 4294956208 18446744073709551615 134558354 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 628 396 98 283 0 342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2512

[startup+0.301654 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 27001
/proc/meminfo: memFree=1679024/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=3304 CPUtime=0.29
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 624 0 0 0 29 0 0 0 19 0 1 0 218972414 3383296 607 1992294400 134512640 135674940 4294956208 18446744073709551615 134550599 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 826 607 98 283 0 540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3304

[startup+0.7017 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 27001
/proc/meminfo: memFree=1679024/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=3964 CPUtime=0.69
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 792 0 0 0 69 0 0 0 22 0 1 0 218972414 4059136 775 1992294400 134512640 135674940 4294956208 18446744073709551615 134564660 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 991 775 98 283 0 705 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3964

[startup+1.50179 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27002
/proc/meminfo: memFree=1675880/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=5300 CPUtime=1.49
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 1114 0 0 0 149 0 0 0 25 0 1 0 218972414 5427200 1097 1992294400 134512640 135674940 4294956208 18446744073709551615 134564684 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 1325 1097 98 283 0 1039 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5300

[startup+3.10198 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27002
/proc/meminfo: memFree=1674216/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=6356 CPUtime=3.09
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 1381 0 0 0 309 0 0 0 25 0 1 0 218972414 6508544 1364 1992294400 134512640 135674940 4294956208 18446744073709551615 134564662 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 1589 1364 98 283 0 1303 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6356

[startup+6.30135 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27002
/proc/meminfo: memFree=1673128/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=7028 CPUtime=6.29
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 1536 0 0 0 628 1 0 0 25 0 1 0 218972414 7196672 1519 1992294400 134512640 135674940 4294956208 18446744073709551615 134559821 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 1757 1519 98 283 0 1471 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7028

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27002
/proc/meminfo: memFree=1672488/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=7852 CPUtime=12.69
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 1712 0 0 0 1268 1 0 0 25 0 1 0 218972414 8040448 1695 1992294400 134512640 135674940 4294956208 18446744073709551615 134583800 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 1963 1695 99 283 0 1677 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7852

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27002
/proc/meminfo: memFree=1670568/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=9868 CPUtime=25.49
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 2169 0 0 0 2547 2 0 0 25 0 1 0 218972414 10104832 2152 1992294400 134512640 135674940 4294956208 18446744073709551615 134563209 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 2467 2152 99 283 0 2181 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9868

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

[startup+31.9053 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27002
/proc/meminfo: memFree=1669928/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=10496 CPUtime=31.89
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 2313 0 0 0 3187 2 0 0 25 0 1 0 218972414 10747904 2296 1992294400 134512640 135674940 4294956208 18446744073709551615 134564854 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 2624 2296 99 283 0 2338 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 10496

[startup+38.3011 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27002
/proc/meminfo: memFree=1669416/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=11092 CPUtime=38.28
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 2450 0 0 0 3826 2 0 0 25 0 1 0 218972414 11358208 2433 1992294400 134512640 135674940 4294956208 18446744073709551615 134564662 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 2773 2433 99 283 0 2487 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 11092

[startup+41.5014 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27002
/proc/meminfo: memFree=1669352/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=11092 CPUtime=41.48
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 2462 0 0 0 4146 2 0 0 25 0 1 0 218972414 11358208 2445 1992294400 134512640 135674940 4294956208 18446744073709551615 134565276 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 2773 2445 99 283 0 2487 0
Current children cumulated CPU time (s) 41.48
Current children cumulated vsize (KiB) 11092

[startup+43.1016 s]
/proc/loadavg: 1.07 0.99 0.91 2/65 27002
/proc/meminfo: memFree=1669224/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=11236 CPUtime=43.08
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 2474 0 0 0 4306 2 0 0 25 0 1 0 218972414 11505664 2457 1992294400 134512640 135674940 4294956208 18446744073709551615 134564854 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 2809 2457 99 283 0 2523 0
Current children cumulated CPU time (s) 43.08
Current children cumulated vsize (KiB) 11236

[startup+43.5017 s]
/proc/loadavg: 1.07 0.99 0.91 2/65 27002
/proc/meminfo: memFree=1669224/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=11236 CPUtime=43.48
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 2474 0 0 0 4346 2 0 0 25 0 1 0 218972414 11505664 2457 1992294400 134512640 135674940 4294956208 18446744073709551615 134564997 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 2809 2457 99 283 0 2523 0
Current children cumulated CPU time (s) 43.48
Current children cumulated vsize (KiB) 11236

[startup+43.9017 s]
/proc/loadavg: 1.07 0.99 0.91 2/65 27002
/proc/meminfo: memFree=1669224/2055920 swapFree=4121000/4192956
[pid=27001] ppid=26999 vsize=11236 CPUtime=43.88
/proc/27001/stat : 27001 (SApperloT-base) R 26999 27001 26837 0 -1 4194304 2474 0 0 0 4386 2 0 0 25 0 1 0 218972414 11505664 2457 1992294400 134512640 135674940 4294956208 18446744073709551615 134559276 0 0 4096 0 0 0 0 17 1 0 0
/proc/27001/statm: 2809 2457 99 283 0 2523 0
Current children cumulated CPU time (s) 43.88
Current children cumulated vsize (KiB) 11236

Child status: 0
Real time (s): 43.9781
CPU time (s): 43.9663
CPU user time (s): 43.9373
CPU system time (s): 0.028995
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 11236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.9373
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2485
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= 3
involuntary context switches= 103

runsolver used 0.040993 second user time and 0.090986 second system time

The end