0.00/0.00 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.00/0.00 c Parsing = 1
2.98/3.03 c Building = 1
3.78/3.81 c [ NumberOfVariables = 25 ]
3.78/3.81 c [ NumberOfConstraints = 56 ]
3.78/3.81 c [ SizeOfSearchSpace(log2) = 58.0482 ]
3.78/3.81 c SymmetrySearch = (OutOfMemory)
9.68/9.70 c [ Proceeding without symmetry breaking ]
10.99/11.01 c InitialPropagation = 1
10.99/11.05 c [ SizeOfSearchSpace(log2) = 58.0482 ]
10.99/11.05 c InitialSAC = 1
13.19/13.29 c [ SizeOfSearchSpace(log2) = 58.0482 ]
13.19/13.29 c Search(SampleFF) :
109.66/109.72 c [ Sampling domwdeg ]
109.66/109.72 c [ Sampling impacts ]
109.66/109.72 c [ SamplingScores: ]
109.66/109.72 c [ domwdeg+min = 1.60362e-06 | domwdeg+rnd = 1.0425e-06 ]
109.66/109.72 c [ impacts+min = 8.43095e-07 | impacts+rnd = 9.48379e-08 ]
109.66/109.72 c [ la+min = 0 | la+rnd = 0 ]
109.66/109.72 c [ domwdeg = 1.32306e-06 | impacts = 4.68966e-07 | la = 0 ]
109.66/109.72 c [ min = 8.15573e-07 | rand = 4.68966e-07 ]
109.66/109.72 c [ restarting at (2.57084,7.168e-07) ]
116.16/116.21 c [ restarting at (6.4271,6.144e-07) ]
132.56/132.61 c [ restarting at (16.0678,1.43401e-05) ]
172.94/173.07 c [ restarting at (40.1694,3.328e-05) ]
273.62/273.78 c [ restarting at (100.424,9.216e-05) ]
524.85/525.06 c [ restarting at (251.059,0.000225792) ]
1149.50/1152.89 c [ restarting at (627.647,0.000474378) ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093085-1215248102/watcher-1093085-1215248102 -o /tmp/evaluation-result-1093085-1215248102/solver-1093085-1215248102 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1093085-1215248102.xml 532920702
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.94 2.01 2.00 3/82 1529
/proc/meminfo: memFree=1649912/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=5348 CPUtime=0
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 216 0 0 0 0 0 0 0 18 0 1 0 647730595 5476352 191 996147200 134512640 135472138 4294956224 18446744073709551615 6757240 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 1337 191 157 234 0 27 0
[startup+0.066577 s]
/proc/loadavg: 1.94 2.01 2.00 3/82 1529
/proc/meminfo: memFree=1649912/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=7976 CPUtime=0.05
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 1112 0 0 0 5 0 0 0 18 0 1 0 647730595 8167424 1072 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 1994 1072 365 234 0 696 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7976
[startup+0.10158 s]
/proc/loadavg: 1.94 2.01 2.00 3/82 1529
/proc/meminfo: memFree=1649912/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=7976 CPUtime=0.09
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 1112 0 0 0 9 0 0 0 18 0 1 0 647730595 8167424 1072 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 1994 1072 365 234 0 696 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7976
[startup+0.301601 s]
/proc/loadavg: 1.94 2.01 2.00 3/82 1529
/proc/meminfo: memFree=1649912/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=13764 CPUtime=0.29
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 2540 0 0 0 28 1 0 0 19 0 1 0 647730595 14094336 2500 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 3441 2500 365 234 0 2143 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13764
[startup+0.701642 s]
/proc/loadavg: 1.94 2.01 2.00 3/82 1529
/proc/meminfo: memFree=1649912/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=23536 CPUtime=0.69
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 4988 0 0 0 67 2 0 0 22 0 1 0 647730595 24100864 4948 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 5884 4948 365 234 0 4586 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23536
[startup+1.50172 s]
/proc/loadavg: 1.94 2.01 2.00 3/83 1530
/proc/meminfo: memFree=1622960/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=44604 CPUtime=1.49
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 10266 0 0 0 144 5 0 0 25 0 1 0 647730595 45674496 10226 996147200 134512640 135472138 4294956224 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 11151 10226 365 234 0 9853 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44604
[startup+3.10189 s]
/proc/loadavg: 1.94 2.01 2.00 3/83 1530
/proc/meminfo: memFree=1595120/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=199352 CPUtime=3.08
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 25322 0 0 0 297 11 0 0 25 0 1 0 647730595 204136448 25282 996147200 134512640 135472138 4294956224 18446744073709551615 134546816 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 49838 25290 394 234 0 48540 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 199352
[startup+6.30121 s]
/proc/loadavg: 2.03 2.03 2.00 3/83 1530
/proc/meminfo: memFree=1305072/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=554544 CPUtime=6.28
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 109899 0 0 0 586 42 0 0 25 0 1 0 647730595 567853056 109859 996147200 134512640 135472138 4294956224 18446744073709551615 7222907 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 138636 109861 432 234 0 137338 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 554544
[startup+12.7029 s]
/proc/loadavg: 2.11 2.05 2.01 3/83 1530
/proc/meminfo: memFree=1481528/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=12.69
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 182624 0 0 0 1190 79 0 0 25 0 1 0 647730595 290021376 41963 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 41963 463 234 0 69508 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 283224
[startup+25.5012 s]
/proc/loadavg: 2.09 2.04 2.01 3/83 1530
/proc/meminfo: memFree=1482296/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=25.48
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 182731 0 0 0 2469 79 0 0 25 0 1 0 647730595 290021376 42070 996147200 134512640 135472138 4294956224 18446744073709551615 134585030 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42070 483 234 0 69508 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 283224
[startup+51.1018 s]
/proc/loadavg: 2.05 2.04 2.00 3/83 1530
/proc/meminfo: memFree=1481464/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=51.08
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 182956 0 0 0 5028 80 0 0 25 0 1 0 647730595 290021376 42295 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42295 483 234 0 69508 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 283224
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 1531
/proc/meminfo: memFree=1481336/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=102.27
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 182959 0 0 0 10147 80 0 0 25 0 1 0 647730595 290021376 42298 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42298 485 234 0 69508 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 283224
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/83 1532
/proc/meminfo: memFree=1480952/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=162.25
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183013 0 0 0 16145 80 0 0 25 0 1 0 647730595 290021376 42352 996147200 134512640 135472138 4294956224 18446744073709551615 134577878 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42352 486 234 0 69508 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 283224
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 1532
/proc/meminfo: memFree=1480952/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=222.23
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183013 0 0 0 22143 80 0 0 25 0 1 0 647730595 290021376 42352 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42352 486 234 0 69508 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 283224
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 1532
/proc/meminfo: memFree=1480952/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=282.22
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183013 0 0 0 28142 80 0 0 25 0 1 0 647730595 290021376 42352 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42352 486 234 0 69508 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 283224
[startup+342.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 1532
/proc/meminfo: memFree=1480952/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=342.2
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183024 0 0 0 34140 80 0 0 25 0 1 0 647730595 290021376 42363 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42363 486 234 0 69508 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 283224
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 1538
/proc/meminfo: memFree=1480696/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=402.18
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 40138 80 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134585175 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 283224
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 1538
/proc/meminfo: memFree=1480632/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=462.17
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 46137 80 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 283224
[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 1538
/proc/meminfo: memFree=1480632/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=522.15
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 52135 80 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134605022 0 0 4096 0 0 0 0 17 1 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 283224
[startup+582.302 s]
/proc/loadavg: 2.40 2.10 2.03 5/85 1577
/proc/meminfo: memFree=1404984/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=581.67
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 58084 83 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 581.67
Current children cumulated vsize (KiB) 283224
[startup+642.301 s]
/proc/loadavg: 2.15 2.08 2.02 3/86 1578
/proc/meminfo: memFree=1214576/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=641.07
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 64023 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134585131 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 641.07
Current children cumulated vsize (KiB) 283224
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.00 2.03 2.01 3/86 1578
/proc/meminfo: memFree=1198192/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=820.33
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 81949 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134585183 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 820.33
Current children cumulated vsize (KiB) 283224
[startup+882.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/86 1578
/proc/meminfo: memFree=1198128/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=880.09
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 87925 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 880.09
Current children cumulated vsize (KiB) 283224
[startup+942.302 s]
/proc/loadavg: 2.04 2.03 2.00 3/86 1578
/proc/meminfo: memFree=1198128/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=939.85
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 93901 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 939.85
Current children cumulated vsize (KiB) 283224
[startup+1002.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/86 1578
/proc/meminfo: memFree=1198064/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=999.6
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 99876 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 999.6
Current children cumulated vsize (KiB) 283224
[startup+1062.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/86 1578
/proc/meminfo: memFree=1198064/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1059.37
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 105853 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134604864 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 1059.37
Current children cumulated vsize (KiB) 283224
[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/86 1578
/proc/meminfo: memFree=1197936/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1119.12
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 111828 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 1119.12
Current children cumulated vsize (KiB) 283224
[startup+1182.3 s]
/proc/loadavg: 2.18 2.08 2.01 3/86 1578
/proc/meminfo: memFree=1197936/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1178.88
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 117804 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134585095 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 1178.88
Current children cumulated vsize (KiB) 283224
[startup+1242.3 s]
/proc/loadavg: 2.22 2.11 2.02 3/86 1578
/proc/meminfo: memFree=1197680/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1238.64
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 123780 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134585139 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 1238.64
Current children cumulated vsize (KiB) 283224
[startup+1302.3 s]
/proc/loadavg: 2.08 2.08 2.02 4/86 1578
/proc/meminfo: memFree=1180080/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1298.39
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 129755 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134604960 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 1298.39
Current children cumulated vsize (KiB) 283224
[startup+1362.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/86 1578
/proc/meminfo: memFree=1180080/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1358.15
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 135731 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134585013 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 1358.15
Current children cumulated vsize (KiB) 283224
[startup+1422.31 s]
/proc/loadavg: 2.08 2.07 2.01 3/86 1578
/proc/meminfo: memFree=1180080/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1417.91
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183036 0 0 0 141707 84 0 0 25 0 1 0 647730595 290021376 42375 996147200 134512640 135472138 4294956224 18446744073709551615 134577872 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42375 486 234 0 69508 0
Current children cumulated CPU time (s) 1417.91
Current children cumulated vsize (KiB) 283224
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/86 1578
/proc/meminfo: memFree=1180080/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1477.66
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183037 0 0 0 147682 84 0 0 25 0 1 0 647730595 290021376 42376 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42376 486 234 0 69508 0
Current children cumulated CPU time (s) 1477.66
Current children cumulated vsize (KiB) 283224
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/86 1578
/proc/meminfo: memFree=1180016/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1537.42
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183044 0 0 0 153658 84 0 0 25 0 1 0 647730595 290021376 42383 996147200 134512640 135472138 4294956224 18446744073709551615 134585142 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42383 486 234 0 69508 0
Current children cumulated CPU time (s) 1537.42
Current children cumulated vsize (KiB) 283224
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/86 1578
/proc/meminfo: memFree=1179824/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1597.19
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183079 0 0 0 159634 85 0 0 25 0 1 0 647730595 290021376 42418 996147200 134512640 135472138 4294956224 18446744073709551615 134577882 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42418 486 234 0 69508 0
Current children cumulated CPU time (s) 1597.19
Current children cumulated vsize (KiB) 283224
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 1578
/proc/meminfo: memFree=1179824/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1656.94
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183079 0 0 0 165609 85 0 0 25 0 1 0 647730595 290021376 42418 996147200 134512640 135472138 4294956224 18446744073709551615 134585172 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42418 486 234 0 69508 0
Current children cumulated CPU time (s) 1656.94
Current children cumulated vsize (KiB) 283224
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 1578
/proc/meminfo: memFree=1179760/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1716.7
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183079 0 0 0 171585 85 0 0 25 0 1 0 647730595 290021376 42418 996147200 134512640 135472138 4294956224 18446744073709551615 134585134 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42418 486 234 0 69508 0
Current children cumulated CPU time (s) 1716.7
Current children cumulated vsize (KiB) 283224
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 1578
/proc/meminfo: memFree=1179504/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1776.46
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183079 0 0 0 177561 85 0 0 25 0 1 0 647730595 290021376 42418 996147200 134512640 135472138 4294956224 18446744073709551615 134605024 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42418 486 234 0 69508 0
Current children cumulated CPU time (s) 1776.46
Current children cumulated vsize (KiB) 283224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 1578
/proc/meminfo: memFree=1179504/2055920 swapFree=4177348/4192956
[pid=1529] ppid=1527 vsize=283224 CPUtime=1800.06
/proc/1529/stat : 1529 (casperzito) R 1527 1529 1492 0 -1 4194304 183079 0 0 0 179921 85 0 0 25 0 1 0 647730595 290021376 42418 996147200 134512640 135472138 4294956224 18446744073709551615 134585137 0 0 4096 0 0 0 0 17 0 0 0
/proc/1529/statm: 70806 42418 486 234 0 69508 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 283224
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): 1806.03
CPU time (s): 1800.1
CPU user time (s): 1799.22
CPU system time (s): 0.880866
CPU usage (%): 99.6714
Max. virtual memory (cumulated for all children) (KiB): 854368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.880866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183079
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= 18497
runsolver used 1.60376 second user time and 4.98124 second system time
The end
Begin job on node84 at 2008-07-05 10:55:05
IDJOB=1093085
IDBENCH=58684
IDSOLVER=362
FILE ID=node84/1093085-1215248102
PBS_JOBID= 7882060
Free space on /tmp= 66500 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-11.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1093085-1215248102/watcher-1093085-1215248102 -o /tmp/evaluation-result-1093085-1215248102/solver-1093085-1215248102 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1093085-1215248102.xml 532920702
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= be265c4c7616125513fb29148c5bf38d
RANDOM SEED=532920702
node84.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.231
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.231
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1650328 kB
Buffers: 13936 kB
Cached: 177340 kB
SwapCached: 9596 kB
Active: 321584 kB
Inactive: 37016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1650328 kB
SwapTotal: 4192956 kB
SwapFree: 4177348 kB
Dirty: 33292 kB
Writeback: 0 kB
Mapped: 183412 kB
Slab: 31908 kB
Committed_AS: 1408300 kB
PageTables: 2136 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= 66496 MiB
End job on node84 at 2008-07-05 11:25:13