0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/202582-1168072587/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=334 nbRelationTypes=334 nbExtensionStructures=334 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=334 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2807 maxDegree=23
0.59 maxArity=2
0.59 => wckTime=0.299 cpuTime=0.22 mem=12M803
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.483 cpuTime=0.34 mem=13M918
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0050 cpuTime=0.0 mem=13M918
0.83
0.83 search
0.83 run=0 nbConstraintChecks=34600 nbPropagations=541 nbRevisions=5701 nbUselessRevisions=4637 nbAssignments=29
0.83 nbFailedAssignments=8 nbBacktracks=13 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.051 cpuTime=0.03 mem=14M893
0.85
0.85 search
0.85 run=1 nbConstraintChecks=87909 nbPropagations=1891 nbRevisions=22111 nbUselessRevisions=18051 nbAssignments=68
0.85 nbFailedAssignments=23 nbBacktracks=30 nbVisitedNodes=112 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.074 cpuTime=0.05 mem=14M893
0.88
0.88 search
0.88 run=2 nbConstraintChecks=170649 nbPropagations=4405 nbRevisions=53624 nbUselessRevisions=43740
0.88 nbAssignments=118 nbFailedAssignments=43 nbBacktracks=54 nbVisitedNodes=201 nbRestartNogoods=5 mapSize=48
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.099 cpuTime=0.08 mem=14M893
0.90
0.90 search
0.90 run=3 nbConstraintChecks=260169 nbPropagations=8218 nbRevisions=102426 nbUselessRevisions=83301
0.90 nbAssignments=189 nbFailedAssignments=72 nbBacktracks=90 nbVisitedNodes=321 nbRestartNogoods=9 mapSize=79
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.117 cpuTime=0.1 mem=14M893
0.92
0.92 search
0.92 run=4 nbConstraintChecks=370925 nbPropagations=13769 nbRevisions=174003 nbUselessRevisions=141480
0.92 nbAssignments=284 nbFailedAssignments=106 nbBacktracks=142 nbVisitedNodes=484 nbRestartNogoods=11 mapSize=124
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.142 cpuTime=0.12 mem=14M893
0.96
0.96 search
0.96 run=5 nbConstraintChecks=553069 nbPropagations=21877 nbRevisions=280459 nbUselessRevisions=227825
0.96 nbAssignments=422 nbFailedAssignments=161 nbBacktracks=219 nbVisitedNodes=722 nbRestartNogoods=15 mapSize=188
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.18 cpuTime=0.16 mem=14M893
1.02
1.02 search
1.02 run=6 nbConstraintChecks=851324 nbPropagations=34317 nbRevisions=445685 nbUselessRevisions=361803
1.02 nbAssignments=645 nbFailedAssignments=262 nbBacktracks=332 nbVisitedNodes=1112 nbRestartNogoods=18 mapSize=294
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.237 cpuTime=0.21 mem=14M893
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1274486 nbPropagations=52707 nbRevisions=693762 nbUselessRevisions=562508
1.10 nbAssignments=973 nbFailedAssignments=413 nbBacktracks=502 nbVisitedNodes=1687 nbRestartNogoods=26 mapSize=438
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.316 cpuTime=0.29 mem=14M893
1.22
1.22 search
1.22 run=8 nbConstraintChecks=1910277 nbPropagations=80446 nbRevisions=1070466 nbUselessRevisions=867808
1.22 nbAssignments=1439 nbFailedAssignments=617 nbBacktracks=758 nbVisitedNodes=2525 nbRestartNogoods=32
1.22 mapSize=664 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.438 cpuTime=0.4 mem=14M893
1.40
1.40 search
1.40 run=9 nbConstraintChecks=2946254 nbPropagations=122011 nbRevisions=1646486 nbUselessRevisions=1334084
1.40 nbAssignments=2186 nbFailedAssignments=973 nbBacktracks=1142 nbVisitedNodes=3871 nbRestartNogoods=40
1.40 mapSize=1001 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.618 cpuTime=0.56 mem=14M893
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=14M893)
1.63
1.63 search
1.63 run=10 nbConstraintChecks=4456086 nbPropagations=184743 nbRevisions=2510266 nbUselessRevisions=2031984
1.63 nbAssignments=3261 nbFailedAssignments=1464 nbBacktracks=1720 nbVisitedNodes=5801 nbRestartNogoods=51
1.64 => wckTime=0.853 cpuTime=0.79 mem=14M893
1.92
1.92 search
1.92 run=11 nbConstraintChecks=6317052 nbPropagations=273665 nbRevisions=3742301 nbUselessRevisions=3029148
1.92 nbAssignments=4689 nbFailedAssignments=2019 nbBacktracks=2585 nbVisitedNodes=8273 nbRestartNogoods=60
1.92 => wckTime=1.138 cpuTime=1.08 mem=14M893
2.41
2.41 search
2.41 run=12 nbConstraintChecks=9545171 nbPropagations=408487 nbRevisions=5613858 nbUselessRevisions=4542978
2.41 nbAssignments=7048 nbFailedAssignments=3073 nbBacktracks=3884 nbVisitedNodes=12476 nbRestartNogoods=71
2.41 => wckTime=1.629 cpuTime=1.56 mem=14M893
3.10
3.10 search
3.10 run=13 nbConstraintChecks=14136540 nbPropagations=607908 nbRevisions=8398655 nbUselessRevisions=6797874
3.10 nbAssignments=10483 nbFailedAssignments=4554 nbBacktracks=5830 nbVisitedNodes=18557 nbRestartNogoods=83
3.10 => wckTime=2.323 cpuTime=2.26 mem=14M893
4.19
4.19 search
4.19 run=14 nbConstraintChecks=21339285 nbPropagations=905841 nbRevisions=12569975 nbUselessRevisions=10172659
4.19 nbAssignments=15756 nbFailedAssignments=6902 nbBacktracks=8749 nbVisitedNodes=27915 nbRestartNogoods=96
4.19 => wckTime=3.406 cpuTime=3.32 mem=14M893
5.82
5.82 search
5.82 run=15 nbConstraintChecks=32045808 nbPropagations=1355717 nbRevisions=18798097 nbUselessRevisions=15202174
5.82 nbAssignments=23573 nbFailedAssignments=10333 nbBacktracks=13127 nbVisitedNodes=41842 nbRestartNogoods=101
5.82 => wckTime=5.036 cpuTime=4.93 mem=14M893
8.14
8.14 search
8.14 run=16 nbConstraintChecks=47202012 nbPropagations=2021772 nbRevisions=28082502 nbUselessRevisions=22714304
8.14 nbAssignments=35120 nbFailedAssignments=15305 nbBacktracks=19695 nbVisitedNodes=62247 nbRestartNogoods=111
8.14 => wckTime=7.355 cpuTime=7.23 mem=14M893
11.63
11.63 search
11.63 run=17 nbConstraintChecks=70100917 nbPropagations=3018099 nbRevisions=41955996 nbUselessRevisions=33945042
11.63 nbAssignments=52464 nbFailedAssignments=22791 nbBacktracks=29547 nbVisitedNodes=93092 nbRestartNogoods=120
11.63 => wckTime=10.851 cpuTime=10.71 mem=14M893
16.99
16.99 search
16.99 run=18 nbConstraintChecks=106370314 nbPropagations=4521973 nbRevisions=62753103 nbUselessRevisions=50739948
16.99 nbAssignments=78917 nbFailedAssignments=34458 nbBacktracks=44326 nbVisitedNodes=139969 nbRestartNogoods=129
16.99 => wckTime=16.208 cpuTime=16.05 mem=14M893
24.58
24.58 search
24.58 run=19 nbConstraintChecks=157246834 nbPropagations=6734284 nbRevisions=93585390 nbUselessRevisions=75696590
24.58 nbAssignments=116719 nbFailedAssignments=50085 nbBacktracks=66495 nbVisitedNodes=206466 nbRestartNogoods=137
24.58 => wckTime=23.799 cpuTime=23.62 mem=14M893
36.55
36.55 search
36.55 run=20 nbConstraintChecks=236738491 nbPropagations=10077686 nbRevisions=139902456 nbUselessRevisions=113128049
36.55 nbAssignments=175684 nbFailedAssignments=75790 nbBacktracks=99748 nbVisitedNodes=311028 nbRestartNogoods=151
36.55 => wckTime=35.767 cpuTime=35.53 mem=14M893
53.83
53.83 search
53.83 run=21 nbConstraintChecks=352319590 nbPropagations=15023213 nbRevisions=208860386 nbUselessRevisions=168947847
53.83 nbAssignments=261856 nbFailedAssignments=112080 nbBacktracks=149626 nbVisitedNodes=462751 nbRestartNogoods=166
53.83 => wckTime=53.048 cpuTime=52.72 mem=14M893
80.41
80.41 search
80.41 run=22 nbConstraintChecks=530726616 nbPropagations=22451179 nbRevisions=312814655 nbUselessRevisions=253126561
80.41 nbAssignments=393281 nbFailedAssignments=168681 nbBacktracks=224444 nbVisitedNodes=695161 nbRestartNogoods=176
80.41 => wckTime=79.632 cpuTime=79.2 mem=14M893
120.97
120.97 search
120.97 run=23 nbConstraintChecks=803365508 nbPropagations=33652699 nbRevisions=470028888 nbUselessRevisions=380460098
120.97 nbAssignments=591690 nbFailedAssignments=254854 nbBacktracks=336672 nbVisitedNodes=1046620 nbRestartNogoods=186
120.97 => wckTime=120.185 cpuTime=119.57 mem=14M893
182.28
182.28 search
182.28 run=24 nbConstraintChecks=1217855243 nbPropagations=50534131 nbRevisions=707675794 nbUselessRevisions=572978901
182.28 nbAssignments=886390 nbFailedAssignments=381209 nbBacktracks=505013 nbVisitedNodes=1567898 nbRestartNogoods=197
182.28 => wckTime=181.5 cpuTime=180.62 mem=14M893
226.67
226.67 search
226.67 run=25 nbConstraintChecks=1521246115 nbPropagations=71505146 nbRevisions=1002971460
226.67 nbUselessRevisions=812079634 nbAssignments=1096362 nbFailedAssignments=470887 nbBacktracks=625308
226.67 nbVisitedNodes=1938515 nbRestartNogoods=204
226.67 => wckTime=225.886 cpuTime=224.81 mem=14M893
226.67
226.67 global
226.67 nbConstraintChecks=1521246115 nbPropagations=71505186 nbRevisions=1002971460 nbUselessRevisions=812079634
226.67 nbRestartNogoods=204 solvingWckTime=225.887 solvingCpuTime=224.81 expiredTime=no totalExploration=yes
226.67 nbFoundSolutions=0 globalCpuTime=225.2
226.67 => wckTime=226.374 cpuTime=225.15 mem=14M893
226.67
226.67 s UNSATISFIABLE
226.67 d NODES 1096362
226.67 d CHECKS 1521246115
226.67
226.67 totalWckTime=226.451 totalCpuTime=225.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-202582-1168072587 -o ROOT/results/node55/solver-202582-1168072587 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202582-1168072587/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.77 0.93 0.97 3/73 10956
/proc/meminfo: memFree=1311320/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=1784 CPUtime=0
/proc/10955/stat : 10955 (java) D 10953 10955 10846 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 155656941 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/10955/statm: 446 158 123 14 0 91 0
[startup+0.107681 s]
/proc/loadavg: 0.77 0.93 0.97 3/73 10956
/proc/meminfo: memFree=1311320/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=914988 CPUtime=0.09
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 3059 0 1 0 7 2 0 0 24 0 8 0 155656941 936947712 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228747 2805 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515722 s]
/proc/loadavg: 0.77 0.93 0.97 3/73 10956
/proc/meminfo: memFree=1311320/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915328 CPUtime=0.49
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 6984 0 1 0 45 4 0 0 25 0 8 0 155656941 937295872 6723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073646772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228832 6724 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3418 s]
/proc/loadavg: 0.77 0.93 0.97 3/87 10970
/proc/meminfo: memFree=1264040/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=1.31
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8640 0 1 0 124 7 0 0 25 0 8 0 155656941 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8378 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.2
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 155656949 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.99496 s]
/proc/loadavg: 0.77 0.93 0.97 3/87 10970
/proc/meminfo: memFree=1263528/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=2.96
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8664 0 1 0 289 7 0 0 25 0 8 0 155656941 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8401 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915456
[startup+6.27927 s]
/proc/loadavg: 0.87 0.95 0.98 5/87 10970
/proc/meminfo: memFree=1263336/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=6.2
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8672 0 1 0 613 7 0 0 25 0 8 0 155656941 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8409 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7659 s]
/proc/loadavg: 0.96 0.96 0.98 3/87 10970
/proc/meminfo: memFree=1263288/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=12.66
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8678 0 1 0 1259 7 0 0 25 0 8 0 155656941 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8414 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8414 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456
[startup+25.6022 s]
/proc/loadavg: 1.19 1.02 1.00 3/87 10970
/proc/meminfo: memFree=1263352/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=25.44
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8683 0 1 0 2537 7 0 0 25 0 8 0 155656941 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8419 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915456
[startup+51.2046 s]
/proc/loadavg: 1.46 1.09 1.03 3/87 10970
/proc/meminfo: memFree=1263352/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=50.92
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8685 0 1 0 5085 7 0 0 25 0 8 0 155656941 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8421 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915456
[startup+102.507 s]
/proc/loadavg: 1.77 1.23 1.07 3/87 10970
/proc/meminfo: memFree=1263352/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=102.01
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8690 0 1 0 10193 8 0 0 25 0 8 0 155656941 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8426 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 915456
[startup+162.55 s]
/proc/loadavg: 1.91 1.37 1.13 3/87 10970
/proc/meminfo: memFree=1263352/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=161.79
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8692 0 1 0 16171 8 0 0 25 0 8 0 155656941 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831481 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8428 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.79
Current children cumulated vsize (KiB) 915456
[startup+222.596 s]
/proc/loadavg: 1.97 1.48 1.18 3/87 10970
/proc/meminfo: memFree=1263288/2055920 swapFree=4192812/4192956
[pid=10955] ppid=10953 vsize=915456 CPUtime=221.58
/proc/10955/stat : 10955 (java) R 10953 10955 10846 0 -1 0 8695 0 1 0 22150 8 0 0 25 0 8 0 155656941 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811522 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10955/statm: 228864 8431 2513 14 0 215334 0
[pid=10955/tid=10957] ppid=10953 vsize=915456 CPUtime=0.03
/proc/10955/task/10957/stat : 10957 (java) S 10953 10955 10846 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155656945 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10959] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10959/stat : 10959 (java) S 10953 10955 10846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155656945 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10960] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10960/stat : 10960 (java) S 10953 10955 10846 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155656945 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10963] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10963/stat : 10963 (java) S 10953 10955 10846 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155656949 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10964] ppid=10953 vsize=915456 CPUtime=0.21
/proc/10955/task/10964/stat : 10964 (java) S 10953 10955 10846 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 155656949 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10965] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10965/stat : 10965 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155656949 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10955/tid=10966] ppid=10953 vsize=915456 CPUtime=0
/proc/10955/task/10966/stat : 10966 (java) S 10953 10955 10846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155656949 937426944 8431 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.58
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 226.693
CPU time (s): 225.652
CPU user time (s): 225.561
CPU system time (s): 0.090986
CPU usage (%): 99.5406
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.561
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8788
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= 5742
involuntary context switches= 9060
runsolver used 0.296954 s user time and 0.716891 s system time
The end
Begin job on node55 on Sat Jan 6 08:36:27 UTC 2007
IDJOB= 202582
IDBENCH= 3867
FILE ID= node55/202582-1168072587
PBS_JOBID= 3475985
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202582-1168072587/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-202582-1168072587 -o ROOT/results/node55/solver-202582-1168072587 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202582-1168072587/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d4c73cc20c680b56840c44ce0cb31ef5
RANDOM SEED= 545531158
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.218
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 : 5931.00
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.218
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: 1312280 kB
Buffers: 54892 kB
Cached: 585872 kB
SwapCached: 0 kB
Active: 108712 kB
Inactive: 552148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1312280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3992 kB
Writeback: 0 kB
Mapped: 30208 kB
Slab: 68520 kB
Committed_AS: 2960520 kB
PageTables: 1596 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= 66542 MiB
End job on node55 on Sat Jan 6 08:40:14 UTC 2007