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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1859434-1245207915/watcher-1859434-1245207915 -o /tmp/evaluation-result-1859434-1245207915/solver-1859434-1245207915 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1859434-1245207915.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: 0.67 0.80 0.86 3/65 13528
/proc/meminfo: memFree=666240/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) D 13526 13528 13483 0 -1 4194304 349 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 226687154789 0 2147483391 4224 0 18446744072099855350 0 0 17 0 0 0
/proc/13528/statm: 3067 316 242 3 0 167 0

[startup+0.086927 s]
/proc/loadavg: 0.67 0.80 0.86 3/65 13528
/proc/meminfo: memFree=666240/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.101923 s]
/proc/loadavg: 0.67 0.80 0.86 3/65 13528
/proc/meminfo: memFree=666240/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.301948 s]
/proc/loadavg: 0.67 0.80 0.86 3/65 13528
/proc/meminfo: memFree=666240/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+0.701997 s]
/proc/loadavg: 0.67 0.80 0.86 3/65 13528
/proc/meminfo: memFree=666240/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268

[startup+1.50109 s]
/proc/loadavg: 0.70 0.80 0.86 2/69 13533
/proc/meminfo: memFree=663776/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=3204 CPUtime=1.47
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 632 0 0 0 147 0 0 0 25 0 1 0 188389570 3280896 606 1992294400 134512640 136070948 4294956272 18446744073709551615 134632753 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 801 606 194 380 0 418 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22084

[startup+3.10129 s]
/proc/loadavg: 0.70 0.80 0.86 2/69 13533
/proc/meminfo: memFree=663600/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=3336 CPUtime=3.07
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 663 0 0 0 307 0 0 0 25 0 1 0 188389570 3416064 637 1992294400 134512640 136070948 4294956272 18446744073709551615 134632753 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 834 637 194 380 0 451 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22216

[startup+6.30168 s]
/proc/loadavg: 0.70 0.80 0.86 2/69 13533
/proc/meminfo: memFree=663064/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=3732 CPUtime=6.27
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 761 0 0 0 627 0 0 0 25 0 1 0 188389570 3821568 735 1992294400 134512640 136070948 4294956272 18446744073709551615 134615199 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 933 735 194 380 0 550 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22612

[startup+12.7025 s]
/proc/loadavg: 0.74 0.80 0.86 2/69 13533
/proc/meminfo: memFree=663000/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=3996 CPUtime=12.66
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 817 0 0 0 1266 0 0 0 25 0 1 0 188389570 4091904 791 1992294400 134512640 136070948 4294956272 18446744073709551615 134632753 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 999 791 194 380 0 616 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22876

[startup+25.501 s]
/proc/loadavg: 0.78 0.81 0.86 2/69 13533
/proc/meminfo: memFree=663064/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=4128 CPUtime=25.46
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 843 0 0 0 2546 0 0 0 25 0 1 0 188389570 4227072 817 1992294400 134512640 136070948 4294956272 18446744073709551615 134807596 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 1032 817 194 380 0 649 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 23008

[startup+51.1012 s]
/proc/loadavg: 0.87 0.83 0.87 2/69 13533
/proc/meminfo: memFree=662936/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=4488 CPUtime=51.05
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 936 0 0 0 5105 0 0 0 25 0 1 0 188389570 4595712 910 1992294400 134512640 136070948 4294956272 18446744073709551615 134619171 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 1122 910 194 380 0 739 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 23368

[startup+102.305 s]
/proc/loadavg: 0.94 0.85 0.87 2/69 13533
/proc/meminfo: memFree=662616/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=4716 CPUtime=102.23
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 998 0 0 0 10223 0 0 0 25 0 1 0 188389570 4829184 965 1992294400 134512640 136070948 4294956272 18446744073709551615 134632758 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 1179 965 194 380 0 796 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 23596

[startup+162.302 s]
/proc/loadavg: 0.98 0.88 0.88 2/69 13533
/proc/meminfo: memFree=661656/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=5624 CPUtime=162.2
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 1245 0 0 0 16220 0 0 0 25 0 1 0 188389570 5758976 1212 1992294400 134512640 136070948 4294956272 18446744073709551615 134839845 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 1406 1212 194 380 0 1023 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 131 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 108 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 108 96 267 0 44 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 24504

[startup+222.301 s]

################
# More data... #
################

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/69 13533
/proc/meminfo: memFree=657064/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=9768 CPUtime=1361.66
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 2459 0 0 0 136165 1 0 0 25 0 1 0 188389570 10002432 2249 1992294400 134512640 136070948 4294956272 18446744073709551615 134841063 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 2442 2249 194 380 0 2059 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 28648

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/69 13533
/proc/meminfo: memFree=657000/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=9768 CPUtime=1421.66
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 2459 0 0 0 142164 2 0 0 25 0 1 0 188389570 10002432 2249 1992294400 134512640 136070948 4294956272 18446744073709551615 134835600 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 2442 2249 194 380 0 2059 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 28648

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/69 13533
/proc/meminfo: memFree=657064/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=9768 CPUtime=1481.62
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 2459 0 0 0 148160 2 0 0 25 0 1 0 188389570 10002432 2249 1992294400 134512640 136070948 4294956272 18446744073709551615 134615450 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 2442 2249 194 380 0 2059 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 28648

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/69 13533
/proc/meminfo: memFree=657000/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=9768 CPUtime=1541.6
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 2459 0 0 0 154158 2 0 0 25 0 1 0 188389570 10002432 2249 1992294400 134512640 136070948 4294956272 18446744073709551615 134835542 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 2442 2249 194 380 0 2059 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 28648

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/69 13533
/proc/meminfo: memFree=657000/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=9768 CPUtime=1601.57
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 2459 0 0 0 160155 2 0 0 25 0 1 0 188389570 10002432 2249 1992294400 134512640 136070948 4294956272 18446744073709551615 134647506 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 2442 2249 194 380 0 2059 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 28648

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/69 13533
/proc/meminfo: memFree=657000/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=9768 CPUtime=1661.54
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 2459 0 0 0 166152 2 0 0 25 0 1 0 188389570 10002432 2249 1992294400 134512640 136070948 4294956272 18446744073709551615 134632758 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 2442 2249 194 380 0 2059 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 28648

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/69 13533
/proc/meminfo: memFree=657000/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=9768 CPUtime=1721.52
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 2459 0 0 0 172150 2 0 0 25 0 1 0 188389570 10002432 2249 1992294400 134512640 136070948 4294956272 18446744073709551615 134801067 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 2442 2249 194 380 0 2059 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 28648

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/69 13533
/proc/meminfo: memFree=656936/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=9768 CPUtime=1781.5
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 2459 0 0 0 178148 2 0 0 25 0 1 0 188389570 10002432 2249 1992294400 134512640 136070948 4294956272 18446744073709551615 134807504 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 2442 2249 194 380 0 2059 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 28648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/69 13533
/proc/meminfo: memFree=656936/2055920 swapFree=4192956/4192956
[pid=13528] ppid=13526 vsize=12268 CPUtime=0
/proc/13528/stat : 13528 (perl) S 13526 13528 13483 0 -1 4194304 451 0 0 0 0 0 0 0 19 0 1 0 188389569 12562432 411 1992294400 4194304 4206940 548682068784 18446744073709551615 226695888788 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/13528/statm: 3067 411 319 3 0 167 0
[pid=13530] ppid=13528 vsize=5356 CPUtime=0.01
/proc/13530/stat : 13530 (sh) S 13528 13528 13483 0 -1 4194304 305 145 0 0 0 0 1 0 21 0 1 0 188389570 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13530/statm: 1339 227 188 169 0 50 0
[pid=13532] ppid=13530 vsize=9768 CPUtime=1799.99
/proc/13532/stat : 13532 (clasp) R 13530 13528 13483 0 -1 4194304 2459 0 0 0 179997 2 0 0 25 0 1 0 188389570 10002432 2249 1992294400 134512640 136070948 4294956272 18446744073709551615 134807634 0 0 4096 16386 0 0 0 17 0 0 0
/proc/13532/statm: 2442 2249 194 380 0 2059 0
[pid=13533] ppid=13530 vsize=1256 CPUtime=0
/proc/13533/stat : 13533 (pbout) S 13530 13528 13483 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 188389570 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 1 0 0
/proc/13533/statm: 314 109 96 267 0 44 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 28648

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.04
CPU user time (s): 1800
CPU system time (s): 0.038994
CPU usage (%): 99.9568
Max. virtual memory (cumulated for all children) (KiB): 28768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3819
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= 130
involuntary context switches= 6734

runsolver used 1.43378 second user time and 5.12722 second system time

The end