0.18/0.23 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.23 c Parsing = 1
1.57/1.63 c Building = 1
13.26/13.49 c [ NumberOfVariables = 800 ]
13.26/13.49 c [ NumberOfConstraints = 37537 ]
13.26/13.49 c [ SizeOfSearchSpace(log2) = 2480.54 ]
13.26/13.49 c SymmetrySearch = 1
14.64/14.90 c InitialPropagation = 1
14.95/15.13 c [ SizeOfSearchSpace(log2) = 2480.54 ]
14.95/15.13 c InitialSAC = 1
33.56/33.92 c [ SizeOfSearchSpace(log2) = 2480.54 ]
33.56/33.92 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-1057998-1215112240/watcher-1057998-1215112240 -o /tmp/evaluation-result-1057998-1215112240/solver-1057998-1215112240 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1057998-1215112240.xml 1641227137
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 2.05 2.10 4/83 5399
/proc/meminfo: memFree=1212456/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=18572 CPUtime=0
/proc/5399/stat : 5399 (runsolver) R 5397 5399 4278 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 632413368 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5399/statm: 4643 292 257 25 0 2626 0
[startup+0.081001 s]
/proc/loadavg: 1.92 2.05 2.10 4/83 5399
/proc/meminfo: memFree=1212456/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=6380 CPUtime=0.07
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 710 0 0 0 7 0 0 0 18 0 1 0 632413368 6533120 670 996147200 134512640 135477443 4294956224 18446744073709551615 134784343 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 1595 670 369 235 0 296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6380
[startup+0.101999 s]
/proc/loadavg: 1.92 2.05 2.10 4/83 5399
/proc/meminfo: memFree=1212456/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=6644 CPUtime=0.09
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 764 0 0 0 9 0 0 0 18 0 1 0 632413368 6803456 724 996147200 134512640 135477443 4294956224 18446744073709551615 134812764 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 1661 724 369 235 0 362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6644
[startup+0.302023 s]
/proc/loadavg: 1.92 2.05 2.10 4/83 5399
/proc/meminfo: memFree=1212456/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=8624 CPUtime=0.28
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 1258 0 0 0 28 0 0 0 19 0 1 0 632413368 8830976 1218 996147200 134512640 135477443 4294956224 18446744073709551615 134755029 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 2156 1218 369 235 0 857 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8624
[startup+0.701065 s]
/proc/loadavg: 1.92 2.05 2.10 4/83 5399
/proc/meminfo: memFree=1212456/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=12320 CPUtime=0.68
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 2194 0 0 0 67 1 0 0 23 0 1 0 632413368 12615680 2154 996147200 134512640 135477443 4294956224 18446744073709551615 134813044 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 3080 2154 369 235 0 1781 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12320
[startup+1.50115 s]
/proc/loadavg: 1.92 2.05 2.10 3/84 5400
/proc/meminfo: memFree=1202400/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=19712 CPUtime=1.48
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 4044 0 0 0 145 3 0 0 25 0 1 0 632413368 20185088 4004 996147200 134512640 135477443 4294956224 18446744073709551615 4158762550 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 4928 4004 369 235 0 3629 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19712
[startup+3.10132 s]
/proc/loadavg: 1.92 2.05 2.10 3/84 5400
/proc/meminfo: memFree=1186784/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=329628 CPUtime=3.06
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 25054 0 0 0 290 16 0 0 25 0 1 0 632413368 337539072 13491 996147200 134512640 135477443 4294956224 18446744073709551615 134613586 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 82407 13491 458 235 0 81108 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 329628
[startup+6.30164 s]
/proc/loadavg: 1.93 2.05 2.10 3/84 5400
/proc/meminfo: memFree=1094240/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=399852 CPUtime=6.23
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 74157 0 0 0 574 49 0 0 25 0 1 0 632413368 409448448 35988 996147200 134512640 135477443 4294956224 18446744073709551615 135274534 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 99963 35988 458 235 0 98664 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 399852
[startup+12.7023 s]
/proc/loadavg: 1.93 2.05 2.10 3/84 5400
/proc/meminfo: memFree=916832/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=394712 CPUtime=12.57
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 176004 0 0 0 1098 159 0 0 25 0 1 0 632413368 404185088 77327 996147200 134512640 135477443 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 98678 77327 458 235 0 97379 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 394712
[startup+25.5016 s]
/proc/loadavg: 1.95 2.04 2.10 3/84 5400
/proc/meminfo: memFree=863008/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524492 CPUtime=25.25
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 204827 0 0 0 2312 213 0 0 25 0 1 0 632413368 537079808 87659 996147200 134512640 135477443 4294956224 18446744073709551615 135268971 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131123 87659 524 235 0 129824 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 524492
[startup+51.1012 s]
/proc/loadavg: 1.96 2.04 2.09 3/84 5400
/proc/meminfo: memFree=828448/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524492 CPUtime=50.6
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 214428 0 0 0 4841 219 0 0 25 0 1 0 632413368 537079808 97260 996147200 134512640 135477443 4294956224 18446744073709551615 135269873 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131123 97260 525 235 0 129824 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 524492
[startup+102.306 s]
/proc/loadavg: 1.98 2.03 2.09 4/84 5400
/proc/meminfo: memFree=792160/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524504 CPUtime=101.33
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 222479 0 0 0 9910 223 0 0 25 0 1 0 632413368 537092096 105311 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131126 105311 525 235 0 129827 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 524504
[startup+162.302 s]
/proc/loadavg: 1.99 2.02 2.08 3/84 5400
/proc/meminfo: memFree=788512/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=160.77
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 223371 0 0 0 15853 224 0 0 25 0 1 0 632413368 537096192 106203 996147200 134512640 135477443 4294956224 18446744073709551615 135268514 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131127 106203 525 235 0 129828 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 524508
[startup+222.302 s]
/proc/loadavg: 1.99 2.02 2.07 3/84 5400
/proc/meminfo: memFree=780896/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=220.21
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 225275 0 0 0 21796 225 0 0 25 0 1 0 632413368 537096192 108107 996147200 134512640 135477443 4294956224 18446744073709551615 134990357 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131127 108107 525 235 0 129828 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 524508
[startup+282.302 s]
/proc/loadavg: 1.99 2.01 2.07 3/84 5400
/proc/meminfo: memFree=780832/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=279.65
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 225275 0 0 0 27740 225 0 0 25 0 1 0 632413368 537096192 108107 996147200 134512640 135477443 4294956224 18446744073709551615 134895696 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131127 108107 525 235 0 129828 0
Current children cumulated CPU time (s) 279.65
Current children cumulated vsize (KiB) 524508
[startup+342.302 s]
/proc/loadavg: 1.99 2.00 2.06 3/84 5400
/proc/meminfo: memFree=777824/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=339.09
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 226381 0 0 0 33683 226 0 0 25 0 1 0 632413368 537096192 109213 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131127 109213 525 235 0 129828 0
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (KiB) 524508
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.06 3/84 5400
/proc/meminfo: memFree=772704/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=398.53
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 227306 0 0 0 39627 226 0 0 25 0 1 0 632413368 537096192 110138 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131127 110138 525 235 0 129828 0
Current children cumulated CPU time (s) 398.53
Current children cumulated vsize (KiB) 524508
[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.05 3/84 5400
/proc/meminfo: memFree=772704/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=457.97
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 227306 0 0 0 45571 226 0 0 25 0 1 0 632413368 537096192 110138 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131127 110138 525 235 0 129828 0
Current children cumulated CPU time (s) 457.97
Current children cumulated vsize (KiB) 524508
[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.04 4/84 5400
/proc/meminfo: memFree=772640/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=517.41
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 227306 0 0 0 51515 226 0 0 25 0 1 0 632413368 537096192 110138 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131127 110138 525 235 0 129828 0
Current children cumulated CPU time (s) 517.41
Current children cumulated vsize (KiB) 524508
[startup+582.302 s]
/proc/loadavg: 1.99 2.00 2.04 3/84 5400
/proc/meminfo: memFree=772512/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=576.86
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 227338 0 0 0 57460 226 0 0 25 0 1 0 632413368 537096192 110170 996147200 134512640 135477443 4294956224 18446744073709551615 134586843 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131127 110170 525 235 0 129828 0
Current children cumulated CPU time (s) 576.86
Current children cumulated vsize (KiB) 524508
[startup+642.302 s]
/proc/loadavg: 1.99 2.00 2.03 3/84 5400
/proc/meminfo: memFree=772384/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=636.3
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 227344 0 0 0 63404 226 0 0 25 0 1 0 632413368 537096192 110176 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/5399/statm: 131127 110176 525 235 0 129828 0
Current children cumulated CPU time (s) 636.3
Current children cumulated vsize (KiB) 524508
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.03 2.01 2.01 3/81 5440
/proc/meminfo: memFree=1196848/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=874.43
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 227344 0 0 0 87215 228 0 0 25 0 1 0 632413368 537096192 110176 996147200 134512640 135477443 4294956224 18446744073709551615 135207279 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 110176 525 235 0 129828 0
Current children cumulated CPU time (s) 874.43
Current children cumulated vsize (KiB) 524508
[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.01 3/81 5440
/proc/meminfo: memFree=1196656/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=934.41
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 227344 0 0 0 93213 228 0 0 25 0 1 0 632413368 537096192 110176 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 110176 525 235 0 129828 0
Current children cumulated CPU time (s) 934.41
Current children cumulated vsize (KiB) 524508
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 5440
/proc/meminfo: memFree=1196528/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=994.39
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 227364 0 0 0 99211 228 0 0 25 0 1 0 632413368 537096192 110196 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 110196 525 235 0 129828 0
Current children cumulated CPU time (s) 994.39
Current children cumulated vsize (KiB) 524508
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 5475
/proc/meminfo: memFree=1376568/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1054.36
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 230098 0 0 0 105206 230 0 0 25 0 1 0 632413368 537096192 112930 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 112930 525 235 0 129828 0
Current children cumulated CPU time (s) 1054.36
Current children cumulated vsize (KiB) 524508
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 5475
/proc/meminfo: memFree=1371064/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1114.33
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 111203 230 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1114.33
Current children cumulated vsize (KiB) 524508
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 5475
/proc/meminfo: memFree=1368952/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1174.31
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 117201 230 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1174.31
Current children cumulated vsize (KiB) 524508
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 5475
/proc/meminfo: memFree=1368760/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1234.29
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 123199 230 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 134906311 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1234.29
Current children cumulated vsize (KiB) 524508
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 5475
/proc/meminfo: memFree=1368696/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1294.27
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 129197 230 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 134895710 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1294.27
Current children cumulated vsize (KiB) 524508
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/81 5475
/proc/meminfo: memFree=1368696/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1354.25
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 135195 230 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1354.25
Current children cumulated vsize (KiB) 524508
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 4/81 5475
/proc/meminfo: memFree=1368696/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1414.24
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 141193 231 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1414.24
Current children cumulated vsize (KiB) 524508
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 5475
/proc/meminfo: memFree=1368632/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1474.21
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 147190 231 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 134990301 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1474.21
Current children cumulated vsize (KiB) 524508
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 5475
/proc/meminfo: memFree=1368632/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1534.19
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 153188 231 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 134584082 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1534.19
Current children cumulated vsize (KiB) 524508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 5475
/proc/meminfo: memFree=1368568/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1594.16
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 159185 231 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1594.16
Current children cumulated vsize (KiB) 524508
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 5475
/proc/meminfo: memFree=1368504/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1654.14
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 165183 231 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 134673680 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1654.14
Current children cumulated vsize (KiB) 524508
[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/81 5475
/proc/meminfo: memFree=1368376/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1714.12
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 171181 231 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 135016462 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1714.12
Current children cumulated vsize (KiB) 524508
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/81 5475
/proc/meminfo: memFree=1368184/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1774.1
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231452 0 0 0 177179 231 0 0 25 0 1 0 632413368 537096192 114284 996147200 134512640 135477443 4294956224 18446744073709551615 134586766 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114284 525 235 0 129828 0
Current children cumulated CPU time (s) 1774.1
Current children cumulated vsize (KiB) 524508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/81 5475
/proc/meminfo: memFree=1367160/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1800.1
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231748 0 0 0 179779 231 0 0 25 0 1 0 632413368 537096192 114580 996147200 134512640 135477443 4294956224 18446744073709551615 134586841 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114580 525 235 0 129828 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 524508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/81 5475
/proc/meminfo: memFree=1367160/2055920 swapFree=4179840/4192956
[pid=5399] ppid=5397 vsize=524508 CPUtime=1800.1
/proc/5399/stat : 5399 (casperzao) R 5397 5399 4278 0 -1 4194304 231748 0 0 0 179779 231 0 0 25 0 1 0 632413368 537096192 114580 996147200 134512640 135477443 4294956224 18446744073709551615 134586841 0 0 4096 0 0 0 0 17 0 0 0
/proc/5399/statm: 131127 114580 525 235 0 129828 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 524508
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.39
CPU time (s): 1800.18
CPU user time (s): 1797.79
CPU system time (s): 2.38964
CPU usage (%): 99.5463
Max. virtual memory (cumulated for all children) (KiB): 577724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.79
system time used= 2.38964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231748
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= 27672
runsolver used 2.26066 second user time and 5.63814 second system time
The end
Begin job on node17 at 2008-07-03 21:10:41
IDJOB=1057998
IDBENCH=54100
IDSOLVER=361
FILE ID=node17/1057998-1215112240
PBS_JOBID= 7877169
Free space on /tmp= 66544 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/compet08/normalized-patat-08-comp-1.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057998-1215112240/watcher-1057998-1215112240 -o /tmp/evaluation-result-1057998-1215112240/solver-1057998-1215112240 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1057998-1215112240.xml 1641227137
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4d169279fa4e9bed6ceba6b2cb05fd73
RANDOM SEED=1641227137
node17.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.234
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.234
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: 1213000 kB
Buffers: 4820 kB
Cached: 72836 kB
SwapCached: 6936 kB
Active: 756868 kB
Inactive: 31368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1213000 kB
SwapTotal: 4192956 kB
SwapFree: 4179840 kB
Dirty: 8208 kB
Writeback: 0 kB
Mapped: 722024 kB
Slab: 38412 kB
Committed_AS: 1604060 kB
PageTables: 3460 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= 66536 MiB
End job on node17 at 2008-07-03 21:40:51