0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/198509-1168071260/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=15 nbDomainTypes=1 minDomainSize=14 maxDomainSize=14
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.51 nbConstraints=105 nbConvertedConstraints=105 nbConvertConstraintsChecks=196 nbExtensionStructures=1
0.51 nbSharedExtensionStructures=104 nbConflictsStructures=1 nbSharedConflictsStructures=104
0.51 nbSharedBinaryRepresentations=14 maxDegree=14 maxArity=2
0.51 => wckTime=0.191 cpuTime=0.16 mem=7M943
0.54
0.54 solver IterativeSystematicSolver being built...
0.70 => wckTime=0.385 cpuTime=0.28 mem=13M444
0.71
0.71 preprocessing
0.71 nbConstraintChecks=0 nbPropagations=15 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.71 detectedInconsistency=no
0.71 => wckTime=0.0010 cpuTime=0.0 mem=13M444
0.73
0.73 search
0.74 run=0 nbConstraintChecks=1294 nbPropagations=221 nbRevisions=236 nbUselessRevisions=24 nbAssignments=30
0.74 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.74 nbTooLargeKeys=0
0.74 => wckTime=0.031 cpuTime=0.02 mem=13M444
0.75
0.75 search
0.75 run=1 nbConstraintChecks=2713 nbPropagations=690 nbRevisions=760 nbUselessRevisions=79 nbAssignments=70
0.75 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=119 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.75 nbTooLargeKeys=0
0.75 => wckTime=0.045 cpuTime=0.02 mem=13M444
0.76
0.76 search
0.76 run=2 nbConstraintChecks=4299 nbPropagations=1471 nbRevisions=1645 nbUselessRevisions=170 nbAssignments=123
0.76 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=212 nbRestartNogoods=7 mapSize=47 nbInferences=0
0.76 nbTooLargeKeys=0
0.76 => wckTime=0.058 cpuTime=0.04 mem=13M444
0.77
0.77 search
0.77 run=3 nbConstraintChecks=6089 nbPropagations=2644 nbRevisions=2971 nbUselessRevisions=299 nbAssignments=195
0.77 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=339 nbRestartNogoods=12 mapSize=80 nbInferences=1
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.071 cpuTime=0.05 mem=13M444
0.79
0.79 search
0.79 run=4 nbConstraintChecks=8186 nbPropagations=4339 nbRevisions=4857 nbUselessRevisions=460 nbAssignments=296
0.79 nbFailedAssignments=109 nbBacktracks=131 nbVisitedNodes=518 nbRestartNogoods=16 mapSize=131 nbInferences=3
0.79 nbTooLargeKeys=0
0.79 => wckTime=0.086 cpuTime=0.06 mem=13M444
0.81
0.81 search
0.81 run=5 nbConstraintChecks=10783 nbPropagations=6763 nbRevisions=7454 nbUselessRevisions=638 nbAssignments=444
0.81 nbFailedAssignments=155 nbBacktracks=206 nbVisitedNodes=774 nbRestartNogoods=21 mapSize=206 nbInferences=19
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.102 cpuTime=0.07 mem=13M444
0.82
0.82 search
0.82 run=6 nbConstraintChecks=14119 nbPropagations=10217 nbRevisions=11059 nbUselessRevisions=833 nbAssignments=660
0.82 nbFailedAssignments=228 nbBacktracks=321 nbVisitedNodes=1155 nbRestartNogoods=24 mapSize=321 nbInferences=38
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.118 cpuTime=0.08 mem=13M444
0.84
0.84 search
0.84 run=7 nbConstraintChecks=18646 nbPropagations=15190 nbRevisions=16103 nbUselessRevisions=1034
0.84 nbAssignments=984 nbFailedAssignments=334 nbBacktracks=491 nbVisitedNodes=1729 nbRestartNogoods=28 mapSize=491
0.84 nbInferences=76 nbTooLargeKeys=0
0.84 => wckTime=0.139 cpuTime=0.1 mem=13M444
0.87
0.87 search
0.87 run=8 nbConstraintChecks=25270 nbPropagations=22486 nbRevisions=23306 nbUselessRevisions=1246
0.87 nbAssignments=1482 nbFailedAssignments=483 nbBacktracks=747 nbVisitedNodes=2608 nbRestartNogoods=34
0.87 mapSize=747 nbInferences=159 nbTooLargeKeys=0
0.87 => wckTime=0.166 cpuTime=0.12 mem=13M444
0.91
0.91 search
0.91 run=9 nbConstraintChecks=37170 nbPropagations=33925 nbRevisions=34136 nbUselessRevisions=1477
0.91 nbAssignments=2333 nbFailedAssignments=677 nbBacktracks=1131 nbVisitedNodes=4109 nbRestartNogoods=44
0.91 mapSize=1131 nbInferences=421 nbTooLargeKeys=0
0.91 => wckTime=0.208 cpuTime=0.14 mem=13M444
0.95
0.95 search
0.95 run=10 nbConstraintChecks=54413 nbPropagations=51613 nbRevisions=50353 nbUselessRevisions=1717
0.95 nbAssignments=3632 nbFailedAssignments=958 nbBacktracks=1709 nbVisitedNodes=6401 nbRestartNogoods=51
0.95 mapSize=1709 nbInferences=852 nbTooLargeKeys=0
0.95 => wckTime=0.243 cpuTime=0.16 mem=13M444
0.99
0.99 search
0.99 run=11 nbConstraintChecks=80374 nbPropagations=78779 nbRevisions=74666 nbUselessRevisions=1994
0.99 nbAssignments=5605 nbFailedAssignments=1353 nbBacktracks=2573 nbVisitedNodes=9869 nbRestartNogoods=55
0.99 mapSize=2573 nbInferences=1557 nbTooLargeKeys=0
0.99 => wckTime=0.286 cpuTime=0.2 mem=14M419
1.06
1.06 search
1.06 run=12 nbConstraintChecks=132170 nbPropagations=123650 nbRevisions=113330 nbUselessRevisions=2281
1.06 nbAssignments=9067 nbFailedAssignments=1830 nbBacktracks=3871 nbVisitedNodes=15962 nbRestartNogoods=66
1.06 mapSize=3871 nbInferences=3234 nbTooLargeKeys=0
1.06 => wckTime=0.359 cpuTime=0.27 mem=14M419
1.17
1.17 search
1.17 run=13 nbConstraintChecks=208013 nbPropagations=194955 nbRevisions=173233 nbUselessRevisions=2627
1.17 nbAssignments=14296 nbFailedAssignments=2479 nbBacktracks=5818 nbVisitedNodes=25112 nbRestartNogoods=75
1.17 mapSize=5818 nbInferences=5857 nbTooLargeKeys=0
1.17 => wckTime=0.467 cpuTime=0.37 mem=14M419
1.36
1.36 search
1.36 run=14 nbConstraintChecks=362896 nbPropagations=314826 nbRevisions=271510 nbUselessRevisions=3134
1.36 nbAssignments=23213 nbFailedAssignments=3296 nbBacktracks=8737 nbVisitedNodes=40835 nbRestartNogoods=90
1.36 mapSize=8737 nbInferences=11029 nbTooLargeKeys=0
1.36 => wckTime=0.654 cpuTime=0.56 mem=14M419
1.64
1.64 search
1.64 run=15 nbConstraintChecks=592707 nbPropagations=508512 nbRevisions=427166 nbUselessRevisions=3658
1.64 nbAssignments=36889 nbFailedAssignments=4362 nbBacktracks=13116 nbVisitedNodes=64865 nbRestartNogoods=101
1.64 mapSize=13116 nbInferences=19251 nbTooLargeKeys=0
1.64 => wckTime=0.938 cpuTime=0.84 mem=15M394
2.11
2.11 search
2.11 run=16 nbConstraintChecks=997262 nbPropagations=826243 nbRevisions=678131 nbUselessRevisions=4197
2.11 nbAssignments=59088 nbFailedAssignments=5613 nbBacktracks=19684 nbVisitedNodes=103937 nbRestartNogoods=112
2.11 mapSize=19684 nbInferences=33622 nbTooLargeKeys=0
2.11 => wckTime=1.409 cpuTime=1.31 mem=16M370
2.99
2.99 search
2.99 run=17 nbConstraintChecks=1878574 nbPropagations=1377632 nbRevisions=1109249 nbUselessRevisions=4779
2.99 nbAssignments=97126 nbFailedAssignments=7021 nbBacktracks=29536 nbVisitedNodes=171561 nbRestartNogoods=124
2.99 mapSize=29536 nbInferences=60392 nbTooLargeKeys=0
2.99 => wckTime=2.287 cpuTime=2.18 mem=18M320
4.66
4.66 search
4.66 run=18 nbConstraintChecks=3697159 nbPropagations=2363304 nbRevisions=1876262 nbUselessRevisions=5361
4.66 nbAssignments=162414 nbFailedAssignments=8333 nbBacktracks=44314 nbVisitedNodes=288663 nbRestartNogoods=140
4.66 mapSize=44314 nbInferences=109582 nbTooLargeKeys=0
4.66 => wckTime=3.954 cpuTime=3.83 mem=20M270
6.87
6.87 search
6.87 run=19 nbConstraintChecks=5939163 nbPropagations=3931343 nbRevisions=3088253 nbUselessRevisions=5943
6.87 nbAssignments=255041 nbFailedAssignments=10094 nbBacktracks=66482 nbVisitedNodes=453503 nbRestartNogoods=149
6.87 mapSize=66482 nbInferences=178273 nbTooLargeKeys=0
6.87 => wckTime=6.166 cpuTime=6.02 mem=24M695
11.32
11.32 search
11.32 run=20 nbConstraintChecks=11370394 nbPropagations=6663414 nbRevisions=5209271 nbUselessRevisions=6525
11.32 nbAssignments=417689 nbFailedAssignments=11984 nbBacktracks=99734 nbVisitedNodes=747430 nbRestartNogoods=164
11.32 mapSize=99734 nbInferences=305772 nbTooLargeKeys=0
11.32 => wckTime=10.616 cpuTime=10.42 mem=32M570
17.82
17.82 search
17.82 run=21 nbConstraintChecks=19131673 nbPropagations=11105468 nbRevisions=8657962 nbUselessRevisions=7107
17.82 nbAssignments=660700 nbFailedAssignments=13959 nbBacktracks=149612 nbVisitedNodes=1185543 nbRestartNogoods=175
17.82 mapSize=149612 nbInferences=496924 nbTooLargeKeys=0
17.82 => wckTime=17.117 cpuTime=16.87 mem=42M322
31.81
31.81 search
31.81 run=22 nbConstraintChecks=38553658 nbPropagations=19117361 nbRevisions=14946846 nbUselessRevisions=7795
31.81 nbAssignments=1101801 nbFailedAssignments=15312 nbBacktracks=224430 nbVisitedNodes=1994219 nbRestartNogoods=189
31.81 mapSize=224430 nbInferences=861846 nbTooLargeKeys=0
31.81 => wckTime=31.111 cpuTime=30.52 mem=28M883
50.54
50.54 search
50.54 run=23 nbConstraintChecks=64165629 nbPropagations=32075158 nbRevisions=25140009 nbUselessRevisions=8501
50.54 nbAssignments=1736216 nbFailedAssignments=16648 nbBacktracks=336657 nbVisitedNodes=3152142 nbRestartNogoods=210
50.54 mapSize=336656 nbInferences=1382691 nbTooLargeKeys=0
50.54 => wckTime=49.839 cpuTime=49.09 mem=55M477
75.50
75.50 search
75.50 run=24 nbConstraintChecks=100248532 nbPropagations=51486718 nbRevisions=40482836 nbUselessRevisions=9241
75.50 nbAssignments=2516434 nbFailedAssignments=17325 nbBacktracks=464107 nbVisitedNodes=4585787 nbRestartNogoods=230
75.50 mapSize=464105 nbInferences=2034783 nbTooLargeKeys=0
75.50 => wckTime=74.794 cpuTime=73.52 mem=59M411
75.50
75.50 global
75.50 nbConstraintChecks=100248532 nbPropagations=51486733 nbRevisions=40482836 nbUselessRevisions=9241
75.50 nbRestartNogoods=230 solvingWckTime=74.796 solvingCpuTime=73.52 expiredTime=no totalExploration=yes
75.50 nbFoundSolutions=0 globalCpuTime=73.85
75.50 => wckTime=75.183 cpuTime=73.8 mem=59M411
75.50
75.50 s UNSATISFIABLE
75.50 d NODES 2516434
75.50 d CHECKS 100248532
75.50
75.50 totalWckTime=75.265 totalCpuTime=73.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-198509-1168071260 -o ROOT/results/node1/solver-198509-1168071260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198509-1168071260/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.25 1.75 1.84 3/93 15136
/proc/meminfo: memFree=1234344/2055920 swapFree=4165584/4192956
[pid=15135] ppid=15133 vsize=18540 CPUtime=0
/proc/15135/stat : 15135 (runsolver) R 15133 15135 15012 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155522190 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15135/statm: 4635 279 244 17 0 2626 0
[startup+0.101965 s]
/proc/loadavg: 1.25 1.75 1.84 3/93 15136
/proc/meminfo: memFree=1234344/2055920 swapFree=4165584/4192956
[pid=15135] ppid=15133 vsize=914988 CPUtime=0.09
/proc/15135/stat : 15135 (java) R 15133 15135 15012 0 -1 0 2967 0 1 0 7 2 0 0 17 0 8 0 155522190 936947712 2713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15135/statm: 228747 2713 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510003 s]
/proc/loadavg: 1.25 1.75 1.84 3/93 15136
/proc/meminfo: memFree=1234344/2055920 swapFree=4165584/4192956
[pid=15135] ppid=15133 vsize=915456 CPUtime=0.49
/proc/15135/stat : 15135 (java) R 15133 15135 15012 0 -1 0 6423 0 1 0 45 4 0 0 18 0 8 0 155522190 937426944 6162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15135/statm: 228864 6162 2175 14 0 215334 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915456
[startup+1.33109 s]
/proc/loadavg: 1.25 1.75 1.84 4/100 15143
/proc/meminfo: memFree=1211440/2055920 swapFree=4165584/4192956
[pid=15135] ppid=15133 vsize=915456 CPUtime=1.3
/proc/15135/stat : 15135 (java) R 15133 15135 15012 0 -1 0 8567 0 1 0 124 6 0 0 20 0 8 0 155522190 937426944 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073696657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15135/statm: 228864 8305 2532 14 0 215334 0
[pid=15135/tid=15137] ppid=15133 vsize=915456 CPUtime=0.02
/proc/15135/task/15137/stat : 15137 (java) S 15133 15135 15012 0 -1 64 126 0 0 0 2 0 0 0 16 0 8 0 155522194 937426944 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15138] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15138/stat : 15138 (java) S 15133 15135 15012 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155522194 937426944 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15139] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15139/stat : 15139 (java) S 15133 15135 15012 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155522194 937426944 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15140] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15140/stat : 15140 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155522198 937426944 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15141] ppid=15133 vsize=915456 CPUtime=0.19
/proc/15135/task/15141/stat : 15141 (java) S 15133 15135 15012 0 -1 64 361 0 0 0 19 0 0 0 19 0 8 0 155522198 937426944 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15142] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15142/stat : 15142 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155522198 937426944 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15143] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15143/stat : 15143 (java) S 15133 15135 15012 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155522198 937426944 8305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.97629 s]
/proc/loadavg: 1.25 1.75 1.84 3/100 15143
/proc/meminfo: memFree=1209200/2055920 swapFree=4165584/4192956
[pid=15135] ppid=15133 vsize=915456 CPUtime=2.93
/proc/15135/stat : 15135 (java) R 15133 15135 15012 0 -1 0 9359 0 1 0 287 6 0 0 25 0 8 0 155522190 937426944 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15135/statm: 228864 9096 2532 14 0 215334 0
[pid=15135/tid=15137] ppid=15133 vsize=915456 CPUtime=0.02
/proc/15135/task/15137/stat : 15137 (java) S 15133 15135 15012 0 -1 64 126 0 0 0 2 0 0 0 16 0 8 0 155522194 937426944 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15138] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15138/stat : 15138 (java) S 15133 15135 15012 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155522194 937426944 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15139] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15139/stat : 15139 (java) S 15133 15135 15012 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155522194 937426944 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15140] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15140/stat : 15140 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155522198 937426944 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15141] ppid=15133 vsize=915456 CPUtime=0.19
/proc/15135/task/15141/stat : 15141 (java) S 15133 15135 15012 0 -1 64 362 0 0 0 19 0 0 0 16 0 8 0 155522198 937426944 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15142] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15142/stat : 15142 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155522198 937426944 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15143] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15143/stat : 15143 (java) S 15133 15135 15012 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155522198 937426944 9096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.17966 s]
/proc/loadavg: 1.39 1.77 1.84 3/100 15143
/proc/meminfo: memFree=1203120/2055920 swapFree=4165584/4192956
[pid=15135] ppid=15133 vsize=915456 CPUtime=6.1
/proc/15135/stat : 15135 (java) R 15133 15135 15012 0 -1 0 10717 0 1 0 603 7 0 0 25 0 8 0 155522190 937426944 10454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073702679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15135/statm: 228864 10454 2532 14 0 215334 0
[pid=15135/tid=15137] ppid=15133 vsize=915456 CPUtime=0.02
/proc/15135/task/15137/stat : 15137 (java) S 15133 15135 15012 0 -1 64 126 0 0 0 2 0 0 0 16 0 8 0 155522194 937426944 10454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15138] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15138/stat : 15138 (java) S 15133 15135 15012 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155522194 937426944 10454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15139] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15139/stat : 15139 (java) S 15133 15135 15012 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155522194 937426944 10454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15140] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15140/stat : 15140 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155522198 937426944 10454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15141] ppid=15133 vsize=915456 CPUtime=0.19
/proc/15135/task/15141/stat : 15141 (java) S 15133 15135 15012 0 -1 64 362 0 0 0 19 0 0 0 16 0 8 0 155522198 937426944 10454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15142] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15142/stat : 15142 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155522198 937426944 10454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15143] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15143/stat : 15143 (java) S 15133 15135 15012 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155522198 937426944 10454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915456
[startup+12.6504 s]
/proc/loadavg: 1.44 1.77 1.84 3/100 15143
/proc/meminfo: memFree=1192304/2055920 swapFree=4165584/4192956
[pid=15135] ppid=15133 vsize=915456 CPUtime=12.5
/proc/15135/stat : 15135 (java) R 15133 15135 15012 0 -1 0 13300 0 1 0 1242 8 0 0 25 0 8 0 155522190 937426944 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073694184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15135/statm: 228864 13036 2532 14 0 215334 0
[pid=15135/tid=15137] ppid=15133 vsize=915456 CPUtime=0.02
/proc/15135/task/15137/stat : 15137 (java) S 15133 15135 15012 0 -1 64 126 0 0 0 2 0 0 0 17 0 8 0 155522194 937426944 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15138] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15138/stat : 15138 (java) S 15133 15135 15012 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155522194 937426944 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15139] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15139/stat : 15139 (java) S 15133 15135 15012 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155522194 937426944 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15140] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15140/stat : 15140 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155522198 937426944 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15141] ppid=15133 vsize=915456 CPUtime=0.2
/proc/15135/task/15141/stat : 15141 (java) S 15133 15135 15012 0 -1 64 364 0 0 0 20 0 0 0 16 0 8 0 155522198 937426944 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15142] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15142/stat : 15142 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155522198 937426944 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15143] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15143/stat : 15143 (java) S 15133 15135 15012 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155522198 937426944 13036 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915456
[startup+25.5059 s]
/proc/loadavg: 1.56 1.78 1.84 3/100 15143
/proc/meminfo: memFree=1162608/2055920 swapFree=4165584/4192956
[pid=15135] ppid=15133 vsize=915456 CPUtime=25.24
/proc/15135/stat : 15135 (java) R 15133 15135 15012 0 -1 0 20664 0 1 0 2513 11 0 0 25 0 8 0 155522190 937426944 20398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073696665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15135/statm: 228864 20398 2536 14 0 215334 0
[pid=15135/tid=15137] ppid=15133 vsize=915456 CPUtime=0.22
/proc/15135/task/15137/stat : 15137 (java) S 15133 15135 15012 0 -1 64 3679 0 0 0 21 1 0 0 16 0 8 0 155522194 937426944 20398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15138] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15138/stat : 15138 (java) S 15133 15135 15012 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155522194 937426944 20398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15139] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15139/stat : 15139 (java) S 15133 15135 15012 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155522194 937426944 20398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15140] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15140/stat : 15140 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155522198 937426944 20398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15141] ppid=15133 vsize=915456 CPUtime=0.2
/proc/15135/task/15141/stat : 15141 (java) S 15133 15135 15012 0 -1 64 365 0 0 0 20 0 0 0 16 0 8 0 155522198 937426944 20398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15142] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15142/stat : 15142 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155522198 937426944 20398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15143] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15143/stat : 15143 (java) S 15133 15135 15012 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155522198 937426944 20398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915456
[startup+51.1159 s]
/proc/loadavg: 1.79 1.82 1.85 3/100 15143
/proc/meminfo: memFree=1162608/2055920 swapFree=4165584/4192956
[pid=15135] ppid=15133 vsize=915456 CPUtime=50.61
/proc/15135/stat : 15135 (java) R 15133 15135 15012 0 -1 0 20666 0 1 0 5049 12 0 0 25 0 8 0 155522190 937426944 20400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073716765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15135/statm: 228864 20400 2536 14 0 215334 0
[pid=15135/tid=15137] ppid=15133 vsize=915456 CPUtime=0.22
/proc/15135/task/15137/stat : 15137 (java) S 15133 15135 15012 0 -1 64 3679 0 0 0 21 1 0 0 16 0 8 0 155522194 937426944 20400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15138] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15138/stat : 15138 (java) S 15133 15135 15012 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155522194 937426944 20400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15139] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15139/stat : 15139 (java) S 15133 15135 15012 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155522194 937426944 20400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15140] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15140/stat : 15140 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155522198 937426944 20400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15141] ppid=15133 vsize=915456 CPUtime=0.2
/proc/15135/task/15141/stat : 15141 (java) S 15133 15135 15012 0 -1 64 365 0 0 0 20 0 0 0 16 0 8 0 155522198 937426944 20400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15142] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15142/stat : 15142 (java) S 15133 15135 15012 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155522198 937426944 20400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15135/tid=15143] ppid=15133 vsize=915456 CPUtime=0
/proc/15135/task/15143/stat : 15143 (java) S 15133 15135 15012 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155522198 937426944 20400 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 75.5975
CPU time (s): 74.8126
CPU user time (s): 74.6327
CPU system time (s): 0.179972
CPU usage (%): 98.9617
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.6327
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26025
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= 2246
involuntary context switches= 4156
runsolver used 0.101984 s user time and 0.242963 s system time
The end
Begin job on node1 on Sat Jan 6 08:14:22 UTC 2007
IDJOB= 198509
IDBENCH= 3560
FILE ID= node1/198509-1168071260
PBS_JOBID= 3475732
Free space on /tmp= 66302 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198509-1168071260/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-198509-1168071260 -o ROOT/results/node1/solver-198509-1168071260 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198509-1168071260/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c50ed34d99eca703057f80ac300e5077
RANDOM SEED= 774503270
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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
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: 1234824 kB
Buffers: 69264 kB
Cached: 587868 kB
SwapCached: 3692 kB
Active: 380892 kB
Inactive: 343268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1234824 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 1796 kB
Writeback: 0 kB
Mapped: 86876 kB
Slab: 81424 kB
Committed_AS: 4891664 kB
PageTables: 2444 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= 66302 MiB
End job on node1 on Sat Jan 6 08:15:40 UTC 2007