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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885129-1245263520/watcher-1885129-1245263520 -o /tmp/evaluation-result-1885129-1245263520/solver-1885129-1245263520 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1885129-1245263520.opb HOME HOME 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 19729
/proc/meminfo: memFree=1837512/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=4708 CPUtime=0
/proc/19729/stat : 19729 (perl) R 19727 19729 19414 0 -1 4194304 56 0 0 0 0 0 0 0 20 0 1 0 193950946 4820992 40 1992294400 4194304 4206940 548682068784 18446744073709551615 269804959788 0 0 4096 0 0 0 0 17 1 0 0
/proc/19729/statm: 1177 43 33 3 0 8 0

[startup+0.057698 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 19729
/proc/meminfo: memFree=1837512/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12268

[startup+0.101701 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 19729
/proc/meminfo: memFree=1837512/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12268

[startup+0.301739 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 19729
/proc/meminfo: memFree=1837512/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12268

[startup+0.701812 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 19729
/proc/meminfo: memFree=1837512/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12268

[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 19734
/proc/meminfo: memFree=1825896/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
[pid=19731] ppid=19729 vsize=5356 CPUtime=0.19
/proc/19731/stat : 19731 (sh) S 19729 19729 19414 0 -1 4194304 305 145 0 0 0 0 19 0 15 0 1 0 193950949 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19731/statm: 1339 227 188 169 0 50 0
[pid=19733] ppid=19731 vsize=12224 CPUtime=1.35
/proc/19733/stat : 19733 (clasp) R 19731 19729 19414 0 -1 4194304 3415 0 0 0 134 1 0 0 18 0 1 0 193950949 12517376 2809 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19733/statm: 3056 2809 188 380 0 2673 0
[pid=19734] ppid=19731 vsize=1252 CPUtime=0
/proc/19734/stat : 19734 (pbout) S 19731 19729 19414 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193950949 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/19734/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 31100

[startup+3.10226 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 19734
/proc/meminfo: memFree=1825832/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
[pid=19731] ppid=19729 vsize=5356 CPUtime=0.19
/proc/19731/stat : 19731 (sh) S 19729 19729 19414 0 -1 4194304 305 145 0 0 0 0 19 0 15 0 1 0 193950949 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19731/statm: 1339 227 188 169 0 50 0
[pid=19733] ppid=19731 vsize=12224 CPUtime=2.95
/proc/19733/stat : 19733 (clasp) R 19731 19729 19414 0 -1 4194304 3415 0 0 0 294 1 0 0 21 0 1 0 193950949 12517376 2809 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19733/statm: 3056 2809 188 380 0 2673 0
[pid=19734] ppid=19731 vsize=1252 CPUtime=0
/proc/19734/stat : 19734 (pbout) S 19731 19729 19414 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193950949 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/19734/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 31100

[startup+6.30186 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 19734
/proc/meminfo: memFree=1825576/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
[pid=19731] ppid=19729 vsize=5356 CPUtime=0.19
/proc/19731/stat : 19731 (sh) S 19729 19729 19414 0 -1 4194304 305 145 0 0 0 0 19 0 15 0 1 0 193950949 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19731/statm: 1339 227 188 169 0 50 0
[pid=19733] ppid=19731 vsize=12224 CPUtime=6.15
/proc/19733/stat : 19733 (clasp) R 19731 19729 19414 0 -1 4194304 3415 0 0 0 614 1 0 0 25 0 1 0 193950949 12517376 2809 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19733/statm: 3056 2809 188 380 0 2673 0
[pid=19734] ppid=19731 vsize=1252 CPUtime=0
/proc/19734/stat : 19734 (pbout) S 19731 19729 19414 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193950949 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/19734/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 31100

[startup+12.7021 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 19734
/proc/meminfo: memFree=1825576/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
[pid=19731] ppid=19729 vsize=5356 CPUtime=0.19
/proc/19731/stat : 19731 (sh) S 19729 19729 19414 0 -1 4194304 305 145 0 0 0 0 19 0 15 0 1 0 193950949 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19731/statm: 1339 227 188 169 0 50 0
[pid=19733] ppid=19731 vsize=12620 CPUtime=12.55
/proc/19733/stat : 19733 (clasp) R 19731 19729 19414 0 -1 4194304 3511 0 0 0 1254 1 0 0 25 0 1 0 193950949 12922880 2905 1992294400 134512640 136070948 4294956272 18446744073709551615 134831596 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19733/statm: 3155 2905 188 380 0 2772 0
[pid=19734] ppid=19731 vsize=1252 CPUtime=0
/proc/19734/stat : 19734 (pbout) S 19731 19729 19414 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193950949 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/19734/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 31496

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 19734
/proc/meminfo: memFree=1824680/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
[pid=19731] ppid=19729 vsize=5356 CPUtime=0.19
/proc/19731/stat : 19731 (sh) S 19729 19729 19414 0 -1 4194304 305 145 0 0 0 0 19 0 15 0 1 0 193950949 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19731/statm: 1339 227 188 169 0 50 0
[pid=19733] ppid=19731 vsize=13412 CPUtime=25.34
/proc/19733/stat : 19733 (clasp) R 19731 19729 19414 0 -1 4194304 3715 0 0 0 2533 1 0 0 25 0 1 0 193950949 13733888 3109 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19733/statm: 3353 3109 188 380 0 2970 0
[pid=19734] ppid=19731 vsize=1252 CPUtime=0
/proc/19734/stat : 19734 (pbout) S 19731 19729 19414 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193950949 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/19734/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 32288

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

[startup+26.3016 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 19734
/proc/meminfo: memFree=1824744/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
[pid=19731] ppid=19729 vsize=5356 CPUtime=0.19
/proc/19731/stat : 19731 (sh) S 19729 19729 19414 0 -1 4194304 305 145 0 0 0 0 19 0 15 0 1 0 193950949 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19731/statm: 1339 227 188 169 0 50 0
[pid=19733] ppid=19731 vsize=13568 CPUtime=26.14
/proc/19733/stat : 19733 (clasp) R 19731 19729 19414 0 -1 4194304 3722 0 0 0 2613 1 0 0 25 0 1 0 193950949 13893632 3116 1992294400 134512640 136070948 4294956272 18446744073709551615 134834364 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19733/statm: 3392 3116 188 380 0 3009 0
[pid=19734] ppid=19731 vsize=1252 CPUtime=0
/proc/19734/stat : 19734 (pbout) S 19731 19729 19414 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193950949 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/19734/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 26.35
Current children cumulated vsize (KiB) 32444

[startup+27.1017 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 19734
/proc/meminfo: memFree=1824744/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
[pid=19731] ppid=19729 vsize=5356 CPUtime=0.19
/proc/19731/stat : 19731 (sh) S 19729 19729 19414 0 -1 4194304 305 145 0 0 0 0 19 0 15 0 1 0 193950949 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19731/statm: 1339 227 188 169 0 50 0
[pid=19733] ppid=19731 vsize=13568 CPUtime=26.94
/proc/19733/stat : 19733 (clasp) R 19731 19729 19414 0 -1 4194304 3722 0 0 0 2693 1 0 0 25 0 1 0 193950949 13893632 3116 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19733/statm: 3392 3116 188 380 0 3009 0
[pid=19734] ppid=19731 vsize=1252 CPUtime=0
/proc/19734/stat : 19734 (pbout) S 19731 19729 19414 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193950949 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/19734/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 27.15
Current children cumulated vsize (KiB) 32444

[startup+27.5068 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 19734
/proc/meminfo: memFree=1824808/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
[pid=19731] ppid=19729 vsize=5356 CPUtime=0.19
/proc/19731/stat : 19731 (sh) S 19729 19729 19414 0 -1 4194304 305 145 0 0 0 0 19 0 15 0 1 0 193950949 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19731/statm: 1339 227 188 169 0 50 0
[pid=19733] ppid=19731 vsize=13568 CPUtime=27.34
/proc/19733/stat : 19733 (clasp) R 19731 19729 19414 0 -1 4194304 3722 0 0 0 2733 1 0 0 25 0 1 0 193950949 13893632 3116 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19733/statm: 3392 3116 188 380 0 3009 0
[pid=19734] ppid=19731 vsize=1252 CPUtime=0
/proc/19734/stat : 19734 (pbout) S 19731 19729 19414 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193950949 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/19734/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 27.55
Current children cumulated vsize (KiB) 32444

[startup+27.6028 s]
/proc/loadavg: 1.00 1.00 0.91 2/69 19734
/proc/meminfo: memFree=1824808/2055920 swapFree=4181244/4192956
[pid=19729] ppid=19727 vsize=12268 CPUtime=0.02
/proc/19729/stat : 19729 (perl) S 19727 19729 19414 0 -1 4194304 438 0 0 0 2 0 0 0 18 0 1 0 193950946 12562432 398 1992294400 4194304 4206940 548682068784 18446744073709551615 269816479636 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19729/statm: 3067 398 306 3 0 167 0
[pid=19731] ppid=19729 vsize=5356 CPUtime=0.19
/proc/19731/stat : 19731 (sh) S 19729 19729 19414 0 -1 4194304 305 145 0 0 0 0 19 0 15 0 1 0 193950949 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19731/statm: 1339 227 188 169 0 50 0
[pid=19733] ppid=19731 vsize=13568 CPUtime=27.44
/proc/19733/stat : 19733 (clasp) R 19731 19729 19414 0 -1 4194304 3722 0 0 0 2743 1 0 0 25 0 1 0 193950949 13893632 3116 1992294400 134512640 136070948 4294956272 18446744073709551615 134831836 0 0 4096 16386 0 0 0 17 1 0 0
/proc/19733/statm: 3392 3116 188 380 0 3009 0
[pid=19734] ppid=19731 vsize=1252 CPUtime=0
/proc/19734/stat : 19734 (pbout) S 19731 19729 19414 0 -1 4194304 111 0 0 0 0 0 0 0 21 0 1 0 193950949 1282048 88 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/19734/statm: 313 88 78 267 0 43 0
Current children cumulated CPU time (s) 27.65
Current children cumulated vsize (KiB) 32444

Child status: 0
Real time (s): 27.66
CPU time (s): 27.7358
CPU user time (s): 27.7048
CPU system time (s): 0.030995
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 32444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7048
system time used= 0.030995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5072
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= 333
involuntary context switches= 54

runsolver used 0.042993 second user time and 0.067989 second system time

The end