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/241925-1168085441/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.44 nbConstraints=100 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=98
0.44 nbConflictsStructures=2 nbSharedConflictsStructures=98 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.44 => wckTime=0.147 cpuTime=0.13 mem=7M927
0.48
0.48 solver IterativeSystematicSolver being built...
0.65 => wckTime=0.357 cpuTime=0.27 mem=15M399
0.66
0.66 preprocessing
0.66 nbConstraintChecks=0 nbPropagations=150 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.66 detectedInconsistency=no
0.66 => wckTime=0.0030 cpuTime=0.0 mem=15M399
0.70
0.70 search
0.70 run=0 nbConstraintChecks=387 nbValidityChecks=639 nbPropagations=309 nbRevisions=325 nbUselessRevisions=222
0.70 nbAssignments=110 nbFailedAssignments=2 nbBacktracks=11 nbVisitedNodes=117 nbRestartNogoods=0 mapSize=5
0.70 nbInferences=2 nbTooLargeKeys=0
0.70 => wckTime=0.046 cpuTime=0.03 mem=15M399
0.72
0.72 search
0.72 run=1 nbConstraintChecks=540 nbValidityChecks=1447 nbPropagations=799 nbRevisions=1007 nbUselessRevisions=671
0.72 nbAssignments=217 nbFailedAssignments=6 nbBacktracks=27 nbVisitedNodes=232 nbRestartNogoods=1 mapSize=11
0.72 nbInferences=2 nbTooLargeKeys=0
0.72 => wckTime=0.067 cpuTime=0.04 mem=15M399
0.74
0.74 search
0.74 run=2 nbConstraintChecks=759 nbValidityChecks=2390 nbPropagations=1493 nbRevisions=2097
0.74 nbUselessRevisions=1386 nbAssignments=341 nbFailedAssignments=10 nbBacktracks=49 nbVisitedNodes=369
0.74 nbRestartNogoods=2 mapSize=22 nbInferences=7 nbTooLargeKeys=0
0.74 => wckTime=0.086 cpuTime=0.05 mem=15M399
0.76
0.76 search
0.76 run=3 nbConstraintChecks=1014 nbValidityChecks=3462 nbPropagations=2433 nbRevisions=3648
0.76 nbUselessRevisions=2366 nbAssignments=453 nbFailedAssignments=19 nbBacktracks=85 nbVisitedNodes=502
0.76 nbRestartNogoods=4 mapSize=42 nbInferences=11 nbTooLargeKeys=0
0.76 => wckTime=0.106 cpuTime=0.07 mem=15M399
0.78
0.78 search
0.78 run=4 nbConstraintChecks=1472 nbValidityChecks=4954 nbPropagations=3718 nbRevisions=5849
0.78 nbUselessRevisions=3729 nbAssignments=626 nbFailedAssignments=28 nbBacktracks=136 nbVisitedNodes=704
0.78 nbRestartNogoods=5 mapSize=64 nbInferences=22 nbTooLargeKeys=0
0.78 => wckTime=0.127 cpuTime=0.08 mem=15M399
0.80
0.81 search
0.81 run=5 nbConstraintChecks=1972 nbValidityChecks=6611 nbPropagations=5379 nbRevisions=8758
0.81 nbUselessRevisions=5487 nbAssignments=791 nbFailedAssignments=46 nbBacktracks=212 nbVisitedNodes=917
0.81 nbRestartNogoods=8 mapSize=107 nbInferences=34 nbTooLargeKeys=0
0.81 => wckTime=0.15 cpuTime=0.1 mem=16M374
0.82
0.82 search
0.82 run=6 nbConstraintChecks=2776 nbValidityChecks=9076 nbPropagations=7604 nbRevisions=12708
0.82 nbUselessRevisions=7811 nbAssignments=1012 nbFailedAssignments=68 nbBacktracks=325 nbVisitedNodes=1206
0.82 nbRestartNogoods=10 mapSize=171 nbInferences=58 nbTooLargeKeys=0
0.82 => wckTime=0.169 cpuTime=0.12 mem=16M374
0.85
0.85 search
0.85 run=7 nbConstraintChecks=4100 nbValidityChecks=12834 nbPropagations=10706 nbRevisions=18297
0.85 nbUselessRevisions=11009 nbAssignments=1307 nbFailedAssignments=105 nbBacktracks=497 nbVisitedNodes=1615
0.85 nbRestartNogoods=12 mapSize=277 nbInferences=98 nbTooLargeKeys=0
0.85 => wckTime=0.197 cpuTime=0.14 mem=16M374
0.90
0.90 search
0.90 run=8 nbConstraintChecks=5889 nbValidityChecks=17806 nbPropagations=14951 nbRevisions=25975
0.90 nbUselessRevisions=15317 nbAssignments=1754 nbFailedAssignments=151 nbBacktracks=762 nbVisitedNodes=2215
0.90 nbRestartNogoods=15 mapSize=421 nbInferences=159 nbTooLargeKeys=0
0.90 => wckTime=0.243 cpuTime=0.18 mem=16M374
0.96
0.96 search
0.96 run=9 nbConstraintChecks=9589 nbValidityChecks=28710 nbPropagations=21919 nbRevisions=38349
0.96 nbUselessRevisions=22029 nbAssignments=2425 nbFailedAssignments=168 nbBacktracks=1146 nbVisitedNodes=3113
0.96 nbRestartNogoods=19 mapSize=643 nbInferences=352 nbTooLargeKeys=0
0.96 => wckTime=0.3 cpuTime=0.22 mem=16M374
1.02
1.02 search
1.02 run=10 nbConstraintChecks=13437 nbValidityChecks=39381 nbPropagations=31426 nbRevisions=55378
1.02 nbUselessRevisions=31327 nbAssignments=3313 nbFailedAssignments=200 nbBacktracks=1722 nbVisitedNodes=4278
1.02 nbRestartNogoods=24 mapSize=918 nbInferences=565 nbTooLargeKeys=0
1.02 => wckTime=0.368 cpuTime=0.28 mem=16M374
1.10
1.10 search
1.10 run=11 nbConstraintChecks=17848 nbValidityChecks=52173 nbPropagations=43928 nbRevisions=78000
1.10 nbUselessRevisions=43874 nbAssignments=4593 nbFailedAssignments=237 nbBacktracks=2587 nbVisitedNodes=5937
1.10 nbRestartNogoods=26 mapSize=1293 nbInferences=870 nbTooLargeKeys=0
1.10 => wckTime=0.448 cpuTime=0.36 mem=16M374
1.23
1.23 search
1.23 run=12 nbConstraintChecks=26770 nbValidityChecks=78288 nbPropagations=62838 nbRevisions=112262
1.23 nbUselessRevisions=62858 nbAssignments=6573 nbFailedAssignments=285 nbBacktracks=3886 nbVisitedNodes=8601
1.23 nbRestartNogoods=30 mapSize=1975 nbInferences=1458 nbTooLargeKeys=0
1.23 => wckTime=0.575 cpuTime=0.49 mem=16M374
1.41
1.41 search
1.41 run=13 nbConstraintChecks=40173 nbValidityChecks=117741 nbPropagations=91257 nbRevisions=163428
1.41 nbUselessRevisions=91175 nbAssignments=9549 nbFailedAssignments=296 nbBacktracks=5836 nbVisitedNodes=12553
1.41 nbRestartNogoods=32 mapSize=2943 nbInferences=2412 nbTooLargeKeys=0
1.41 => wckTime=0.758 cpuTime=0.67 mem=16M374
1.69
1.69 search
1.69 run=14 nbConstraintChecks=59949 nbValidityChecks=175081 nbPropagations=132960 nbRevisions=239004
1.69 nbUselessRevisions=133703 nbAssignments=14057 nbFailedAssignments=296 nbBacktracks=8757 nbVisitedNodes=18583
1.69 nbRestartNogoods=40 mapSize=4458 nbInferences=3934 nbTooLargeKeys=0
1.69 => wckTime=1.037 cpuTime=0.95 mem=17M349
2.12
2.12 search
2.12 run=15 nbConstraintChecks=90711 nbValidityChecks=264615 nbPropagations=195024 nbRevisions=352362
2.12 nbUselessRevisions=198405 nbAssignments=20875 nbFailedAssignments=304 nbBacktracks=13135 nbVisitedNodes=27767
2.12 nbRestartNogoods=47 mapSize=6821 nbInferences=6284 nbTooLargeKeys=0
2.12 => wckTime=1.461 cpuTime=1.37 mem=17M349
2.75
2.75 search
2.75 run=16 nbConstraintChecks=137290 nbValidityChecks=399148 nbPropagations=287109 nbRevisions=521540
2.75 nbUselessRevisions=296219 nbAssignments=31145 nbFailedAssignments=304 nbBacktracks=19706 nbVisitedNodes=41676
2.75 nbRestartNogoods=50 mapSize=10454 nbInferences=9923 nbTooLargeKeys=0
2.75 => wckTime=2.092 cpuTime=2.01 mem=18M324
3.72
3.72 search
3.72 run=17 nbConstraintChecks=210177 nbValidityChecks=608814 nbPropagations=426055 nbRevisions=777093
3.72 nbUselessRevisions=445210 nbAssignments=46885 nbFailedAssignments=304 nbBacktracks=29558 nbVisitedNodes=63223
3.72 nbRestartNogoods=56 mapSize=16255 nbInferences=15730 nbTooLargeKeys=0
3.72 => wckTime=3.063 cpuTime=2.98 mem=19M299
5.14
5.14 search
5.14 run=18 nbConstraintChecks=314866 nbValidityChecks=911109 nbPropagations=633522 nbRevisions=1159730
5.14 nbUselessRevisions=669115 nbAssignments=69877 nbFailedAssignments=304 nbBacktracks=44336 nbVisitedNodes=94373
5.14 nbRestartNogoods=62 mapSize=24409 nbInferences=23888 nbTooLargeKeys=0
5.14 => wckTime=4.483 cpuTime=4.4 mem=21M250
7.27
7.27 search
7.27 run=19 nbConstraintChecks=472517 nbValidityChecks=1368653 nbPropagations=944365 nbRevisions=1731905
7.27 nbUselessRevisions=1004191 nbAssignments=104591 nbFailedAssignments=304 nbBacktracks=66514
7.27 nbVisitedNodes=141576 nbRestartNogoods=66 mapSize=36894 nbInferences=36377 nbTooLargeKeys=0
7.27 => wckTime=6.617 cpuTime=6.53 mem=23M200
10.49
10.50 search
10.50 run=20 nbConstraintChecks=708638 nbValidityChecks=2052001 nbPropagations=1409713 nbRevisions=2587686
10.50 nbUselessRevisions=1506128 nbAssignments=156769 nbFailedAssignments=304 nbBacktracks=99769
10.50 nbVisitedNodes=212617 nbRestartNogoods=70 mapSize=55750 nbInferences=55240 nbTooLargeKeys=0
10.50 => wckTime=9.84 cpuTime=9.76 mem=27M101
15.29
15.29 search
15.29 run=21 nbConstraintChecks=1057319 nbValidityChecks=3064440 nbPropagations=2103302 nbRevisions=3863712
15.29 nbUselessRevisions=2255801 nbAssignments=234557 nbFailedAssignments=304 nbBacktracks=149648
15.29 nbVisitedNodes=318252 nbRestartNogoods=77 mapSize=83591 nbInferences=83087 nbTooLargeKeys=0
15.29 => wckTime=14.633 cpuTime=14.54 mem=32M952
22.46
22.46 search
22.46 run=22 nbConstraintChecks=1581416 nbValidityChecks=4583970 nbPropagations=3136842 nbRevisions=5767120
22.46 nbUselessRevisions=3377500 nbAssignments=351718 nbFailedAssignments=304 nbBacktracks=224466
22.46 nbVisitedNodes=477693 nbRestartNogoods=83 mapSize=125860 nbInferences=125367 nbTooLargeKeys=0
22.46 => wckTime=21.807 cpuTime=21.71 mem=41M802
33.35
33.35 search
33.35 run=23 nbConstraintChecks=2372999 nbValidityChecks=6879518 nbPropagations=4687735 nbRevisions=8622017
33.35 nbUselessRevisions=5059723 nbAssignments=527182 nbFailedAssignments=304 nbBacktracks=336693
33.35 nbVisitedNodes=716331 nbRestartNogoods=94 mapSize=189025 nbInferences=188541 nbTooLargeKeys=0
33.35 => wckTime=32.691 cpuTime=32.41 mem=22M977
40.01
40.01 search
40.01 run=24 nbConstraintChecks=3085952 nbValidityChecks=8884263 nbPropagations=6738880 nbRevisions=12340259
40.01 nbUselessRevisions=7199985 nbAssignments=634477 nbFailedAssignments=304 nbBacktracks=396520
40.01 nbVisitedNodes=871094 nbRestartNogoods=103 mapSize=236492 nbInferences=236010 nbTooLargeKeys=0
40.01 => wckTime=39.358 cpuTime=39.07 mem=30M984
40.01
40.01 global
40.01 nbConstraintChecks=3085952 nbValidityChecks=8884263 nbPropagations=6739030 nbRevisions=12340259
40.01 nbUselessRevisions=7199985 nbRestartNogoods=103 solvingWckTime=39.359 solvingCpuTime=39.07 expiredTime=no
40.01 totalExploration=yes nbFoundSolutions=0 globalCpuTime=39.39
40.01 => wckTime=39.717 cpuTime=39.34 mem=30M984
40.02
40.02 s UNSATISFIABLE
40.02 d NODES 634477
40.02 d CHECKS 3085952
40.02
40.02 totalWckTime=39.792 totalCpuTime=39.4
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-241925-1168085441 -o ROOT/results/node24/solver-241925-1168085441 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241925-1168085441/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.08 0.94 1.50 4/81 19275
/proc/meminfo: memFree=1773416/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=164 CPUtime=0
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 200 0 0 0 0 0 0 0 18 0 1 0 156941346 167936 7 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2539833 0 0 4096 0 0 0 0 17 1 0 0
/proc/19274/statm: 42 18 13 14 0 2 0
[startup+0.106594 s]
/proc/loadavg: 0.08 0.94 1.50 4/81 19275
/proc/meminfo: memFree=1773416/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=914988 CPUtime=0.09
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 3070 0 1 0 7 2 0 0 16 0 8 0 156941346 936947712 2816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514637 s]
/proc/loadavg: 0.08 0.94 1.50 4/81 19275
/proc/meminfo: memFree=1773416/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=0.49
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 6674 0 1 0 46 3 0 0 16 0 8 0 156941346 937435136 6412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155839954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19274/statm: 228866 6412 2374 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.33572 s]
/proc/loadavg: 0.15 0.94 1.50 2/88 19282
/proc/meminfo: memFree=1748784/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=1.32
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 8965 0 1 0 126 6 0 0 17 0 8 0 156941346 937435136 8703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 8703 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 8703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 369 0 0 0 17 1 0 0 16 0 8 0 156941353 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 8704 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) 915464
[startup+2.97289 s]
/proc/loadavg: 0.15 0.94 1.50 2/88 19282
/proc/meminfo: memFree=1747440/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=2.95
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 9435 0 1 0 289 6 0 0 19 0 8 0 156941346 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 9172 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 370 0 0 0 17 1 0 0 15 0 8 0 156941353 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.17725 s]
/proc/loadavg: 0.22 0.94 1.50 2/88 19282
/proc/meminfo: memFree=1743408/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=6.16
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 10381 0 1 0 609 7 0 0 25 0 8 0 156941346 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 10118 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 370 0 0 0 17 1 0 0 16 0 8 0 156941353 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 10118 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) 915464
[startup+12.6389 s]
/proc/loadavg: 0.28 0.94 1.49 2/88 19283
/proc/meminfo: memFree=1737136/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=12.62
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 12248 0 1 0 1255 7 0 0 25 0 8 0 156941346 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073690494 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 11985 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 370 0 0 0 17 1 0 0 16 0 8 0 156941353 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.4863 s]
/proc/loadavg: 0.39 0.94 1.49 2/88 19283
/proc/meminfo: memFree=1722672/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=25.46
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 15980 0 1 0 2537 9 0 0 25 0 8 0 156941346 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 15716 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 371 0 0 0 17 1 0 0 16 0 8 0 156941353 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 40.0428
CPU time (s): 40.0139
CPU user time (s): 39.8769
CPU system time (s): 0.136979
CPU usage (%): 99.9279
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.8769
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21160
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= 1540
involuntary context switches= 233
runsolver used 0.036994 s user time and 0.115982 s system time
The end
Begin job on node24 on Sat Jan 6 12:10:51 UTC 2007
IDJOB= 241925
IDBENCH= 7354
FILE ID= node24/241925-1168085441
PBS_JOBID= 3476242
Free space on /tmp= 66464 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-150-60_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241925-1168085441/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-241925-1168085441 -o ROOT/results/node24/solver-241925-1168085441 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241925-1168085441/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ca337bbeb6e518888e00c1dfffb8dbc8
RANDOM SEED= 645901750
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: 1774024 kB
Buffers: 28316 kB
Cached: 127608 kB
SwapCached: 0 kB
Active: 125048 kB
Inactive: 89464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1774024 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1724 kB
Writeback: 0 kB
Mapped: 77584 kB
Slab: 52372 kB
Committed_AS: 2972600 kB
PageTables: 2196 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= 66466 MiB
End job on node24 on Sat Jan 6 12:11:42 UTC 2007