0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/218399-1168079632/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.38 => wckTime=0.091 cpuTime=0.07 mem=6M951
0.38
0.38 relations being loaded...
0.64
0.64 constraints being loaded...
0.79 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.79 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
0.79 => wckTime=0.504 cpuTime=0.46 mem=43M456
0.87
0.87 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.733 cpuTime=0.58 mem=21M494
1.03
1.03 preprocessing
1.03 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.03 detectedInconsistency=no
1.03 => wckTime=0.0030 cpuTime=0.0 mem=21M494
1.12
1.12 search
1.12 run=0 nbConstraintChecks=26563 nbValidityChecks=47467 nbPropagations=380 nbRevisions=3658
1.12 nbUselessRevisions=2790 nbAssignments=31 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=55
1.12 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.099 cpuTime=0.07 mem=21M494
1.18
1.18 search
1.18 run=1 nbConstraintChecks=62786 nbValidityChecks=120605 nbPropagations=1244 nbRevisions=12567
1.18 nbUselessRevisions=9670 nbAssignments=70 nbFailedAssignments=37 nbBacktracks=25 nbVisitedNodes=125
1.18 nbRestartNogoods=7 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.157 cpuTime=0.12 mem=21M494
1.23
1.23 search
1.23 run=2 nbConstraintChecks=95205 nbValidityChecks=188832 nbPropagations=2587 nbRevisions=26724
1.23 nbUselessRevisions=20671 nbAssignments=111 nbFailedAssignments=53 nbBacktracks=48 nbVisitedNodes=197
1.23 nbRestartNogoods=11 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.209 cpuTime=0.17 mem=21M494
1.34
1.34 search
1.34 run=3 nbConstraintChecks=171477 nbValidityChecks=346357 nbPropagations=5166 nbRevisions=53090
1.34 nbUselessRevisions=40878 nbAssignments=220 nbFailedAssignments=124 nbBacktracks=83 nbVisitedNodes=403
1.34 nbRestartNogoods=12 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.321 cpuTime=0.27 mem=21M494
1.50
1.50 search
1.50 run=4 nbConstraintChecks=297957 nbValidityChecks=596609 nbPropagations=9164 nbRevisions=98568
1.50 nbUselessRevisions=76343 nbAssignments=343 nbFailedAssignments=194 nbBacktracks=133 nbVisitedNodes=632
1.50 nbRestartNogoods=19 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.473 cpuTime=0.42 mem=21M494
1.72
1.72 search
1.72 run=5 nbConstraintChecks=493121 nbValidityChecks=975099 nbPropagations=15214 nbRevisions=172119
1.72 nbUselessRevisions=134196 nbAssignments=526 nbFailedAssignments=298 nbBacktracks=209 nbVisitedNodes=981
1.72 nbRestartNogoods=21 mapSize=194 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.701 cpuTime=0.65 mem=21M494
2.05
2.05 search
2.05 run=6 nbConstraintChecks=758292 nbValidityChecks=1496169 nbPropagations=25183 nbRevisions=285734
2.05 nbUselessRevisions=222517 nbAssignments=854 nbFailedAssignments=509 nbBacktracks=322 nbVisitedNodes=1599
2.05 nbRestartNogoods=28 mapSize=300 nbInferences=0 nbTooLargeKeys=0
2.05 => wckTime=1.028 cpuTime=0.97 mem=21M494
2.52
2.52 search
2.52 run=7 nbConstraintChecks=1153781 nbValidityChecks=2298545 nbPropagations=40313 nbRevisions=459604
2.52 nbUselessRevisions=357959 nbAssignments=1284 nbFailedAssignments=766 nbBacktracks=492 nbVisitedNodes=2417
2.52 nbRestartNogoods=32 mapSize=464 nbInferences=0 nbTooLargeKeys=0
2.52 => wckTime=1.498 cpuTime=1.44 mem=21M494
3.15
3.15 search
3.15 run=8 nbConstraintChecks=1663146 nbValidityChecks=3328610 nbPropagations=62525 nbRevisions=710671
3.15 nbUselessRevisions=553543 nbAssignments=1839 nbFailedAssignments=1061 nbBacktracks=748 nbVisitedNodes=3443
3.15 nbRestartNogoods=39 mapSize=692 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=2.125 cpuTime=2.05 mem=21M494
4.25
4.25 INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=21M494)
4.34
4.34 search
4.34 run=9 nbConstraintChecks=2706629 nbValidityChecks=5538010 nbPropagations=99264 nbRevisions=1132624
4.34 nbUselessRevisions=882976 nbAssignments=3033 nbFailedAssignments=1868 nbBacktracks=1132 nbVisitedNodes=5756
4.34 nbRestartNogoods=51
4.34 => wckTime=3.319 cpuTime=3.23 mem=21M494
5.89
5.89 search
5.89 run=10 nbConstraintChecks=4098256 nbValidityChecks=8456034 nbPropagations=153967 nbRevisions=1777205
5.89 nbUselessRevisions=1387647 nbAssignments=4686 nbFailedAssignments=2942 nbBacktracks=1708 nbVisitedNodes=8904
5.89 nbRestartNogoods=58
5.89 => wckTime=4.864 cpuTime=4.77 mem=21M494
8.06
8.06 search
8.06 run=11 nbConstraintChecks=5972047 nbValidityChecks=12242899 nbPropagations=235945 nbRevisions=2695729
8.06 nbUselessRevisions=2099163 nbAssignments=7338 nbFailedAssignments=4726 nbBacktracks=2572 nbVisitedNodes=13932
8.06 nbRestartNogoods=66
8.06 => wckTime=7.035 cpuTime=6.94 mem=21M494
11.06
11.06 search
11.06 run=12 nbConstraintChecks=8661222 nbValidityChecks=17607720 nbPropagations=354670 nbRevisions=4032794
11.06 nbUselessRevisions=3136443 nbAssignments=10333 nbFailedAssignments=6421 nbBacktracks=3869 nbVisitedNodes=19530
11.06 nbRestartNogoods=79
11.06 => wckTime=10.035 cpuTime=9.94 mem=22M463
15.58
15.58 search
15.58 run=13 nbConstraintChecks=12711763 nbValidityChecks=25745921 nbPropagations=528389 nbRevisions=5995608
15.58 nbUselessRevisions=4661435 nbAssignments=14768 nbFailedAssignments=8905 nbBacktracks=5815 nbVisitedNodes=27819
15.58 nbRestartNogoods=87
15.58 => wckTime=14.555 cpuTime=14.46 mem=22M463
23.25
23.25 search
23.25 run=14 nbConstraintChecks=19727844 nbValidityChecks=40346177 nbPropagations=789072 nbRevisions=9042227
23.25 nbUselessRevisions=7042365 nbAssignments=22500 nbFailedAssignments=13714 nbBacktracks=8734 nbVisitedNodes=42454
23.25 nbRestartNogoods=105
23.25 => wckTime=22.224 cpuTime=22.12 mem=22M463
33.86
33.86 search
33.86 run=15 nbConstraintChecks=29083834 nbValidityChecks=59113013 nbPropagations=1181619 nbRevisions=13502272
33.86 nbUselessRevisions=10511516 nbAssignments=33640 nbFailedAssignments=20473 nbBacktracks=13112
33.86 nbVisitedNodes=63363 nbRestartNogoods=124
33.86 => wckTime=32.835 cpuTime=32.71 mem=22M463
49.55
49.55 search
49.55 run=16 nbConstraintChecks=43016005 nbValidityChecks=87175684 nbPropagations=1763513 nbRevisions=20137836
49.55 nbUselessRevisions=15676749 nbAssignments=49183 nbFailedAssignments=29444 nbBacktracks=19680
49.55 nbVisitedNodes=92526 nbRestartNogoods=137
49.55 => wckTime=48.532 cpuTime=48.39 mem=22M463
74.39
74.39 search
74.39 run=17 nbConstraintChecks=65267408 nbValidityChecks=132872015 nbPropagations=2645940 nbRevisions=30270126
74.39 nbUselessRevisions=23572546 nbAssignments=73761 nbFailedAssignments=44165 nbBacktracks=29532
74.39 nbVisitedNodes=138900 nbRestartNogoods=162
74.39 => wckTime=73.371 cpuTime=73.2 mem=22M463
95.67
95.67 search
95.67 run=18 nbConstraintChecks=84275832 nbValidityChecks=171469508 nbPropagations=3782431 nbRevisions=43346708
95.67 nbUselessRevisions=33766245 nbAssignments=94860 nbFailedAssignments=56783 nbBacktracks=37993
95.67 nbVisitedNodes=178650 nbRestartNogoods=180
95.67 => wckTime=94.646 cpuTime=94.46 mem=22M463
95.67
95.67 global
95.67 nbConstraintChecks=84275832 nbValidityChecks=171469508 nbPropagations=3782451 nbRevisions=43346708
95.67 nbUselessRevisions=33766245 nbRestartNogoods=180 solvingWckTime=94.647 solvingCpuTime=94.46 expiredTime=no
95.67 totalExploration=no nbFoundSolutions=1 globalCpuTime=95.08
95.67 => wckTime=95.383 cpuTime=95.04 mem=22M463
95.67
95.67 s SATISFIABLE
95.67 v 11 5 13 11 12 7 16 1 2 17 15 19 15 9 14 1 19 16 13 1
95.67 d NODES 94860
95.67 d CHECKS 84275832
95.67
95.67 totalWckTime=95.46 totalCpuTime=95.08
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-218399-1168079632 -o ROOT/results/node55/solver-218399-1168079632 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218399-1168079632/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: 1.49 1.14 1.04 4/80 12055
/proc/meminfo: memFree=1224168/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=9648 CPUtime=0
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 386 0 0 0 0 0 0 0 18 0 1 0 156361599 9879552 174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6849316 0 0 4096 0 0 0 0 17 0 0 0
/proc/12054/statm: 2447 176 138 14 0 1138 0
[startup+0.104845 s]
/proc/loadavg: 1.49 1.14 1.04 4/80 12055
/proc/meminfo: memFree=1224168/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=914988 CPUtime=0.09
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 3095 0 1 0 8 1 0 0 24 0 8 0 156361599 936947712 2841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228747 2841 1459 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512872 s]
/proc/loadavg: 1.49 1.14 1.04 4/80 12055
/proc/meminfo: memFree=1224168/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915328 CPUtime=0.5
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 8359 0 1 0 45 5 0 0 25 0 8 0 156361599 937295872 8098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228832 8098 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33548 s]
/proc/loadavg: 1.49 1.14 1.04 3/87 12062
/proc/meminfo: memFree=1165552/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=1.32
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17370 0 1 0 122 10 0 0 25 0 8 0 156361599 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17107 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.17
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 360 0 0 0 17 0 0 0 15 0 8 0 156361606 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.97363 s]
/proc/loadavg: 1.53 1.15 1.05 3/87 12062
/proc/meminfo: memFree=1165488/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=2.96
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17386 0 1 0 286 10 0 0 25 0 8 0 156361599 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17122 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 156361602 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.2
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 375 0 0 0 20 0 0 0 15 0 8 0 156361606 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17122 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) 915460
[startup+6.17994 s]
/proc/loadavg: 1.53 1.15 1.05 3/87 12062
/proc/meminfo: memFree=1165296/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=6.16
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17396 0 1 0 606 10 0 0 25 0 8 0 156361599 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17130 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.22
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 156361606 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460
[startup+12.6566 s]
/proc/loadavg: 1.60 1.18 1.06 3/87 12062
/proc/meminfo: memFree=1165296/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=12.63
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17398 0 1 0 1253 10 0 0 25 0 8 0 156361599 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17131 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.22
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460
[startup+25.5328 s]
/proc/loadavg: 1.66 1.20 1.07 3/87 12062
/proc/meminfo: memFree=1165424/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=25.48
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17398 0 1 0 2538 10 0 0 25 0 8 0 156361599 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073736128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17131 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.22
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460
[startup+51.1633 s]
/proc/loadavg: 1.78 1.27 1.09 3/87 12062
/proc/meminfo: memFree=1165488/2055920 swapFree=4192812/4192956
[pid=12054] ppid=12052 vsize=915460 CPUtime=51.1
/proc/12054/stat : 12054 (java) R 12052 12054 11855 0 -1 0 17398 0 1 0 5099 11 0 0 25 0 8 0 156361599 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12054/statm: 228865 17131 2517 14 0 215335 0
[pid=12054/tid=12056] ppid=12052 vsize=915460 CPUtime=0.06
/proc/12054/task/12056/stat : 12056 (java) S 12052 12054 11855 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 156361602 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12057] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12057/stat : 12057 (java) S 12052 12054 11855 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12058] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12058/stat : 12058 (java) S 12052 12054 11855 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361603 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12059] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12059/stat : 12059 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12060] ppid=12052 vsize=915460 CPUtime=0.22
/proc/12054/task/12060/stat : 12060 (java) S 12052 12054 11855 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12061] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12061/stat : 12061 (java) S 12052 12054 11855 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12054/tid=12062] ppid=12052 vsize=915460 CPUtime=0
/proc/12054/task/12062/stat : 12062 (java) S 12052 12054 11855 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156361606 937431040 17131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 95.7228
CPU time (s): 95.5925
CPU user time (s): 95.4665
CPU system time (s): 0.12598
CPU usage (%): 99.8639
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.4665
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17404
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= 3012
involuntary context switches= 3564
runsolver used 0.139978 s user time and 0.293955 s system time
The end
Begin job on node55 on Sat Jan 6 10:33:53 UTC 2007
IDJOB= 218399
IDBENCH= 5233
FILE ID= node55/218399-1168079632
PBS_JOBID= 3476134
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218399-1168079632/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-218399-1168079632 -o ROOT/results/node55/solver-218399-1168079632 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218399-1168079632/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ca1213a9aae764858147c8a6554266c4
RANDOM SEED= 96841658
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: 1224584 kB
Buffers: 55888 kB
Cached: 612960 kB
SwapCached: 0 kB
Active: 174808 kB
Inactive: 573088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1224584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3040 kB
Writeback: 0 kB
Mapped: 99248 kB
Slab: 68656 kB
Committed_AS: 3807384 kB
PageTables: 1896 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:35:29 UTC 2007