0.00/0.12 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.00/0.12 c Parsing = 1
0.48/0.57 c Building = 1
0.67/0.78 c [ NumberOfVariables = 3655 ]
0.67/0.78 c [ NumberOfConstraints = 8686 ]
0.67/0.78 c [ SizeOfSearchSpace(log2) = 3655 ]
0.67/0.78 c SymmetrySearch = 1
2.55/2.67 c [ Found 4 symmetries ]
2.66/2.79 c InitialPropagation = 1
2.75/2.85 c [ SizeOfSearchSpace(log2) = 3136 ]
2.75/2.85 c InitialSAC = 1
17.42/17.65 c [ SizeOfSearchSpace(log2) = 2861 ]
17.42/17.65 c Search(SampleFF) :
225.15/227.31 c [ Sampling domwdeg ]
225.15/227.31 c [ Sampling impacts ]
225.15/227.31 c [ Sampling la ]
225.15/227.31 c [ SamplingScores: ]
225.15/227.31 c [ domwdeg+min = 3.39622e-27 | domwdeg+rnd = 1.35529e-20 ]
225.15/227.31 c [ impacts+min = 5.7297e-05 | impacts+rnd = 0.0019116 ]
225.15/227.31 c [ la+min = 1.57013e-08 | la+rnd = 0.00165124 ]
225.15/227.31 c [ domwdeg = 6.77644e-21 | impacts = 0.000984446 | la = 0.000825625 ]
225.15/227.31 c [ min = 1.91042e-05 | rand = 0.000984446 ]
225.15/227.31 c [ restarting at (0.1,3.98876e-05) ]
225.35/227.58 c [ restarting at (0.25,0.000122512) ]
226.04/228.25 c [ restarting at (0.625,0.0001952) ]
227.73/229.93 c [ restarting at (1.5625,9.03739e-05) ]
231.88/234.12 c [ restarting at (3.90625,0.000352364) ]
242.18/244.59 c [ restarting at (9.76562,0.000273643) ]
268.14/270.78 c [ restarting at (24.4141,3.93463e-05) ]
333.03/336.23 c [ restarting at (61.0352,0.000111944) ]
495.09/499.86 c [ restarting at (152.588,0.000454753) ]
897.67/908.92 c [ restarting at (381.47,0.000632488) ]
909.54/921.05 c [ restarting at (953.674,1.13494e-05) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069328-1215159467/watcher-1069328-1215159467 -o /tmp/evaluation-result-1069328-1215159467/solver-1069328-1215159467 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1069328-1215159467.xml 1536212901
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.91 1.95 1.95 4/84 18409
/proc/meminfo: memFree=1503496/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=18572 CPUtime=0
/proc/18409/stat : 18409 (runsolver) R 18407 18409 18345 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 153758095 19017728 292 996147200 4194304 4296836 548682068464 18446744073709551615 212218735911 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18409/statm: 4643 292 257 25 0 2626 0
[startup+0.220586 s]
/proc/loadavg: 1.91 1.95 1.95 4/84 18409
/proc/meminfo: memFree=1503496/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=8476 CPUtime=0.2
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 1243 0 0 0 20 0 0 0 19 0 1 0 153758095 8679424 1203 996147200 134512640 135477443 4294956224 18446744073709551615 134811876 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 2119 1203 368 235 0 820 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 8476
[startup+0.301593 s]
/proc/loadavg: 1.91 1.95 1.95 4/84 18409
/proc/meminfo: memFree=1503496/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=9664 CPUtime=0.28
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 1513 0 0 0 27 1 0 0 19 0 1 0 153758095 9895936 1473 996147200 134512640 135477443 4294956224 18446744073709551615 134718736 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 2416 1473 368 235 0 1117 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9664
[startup+0.401605 s]
/proc/loadavg: 1.91 1.95 1.95 4/84 18409
/proc/meminfo: memFree=1503496/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=11116 CPUtime=0.38
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 1887 0 0 0 37 1 0 0 20 0 1 0 153758095 11382784 1847 996147200 134512640 135477443 4294956224 18446744073709551615 134755029 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 2779 1847 368 235 0 1480 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 11116
[startup+0.701641 s]
/proc/loadavg: 1.91 1.95 1.95 4/84 18409
/proc/meminfo: memFree=1503496/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=111476 CPUtime=0.67
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 6062 0 0 0 65 2 0 0 23 0 1 0 153758095 114151424 6022 996147200 134512640 135477443 4294956224 18446744073709551615 5545701 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 27869 6022 428 235 0 26570 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 111476
[startup+1.50172 s]
/proc/loadavg: 1.92 1.95 1.95 3/85 18410
/proc/meminfo: memFree=1464896/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=127872 CPUtime=1.46
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 10229 0 0 0 142 4 0 0 25 0 1 0 153758095 130940928 10131 996147200 134512640 135477443 4294956224 18446744073709551615 134534853 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 31968 10131 464 235 0 30669 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 127872
[startup+3.1019 s]
/proc/loadavg: 1.92 1.95 1.95 3/85 18410
/proc/meminfo: memFree=1464064/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114232 CPUtime=3.05
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 14546 0 0 0 299 6 0 0 25 0 1 0 153758095 116973568 8692 996147200 134512640 135477443 4294956224 18446744073709551615 134888006 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28558 8692 491 235 0 27259 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 114232
[startup+6.30123 s]
/proc/loadavg: 1.92 1.95 1.95 3/85 18410
/proc/meminfo: memFree=1470208/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114232 CPUtime=6.23
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 14568 0 0 0 616 7 0 0 25 0 1 0 153758095 116973568 8714 996147200 134512640 135477443 4294956224 18446744073709551615 134585553 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28558 8714 492 235 0 27259 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 114232
[startup+12.7019 s]
/proc/loadavg: 1.93 1.96 1.95 3/85 18410
/proc/meminfo: memFree=1469888/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114232 CPUtime=12.56
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 14612 0 0 0 1249 7 0 0 25 0 1 0 153758095 116973568 8758 996147200 134512640 135477443 4294956224 18446744073709551615 134951625 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28558 8758 492 235 0 27259 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 114232
[startup+25.5063 s]
/proc/loadavg: 1.94 1.96 1.95 3/85 18410
/proc/meminfo: memFree=1469184/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114232 CPUtime=25.25
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 14803 0 0 0 2518 7 0 0 25 0 1 0 153758095 116973568 8949 996147200 134512640 135477443 4294956224 18446744073709551615 134951839 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28558 8949 507 235 0 27259 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 114232
[startup+51.102 s]
/proc/loadavg: 1.96 1.96 1.95 3/85 18410
/proc/meminfo: memFree=1468800/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=50.6
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 14899 0 0 0 5053 7 0 0 25 0 1 0 153758095 116977664 9045 996147200 134512640 135477443 4294956224 18446744073709551615 134887078 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9045 509 235 0 27260 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 114236
[startup+102.301 s]
/proc/loadavg: 1.98 1.96 1.95 3/85 18410
/proc/meminfo: memFree=1468608/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=101.32
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 14970 0 0 0 10125 7 0 0 25 0 1 0 153758095 116977664 9116 996147200 134512640 135477443 4294956224 18446744073709551615 135268985 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9116 509 235 0 27260 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 114236
[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.95 3/85 18410
/proc/meminfo: memFree=1467328/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=160.76
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15266 0 0 0 16069 7 0 0 25 0 1 0 153758095 116977664 9412 996147200 134512640 135477443 4294956224 18446744073709551615 6414547 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9412 509 235 0 27260 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 114236
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/85 18410
/proc/meminfo: memFree=1466496/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=220.2
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15466 0 0 0 22013 7 0 0 25 0 1 0 153758095 116977664 9612 996147200 134512640 135477443 4294956224 18446744073709551615 135235205 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9612 509 235 0 27260 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 114236
[startup+282.302 s]
/proc/loadavg: 2.06 1.99 1.96 3/85 18410
/proc/meminfo: memFree=1466432/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=279.63
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 27956 7 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6405879 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 114236
[startup+342.307 s]
/proc/loadavg: 2.02 1.99 1.96 3/85 18410
/proc/meminfo: memFree=1466368/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=339.07
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 33900 7 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 134695912 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 114236
[startup+402.301 s]
/proc/loadavg: 2.01 1.99 1.96 3/85 18410
/proc/meminfo: memFree=1466368/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=398.51
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 39844 7 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 135238577 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 114236
[startup+462.302 s]
/proc/loadavg: 2.00 1.99 1.96 3/85 18410
/proc/meminfo: memFree=1466304/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=457.94
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 45787 7 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 135238577 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 114236
[startup+522.302 s]
/proc/loadavg: 2.00 1.99 1.96 3/85 18410
/proc/meminfo: memFree=1466304/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=517.38
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 51731 7 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 134887902 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 114236
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.96 3/85 18410
/proc/meminfo: memFree=1466304/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=576.82
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 57675 7 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 114236
[startup+642.302 s]
/proc/loadavg: 2.08 2.00 1.96 3/93 18421
/proc/meminfo: memFree=1428080/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=636.24
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 63617 7 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 135238523 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 636.24
Current children cumulated vsize (KiB) 114236
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 18421
/proc/meminfo: memFree=1403320/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=871.6
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 87153 7 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 134942910 0 0 4096 0 0 0 0 17 1 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 871.6
Current children cumulated vsize (KiB) 114236
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/75 18472
/proc/meminfo: memFree=1514200/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=930.83
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 93075 8 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 134585563 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 930.83
Current children cumulated vsize (KiB) 114236
[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490720/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=990.79
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 99070 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6414544 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 990.79
Current children cumulated vsize (KiB) 114236
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490528/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1050.76
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 105067 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 135238571 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1050.76
Current children cumulated vsize (KiB) 114236
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490528/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1110.74
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 111065 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6405878 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1110.74
Current children cumulated vsize (KiB) 114236
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490528/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1170.72
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 117063 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 134695840 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1170.72
Current children cumulated vsize (KiB) 114236
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490528/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1230.69
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 123060 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6405883 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1230.69
Current children cumulated vsize (KiB) 114236
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490464/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1290.67
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 129058 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6405878 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1290.67
Current children cumulated vsize (KiB) 114236
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490592/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1350.64
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 135055 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6405842 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1350.64
Current children cumulated vsize (KiB) 114236
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490592/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1410.61
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 141052 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 135269820 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1410.61
Current children cumulated vsize (KiB) 114236
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490528/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1470.59
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 147050 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 134583600 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1470.59
Current children cumulated vsize (KiB) 114236
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490592/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1530.57
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 153048 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 134951766 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1530.57
Current children cumulated vsize (KiB) 114236
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490464/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1590.54
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 159045 9 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6405842 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1590.54
Current children cumulated vsize (KiB) 114236
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490400/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1650.53
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 165043 10 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6405878 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1650.53
Current children cumulated vsize (KiB) 114236
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 18521
/proc/meminfo: memFree=1490400/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1710.5
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 171040 10 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6405861 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1710.5
Current children cumulated vsize (KiB) 114236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/73 18548
/proc/meminfo: memFree=1509544/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1770.47
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 177037 10 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 6405878 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1770.47
Current children cumulated vsize (KiB) 114236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/73 18548
/proc/meminfo: memFree=1509608/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1800.07
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 179997 10 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 135238605 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 114236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811.91 s]
/proc/loadavg: 2.00 2.00 1.96 3/73 18548
/proc/meminfo: memFree=1509608/2055920 swapFree=4181068/4192956
[pid=18409] ppid=18407 vsize=114236 CPUtime=1800.07
/proc/18409/stat : 18409 (casperzao) R 18407 18409 18345 0 -1 4194304 15467 0 0 0 179997 10 0 0 25 0 1 0 153758095 116977664 9613 996147200 134512640 135477443 4294956224 18446744073709551615 135238605 0 0 4096 0 0 0 0 17 0 0 0
/proc/18409/statm: 28559 9613 510 235 0 27260 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 114236
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.92
CPU time (s): 1800.09
CPU user time (s): 1799.98
CPU system time (s): 0.113982
CPU usage (%): 99.3472
Max. virtual memory (cumulated for all children) (KiB): 140940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15467
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= 56917
runsolver used 1.9717 second user time and 5.48717 second system time
The end
Begin job on node46 at 2008-07-04 10:17:47
IDJOB=1069328
IDBENCH=55598
IDSOLVER=361
FILE ID=node46/1069328-1215159467
PBS_JOBID= 7881470
Free space on /tmp= 66184 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-43s-smv.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069328-1215159467/watcher-1069328-1215159467 -o /tmp/evaluation-result-1069328-1215159467/solver-1069328-1215159467 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1069328-1215159467.xml 1536212901
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 90a03adc27107c0475a8a8ba9438e5a1
RANDOM SEED=1536212901
node46.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.238
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.238
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: 1503912 kB
Buffers: 90724 kB
Cached: 353756 kB
SwapCached: 5884 kB
Active: 301692 kB
Inactive: 186524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1503912 kB
SwapTotal: 4192956 kB
SwapFree: 4181068 kB
Dirty: 4776 kB
Writeback: 0 kB
Mapped: 61600 kB
Slab: 49200 kB
Committed_AS: 396872 kB
PageTables: 1720 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66204 MiB
End job on node46 at 2008-07-04 10:48:01