0.18/0.21 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
1.26/1.38 c Building = 1
1.76/1.80 c [ NumberOfVariables = 1750 ]
1.76/1.80 c [ NumberOfConstraints = 32049 ]
1.76/1.83 c [ SizeOfSearchSpace(log2) = 14804.8 ]
1.76/1.83 c SymmetrySearch = 1
11.21/11.40 c InitialPropagation = 1
11.21/11.47 c [ SizeOfSearchSpace(log2) = 14782.1 ]
11.21/11.47 c InitialSAC = (Timeout)
14.46/14.72 c [ SizeOfSearchSpace(log2) = 14780.9 ]
14.46/14.76 c Search(DomWDeg) =
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085592-1215234515/watcher-1085592-1215234515 -o /tmp/evaluation-result-1085592-1215234515/solver-1085592-1215234515 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1085592-1215234515.xml 271620964
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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.92 1.98 1.99 4/92 16849
/proc/meminfo: memFree=1341832/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=1052 CPUtime=0
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 40 0 0 0 0 0 0 0 21 0 1 0 2002422892 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 9286436 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 263 26 20 234 0 3 0
[startup+0.0560821 s]
/proc/loadavg: 1.92 1.98 1.99 4/92 16849
/proc/meminfo: memFree=1341832/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=6208 CPUtime=0.04
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 673 0 0 0 4 0 0 0 18 0 1 0 2002422892 6356992 633 996147200 134512640 135472138 4294956224 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 1552 633 368 234 0 254 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6208
[startup+0.101089 s]
/proc/loadavg: 1.92 1.98 1.99 4/92 16849
/proc/meminfo: memFree=1341832/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=6868 CPUtime=0.08
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 817 0 0 0 8 0 0 0 18 0 1 0 2002422892 7032832 777 996147200 134512640 135472138 4294956224 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 1717 777 368 234 0 419 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6868
[startup+0.301128 s]
/proc/loadavg: 1.92 1.98 1.99 4/92 16849
/proc/meminfo: memFree=1341832/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=9244 CPUtime=0.28
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 1430 0 0 0 28 0 0 0 19 0 1 0 2002422892 9465856 1390 996147200 134512640 135472138 4294956224 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 2311 1390 368 234 0 1013 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9244
[startup+0.701206 s]
/proc/loadavg: 1.92 1.98 1.99 4/92 16849
/proc/meminfo: memFree=1341832/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=13996 CPUtime=0.67
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 2604 0 0 0 66 1 0 0 23 0 1 0 2002422892 14331904 2564 996147200 134512640 135472138 4294956224 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 3499 2564 368 234 0 2201 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13996
[startup+1.50135 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1329472/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=176200 CPUtime=1.47
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 17852 0 0 0 139 8 0 0 25 0 1 0 2002422892 180428800 17812 996147200 134512640 135472138 4294956224 18446744073709551615 135263378 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 44050 17815 395 234 0 42752 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 176200
[startup+3.10167 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1199104/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=233828 CPUtime=3.03
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 36777 0 0 0 287 16 0 0 25 0 1 0 2002422892 239439872 36576 996147200 134512640 135472138 4294956224 18446744073709551615 134535929 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 58457 36576 456 234 0 57159 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 233828
[startup+6.30128 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1195712/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=233828 CPUtime=6.19
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 37266 0 0 0 602 17 0 0 25 0 1 0 2002422892 239439872 37017 996147200 134512640 135472138 4294956224 18446744073709551615 134535923 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 58457 37017 456 234 0 57159 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 233828
[startup+12.7025 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226624/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=12.49
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38346 0 0 0 1232 17 0 0 25 0 1 0 2002422892 189440000 29201 996147200 134512640 135472138 4294956224 18446744073709551615 135267031 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29201 479 234 0 44952 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 185000
[startup+25.5019 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226624/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=25.1
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38396 0 0 0 2493 17 0 0 25 0 1 0 2002422892 189440000 29251 996147200 134512640 135472138 4294956224 18446744073709551615 135262954 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29251 510 234 0 44952 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 185000
[startup+51.1018 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226560/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=50.31
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38396 0 0 0 5014 17 0 0 25 0 1 0 2002422892 189440000 29251 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29251 510 234 0 44952 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 185000
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226560/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=100.76
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38396 0 0 0 10059 17 0 0 25 0 1 0 2002422892 189440000 29251 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29251 510 234 0 44952 0
Current children cumulated CPU time (s) 100.76
Current children cumulated vsize (KiB) 185000
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226560/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=159.86
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38396 0 0 0 15969 17 0 0 25 0 1 0 2002422892 189440000 29251 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29251 510 234 0 44952 0
Current children cumulated CPU time (s) 159.86
Current children cumulated vsize (KiB) 185000
[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226496/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=218.97
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38396 0 0 0 21880 17 0 0 25 0 1 0 2002422892 189440000 29251 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29251 510 234 0 44952 0
Current children cumulated CPU time (s) 218.97
Current children cumulated vsize (KiB) 185000
[startup+282.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226496/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=278.07
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38396 0 0 0 27790 17 0 0 25 0 1 0 2002422892 189440000 29251 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29251 510 234 0 44952 0
Current children cumulated CPU time (s) 278.07
Current children cumulated vsize (KiB) 185000
[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226496/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=337.18
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38396 0 0 0 33701 17 0 0 25 0 1 0 2002422892 189440000 29251 996147200 134512640 135472138 4294956224 18446744073709551615 135202675 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29251 510 234 0 44952 0
Current children cumulated CPU time (s) 337.18
Current children cumulated vsize (KiB) 185000
[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226432/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=396.29
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38397 0 0 0 39612 17 0 0 25 0 1 0 2002422892 189440000 29252 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29252 510 234 0 44952 0
Current children cumulated CPU time (s) 396.29
Current children cumulated vsize (KiB) 185000
[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226368/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=455.4
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38398 0 0 0 45522 18 0 0 25 0 1 0 2002422892 189440000 29253 996147200 134512640 135472138 4294956224 18446744073709551615 135202748 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29253 510 234 0 44952 0
Current children cumulated CPU time (s) 455.4
Current children cumulated vsize (KiB) 185000
[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 16850
/proc/meminfo: memFree=1226304/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=514.51
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38398 0 0 0 51433 18 0 0 25 0 1 0 2002422892 189440000 29253 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/16849/statm: 46250 29253 510 234 0 44952 0
Current children cumulated CPU time (s) 514.51
Current children cumulated vsize (KiB) 185000
[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=858088/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=574.04
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38399 0 0 0 57386 18 0 0 25 0 1 0 2002422892 189440000 29254 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29254 510 234 0 44952 0
Current children cumulated CPU time (s) 574.04
Current children cumulated vsize (KiB) 185000
[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=762984/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=633.8
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38404 0 0 0 63362 18 0 0 25 0 1 0 2002422892 189440000 29259 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29259 510 234 0 44952 0
Current children cumulated CPU time (s) 633.8
Current children cumulated vsize (KiB) 185000
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=762920/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=813.05
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38408 0 0 0 81287 18 0 0 25 0 1 0 2002422892 189440000 29263 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29263 510 234 0 44952 0
Current children cumulated CPU time (s) 813.05
Current children cumulated vsize (KiB) 185000
[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=762856/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=872.81
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38428 0 0 0 87263 18 0 0 25 0 1 0 2002422892 189440000 29283 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29283 510 234 0 44952 0
Current children cumulated CPU time (s) 872.81
Current children cumulated vsize (KiB) 185000
[startup+942.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=762856/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=932.56
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38440 0 0 0 93238 18 0 0 25 0 1 0 2002422892 189440000 29295 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29295 510 234 0 44952 0
Current children cumulated CPU time (s) 932.56
Current children cumulated vsize (KiB) 185000
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=744680/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=992.31
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38445 0 0 0 99213 18 0 0 25 0 1 0 2002422892 189440000 29300 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29300 510 234 0 44952 0
Current children cumulated CPU time (s) 992.31
Current children cumulated vsize (KiB) 185000
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=744680/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1052.06
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38449 0 0 0 105188 18 0 0 25 0 1 0 2002422892 189440000 29304 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29304 510 234 0 44952 0
Current children cumulated CPU time (s) 1052.06
Current children cumulated vsize (KiB) 185000
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=744616/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1111.81
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38453 0 0 0 111163 18 0 0 25 0 1 0 2002422892 189440000 29308 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29308 510 234 0 44952 0
Current children cumulated CPU time (s) 1111.81
Current children cumulated vsize (KiB) 185000
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=744552/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1171.57
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 117138 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202774 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1171.57
Current children cumulated vsize (KiB) 185000
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=744296/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1231.32
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 123113 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1231.32
Current children cumulated vsize (KiB) 185000
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=744232/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1291.08
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 129089 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202654 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1291.08
Current children cumulated vsize (KiB) 185000
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=744232/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1350.83
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 135064 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202667 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1350.83
Current children cumulated vsize (KiB) 185000
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=744232/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1410.58
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 141039 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202728 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1410.58
Current children cumulated vsize (KiB) 185000
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=738344/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1470.33
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 147014 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202769 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1470.33
Current children cumulated vsize (KiB) 185000
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=738408/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1530.09
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 152990 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1530.09
Current children cumulated vsize (KiB) 185000
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=738344/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1589.84
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 158965 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1589.84
Current children cumulated vsize (KiB) 185000
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 16889
/proc/meminfo: memFree=738344/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1649.59
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 164940 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1649.59
Current children cumulated vsize (KiB) 185000
[startup+1722.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/81 16889
/proc/meminfo: memFree=738280/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1709.35
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 170916 19 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202754 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1709.35
Current children cumulated vsize (KiB) 185000
[startup+1782.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/81 16889
/proc/meminfo: memFree=738088/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1769.11
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 176891 20 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202725 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1769.11
Current children cumulated vsize (KiB) 185000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 16889
/proc/meminfo: memFree=738088/2055920 swapFree=4180500/4192956
[pid=16849] ppid=16847 vsize=185000 CPUtime=1800.08
/proc/16849/stat : 16849 (casperzito) R 16847 16849 13952 0 -1 4194304 38454 0 0 0 179988 20 0 0 25 0 1 0 2002422892 189440000 29309 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/16849/statm: 46250 29309 510 234 0 44952 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 185000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.42
CPU time (s): 1800.1
CPU user time (s): 1799.88
CPU system time (s): 0.218966
CPU usage (%): 99.2653
Max. virtual memory (cumulated for all children) (KiB): 233828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38454
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= 16
involuntary context switches= 42693
runsolver used 1.85572 second user time and 5.2402 second system time
The end
Begin job on node59 at 2008-07-05 07:08:35
IDJOB=1085592
IDBENCH=57661
IDSOLVER=362
FILE ID=node59/1085592-1215234515
PBS_JOBID= 7881795
Free space on /tmp= 66476 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/fapp/fapp22/normalized-fapp22-1750-6.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085592-1215234515/watcher-1085592-1215234515 -o /tmp/evaluation-result-1085592-1215234515/solver-1085592-1215234515 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1085592-1215234515.xml 271620964
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3874290cda754699d3686661cf7c347b
RANDOM SEED=271620964
node59.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1342312 kB
Buffers: 27496 kB
Cached: 538288 kB
SwapCached: 6572 kB
Active: 250440 kB
Inactive: 407068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1342312 kB
SwapTotal: 4192956 kB
SwapFree: 4180500 kB
Dirty: 7364 kB
Writeback: 0 kB
Mapped: 108540 kB
Slab: 40684 kB
Committed_AS: 4738812 kB
PageTables: 2236 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66488 MiB
End job on node59 at 2008-07-05 07:38:51