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/208132-1168074610/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.50
0.50 constraints being loaded...
0.63 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=910 maxDegree=25
0.63 maxArity=2
0.63 => wckTime=0.329 cpuTime=0.25 mem=14M786
0.67
0.67 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.519 cpuTime=0.37 mem=14M168
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=26 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0040 cpuTime=0.01 mem=14M168
0.87
0.87 search
0.87 run=0 nbConstraintChecks=39747 nbPropagations=472 nbRevisions=7697 nbUselessRevisions=6690 nbAssignments=24
0.87 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.052 cpuTime=0.03 mem=15M208
0.89
0.89 search
0.89 run=1 nbConstraintChecks=90611 nbPropagations=1568 nbRevisions=25922 nbUselessRevisions=22540 nbAssignments=62
0.89 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=107 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.073 cpuTime=0.05 mem=15M208
0.91
0.91 search
0.92 run=2 nbConstraintChecks=164089 nbPropagations=3475 nbRevisions=60039 nbUselessRevisions=52283
0.92 nbAssignments=115 nbFailedAssignments=47 nbBacktracks=49 nbVisitedNodes=201 nbRestartNogoods=6 mapSize=48
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.096 cpuTime=0.07 mem=15M208
0.94
0.94 search
0.94 run=3 nbConstraintChecks=284831 nbPropagations=6634 nbRevisions=119742 nbUselessRevisions=104359
0.94 nbAssignments=188 nbFailedAssignments=81 nbBacktracks=82 nbVisitedNodes=336 nbRestartNogoods=10 mapSize=81
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.123 cpuTime=0.09 mem=15M208
0.97
0.97 search
0.97 run=4 nbConstraintChecks=415469 nbPropagations=11297 nbRevisions=208946 nbUselessRevisions=182389
0.97 nbAssignments=284 nbFailedAssignments=120 nbBacktracks=134 nbVisitedNodes=509 nbRestartNogoods=15 mapSize=130
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.149 cpuTime=0.11 mem=15M208
1.01
1.01 search
1.01 run=5 nbConstraintChecks=648092 nbPropagations=18478 nbRevisions=350187 nbUselessRevisions=306024
1.01 nbAssignments=443 nbFailedAssignments=198 nbBacktracks=209 nbVisitedNodes=806 nbRestartNogoods=17 mapSize=205
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.194 cpuTime=0.15 mem=15M208
1.07
1.07 search
1.07 run=6 nbConstraintChecks=929858 nbPropagations=28904 nbRevisions=557264 nbUselessRevisions=487289
1.07 nbAssignments=667 nbFailedAssignments=302 nbBacktracks=323 nbVisitedNodes=1214 nbRestartNogoods=22 mapSize=314
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.249 cpuTime=0.21 mem=15M208
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1365721 nbPropagations=44235 nbRevisions=864533 nbUselessRevisions=755963
1.15 nbAssignments=995 nbFailedAssignments=453 nbBacktracks=494 nbVisitedNodes=1819 nbRestartNogoods=27 mapSize=479
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.328 cpuTime=0.28 mem=15M208
1.27
1.27 search
1.27 run=8 nbConstraintChecks=2072908 nbPropagations=67112 nbRevisions=1332977 nbUselessRevisions=1165949
1.27 nbAssignments=1486 nbFailedAssignments=683 nbBacktracks=750 nbVisitedNodes=2728 nbRestartNogoods=32
1.27 mapSize=729 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.456 cpuTime=0.4 mem=15M208
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=15M208)
1.46
1.46 search
1.46 run=9 nbConstraintChecks=3164566 nbPropagations=101574 nbRevisions=2049478 nbUselessRevisions=1793380
1.46 nbAssignments=2234 nbFailedAssignments=1042 nbBacktracks=1135 nbVisitedNodes=4109 nbRestartNogoods=37
1.46 => wckTime=0.642 cpuTime=0.57 mem=15M208
1.71
1.71 search
1.71 run=10 nbConstraintChecks=4759066 nbPropagations=153261 nbRevisions=3128328 nbUselessRevisions=2737340
1.71 nbAssignments=3367 nbFailedAssignments=1593 nbBacktracks=1711 nbVisitedNodes=6213 nbRestartNogoods=40
1.71 => wckTime=0.891 cpuTime=0.81 mem=15M208
2.07
2.07 search
2.07 run=11 nbConstraintChecks=7210143 nbPropagations=230983 nbRevisions=4766739 nbUselessRevisions=4170771
2.07 nbAssignments=5079 nbFailedAssignments=2436 nbBacktracks=2575 nbVisitedNodes=9407 nbRestartNogoods=51
2.07 => wckTime=1.256 cpuTime=1.17 mem=15M208
2.61
2.61 search
2.61 run=12 nbConstraintChecks=10919625 nbPropagations=347807 nbRevisions=7244926 nbUselessRevisions=6339793
2.61 nbAssignments=7603 nbFailedAssignments=3657 nbBacktracks=3872 nbVisitedNodes=14095 nbRestartNogoods=61
2.61 => wckTime=1.795 cpuTime=1.71 mem=15M208
3.44
3.44 search
3.44 run=13 nbConstraintChecks=16655728 nbPropagations=523461 nbRevisions=10999191 nbUselessRevisions=9626283
3.44 nbAssignments=11346 nbFailedAssignments=5448 nbBacktracks=5818 nbVisitedNodes=21061 nbRestartNogoods=73
3.44 => wckTime=2.618 cpuTime=2.54 mem=15M208
4.65
4.65 search
4.65 run=14 nbConstraintChecks=25168471 nbPropagations=786387 nbRevisions=16643256 nbUselessRevisions=14566572
4.65 nbAssignments=16967 nbFailedAssignments=8145 nbBacktracks=8737 nbVisitedNodes=31502 nbRestartNogoods=82
4.65 => wckTime=3.832 cpuTime=3.75 mem=15M208
6.45
6.45 search
6.45 run=15 nbConstraintChecks=37677137 nbPropagations=1179504 nbRevisions=25084490 nbUselessRevisions=21954237
6.45 nbAssignments=25373 nbFailedAssignments=12166 nbBacktracks=13115 nbVisitedNodes=47091 nbRestartNogoods=90
6.45 => wckTime=5.629 cpuTime=5.54 mem=15M208
9.21
9.21 search
9.21 run=16 nbConstraintChecks=56818564 nbPropagations=1770500 nbRevisions=37837045 nbUselessRevisions=33119010
9.21 nbAssignments=38123 nbFailedAssignments=18343 nbBacktracks=19683 nbVisitedNodes=70795 nbRestartNogoods=105
9.21 => wckTime=8.387 cpuTime=8.3 mem=15M208
13.31
13.31 search
13.31 run=17 nbConstraintChecks=85813797 nbPropagations=2657721 nbRevisions=57015751 nbUselessRevisions=49907927
13.31 nbAssignments=57166 nbFailedAssignments=27528 nbBacktracks=29536 nbVisitedNodes=106180 nbRestartNogoods=125
13.31 => wckTime=12.494 cpuTime=12.4 mem=15M208
19.42
19.42 search
19.42 run=18 nbConstraintChecks=128585703 nbPropagations=3987825 nbRevisions=85786340 nbUselessRevisions=75097469
19.42 nbAssignments=85685 nbFailedAssignments=41263 nbBacktracks=44314 nbVisitedNodes=159157 nbRestartNogoods=142
19.42 => wckTime=18.597 cpuTime=18.5 mem=15M208
28.66
28.67 search
28.67 run=19 nbConstraintChecks=192793445 nbPropagations=5981404 nbRevisions=128949980 nbUselessRevisions=112894839
28.67 nbAssignments=128434 nbFailedAssignments=61838 nbBacktracks=66482 nbVisitedNodes=238609 nbRestartNogoods=152
28.67 => wckTime=27.846 cpuTime=27.72 mem=15M208
42.41
42.41 search
42.41 run=20 nbConstraintChecks=288913900 nbPropagations=8974411 nbRevisions=193659311 nbUselessRevisions=169550491
42.41 nbAssignments=192783 nbFailedAssignments=92928 nbBacktracks=99735 nbVisitedNodes=358330 nbRestartNogoods=173
42.41 => wckTime=41.594 cpuTime=41.46 mem=15M208
62.80
62.80 search
62.80 run=21 nbConstraintChecks=430026372 nbPropagations=13446373 nbRevisions=290311048 nbUselessRevisions=254190269
62.80 nbAssignments=289043 nbFailedAssignments=139304 nbBacktracks=149613 nbVisitedNodes=537122 nbRestartNogoods=187
62.80 => wckTime=61.981 cpuTime=61.84 mem=15M208
94.06
94.06 search
94.06 run=22 nbConstraintChecks=649104475 nbPropagations=20164496 nbRevisions=435975452 nbUselessRevisions=381783320
94.06 nbAssignments=433794 nbFailedAssignments=209232 nbBacktracks=224431 nbVisitedNodes=805755 nbRestartNogoods=209
94.06 => wckTime=93.243 cpuTime=93.06 mem=15M208
141.35
141.35 search
141.35 run=23 nbConstraintChecks=981666151 nbPropagations=30279161 nbRevisions=655859508 nbUselessRevisions=574421593
141.35 nbAssignments=650978 nbFailedAssignments=314183 nbBacktracks=336658 nbVisitedNodes=1209806 nbRestartNogoods=235
141.35 => wckTime=140.527 cpuTime=140.3 mem=15M208
188.10
188.10 search
188.10 run=24 nbConstraintChecks=1307777023 nbPropagations=43783969 nbRevisions=949074009 nbUselessRevisions=831306314
188.10 nbAssignments=870280 nbFailedAssignments=419546 nbBacktracks=450571 nbVisitedNodes=1616899 nbRestartNogoods=251
188.10 => wckTime=187.282 cpuTime=187.01 mem=15M208
188.10
188.10 global
188.10 nbConstraintChecks=1307777023 nbPropagations=43783995 nbRevisions=949074009 nbUselessRevisions=831306314
188.10 nbRestartNogoods=251 solvingWckTime=187.283 solvingCpuTime=187.01 expiredTime=no totalExploration=no
188.10 nbFoundSolutions=1 globalCpuTime=187.43
188.10 => wckTime=187.806 cpuTime=187.38 mem=15M208
188.11
188.11 s SATISFIABLE
188.11 v 9 20 0 24 15 0 17 3 14 22 5 16 18 0 23 24 12 19 18 11 5 8 11 6 20 7
188.11 d NODES 870280
188.11 d CHECKS 1307777023
188.11
188.11 totalWckTime=187.885 totalCpuTime=187.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-208132-1168074610 -o ROOT/results/node1/solver-208132-1168074610 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208132-1168074610/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: 2.00 1.96 1.91 4/93 16654
/proc/meminfo: memFree=1114960/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=292 CPUtime=0
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 225 0 0 0 0 0 0 0 18 0 1 0 155856723 299008 32 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5831309 0 0 4096 0 0 0 0 17 0 0 0
/proc/16653/statm: 73 35 27 14 0 5 0
[startup+0.108305 s]
/proc/loadavg: 2.00 1.96 1.91 4/93 16654
/proc/meminfo: memFree=1114960/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=914988 CPUtime=0.09
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 3073 0 1 0 8 1 0 0 24 0 8 0 155856723 936947712 2819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228747 2820 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516359 s]
/proc/loadavg: 2.00 1.96 1.91 4/93 16654
/proc/meminfo: memFree=1114960/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=915328 CPUtime=0.5
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 7250 0 1 0 45 5 0 0 25 0 8 0 155856723 937295872 6989 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228832 6989 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33745 s]
/proc/loadavg: 2.00 1.96 1.91 3/100 16661
/proc/meminfo: memFree=1089944/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=915456 CPUtime=1.31
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 8974 0 1 0 124 7 0 0 25 0 8 0 155856723 937426944 8712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228864 8712 2513 14 0 215334 0
[pid=16653/tid=16655] ppid=16651 vsize=915456 CPUtime=0.03
/proc/16653/task/16655/stat : 16655 (java) S 16651 16653 16530 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155856727 937426944 8712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16656] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16656/stat : 16656 (java) S 16651 16653 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155856727 937426944 8712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16657] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16657/stat : 16657 (java) S 16651 16653 16530 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155856727 937426944 8712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16658] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16658/stat : 16658 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155856730 937426944 8712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16659] ppid=16651 vsize=915456 CPUtime=0.22
/proc/16653/task/16659/stat : 16659 (java) S 16651 16653 16530 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 155856730 937426944 8712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16660] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16660/stat : 16660 (java) S 16651 16653 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155856730 937426944 8712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16661] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16661/stat : 16661 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155856730 937426944 8712 18446744073709551615 134512640 134570532 4294956464 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.98665 s]
/proc/loadavg: 2.00 1.96 1.91 4/100 16661
/proc/meminfo: memFree=1089880/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=915456 CPUtime=2.96
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 8981 0 1 0 289 7 0 0 25 0 8 0 155856723 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228864 8718 2513 14 0 215334 0
[pid=16653/tid=16655] ppid=16651 vsize=915456 CPUtime=0.03
/proc/16653/task/16655/stat : 16655 (java) S 16651 16653 16530 0 -1 64 343 0 0 0 3 0 0 0 17 0 8 0 155856727 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16656] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16656/stat : 16656 (java) S 16651 16653 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155856727 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16657] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16657/stat : 16657 (java) S 16651 16653 16530 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155856727 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16658] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16658/stat : 16658 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16659] ppid=16651 vsize=915456 CPUtime=0.23
/proc/16653/task/16659/stat : 16659 (java) S 16651 16653 16530 0 -1 64 390 0 0 0 22 1 0 0 15 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16660] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16660/stat : 16660 (java) S 16651 16653 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16661] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16661/stat : 16661 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 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.19202 s]
/proc/loadavg: 2.00 1.96 1.91 3/100 16661
/proc/meminfo: memFree=1089816/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=915456 CPUtime=6.17
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 8982 0 1 0 609 8 0 0 25 0 8 0 155856723 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228864 8718 2513 14 0 215334 0
[pid=16653/tid=16655] ppid=16651 vsize=915456 CPUtime=0.03
/proc/16653/task/16655/stat : 16655 (java) S 16651 16653 16530 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155856727 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16656] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16656/stat : 16656 (java) S 16651 16653 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155856727 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16657] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16657/stat : 16657 (java) S 16651 16653 16530 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155856727 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16658] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16658/stat : 16658 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16659] ppid=16651 vsize=915456 CPUtime=0.23
/proc/16653/task/16659/stat : 16659 (java) S 16651 16653 16530 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16660] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16660/stat : 16660 (java) S 16651 16653 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16661] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16661/stat : 16661 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915456
[startup+12.6708 s]
/proc/loadavg: 2.00 1.96 1.91 3/100 16661
/proc/meminfo: memFree=1089888/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=915456 CPUtime=12.65
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 8982 0 1 0 1257 8 0 0 25 0 8 0 155856723 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800844 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228864 8718 2513 14 0 215334 0
[pid=16653/tid=16655] ppid=16651 vsize=915456 CPUtime=0.03
/proc/16653/task/16655/stat : 16655 (java) S 16651 16653 16530 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155856727 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16656] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16656/stat : 16656 (java) S 16651 16653 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155856727 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16657] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16657/stat : 16657 (java) S 16651 16653 16530 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155856727 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16658] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16658/stat : 16658 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16659] ppid=16651 vsize=915456 CPUtime=0.23
/proc/16653/task/16659/stat : 16659 (java) S 16651 16653 16530 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16660] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16660/stat : 16660 (java) S 16651 16653 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16661] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16661/stat : 16661 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155856730 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915456
[startup+25.5333 s]
/proc/loadavg: 2.00 1.96 1.91 3/100 16661
/proc/meminfo: memFree=1089952/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=915456 CPUtime=25.47
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 8983 0 1 0 2539 8 0 0 25 0 8 0 155856723 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819670 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228864 8719 2513 14 0 215334 0
[pid=16653/tid=16655] ppid=16651 vsize=915456 CPUtime=0.03
/proc/16653/task/16655/stat : 16655 (java) S 16651 16653 16530 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16656] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16656/stat : 16656 (java) S 16651 16653 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16657] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16657/stat : 16657 (java) S 16651 16653 16530 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16658] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16658/stat : 16658 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16659] ppid=16651 vsize=915456 CPUtime=0.23
/proc/16653/task/16659/stat : 16659 (java) S 16651 16653 16530 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16660] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16660/stat : 16660 (java) S 16651 16653 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16661] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16661/stat : 16661 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915456
[startup+51.1653 s]
/proc/loadavg: 2.00 1.96 1.91 3/100 16661
/proc/meminfo: memFree=1090016/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=915456 CPUtime=51.09
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 8984 0 1 0 5101 8 0 0 25 0 8 0 155856723 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228864 8719 2513 14 0 215334 0
[pid=16653/tid=16655] ppid=16651 vsize=915456 CPUtime=0.03
/proc/16653/task/16655/stat : 16655 (java) S 16651 16653 16530 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16656] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16656/stat : 16656 (java) S 16651 16653 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16657] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16657/stat : 16657 (java) S 16651 16653 16530 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16658] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16658/stat : 16658 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16659] ppid=16651 vsize=915456 CPUtime=0.23
/proc/16653/task/16659/stat : 16659 (java) S 16651 16653 16530 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16660] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16660/stat : 16660 (java) S 16651 16653 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16661] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16661/stat : 16661 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 915456
[startup+102.427 s]
/proc/loadavg: 2.00 1.97 1.91 3/100 16661
/proc/meminfo: memFree=1090016/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=915456 CPUtime=102.31
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 8984 0 1 0 10223 8 0 0 25 0 8 0 155856723 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228864 8719 2513 14 0 215334 0
[pid=16653/tid=16655] ppid=16651 vsize=915456 CPUtime=0.03
/proc/16653/task/16655/stat : 16655 (java) S 16651 16653 16530 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16656] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16656/stat : 16656 (java) S 16651 16653 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16657] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16657/stat : 16657 (java) S 16651 16653 16530 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16658] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16658/stat : 16658 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16659] ppid=16651 vsize=915456 CPUtime=0.23
/proc/16653/task/16659/stat : 16659 (java) S 16651 16653 16530 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16660] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16660/stat : 16660 (java) S 16651 16653 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16661] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16661/stat : 16661 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915456
[startup+162.436 s]
/proc/loadavg: 2.00 1.97 1.91 3/100 16661
/proc/meminfo: memFree=1090024/2055920 swapFree=4165584/4192956
[pid=16653] ppid=16651 vsize=915456 CPUtime=162.23
/proc/16653/stat : 16653 (java) R 16651 16653 16530 0 -1 0 8984 0 1 0 16215 8 0 0 25 0 8 0 155856723 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16653/statm: 228864 8719 2513 14 0 215334 0
[pid=16653/tid=16655] ppid=16651 vsize=915456 CPUtime=0.03
/proc/16653/task/16655/stat : 16655 (java) S 16651 16653 16530 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16656] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16656/stat : 16656 (java) S 16651 16653 16530 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16657] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16657/stat : 16657 (java) S 16651 16653 16530 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155856727 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16658] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16658/stat : 16658 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16659] ppid=16651 vsize=915456 CPUtime=0.23
/proc/16653/task/16659/stat : 16659 (java) S 16651 16653 16530 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16660] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16660/stat : 16660 (java) S 16651 16653 16530 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16653/tid=16661] ppid=16651 vsize=915456 CPUtime=0
/proc/16653/task/16661/stat : 16661 (java) S 16651 16653 16530 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155856730 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 188.12
CPU time (s): 187.911
CPU user time (s): 187.817
CPU system time (s): 0.093985
CPU usage (%): 99.8889
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.817
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8991
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= 4961
involuntary context switches= 9911
runsolver used 0.321951 s user time and 0.52492 s system time
The end
Begin job on node1 on Sat Jan 6 09:10:10 UTC 2007
IDJOB= 208132
IDBENCH= 4354
FILE ID= node1/208132-1168074610
PBS_JOBID= 3475782
Free space on /tmp= 66296 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-54021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208132-1168074610/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-208132-1168074610 -o ROOT/results/node1/solver-208132-1168074610 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208132-1168074610/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 54698638fe0987e45b8e84e29f50723c
RANDOM SEED= 401815962
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: 1115440 kB
Buffers: 69636 kB
Cached: 614424 kB
SwapCached: 3692 kB
Active: 489740 kB
Inactive: 353272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1115440 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 178848 kB
Slab: 81904 kB
Committed_AS: 4938964 kB
PageTables: 2616 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= 66296 MiB
End job on node1 on Sat Jan 6 09:13:19 UTC 2007