0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/221747-1168080080/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.50
0.50 constraints being loaded...
0.62 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=859 maxDegree=23
0.62 maxArity=2
0.62 => wckTime=0.313 cpuTime=0.24 mem=13M794
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.507 cpuTime=0.36 mem=14M41
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0040 cpuTime=0.0 mem=14M41
0.87
0.87 search
0.88 run=0 nbConstraintChecks=39902 nbPropagations=492 nbRevisions=8157 nbUselessRevisions=7100 nbAssignments=28
0.88 nbFailedAssignments=12 nbBacktracks=11 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.054 cpuTime=0.03 mem=15M65
0.89
0.89 search
0.89 run=1 nbConstraintChecks=81379 nbPropagations=1504 nbRevisions=25335 nbUselessRevisions=22110 nbAssignments=63
0.89 nbFailedAssignments=26 nbBacktracks=27 nbVisitedNodes=110 nbRestartNogoods=5 mapSize=26 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.071 cpuTime=0.04 mem=15M65
0.92
0.92 search
0.92 run=2 nbConstraintChecks=153571 nbPropagations=3365 nbRevisions=57967 nbUselessRevisions=50422
0.92 nbAssignments=118 nbFailedAssignments=53 nbBacktracks=49 nbVisitedNodes=212 nbRestartNogoods=9 mapSize=48
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.099 cpuTime=0.06 mem=15M65
0.95
0.95 search
0.95 run=3 nbConstraintChecks=236545 nbPropagations=6259 nbRevisions=109061 nbUselessRevisions=94762
0.95 nbAssignments=189 nbFailedAssignments=83 nbBacktracks=82 nbVisitedNodes=338 nbRestartNogoods=14 mapSize=80
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.129 cpuTime=0.09 mem=15M65
0.98
0.98 search
0.98 run=4 nbConstraintChecks=381061 nbPropagations=10744 nbRevisions=190533 nbUselessRevisions=165155
0.98 nbAssignments=299 nbFailedAssignments=137 nbBacktracks=135 nbVisitedNodes=539 nbRestartNogoods=21 mapSize=130
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.159 cpuTime=0.11 mem=15M65
1.03
1.03 search
1.03 run=5 nbConstraintChecks=576305 nbPropagations=17559 nbRevisions=316615 nbUselessRevisions=274300
1.03 nbAssignments=456 nbFailedAssignments=213 nbBacktracks=210 nbVisitedNodes=828 nbRestartNogoods=22 mapSize=204
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.204 cpuTime=0.15 mem=15M65
1.09
1.09 search
1.09 run=6 nbConstraintChecks=867140 nbPropagations=27762 nbRevisions=507861 nbUselessRevisions=439905
1.09 nbAssignments=684 nbFailedAssignments=323 nbBacktracks=323 nbVisitedNodes=1247 nbRestartNogoods=31 mapSize=315
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.267 cpuTime=0.22 mem=15M65
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1331903 nbPropagations=43276 nbRevisions=803631 nbUselessRevisions=695952
1.18 nbAssignments=1032 nbFailedAssignments=496 nbBacktracks=493 nbVisitedNodes=1897 nbRestartNogoods=36
1.19 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.365 cpuTime=0.31 mem=15M65
1.33
1.33 search
1.33 run=8 nbConstraintChecks=2012441 nbPropagations=66426 nbRevisions=1252632 nbUselessRevisions=1085050
1.33 nbAssignments=1540 nbFailedAssignments=744 nbBacktracks=749 nbVisitedNodes=2846 nbRestartNogoods=42
1.33 mapSize=734 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.507 cpuTime=0.44 mem=15M65
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=15M65)
1.51
1.51 search
1.51 run=9 nbConstraintChecks=3001832 nbPropagations=100772 nbRevisions=1920638 nbUselessRevisions=1663650
1.51 nbAssignments=2284 nbFailedAssignments=1099 nbBacktracks=1133 nbVisitedNodes=4228 nbRestartNogoods=47
1.51 => wckTime=0.688 cpuTime=0.61 mem=15M65
1.77
1.77 search
1.77 run=10 nbConstraintChecks=4572376 nbPropagations=152537 nbRevisions=2934828 nbUselessRevisions=2542032
1.77 nbAssignments=3446 nbFailedAssignments=1679 nbBacktracks=1710 nbVisitedNodes=6384 nbRestartNogoods=52
1.77 => wckTime=0.949 cpuTime=0.86 mem=15M65
2.12
2.12 search
2.13 run=11 nbConstraintChecks=6890835 nbPropagations=230467 nbRevisions=4462724 nbUselessRevisions=3865451
2.13 nbAssignments=5162 nbFailedAssignments=2526 nbBacktracks=2574 nbVisitedNodes=9582 nbRestartNogoods=58
2.13 => wckTime=1.305 cpuTime=1.21 mem=15M65
2.64
2.64 search
2.64 run=12 nbConstraintChecks=10237380 nbPropagations=346418 nbRevisions=6740439 nbUselessRevisions=5837988
2.64 nbAssignments=7731 nbFailedAssignments=3792 nbBacktracks=3873 nbVisitedNodes=14381 nbRestartNogoods=70
2.64 => wckTime=1.821 cpuTime=1.72 mem=15M65
3.42
3.42 search
3.42 run=13 nbConstraintChecks=15302838 nbPropagations=519494 nbRevisions=10156672 nbUselessRevisions=8798271
3.42 nbAssignments=11552 nbFailedAssignments=5661 nbBacktracks=5819 nbVisitedNodes=21505 nbRestartNogoods=77
3.42 => wckTime=2.602 cpuTime=2.49 mem=15M65
4.67
4.67 search
4.67 run=14 nbConstraintChecks=23571990 nbPropagations=783367 nbRevisions=15411154 nbUselessRevisions=13354033
4.67 nbAssignments=17477 nbFailedAssignments=8663 nbBacktracks=8738 nbVisitedNodes=32618 nbRestartNogoods=90
4.67 => wckTime=3.851 cpuTime=3.73 mem=15M65
6.41
6.41 search
6.41 run=15 nbConstraintChecks=34781087 nbPropagations=1174775 nbRevisions=23205993 nbUselessRevisions=20115494
6.41 nbAssignments=25983 nbFailedAssignments=12785 nbBacktracks=13116 nbVisitedNodes=48457 nbRestartNogoods=105
6.41 => wckTime=5.588 cpuTime=5.45 mem=15M65
9.08
9.08 search
9.08 run=16 nbConstraintChecks=52090036 nbPropagations=1761825 nbRevisions=34900872 nbUselessRevisions=30261495
9.08 nbAssignments=39012 nbFailedAssignments=19243 nbBacktracks=19684 nbVisitedNodes=72818 nbRestartNogoods=117
9.08 => wckTime=8.263 cpuTime=8.1 mem=15M65
13.09
13.09 search
13.09 run=17 nbConstraintChecks=78104921 nbPropagations=2642743 nbRevisions=52438282 nbUselessRevisions=45471041
13.09 nbAssignments=58579 nbFailedAssignments=28952 nbBacktracks=29537 nbVisitedNodes=109384 nbRestartNogoods=130
13.09 => wckTime=12.271 cpuTime=12.07 mem=15M65
19.34
19.34 search
19.34 run=18 nbConstraintChecks=120042629 nbPropagations=3975244 nbRevisions=79168811 nbUselessRevisions=68657961
19.34 nbAssignments=88026 nbFailedAssignments=43617 nbBacktracks=44315 nbVisitedNodes=164376 nbRestartNogoods=147
19.34 => wckTime=18.516 cpuTime=18.26 mem=15M65
28.36
28.36 search
28.36 run=19 nbConstraintChecks=179443519 nbPropagations=5966261 nbRevisions=119129223 nbUselessRevisions=103326128
28.36 nbAssignments=131701 nbFailedAssignments=65122 nbBacktracks=66483 nbVisitedNodes=245864 nbRestartNogoods=167
28.36 => wckTime=27.538 cpuTime=27.2 mem=15M65
41.98
41.98 search
41.98 run=20 nbConstraintChecks=268989550 nbPropagations=8952303 nbRevisions=179049627 nbUselessRevisions=155311125
41.98 nbAssignments=197611 nbFailedAssignments=97776 nbBacktracks=99735 nbVisitedNodes=368953 nbRestartNogoods=181
41.98 => wckTime=41.156 cpuTime=40.71 mem=15M65
62.66
62.66 search
62.66 run=21 nbConstraintChecks=405556314 nbPropagations=13442217 nbRevisions=269380181 nbUselessRevisions=233703957
62.66 nbAssignments=296357 nbFailedAssignments=146641 nbBacktracks=149614 nbVisitedNodes=553594 nbRestartNogoods=191
62.66 => wckTime=61.838 cpuTime=61.21 mem=15M65
93.59
93.59 search
93.59 run=22 nbConstraintChecks=609412579 nbPropagations=20178677 nbRevisions=405213606 nbUselessRevisions=351640979
93.59 nbAssignments=444153 nbFailedAssignments=219613 nbBacktracks=224434 nbVisitedNodes=829791 nbRestartNogoods=202
93.59 => wckTime=92.768 cpuTime=91.88 mem=15M65
140.40
140.40 search
140.40 run=23 nbConstraintChecks=919679985 nbPropagations=30309658 nbRevisions=610008241 nbUselessRevisions=529487619
140.40 nbAssignments=666357 nbFailedAssignments=329584 nbBacktracks=336662 nbVisitedNodes=1245264 nbRestartNogoods=221
140.40 => wckTime=139.577 cpuTime=138.3 mem=15M65
211.29
211.29 search
211.29 run=24 nbConstraintChecks=1392644248 nbPropagations=45566143 nbRevisions=919655519 nbUselessRevisions=798477999
211.29 nbAssignments=1000249 nbFailedAssignments=495130 nbBacktracks=505003 nbVisitedNodes=1869709
211.29 nbRestartNogoods=235
211.29 => wckTime=210.473 cpuTime=208.61 mem=15M65
230.10
230.10 search
230.10 run=25 nbConstraintChecks=1528489291 nbPropagations=62279569 nbRevisions=1259348047
230.10 nbUselessRevisions=1093604349 nbAssignments=1094528 nbFailedAssignments=541898 nbBacktracks=552515
230.10 nbVisitedNodes=2046175 nbRestartNogoods=253
230.10 => wckTime=229.277 cpuTime=227.37 mem=15M65
230.10
230.10 global
230.10 nbConstraintChecks=1528489291 nbPropagations=62279593 nbRevisions=1259348047 nbUselessRevisions=1093604349
230.10 nbRestartNogoods=253 solvingWckTime=229.278 solvingCpuTime=227.37 expiredTime=no totalExploration=yes
230.10 nbFoundSolutions=0 globalCpuTime=227.79
230.10 => wckTime=229.788 cpuTime=227.74 mem=15M65
230.10
230.10 s UNSATISFIABLE
230.10 d NODES 1094528
230.10 d CHECKS 1528489291
230.10
230.10 totalWckTime=229.868 totalCpuTime=227.8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-221747-1168080080 -o ROOT/results/node56/solver-221747-1168080080 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221747-1168080080/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.91 0.74 0.87 4/80 6542
/proc/meminfo: memFree=1626288/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=308 CPUtime=0
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 234 0 0 0 0 0 0 0 19 0 1 0 156406300 315392 40 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0
/proc/6541/statm: 77 40 31 14 0 5 0
[startup+0.10501 s]
/proc/loadavg: 0.91 0.74 0.87 4/80 6542
/proc/meminfo: memFree=1626288/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=914988 CPUtime=0.09
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 3000 0 1 0 8 1 0 0 17 0 8 0 156406300 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513049 s]
/proc/loadavg: 0.91 0.74 0.87 4/80 6542
/proc/meminfo: memFree=1626288/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915328 CPUtime=0.5
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 6981 0 1 0 47 3 0 0 17 0 8 0 156406300 937295872 6720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228832 6720 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33571 s]
/proc/loadavg: 0.91 0.74 0.87 3/87 6549
/proc/meminfo: memFree=1602808/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915452 CPUtime=1.31
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 8611 0 1 0 125 6 0 0 22 0 8 0 156406300 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228863 8349 2513 14 0 215333 0
[pid=6541/tid=6543] ppid=6539 vsize=915452 CPUtime=0.03
/proc/6541/task/6543/stat : 6543 (java) S 6539 6541 6230 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156406304 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6544] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6544/stat : 6544 (java) S 6539 6541 6230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156406305 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6545] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6545/stat : 6545 (java) S 6539 6541 6230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156406305 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6546] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6546/stat : 6546 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156406308 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6547] ppid=6539 vsize=915452 CPUtime=0.21
/proc/6541/task/6547/stat : 6547 (java) S 6539 6541 6230 0 -1 64 380 0 0 0 20 1 0 0 15 0 8 0 156406308 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6548] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6548/stat : 6548 (java) S 6539 6541 6230 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156406308 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6549] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6549/stat : 6549 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156406308 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.97328 s]
/proc/loadavg: 0.99 0.76 0.88 3/87 6549
/proc/meminfo: memFree=1602552/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915452 CPUtime=2.93
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 8638 0 1 0 287 6 0 0 25 0 8 0 156406300 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228863 8375 2513 14 0 215333 0
[pid=6541/tid=6543] ppid=6539 vsize=915452 CPUtime=0.03
/proc/6541/task/6543/stat : 6543 (java) S 6539 6541 6230 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156406304 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6544] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6544/stat : 6544 (java) S 6539 6541 6230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156406305 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6545] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6545/stat : 6545 (java) S 6539 6541 6230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156406305 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6546] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6546/stat : 6546 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156406308 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6547] ppid=6539 vsize=915452 CPUtime=0.22
/proc/6541/task/6547/stat : 6547 (java) S 6539 6541 6230 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 156406308 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6548] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6548/stat : 6548 (java) S 6539 6541 6230 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156406308 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6549] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6549/stat : 6549 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156406308 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.27061 s]
/proc/loadavg: 0.99 0.76 0.88 3/87 6549
/proc/meminfo: memFree=1602488/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915452 CPUtime=6.2
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 8645 0 1 0 614 6 0 0 25 0 8 0 156406300 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810309 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228863 8382 2513 14 0 215333 0
[pid=6541/tid=6543] ppid=6539 vsize=915452 CPUtime=0.03
/proc/6541/task/6543/stat : 6543 (java) S 6539 6541 6230 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156406304 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6544] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6544/stat : 6544 (java) S 6539 6541 6230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156406305 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6545] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6545/stat : 6545 (java) S 6539 6541 6230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156406305 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6546] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6546/stat : 6546 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156406308 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6547] ppid=6539 vsize=915452 CPUtime=0.23
/proc/6541/task/6547/stat : 6547 (java) S 6539 6541 6230 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 156406308 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6548] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6548/stat : 6548 (java) S 6539 6541 6230 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156406308 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6549] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6549/stat : 6549 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156406308 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
[startup+12.7382 s]
/proc/loadavg: 1.15 0.80 0.89 3/87 6549
/proc/meminfo: memFree=1602496/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915452 CPUtime=12.6
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 8651 0 1 0 1254 6 0 0 25 0 8 0 156406300 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228863 8387 2513 14 0 215333 0
[pid=6541/tid=6543] ppid=6539 vsize=915452 CPUtime=0.03
/proc/6541/task/6543/stat : 6543 (java) S 6539 6541 6230 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156406304 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6544] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6544/stat : 6544 (java) S 6539 6541 6230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156406305 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6545] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6545/stat : 6545 (java) S 6539 6541 6230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156406305 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6546] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6546/stat : 6546 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156406308 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6547] ppid=6539 vsize=915452 CPUtime=0.23
/proc/6541/task/6547/stat : 6547 (java) S 6539 6541 6230 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 156406308 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6548] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6548/stat : 6548 (java) S 6539 6541 6230 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156406308 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6549] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6549/stat : 6549 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156406308 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452
[startup+25.6015 s]
/proc/loadavg: 1.28 0.84 0.90 3/87 6549
/proc/meminfo: memFree=1602496/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915452 CPUtime=25.36
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 8656 0 1 0 2530 6 0 0 25 0 8 0 156406300 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228863 8392 2513 14 0 215333 0
[pid=6541/tid=6543] ppid=6539 vsize=915452 CPUtime=0.03
/proc/6541/task/6543/stat : 6543 (java) S 6539 6541 6230 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156406304 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6544] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6544/stat : 6544 (java) S 6539 6541 6230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156406305 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6545] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6545/stat : 6545 (java) S 6539 6541 6230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156406305 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6546] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6546/stat : 6546 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156406308 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6547] ppid=6539 vsize=915452 CPUtime=0.23
/proc/6541/task/6547/stat : 6547 (java) S 6539 6541 6230 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 156406308 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6548] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6548/stat : 6548 (java) S 6539 6541 6230 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156406308 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6549] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6549/stat : 6549 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156406308 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915452
[startup+51.203 s]
/proc/loadavg: 1.52 0.93 0.93 3/87 6549
/proc/meminfo: memFree=1602560/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915452 CPUtime=50.73
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 8661 0 1 0 5067 6 0 0 25 0 8 0 156406300 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228863 8397 2513 14 0 215333 0
[pid=6541/tid=6543] ppid=6539 vsize=915452 CPUtime=0.03
/proc/6541/task/6543/stat : 6543 (java) S 6539 6541 6230 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156406304 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6544] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6544/stat : 6544 (java) S 6539 6541 6230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156406305 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6545] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6545/stat : 6545 (java) S 6539 6541 6230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156406305 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6546] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6546/stat : 6546 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156406308 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6547] ppid=6539 vsize=915452 CPUtime=0.23
/proc/6541/task/6547/stat : 6547 (java) S 6539 6541 6230 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 156406308 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6548] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6548/stat : 6548 (java) S 6539 6541 6230 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156406308 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6549] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6549/stat : 6549 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156406308 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915452
[startup+102.499 s]
/proc/loadavg: 1.79 1.09 0.98 3/87 6549
/proc/meminfo: memFree=1602496/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915452 CPUtime=101.6
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 8666 0 1 0 10154 6 0 0 25 0 8 0 156406300 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228863 8402 2513 14 0 215333 0
[pid=6541/tid=6543] ppid=6539 vsize=915452 CPUtime=0.03
/proc/6541/task/6543/stat : 6543 (java) S 6539 6541 6230 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156406304 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6544] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6544/stat : 6544 (java) S 6539 6541 6230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156406305 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6545] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6545/stat : 6545 (java) S 6539 6541 6230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156406305 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6546] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6546/stat : 6546 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156406308 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6547] ppid=6539 vsize=915452 CPUtime=0.23
/proc/6541/task/6547/stat : 6547 (java) S 6539 6541 6230 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 156406308 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6548] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6548/stat : 6548 (java) S 6539 6541 6230 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156406308 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6549] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6549/stat : 6549 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156406308 937422848 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915452
[startup+162.54 s]
/proc/loadavg: 1.92 1.25 1.04 3/87 6549
/proc/meminfo: memFree=1602496/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915452 CPUtime=161.14
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 8668 0 1 0 16108 6 0 0 25 0 8 0 156406300 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6541/statm: 228863 8404 2513 14 0 215333 0
[pid=6541/tid=6543] ppid=6539 vsize=915452 CPUtime=0.03
/proc/6541/task/6543/stat : 6543 (java) S 6539 6541 6230 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156406304 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6544] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6544/stat : 6544 (java) S 6539 6541 6230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156406305 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6545] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6545/stat : 6545 (java) S 6539 6541 6230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156406305 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6546] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6546/stat : 6546 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156406308 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6547] ppid=6539 vsize=915452 CPUtime=0.23
/proc/6541/task/6547/stat : 6547 (java) S 6539 6541 6230 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 156406308 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6548] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6548/stat : 6548 (java) S 6539 6541 6230 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156406308 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6549] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6549/stat : 6549 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156406308 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.14
Current children cumulated vsize (KiB) 915452
[startup+222.577 s]
/proc/loadavg: 1.89 1.37 1.10 2/75 6672
/proc/meminfo: memFree=1628320/2055920 swapFree=4184772/4192956
[pid=6541] ppid=6539 vsize=915452 CPUtime=220.76
/proc/6541/stat : 6541 (java) R 6539 6541 6230 0 -1 0 8671 0 1 0 22068 8 0 0 25 0 8 0 156406300 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6541/statm: 228863 8407 2513 14 0 215333 0
[pid=6541/tid=6543] ppid=6539 vsize=915452 CPUtime=0.03
/proc/6541/task/6543/stat : 6543 (java) S 6539 6541 6230 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156406304 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6544] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6544/stat : 6544 (java) S 6539 6541 6230 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156406305 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6545] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6545/stat : 6545 (java) S 6539 6541 6230 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156406305 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6546] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6546/stat : 6546 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156406308 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6547] ppid=6539 vsize=915452 CPUtime=0.23
/proc/6541/task/6547/stat : 6547 (java) S 6539 6541 6230 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 156406308 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6548] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6548/stat : 6548 (java) S 6539 6541 6230 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156406308 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6541/tid=6549] ppid=6539 vsize=915452 CPUtime=0
/proc/6541/task/6549/stat : 6549 (java) S 6539 6541 6230 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156406308 937422848 8407 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.76
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 230.146
CPU time (s): 228.278
CPU user time (s): 228.182
CPU system time (s): 0.095985
CPU usage (%): 99.1885
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.182
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8762
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5659
involuntary context switches= 12751
runsolver used 0.321951 s user time and 0.626904 s system time
The end
Begin job on node56 on Sat Jan 6 10:41:20 UTC 2007
IDJOB= 221747
IDBENCH= 5466
FILE ID= node56/221747-1168080080
PBS_JOBID= 3476154
Free space on /tmp= 66519 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-54021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221747-1168080080/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-221747-1168080080 -o ROOT/results/node56/solver-221747-1168080080 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221747-1168080080/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a6fde96fec027ebcf35c7c234300ac23
RANDOM SEED= 804675905
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.232
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.232
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: 1626768 kB
Buffers: 29656 kB
Cached: 294004 kB
SwapCached: 2060 kB
Active: 86584 kB
Inactive: 275120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1626768 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 3764 kB
Writeback: 0 kB
Mapped: 55112 kB
Slab: 52696 kB
Committed_AS: 3523248 kB
PageTables: 1960 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= 66521 MiB
End job on node56 on Sat Jan 6 10:45:14 UTC 2007