0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/218224-1168079580/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.66
0.66 constraints being loaded...
0.82 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.82 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
0.82 => wckTime=0.509 cpuTime=0.46 mem=43M600
0.89
0.89 solver IterativeSystematicSolver being built...
1.04 => wckTime=0.737 cpuTime=0.58 mem=21M560
1.05
1.05 preprocessing
1.05 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.05 detectedInconsistency=no
1.05 => wckTime=0.0020 cpuTime=0.01 mem=21M560
1.13
1.13 search
1.13 run=0 nbConstraintChecks=19605 nbValidityChecks=35044 nbPropagations=275 nbRevisions=2719
1.13 nbUselessRevisions=2170 nbAssignments=26 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=45
1.13 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.087 cpuTime=0.06 mem=21M560
1.19
1.19 search
1.19 run=1 nbConstraintChecks=53316 nbValidityChecks=94747 nbPropagations=909 nbRevisions=9209
1.19 nbUselessRevisions=7279 nbAssignments=63 nbFailedAssignments=29 nbBacktracks=27 nbVisitedNodes=108
1.19 nbRestartNogoods=3 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.14 cpuTime=0.11 mem=21M560
1.28
1.28 search
1.28 run=2 nbConstraintChecks=120462 nbValidityChecks=231223 nbPropagations=2413 nbRevisions=25094
1.28 nbUselessRevisions=19808 nbAssignments=140 nbFailedAssignments=81 nbBacktracks=49 nbVisitedNodes=255
1.28 nbRestartNogoods=6 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.239 cpuTime=0.2 mem=21M560
1.39
1.39 search
1.39 run=3 nbConstraintChecks=201617 nbValidityChecks=377868 nbPropagations=4712 nbRevisions=50033
1.39 nbUselessRevisions=39395 nbAssignments=211 nbFailedAssignments=115 nbBacktracks=82 nbVisitedNodes=380
1.39 nbRestartNogoods=11 mapSize=70 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.348 cpuTime=0.3 mem=21M560
1.59
1.59 search
1.59 run=4 nbConstraintChecks=359068 nbValidityChecks=661068 nbPropagations=8521 nbRevisions=92324
1.59 nbUselessRevisions=72378 nbAssignments=339 nbFailedAssignments=188 nbBacktracks=133 nbVisitedNodes=615
1.59 nbRestartNogoods=14 mapSize=110 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.539 cpuTime=0.48 mem=21M560
1.82
1.82 search
1.82 run=5 nbConstraintChecks=559097 nbValidityChecks=1039620 nbPropagations=14399 nbRevisions=160039
1.82 nbUselessRevisions=125557 nbAssignments=527 nbFailedAssignments=298 nbBacktracks=208 nbVisitedNodes=967
1.82 nbRestartNogoods=21 mapSize=177 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.772 cpuTime=0.71 mem=21M560
2.03
2.03 search
2.03 run=6 nbConstraintChecks=738417 nbValidityChecks=1381952 nbPropagations=22704 nbRevisions=253776
2.03 nbUselessRevisions=199138 nbAssignments=765 nbFailedAssignments=419 nbBacktracks=322 nbVisitedNodes=1389
2.03 nbRestartNogoods=26 mapSize=265 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.988 cpuTime=0.93 mem=21M560
2.70
2.70 search
2.70 run=7 nbConstraintChecks=1315435 nbValidityChecks=2446504 nbPropagations=36565 nbRevisions=416050
2.70 nbUselessRevisions=326335 nbAssignments=1244 nbFailedAssignments=723 nbBacktracks=494 nbVisitedNodes=2297
2.70 nbRestartNogoods=40 mapSize=430 nbInferences=0 nbTooLargeKeys=0
2.70 => wckTime=1.653 cpuTime=1.58 mem=21M560
3.23
3.23 search
3.23 run=8 nbConstraintChecks=1754973 nbValidityChecks=3250118 nbPropagations=55894 nbRevisions=636876
3.23 nbUselessRevisions=498854 nbAssignments=1767 nbFailedAssignments=987 nbBacktracks=752 nbVisitedNodes=3217
3.23 nbRestartNogoods=47 mapSize=625 nbInferences=0 nbTooLargeKeys=0
3.23 => wckTime=2.184 cpuTime=2.09 mem=21M560
4.34
4.34 search
4.34 run=9 nbConstraintChecks=2710402 nbValidityChecks=5105235 nbPropagations=86827 nbRevisions=989972
4.34 nbUselessRevisions=774824 nbAssignments=2748 nbFailedAssignments=1581 nbBacktracks=1136 nbVisitedNodes=5078
4.34 nbRestartNogoods=51 mapSize=988 nbInferences=0 nbTooLargeKeys=0
4.34 => wckTime=3.293 cpuTime=3.19 mem=21M560
4.51
4.51 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=21M560)
5.49
5.49 search
5.49 run=10 nbConstraintChecks=3724005 nbValidityChecks=6932448 nbPropagations=129389 nbRevisions=1469528
5.49 nbUselessRevisions=1148310 nbAssignments=3872 nbFailedAssignments=2125 nbBacktracks=1714 nbVisitedNodes=7058
5.49 nbRestartNogoods=61
5.49 => wckTime=4.446 cpuTime=4.34 mem=21M560
7.20
7.20 search
7.20 run=11 nbConstraintChecks=5263861 nbValidityChecks=9764189 nbPropagations=190352 nbRevisions=2145185
7.20 nbUselessRevisions=1673192 nbAssignments=5612 nbFailedAssignments=2998 nbBacktracks=2578 nbVisitedNodes=10144
7.20 nbRestartNogoods=82
7.20 => wckTime=6.155 cpuTime=6.04 mem=21M560
10.38
10.38 search
10.38 run=12 nbConstraintChecks=8190405 nbValidityChecks=15406327 nbPropagations=288087 nbRevisions=3207709
10.38 nbUselessRevisions=2497433 nbAssignments=8674 nbFailedAssignments=4759 nbBacktracks=3877 nbVisitedNodes=15879
10.38 nbRestartNogoods=98
10.38 => wckTime=9.334 cpuTime=9.22 mem=21M560
15.16
15.16 search
15.16 run=13 nbConstraintChecks=12376881 nbValidityChecks=23153927 nbPropagations=432941 nbRevisions=4796595
15.16 nbUselessRevisions=3728616 nbAssignments=12741 nbFailedAssignments=6876 nbBacktracks=5825 nbVisitedNodes=23217
15.16 nbRestartNogoods=113
15.16 => wckTime=14.119 cpuTime=14.0 mem=21M560
22.36
22.36 search
22.36 run=14 nbConstraintChecks=18962790 nbValidityChecks=35195371 nbPropagations=646059 nbRevisions=7174124
22.36 nbUselessRevisions=5574285 nbAssignments=19321 nbFailedAssignments=10535 nbBacktracks=8744 nbVisitedNodes=35234
22.36 nbRestartNogoods=130
22.36 => wckTime=21.313 cpuTime=21.2 mem=22M527
32.30
32.30 search
32.30 run=15 nbConstraintChecks=27798541 nbValidityChecks=51404821 nbPropagations=960295 nbRevisions=10654709
32.30 nbUselessRevisions=8272794 nbAssignments=28498 nbFailedAssignments=15329 nbBacktracks=13122
32.30 nbVisitedNodes=51686 nbRestartNogoods=153
32.30 => wckTime=31.256 cpuTime=31.12 mem=22M527
45.09
45.09 search
45.09 run=16 nbConstraintChecks=39310450 nbValidityChecks=73049091 nbPropagations=1400625 nbRevisions=15588592
45.09 nbUselessRevisions=12105330 nbAssignments=40210 nbFailedAssignments=21956 nbBacktracks=18187
45.09 nbVisitedNodes=73184 nbRestartNogoods=181
45.09 => wckTime=44.049 cpuTime=43.91 mem=22M527
45.10
45.10 global
45.10 nbConstraintChecks=39310450 nbValidityChecks=73049091 nbPropagations=1400645 nbRevisions=15588592
45.10 nbUselessRevisions=12105330 nbRestartNogoods=181 solvingWckTime=44.05 solvingCpuTime=43.91 expiredTime=no
45.10 totalExploration=no nbFoundSolutions=1 globalCpuTime=44.55
45.10 => wckTime=44.79 cpuTime=44.5 mem=22M527
45.10
45.10 s SATISFIABLE
45.10 v 12 12 15 3 2 7 13 13 17 10 8 16 3 11 17 7 19 2 6 13
45.10 d NODES 40210
45.10 d CHECKS 39310450
45.10
45.10 totalWckTime=44.868 totalCpuTime=44.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-218224-1168079580 -o ROOT/results/node55/solver-218224-1168079580 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218224-1168079580/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.92 0.98 0.99 3/69 11961
/proc/meminfo: memFree=1287728/2055920 swapFree=4192812/4192956
[pid=11960] ppid=11958 vsize=1784 CPUtime=0
/proc/11960/stat : 11960 (java) D 11958 11960 11855 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156356340 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/11960/statm: 446 136 102 14 0 91 0
[startup+0.106779 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 11961
/proc/meminfo: memFree=1287728/2055920 swapFree=4192812/4192956
[pid=11960] ppid=11958 vsize=914988 CPUtime=0.08
/proc/11960/stat : 11960 (java) R 11958 11960 11855 0 -1 0 3029 0 1 0 7 1 0 0 17 0 8 0 156356340 936947712 2775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153589072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11960/statm: 228747 2775 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514821 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 11961
/proc/meminfo: memFree=1287728/2055920 swapFree=4192812/4192956
[pid=11960] ppid=11958 vsize=915328 CPUtime=0.49
/proc/11960/stat : 11960 (java) R 11958 11960 11855 0 -1 0 7875 0 1 0 44 5 0 0 17 0 8 0 156356340 937295872 7614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11960/statm: 228832 7615 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3359 s]
/proc/loadavg: 0.92 0.98 0.99 4/87 12006
/proc/meminfo: memFree=1191008/2055920 swapFree=4192812/4192956
[pid=11960] ppid=11958 vsize=915460 CPUtime=1.31
/proc/11960/stat : 11960 (java) R 11958 11960 11855 0 -1 0 17376 0 1 0 121 10 0 0 23 0 8 0 156356340 937431040 17113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073731013 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11960/statm: 228865 17113 2517 14 0 215335 0
[pid=11960/tid=11962] ppid=11958 vsize=915460 CPUtime=0.06
/proc/11960/task/11962/stat : 11962 (java) S 11958 11960 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156356344 937431040 17113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11963] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11963/stat : 11963 (java) S 11958 11960 11855 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156356344 937431040 17113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11964] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11964/stat : 11964 (java) S 11958 11960 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156356344 937431040 17113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11965] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11965/stat : 11965 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156356347 937431040 17113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11966] ppid=11958 vsize=915460 CPUtime=0.16
/proc/11960/task/11966/stat : 11966 (java) S 11958 11960 11855 0 -1 64 360 0 0 0 15 1 0 0 15 0 8 0 156356347 937431040 17113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11967] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11967/stat : 11967 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156356347 937431040 17113 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11968] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11968/stat : 11968 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156356347 937431040 17113 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) 915460
[startup+2.97406 s]
/proc/loadavg: 0.92 0.98 0.99 4/87 12006
/proc/meminfo: memFree=1166816/2055920 swapFree=4192812/4192956
[pid=11960] ppid=11958 vsize=915460 CPUtime=2.95
/proc/11960/stat : 11960 (java) R 11958 11960 11855 0 -1 0 17388 0 1 0 284 11 0 0 25 0 8 0 156356340 937431040 17124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11960/statm: 228865 17124 2517 14 0 215335 0
[pid=11960/tid=11962] ppid=11958 vsize=915460 CPUtime=0.06
/proc/11960/task/11962/stat : 11962 (java) S 11958 11960 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156356344 937431040 17124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11963] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11963/stat : 11963 (java) S 11958 11960 11855 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156356344 937431040 17124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11964] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11964/stat : 11964 (java) S 11958 11960 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156356344 937431040 17124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11965] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11965/stat : 11965 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156356347 937431040 17124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11966] ppid=11958 vsize=915460 CPUtime=0.19
/proc/11960/task/11966/stat : 11966 (java) R 11958 11960 11855 0 -1 64 371 0 0 0 18 1 0 0 15 0 8 0 156356347 937431040 17124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11967] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11967/stat : 11967 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156356347 937431040 17124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11968] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11968/stat : 11968 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156356347 937431040 17124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27538 s]
/proc/loadavg: 1.09 1.02 1.01 3/87 12006
/proc/meminfo: memFree=1166688/2055920 swapFree=4192812/4192956
[pid=11960] ppid=11958 vsize=915460 CPUtime=6.25
/proc/11960/stat : 11960 (java) R 11958 11960 11855 0 -1 0 17404 0 1 0 614 11 0 0 25 0 8 0 156356340 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11960/statm: 228865 17137 2517 14 0 215335 0
[pid=11960/tid=11962] ppid=11958 vsize=915460 CPUtime=0.06
/proc/11960/task/11962/stat : 11962 (java) S 11958 11960 11855 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 156356344 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11963] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11963/stat : 11963 (java) S 11958 11960 11855 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156356344 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11964] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11964/stat : 11964 (java) S 11958 11960 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156356344 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11965] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11965/stat : 11965 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11966] ppid=11958 vsize=915460 CPUtime=0.21
/proc/11960/task/11966/stat : 11966 (java) S 11958 11960 11855 0 -1 64 385 0 0 0 20 1 0 0 15 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11967] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11967/stat : 11967 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11968] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11968/stat : 11968 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460
[startup+12.75 s]
/proc/loadavg: 1.16 1.03 1.01 3/87 12006
/proc/meminfo: memFree=1166704/2055920 swapFree=4192812/4192956
[pid=11960] ppid=11958 vsize=915460 CPUtime=12.72
/proc/11960/stat : 11960 (java) R 11958 11960 11855 0 -1 0 17405 0 1 0 1261 11 0 0 25 0 8 0 156356340 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11960/statm: 228865 17137 2517 14 0 215335 0
[pid=11960/tid=11962] ppid=11958 vsize=915460 CPUtime=0.06
/proc/11960/task/11962/stat : 11962 (java) S 11958 11960 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156356344 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11963] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11963/stat : 11963 (java) S 11958 11960 11855 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156356344 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11964] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11964/stat : 11964 (java) S 11958 11960 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156356344 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11965] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11965/stat : 11965 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11966] ppid=11958 vsize=915460 CPUtime=0.21
/proc/11960/task/11966/stat : 11966 (java) S 11958 11960 11855 0 -1 64 385 0 0 0 20 1 0 0 15 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11967] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11967/stat : 11967 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11968] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11968/stat : 11968 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460
[startup+25.6323 s]
/proc/loadavg: 1.34 1.08 1.02 3/87 12006
/proc/meminfo: memFree=1166832/2055920 swapFree=4192812/4192956
[pid=11960] ppid=11958 vsize=915460 CPUtime=25.6
/proc/11960/stat : 11960 (java) R 11958 11960 11855 0 -1 0 17405 0 1 0 2549 11 0 0 25 0 8 0 156356340 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11960/statm: 228865 17137 2517 14 0 215335 0
[pid=11960/tid=11962] ppid=11958 vsize=915460 CPUtime=0.06
/proc/11960/task/11962/stat : 11962 (java) S 11958 11960 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156356344 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11963] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11963/stat : 11963 (java) S 11958 11960 11855 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156356344 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11964] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11964/stat : 11964 (java) S 11958 11960 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156356344 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11965] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11965/stat : 11965 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11966] ppid=11958 vsize=915460 CPUtime=0.21
/proc/11960/task/11966/stat : 11966 (java) S 11958 11960 11855 0 -1 64 385 0 0 0 20 1 0 0 15 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11967] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11967/stat : 11967 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11960/tid=11968] ppid=11958 vsize=915460 CPUtime=0
/proc/11960/task/11968/stat : 11968 (java) S 11958 11960 11855 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156356347 937431040 17137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 45.1562
CPU time (s): 45.0601
CPU user time (s): 44.9352
CPU system time (s): 0.124981
CPU usage (%): 99.7873
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.9352
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17411
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= 1976
involuntary context switches= 2191
runsolver used 0.052991 s user time and 0.155976 s system time
The end
Begin job on node55 on Sat Jan 6 10:33:01 UTC 2007
IDJOB= 218224
IDBENCH= 5214
FILE ID= node55/218224-1168079580
PBS_JOBID= 3476134
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218224-1168079580/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-218224-1168079580 -o ROOT/results/node55/solver-218224-1168079580 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218224-1168079580/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c27e56abe268e3f242bac62371ab4a73
RANDOM SEED= 408990310
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: 1288144 kB
Buffers: 55848 kB
Cached: 608852 kB
SwapCached: 0 kB
Active: 111608 kB
Inactive: 573172 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1288144 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3752 kB
Writeback: 0 kB
Mapped: 30328 kB
Slab: 68740 kB
Committed_AS: 2983084 kB
PageTables: 1608 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= 66540 MiB
End job on node55 on Sat Jan 6 10:33:47 UTC 2007