0.18/0.21 c [ This is CaSPERzao (C) mvc@di.fct.unl.pt ]
0.18/0.21 c Parsing = 1
7.40/7.57 c Building = 1
9.39/9.50 c [ NumberOfVariables = 23 ]
9.39/9.50 c [ NumberOfConstraints = 16 ]
9.39/9.50 c [ SizeOfSearchSpace(log2) = 36.4541 ]
9.39/9.50 c SymmetrySearch = (OutOfMemory)
13.35/13.55 c [ Proceeding without symmetry breaking ]
14.04/14.26 c InitialPropagation = 1
14.14/14.37 c [ SizeOfSearchSpace(log2) = 36.4541 ]
14.14/14.37 c InitialSAC = 1
21.87/22.17 c [ SizeOfSearchSpace(log2) = 36.4541 ]
21.87/22.17 c Search(SampleFF) :
323.44/326.21 c [ Sampling domwdeg ]
323.44/326.21 c [ Sampling impacts ]
323.44/326.21 c [ Sampling la ]
323.44/326.21 c [ SamplingScores: ]
323.44/326.21 c [ domwdeg+min = 5.21386e-06 | domwdeg+rnd = 3.44317e-06 ]
323.44/326.21 c [ impacts+min = 1.4615e-07 | impacts+rnd = 2.45756e-07 ]
323.44/326.21 c [ la+min = 4.75334e-07 | la+rnd = 1.58445e-07 ]
323.44/326.21 c [ domwdeg = 4.32852e-06 | impacts = 1.95953e-07 | la = 3.16889e-07 ]
323.44/326.21 c [ min = 1.94512e-06 | rand = 1.95953e-07 ]
323.44/326.21 c [ restarting at (0.1,5.08053e-05) ]
326.12/328.91 c [ restarting at (0.25,1.69351e-05) ]
329.10/331.99 c [ restarting at (0.625,5.64503e-06) ]
331.97/334.86 c [ restarting at (1.5625,1.69351e-05) ]
336.44/339.30 c [ restarting at (3.90625,6.77404e-05) ]
346.74/349.78 c [ restarting at (9.76562,0.000304832) ]
373.13/376.39 c [ restarting at (24.4141,0.00198141) ]
438.07/441.89 c [ restarting at (61.0352,0.00416603) ]
601.04/606.14 c [ restarting at (152.588,0.00975461) ]
1006.72/1015.13 c [ restarting at (381.47,0.0224559) ]
1628.12/1641.61 c [ restarting at (953.674,0.0512117) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094518-1215251635/watcher-1094518-1215251635 -o /tmp/evaluation-result-1094518-1215251635/solver-1094518-1215251635 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1094518-1215251635.xml 1270028836
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
[startup+0 s]
/proc/loadavg: 2.01 2.07 2.04 4/72 26655
/proc/meminfo: memFree=1338448/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=18572 CPUtime=0
/proc/26655/stat : 26655 (runsolver) R 26653 25851 25851 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 2004138293 19017728 290 996147200 4194304 4296836 548682068464 18446744073709551615 258596172049 0 0 4096 24578 0 0 0 17 1 0 0
/proc/26655/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.078348 s]
/proc/loadavg: 2.01 2.07 2.04 4/72 26655
/proc/meminfo: memFree=1338448/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=15400 CPUtime=0.05
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 2952 0 1 0 4 1 0 0 18 0 1 0 2004138293 15769600 2913 996147200 134512640 135477443 4294956224 18446744073709551615 134780695 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 3850 2913 364 235 0 2551 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15400
[startup+0.102341 s]
/proc/loadavg: 2.01 2.07 2.04 4/72 26655
/proc/meminfo: memFree=1338448/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=15400 CPUtime=0.08
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 2952 0 1 0 7 1 0 0 18 0 1 0 2004138293 15769600 2913 996147200 134512640 135477443 4294956224 18446744073709551615 134800083 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 3850 2913 364 235 0 2551 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15400
[startup+0.302373 s]
/proc/loadavg: 2.01 2.07 2.04 4/72 26655
/proc/meminfo: memFree=1338448/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=15400 CPUtime=0.28
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 2952 0 1 0 27 1 0 0 19 0 1 0 2004138293 15769600 2913 996147200 134512640 135477443 4294956224 18446744073709551615 134713489 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 3850 2913 364 235 0 2551 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15400
[startup+0.701418 s]
/proc/loadavg: 2.01 2.07 2.04 4/72 26655
/proc/meminfo: memFree=1338448/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=25360 CPUtime=0.67
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 5442 0 1 0 64 3 0 0 23 0 1 0 2004138293 25968640 5403 996147200 134512640 135477443 4294956224 18446744073709551615 134780673 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 6340 5403 365 235 0 5041 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 25360
[startup+1.50151 s]
/proc/loadavg: 2.01 2.07 2.04 3/73 26656
/proc/meminfo: memFree=1308104/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=45280 CPUtime=1.47
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 10423 0 1 0 140 7 0 0 25 0 1 0 2004138293 46366720 10384 996147200 134512640 135477443 4294956224 18446744073709551615 134713493 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 11320 10384 365 235 0 10021 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 45280
[startup+3.10169 s]
/proc/loadavg: 2.01 2.07 2.04 3/73 26656
/proc/meminfo: memFree=1289032/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=75160 CPUtime=3.06
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 17896 0 1 0 293 13 0 0 25 0 1 0 2004138293 76963840 17857 996147200 134512640 135477443 4294956224 18446744073709551615 134780692 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 18790 17857 365 235 0 17491 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 75160
[startup+6.30106 s]
/proc/loadavg: 2.01 2.07 2.04 3/73 26656
/proc/meminfo: memFree=1219592/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=144880 CPUtime=6.22
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 35331 0 1 0 597 25 0 0 25 0 1 0 2004138293 148357120 35292 996147200 134512640 135477443 4294956224 18446744073709551615 134799957 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 36220 35292 365 235 0 34921 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 144880
[startup+12.7018 s]
/proc/loadavg: 2.00 2.06 2.04 3/73 26656
/proc/meminfo: memFree=774024/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=802944 CPUtime=12.56
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 157414 0 1 0 1160 96 0 0 25 0 1 0 2004138293 822214656 157375 996147200 134512640 135477443 4294956224 18446744073709551615 134635041 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 200736 157375 433 235 0 199437 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 802944
[startup+25.5022 s]
/proc/loadavg: 2.00 2.06 2.03 3/73 26656
/proc/meminfo: memFree=643592/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=25.24
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176540 0 4 0 2416 108 0 0 25 0 1 0 2004138293 890302464 174152 996147200 134512640 135477443 4294956224 18446744073709551615 134600905 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174152 476 235 0 216060 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 869436
[startup+51.1022 s]
/proc/loadavg: 2.00 2.05 2.03 3/73 26656
/proc/meminfo: memFree=643016/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=50.57
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176661 0 4 0 4949 108 0 0 25 0 1 0 2004138293 890302464 174273 996147200 134512640 135477443 4294956224 18446744073709551615 134600887 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174273 476 235 0 216060 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 869436
[startup+102.307 s]
/proc/loadavg: 2.00 2.04 2.03 3/73 26656
/proc/meminfo: memFree=643016/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=101.35
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176670 0 4 0 10027 108 0 0 25 0 1 0 2004138293 890302464 174282 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174282 478 235 0 216060 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 869436
[startup+162.303 s]
/proc/loadavg: 2.00 2.03 2.02 3/73 26656
/proc/meminfo: memFree=642952/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=160.87
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176670 0 4 0 15978 109 0 0 25 0 1 0 2004138293 890302464 174282 996147200 134512640 135477443 4294956224 18446744073709551615 134600976 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174282 478 235 0 216060 0
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (KiB) 869436
[startup+222.303 s]
/proc/loadavg: 2.00 2.02 2.02 3/73 26656
/proc/meminfo: memFree=642952/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=220.37
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176670 0 4 0 21928 109 0 0 25 0 1 0 2004138293 890302464 174282 996147200 134512640 135477443 4294956224 18446744073709551615 134590220 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174282 478 235 0 216060 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 869436
[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.01 3/73 26656
/proc/meminfo: memFree=643016/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=279.88
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176670 0 4 0 27879 109 0 0 25 0 1 0 2004138293 890302464 174282 996147200 134512640 135477443 4294956224 18446744073709551615 134583296 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174282 478 235 0 216060 0
Current children cumulated CPU time (s) 279.88
Current children cumulated vsize (KiB) 869436
[startup+342.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 26656
/proc/meminfo: memFree=642952/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=339.41
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176696 0 4 0 33831 110 0 0 25 0 1 0 2004138293 890302464 174308 996147200 134512640 135477443 4294956224 18446744073709551615 134590165 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174308 487 235 0 216060 0
Current children cumulated CPU time (s) 339.41
Current children cumulated vsize (KiB) 869436
[startup+402.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 26656
/proc/meminfo: memFree=642888/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=398.92
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176696 0 4 0 39782 110 0 0 25 0 1 0 2004138293 890302464 174308 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174308 487 235 0 216060 0
Current children cumulated CPU time (s) 398.92
Current children cumulated vsize (KiB) 869436
[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642816/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=458.39
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176696 0 4 0 45729 110 0 0 25 0 1 0 2004138293 890302464 174308 996147200 134512640 135477443 4294956224 18446744073709551615 134600974 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174308 487 235 0 216060 0
Current children cumulated CPU time (s) 458.39
Current children cumulated vsize (KiB) 869436
[startup+522.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642752/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=517.9
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176696 0 4 0 51680 110 0 0 25 0 1 0 2004138293 890302464 174308 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174308 487 235 0 216060 0
Current children cumulated CPU time (s) 517.9
Current children cumulated vsize (KiB) 869436
[startup+582.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642688/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=577.43
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176698 0 4 0 57632 111 0 0 25 0 1 0 2004138293 890302464 174310 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174310 487 235 0 216060 0
Current children cumulated CPU time (s) 577.43
Current children cumulated vsize (KiB) 869436
[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642688/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=636.94
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176698 0 4 0 63583 111 0 0 25 0 1 0 2004138293 890302464 174310 996147200 134512640 135477443 4294956224 18446744073709551615 134590247 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174310 487 235 0 216060 0
Current children cumulated CPU time (s) 636.94
Current children cumulated vsize (KiB) 869436
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642504/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=815.47
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176707 0 4 0 81435 112 0 0 25 0 1 0 2004138293 890302464 174319 996147200 134512640 135477443 4294956224 18446744073709551615 134590286 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174319 487 235 0 216060 0
Current children cumulated CPU time (s) 815.47
Current children cumulated vsize (KiB) 869436
[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642504/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=874.98
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176707 0 4 0 87386 112 0 0 25 0 1 0 2004138293 890302464 174319 996147200 134512640 135477443 4294956224 18446744073709551615 134583306 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174319 487 235 0 216060 0
Current children cumulated CPU time (s) 874.98
Current children cumulated vsize (KiB) 869436
[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642440/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=934.51
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176714 0 4 0 93338 113 0 0 25 0 1 0 2004138293 890302464 174326 996147200 134512640 135477443 4294956224 18446744073709551615 134590157 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174326 487 235 0 216060 0
Current children cumulated CPU time (s) 934.51
Current children cumulated vsize (KiB) 869436
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642312/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=994.03
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176714 0 4 0 99290 113 0 0 25 0 1 0 2004138293 890302464 174326 996147200 134512640 135477443 4294956224 18446744073709551615 134600870 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174326 487 235 0 216060 0
Current children cumulated CPU time (s) 994.03
Current children cumulated vsize (KiB) 869436
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642184/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1053.54
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176717 0 4 0 105241 113 0 0 25 0 1 0 2004138293 890302464 174329 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174329 487 235 0 216060 0
Current children cumulated CPU time (s) 1053.54
Current children cumulated vsize (KiB) 869436
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=642056/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1113.05
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176717 0 4 0 111192 113 0 0 25 0 1 0 2004138293 890302464 174329 996147200 134512640 135477443 4294956224 18446744073709551615 134583302 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174329 487 235 0 216060 0
Current children cumulated CPU time (s) 1113.05
Current children cumulated vsize (KiB) 869436
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=641992/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1172.57
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176717 0 4 0 117143 114 0 0 25 0 1 0 2004138293 890302464 174329 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174329 487 235 0 216060 0
Current children cumulated CPU time (s) 1172.57
Current children cumulated vsize (KiB) 869436
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=641864/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1232.08
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176718 0 4 0 123093 115 0 0 25 0 1 0 2004138293 890302464 174330 996147200 134512640 135477443 4294956224 18446744073709551615 134590307 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174330 487 235 0 216060 0
Current children cumulated CPU time (s) 1232.08
Current children cumulated vsize (KiB) 869436
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=641800/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1291.59
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176719 0 4 0 129044 115 0 0 25 0 1 0 2004138293 890302464 174331 996147200 134512640 135477443 4294956224 18446744073709551615 134590300 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174331 487 235 0 216060 0
Current children cumulated CPU time (s) 1291.59
Current children cumulated vsize (KiB) 869436
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=641800/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1351.1
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176719 0 4 0 134995 115 0 0 25 0 1 0 2004138293 890302464 174331 996147200 134512640 135477443 4294956224 18446744073709551615 134600823 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174331 487 235 0 216060 0
Current children cumulated CPU time (s) 1351.1
Current children cumulated vsize (KiB) 869436
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=641736/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1410.62
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176719 0 4 0 140947 115 0 0 25 0 1 0 2004138293 890302464 174331 996147200 134512640 135477443 4294956224 18446744073709551615 134600890 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174331 487 235 0 216060 0
Current children cumulated CPU time (s) 1410.62
Current children cumulated vsize (KiB) 869436
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=641736/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1470.13
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176719 0 4 0 146897 116 0 0 25 0 1 0 2004138293 890302464 174331 996147200 134512640 135477443 4294956224 18446744073709551615 134590185 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174331 487 235 0 216060 0
Current children cumulated CPU time (s) 1470.13
Current children cumulated vsize (KiB) 869436
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=641672/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1529.63
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176724 0 4 0 152847 116 0 0 25 0 1 0 2004138293 890302464 174336 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174336 487 235 0 216060 0
Current children cumulated CPU time (s) 1529.63
Current children cumulated vsize (KiB) 869436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 26662
/proc/meminfo: memFree=641608/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1589.15
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176724 0 4 0 158799 116 0 0 25 0 1 0 2004138293 890302464 174336 996147200 134512640 135477443 4294956224 18446744073709551615 134590165 0 0 4096 0 0 0 0 17 1 0 0
/proc/26655/statm: 217359 174336 487 235 0 216060 0
Current children cumulated CPU time (s) 1589.15
Current children cumulated vsize (KiB) 869436
[startup+1662.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/73 26690
/proc/meminfo: memFree=971848/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1648.81
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176724 0 4 0 164763 118 0 0 25 0 1 0 2004138293 890302464 174336 996147200 134512640 135477443 4294956224 18446744073709551615 134583297 0 0 4096 0 0 0 0 17 0 0 0
/proc/26655/statm: 217359 174336 487 235 0 216060 0
Current children cumulated CPU time (s) 1648.81
Current children cumulated vsize (KiB) 869436
[startup+1722.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/73 26690
/proc/meminfo: memFree=971464/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1708.79
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176731 0 4 0 170761 118 0 0 25 0 1 0 2004138293 890302464 174343 996147200 134512640 135477443 4294956224 18446744073709551615 134590289 0 0 4096 0 0 0 0 17 0 0 0
/proc/26655/statm: 217359 174343 487 235 0 216060 0
Current children cumulated CPU time (s) 1708.79
Current children cumulated vsize (KiB) 869436
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 26690
/proc/meminfo: memFree=971144/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1768.76
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176731 0 4 0 176758 118 0 0 25 0 1 0 2004138293 890302464 174343 996147200 134512640 135477443 4294956224 18446744073709551615 134590247 0 0 4096 0 0 0 0 17 0 0 0
/proc/26655/statm: 217359 174343 487 235 0 216060 0
Current children cumulated CPU time (s) 1768.76
Current children cumulated vsize (KiB) 869436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.6 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 26690
/proc/meminfo: memFree=971144/2055920 swapFree=4180004/4192956
[pid=26655] ppid=26653 vsize=869436 CPUtime=1800.05
/proc/26655/stat : 26655 (casperzao) R 26653 26655 25851 0 -1 4194304 176731 0 4 0 179887 118 0 0 25 0 1 0 2004138293 890302464 174343 996147200 134512640 135477443 4294956224 18446744073709551615 134590294 0 0 4096 0 0 0 0 17 0 0 0
/proc/26655/statm: 217359 174343 487 235 0 216060 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 869436
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.71
CPU time (s): 1800.16
CPU user time (s): 1798.88
CPU system time (s): 1.2868
CPU usage (%): 99.2533
Max. virtual memory (cumulated for all children) (KiB): 878844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.2868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176731
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 36185
runsolver used 1.80872 second user time and 5.2252 second system time
The end
Begin job on node23 at 2008-07-05 11:54:01
IDJOB=1094518
IDBENCH=58807
IDSOLVER=361
FILE ID=node23/1094518-1215251635
PBS_JOBID= 7882031
Free space on /tmp= 66404 MiB
SOLVER NAME= casper zao
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-22.xml
COMMAND LINE= HOME/casperzao BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094518-1215251635/watcher-1094518-1215251635 -o /tmp/evaluation-result-1094518-1215251635/solver-1094518-1215251635 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzao HOME/instance-1094518-1215251635.xml 1270028836
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2c0c2559db7dd9b7ee60dc52c682bfbe
RANDOM SEED=1270028836
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: 1338928 kB
Buffers: 11992 kB
Cached: 330108 kB
SwapCached: 7012 kB
Active: 542836 kB
Inactive: 117880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1338928 kB
SwapTotal: 4192956 kB
SwapFree: 4180004 kB
Dirty: 73352 kB
Writeback: 0 kB
Mapped: 325680 kB
Slab: 40948 kB
Committed_AS: 3795592 kB
PageTables: 2424 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= 66464 MiB
End job on node23 at 2008-07-05 12:24:17