0.18/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
0.18/0.28 c Building = 1
16.34/16.51 c [ NumberOfVariables = 400 ]
16.34/16.51 c [ NumberOfConstraints = 7600 ]
16.34/16.51 c [ SizeOfSearchSpace(log2) = 4076.07 ]
16.34/16.51 c SymmetrySearch = 1
16.64/16.83 c InitialPropagation = 1
16.64/16.84 c [ SizeOfSearchSpace(log2) = 4076.07 ]
16.64/16.84 c InitialSAC = 1
16.64/16.89 c [ SizeOfSearchSpace(log2) = 4076.07 ]
16.64/16.89 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-1074647-1215179194/watcher-1074647-1215179194 -o /tmp/evaluation-result-1074647-1215179194/solver-1074647-1215179194 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1074647-1215179194.xml 561488280
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: 2.07 2.10 2.04 4/81 18285
/proc/meminfo: memFree=1771656/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=1056 CPUtime=0
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 40 0 0 0 0 0 0 0 19 0 1 0 1996893530 1081344 26 996147200 134512640 135477443 4294956224 18446744073709551615 2495268 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 264 26 20 235 0 3 0
[startup+0.110545 s]
/proc/loadavg: 2.07 2.10 2.04 4/81 18285
/proc/meminfo: memFree=1771656/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=6776 CPUtime=0.09
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 804 0 0 0 9 0 0 0 18 0 1 0 1996893530 6938624 764 996147200 134512640 135477443 4294956224 18446744073709551615 134780673 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 1694 764 370 235 0 395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6776
[startup+0.201555 s]
/proc/loadavg: 2.07 2.10 2.04 4/81 18285
/proc/meminfo: memFree=1771656/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=7832 CPUtime=0.18
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 1079 0 0 0 18 0 0 0 18 0 1 0 1996893530 8019968 1039 996147200 134512640 135477443 4294956224 18446744073709551615 4159729162 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 1958 1039 370 235 0 659 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7832
[startup+0.301568 s]
/proc/loadavg: 2.07 2.10 2.04 4/81 18285
/proc/meminfo: memFree=1771656/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=290028 CPUtime=0.28
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 1695 0 0 0 28 0 0 0 19 0 1 0 1996893530 296988672 1418 996147200 134512640 135477443 4294956224 18446744073709551615 135268208 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 72507 1418 453 235 0 71208 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 290028
[startup+0.701611 s]
/proc/loadavg: 2.07 2.10 2.04 4/81 18285
/proc/meminfo: memFree=1771656/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=293460 CPUtime=0.68
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 8219 0 0 0 64 4 0 0 23 0 1 0 1996893530 300503040 2284 996147200 134512640 135477443 4294956224 18446744073709551615 135250825 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 73365 2284 453 235 0 72066 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 293460
[startup+1.5017 s]
/proc/loadavg: 2.06 2.10 2.04 3/82 18286
/proc/meminfo: memFree=1760192/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=300852 CPUtime=1.47
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 21327 0 0 0 137 10 0 0 25 0 1 0 1996893530 308072448 4205 996147200 134512640 135477443 4294956224 18446744073709551615 135226662 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 75213 4205 453 235 0 73914 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 300852
[startup+3.10289 s]
/proc/loadavg: 2.06 2.10 2.04 3/82 18286
/proc/meminfo: memFree=1749440/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=315636 CPUtime=3.07
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 47970 0 0 0 282 25 0 0 25 0 1 0 1996893530 323211264 7998 996147200 134512640 135477443 4294956224 18446744073709551615 135268514 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 78909 7998 453 235 0 77610 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 315636
[startup+6.30125 s]
/proc/loadavg: 2.06 2.10 2.04 3/82 18286
/proc/meminfo: memFree=1717888/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=345468 CPUtime=6.23
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 100249 0 0 0 574 49 0 0 25 0 1 0 1996893530 353759232 15697 996147200 134512640 135477443 4294956224 18446744073709551615 134586795 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 86367 15697 453 235 0 85068 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 345468
[startup+12.702 s]
/proc/loadavg: 2.05 2.10 2.04 3/82 18286
/proc/meminfo: memFree=1653888/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=405660 CPUtime=12.57
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 205436 0 0 0 1152 105 0 0 25 0 1 0 1996893530 415395840 31173 996147200 134512640 135477443 4294956224 18446744073709551615 135269562 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 101415 31173 453 235 0 100116 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 405660
[startup+25.5014 s]
/proc/loadavg: 2.05 2.09 2.04 3/82 18286
/proc/meminfo: memFree=1610496/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253912 CPUtime=25.25
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270743 0 0 0 2390 135 0 0 25 0 1 0 1996893530 260005888 40635 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63478 40635 496 235 0 62179 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 253912
[startup+51.1014 s]
/proc/loadavg: 2.03 2.08 2.03 3/82 18286
/proc/meminfo: memFree=1609920/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=50.63
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270862 0 0 0 4928 135 0 0 25 0 1 0 1996893530 260009984 40754 996147200 134512640 135477443 4294956224 18446744073709551615 134899373 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40754 496 235 0 62180 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 253916
[startup+102.301 s]
/proc/loadavg: 2.01 2.07 2.03 3/82 18286
/proc/meminfo: memFree=1609792/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=101.41
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270917 0 0 0 10005 136 0 0 25 0 1 0 1996893530 260009984 40809 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40809 496 235 0 62180 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 253916
[startup+162.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/82 18286
/proc/meminfo: memFree=1609664/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=160.89
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270917 0 0 0 15953 136 0 0 25 0 1 0 1996893530 260009984 40809 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40809 496 235 0 62180 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 253916
[startup+222.307 s]
/proc/loadavg: 2.00 2.04 2.02 3/82 18286
/proc/meminfo: memFree=1609664/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=220.38
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270917 0 0 0 21902 136 0 0 25 0 1 0 1996893530 260009984 40809 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40809 496 235 0 62180 0
Current children cumulated CPU time (s) 220.38
Current children cumulated vsize (KiB) 253916
[startup+282.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/82 18286
/proc/meminfo: memFree=1609600/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=279.87
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270917 0 0 0 27850 137 0 0 25 0 1 0 1996893530 260009984 40809 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40809 496 235 0 62180 0
Current children cumulated CPU time (s) 279.87
Current children cumulated vsize (KiB) 253916
[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.01 3/82 18286
/proc/meminfo: memFree=1609600/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=339.36
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270917 0 0 0 33799 137 0 0 25 0 1 0 1996893530 260009984 40809 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40809 496 235 0 62180 0
Current children cumulated CPU time (s) 339.36
Current children cumulated vsize (KiB) 253916
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 18286
/proc/meminfo: memFree=1609600/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=398.84
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270917 0 0 0 39747 137 0 0 25 0 1 0 1996893530 260009984 40809 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40809 496 235 0 62180 0
Current children cumulated CPU time (s) 398.84
Current children cumulated vsize (KiB) 253916
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 18286
/proc/meminfo: memFree=1609408/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=458.33
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270951 0 0 0 45695 138 0 0 25 0 1 0 1996893530 260009984 40843 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40843 496 235 0 62180 0
Current children cumulated CPU time (s) 458.33
Current children cumulated vsize (KiB) 253916
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 18286
/proc/meminfo: memFree=1609216/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=517.82
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270970 0 0 0 51644 138 0 0 25 0 1 0 1996893530 260009984 40862 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40862 496 235 0 62180 0
Current children cumulated CPU time (s) 517.82
Current children cumulated vsize (KiB) 253916
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18286
/proc/meminfo: memFree=1609152/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=577.3
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 270979 0 0 0 57592 138 0 0 25 0 1 0 1996893530 260009984 40871 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40871 496 235 0 62180 0
Current children cumulated CPU time (s) 577.3
Current children cumulated vsize (KiB) 253916
[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18286
/proc/meminfo: memFree=1609152/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=636.8
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 63541 139 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 636.8
Current children cumulated vsize (KiB) 253916
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1609080/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=874.73
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 87333 140 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208555 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 874.73
Current children cumulated vsize (KiB) 253916
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1609080/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=934.21
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 93281 140 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 934.21
Current children cumulated vsize (KiB) 253916
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1609080/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=993.7
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 99230 140 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 134673664 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 993.7
Current children cumulated vsize (KiB) 253916
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1609016/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1053.19
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 105179 140 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 1053.19
Current children cumulated vsize (KiB) 253916
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1609016/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1112.67
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 111126 141 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 1112.67
Current children cumulated vsize (KiB) 253916
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1608896/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1172.17
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 117076 141 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208663 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 1172.17
Current children cumulated vsize (KiB) 253916
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1608768/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1231.66
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 123024 142 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208694 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 1231.66
Current children cumulated vsize (KiB) 253916
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1608768/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1291.14
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 128972 142 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208689 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 1291.14
Current children cumulated vsize (KiB) 253916
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1608704/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1350.63
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 134921 142 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208677 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 1350.63
Current children cumulated vsize (KiB) 253916
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1608704/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1410.13
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 140870 143 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208668 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 1410.13
Current children cumulated vsize (KiB) 253916
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1608704/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1469.61
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271002 0 0 0 146818 143 0 0 25 0 1 0 1996893530 260009984 40894 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40894 496 235 0 62180 0
Current children cumulated CPU time (s) 1469.61
Current children cumulated vsize (KiB) 253916
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1608384/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1529.1
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271089 0 0 0 152767 143 0 0 25 0 1 0 1996893530 260009984 40981 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40981 496 235 0 62180 0
Current children cumulated CPU time (s) 1529.1
Current children cumulated vsize (KiB) 253916
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18292
/proc/meminfo: memFree=1608320/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1588.58
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271097 0 0 0 158715 143 0 0 25 0 1 0 1996893530 260009984 40989 996147200 134512640 135477443 4294956224 18446744073709551615 135208648 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40989 496 235 0 62180 0
Current children cumulated CPU time (s) 1588.58
Current children cumulated vsize (KiB) 253916
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18332
/proc/meminfo: memFree=1003952/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1648.09
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271103 0 0 0 164664 145 0 0 25 0 1 0 1996893530 260009984 40995 996147200 134512640 135477443 4294956224 18446744073709551615 135270207 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 40995 496 235 0 62180 0
Current children cumulated CPU time (s) 1648.09
Current children cumulated vsize (KiB) 253916
[startup+1722.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/82 18333
/proc/meminfo: memFree=897336/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1707.53
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271109 0 0 0 170608 145 0 0 25 0 1 0 1996893530 260009984 41001 996147200 134512640 135477443 4294956224 18446744073709551615 135208666 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 41001 496 235 0 62180 0
Current children cumulated CPU time (s) 1707.53
Current children cumulated vsize (KiB) 253916
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/82 18333
/proc/meminfo: memFree=897144/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1767.01
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271110 0 0 0 176556 145 0 0 25 0 1 0 1996893530 260009984 41002 996147200 134512640 135477443 4294956224 18446744073709551615 135208645 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 41002 496 235 0 62180 0
Current children cumulated CPU time (s) 1767.01
Current children cumulated vsize (KiB) 253916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.6 s]
/proc/loadavg: 2.04 2.04 2.01 3/82 18333
/proc/meminfo: memFree=897080/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1800.04
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271110 0 0 0 179858 146 0 0 25 0 1 0 1996893530 260009984 41002 996147200 134512640 135477443 4294956224 18446744073709551615 135270826 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 41002 496 235 0 62180 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 253916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.6 s]
/proc/loadavg: 2.04 2.04 2.01 3/82 18333
/proc/meminfo: memFree=897080/2055920 swapFree=4180000/4192956
[pid=18285] ppid=18283 vsize=253916 CPUtime=1800.04
/proc/18285/stat : 18285 (casperzao) R 18283 18285 16648 0 -1 4194304 271110 0 0 0 179858 146 0 0 25 0 1 0 1996893530 260009984 41002 996147200 134512640 135477443 4294956224 18446744073709551615 135270826 0 0 4096 0 0 0 0 17 1 0 0
/proc/18285/statm: 63479 41002 496 235 0 62180 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 253916
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.63
CPU time (s): 1800.07
CPU user time (s): 1798.58
CPU system time (s): 1.48777
CPU usage (%): 99.1428
Max. virtual memory (cumulated for all children) (KiB): 441300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.48777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271110
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= 71976
runsolver used 1.90671 second user time and 4.86326 second system time
The end
Begin job on node23 at 2008-07-04 15:46:34
IDJOB=1074647
IDBENCH=56426
IDSOLVER=361
FILE ID=node23/1074647-1215179194
PBS_JOBID= 7881511
Free space on /tmp= 66548 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-100-0.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074647-1215179194/watcher-1074647-1215179194 -o /tmp/evaluation-result-1074647-1215179194/solver-1074647-1215179194 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1074647-1215179194.xml 561488280
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 23a05b88381e0b0d602652448f9fdc61
RANDOM SEED=561488280
node23.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.216
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.216
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: 1772136 kB
Buffers: 34504 kB
Cached: 131936 kB
SwapCached: 6756 kB
Active: 183220 kB
Inactive: 46456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1772136 kB
SwapTotal: 4192956 kB
SwapFree: 4180000 kB
Dirty: 3900 kB
Writeback: 0 kB
Mapped: 77036 kB
Slab: 39152 kB
Committed_AS: 4140236 kB
PageTables: 1944 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= 66544 MiB
End job on node23 at 2008-07-04 16:16:51