0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/242220-1168085481/unknown.xml
0.45
0.45 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=63 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.49
0.49 relations being loaded...
0.49
0.49 constraints being loaded...
0.52 nbConstraints=42 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=40
0.52 nbConflictsStructures=2 nbSharedConflictsStructures=40 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.52 => wckTime=0.132 cpuTime=0.12 mem=6M951
0.56
0.56 solver IterativeSystematicSolver being built...
0.74 => wckTime=0.35 cpuTime=0.26 mem=14M341
0.74
0.74 preprocessing
0.74 nbConstraintChecks=0 nbPropagations=63 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.74 detectedInconsistency=no
0.74 => wckTime=0.0010 cpuTime=0.0 mem=14M341
0.78
0.78 search
0.78 run=0 nbConstraintChecks=189 nbValidityChecks=336 nbPropagations=144 nbRevisions=187 nbUselessRevisions=126
0.78 nbAssignments=41 nbFailedAssignments=1 nbBacktracks=20 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=1
0.78 nbInferences=0 nbTooLargeKeys=0
0.78 => wckTime=0.036 cpuTime=0.02 mem=15M382
0.79
0.79 search
0.79 run=1 nbConstraintChecks=356 nbValidityChecks=860 nbPropagations=405 nbRevisions=613 nbUselessRevisions=396
0.79 nbAssignments=100 nbFailedAssignments=7 nbBacktracks=38 nbVisitedNodes=117 nbRestartNogoods=1 mapSize=12
0.79 nbInferences=2 nbTooLargeKeys=0
0.79 => wckTime=0.05 cpuTime=0.03 mem=15M382
0.81
0.81 search
0.81 run=2 nbConstraintChecks=545 nbValidityChecks=1459 nbPropagations=800 nbRevisions=1301 nbUselessRevisions=814
0.81 nbAssignments=166 nbFailedAssignments=14 nbBacktracks=65 nbVisitedNodes=197 nbRestartNogoods=2 mapSize=25
0.81 nbInferences=3 nbTooLargeKeys=0
0.81 => wckTime=0.065 cpuTime=0.04 mem=15M382
0.82
0.82 search
0.82 run=3 nbConstraintChecks=798 nbValidityChecks=2228 nbPropagations=1365 nbRevisions=2314
0.82 nbUselessRevisions=1409 nbAssignments=245 nbFailedAssignments=23 nbBacktracks=98 nbVisitedNodes=295
0.82 nbRestartNogoods=3 mapSize=40 nbInferences=5 nbTooLargeKeys=0
0.82 => wckTime=0.081 cpuTime=0.05 mem=15M382
0.84
0.84 search
0.84 run=4 nbConstraintChecks=1154 nbValidityChecks=3281 nbPropagations=2160 nbRevisions=3770
0.84 nbUselessRevisions=2250 nbAssignments=348 nbFailedAssignments=34 nbBacktracks=150 nbVisitedNodes=426
0.84 nbRestartNogoods=6 mapSize=64 nbInferences=12 nbTooLargeKeys=0
0.84 => wckTime=0.099 cpuTime=0.06 mem=15M382
0.86
0.86 search
0.86 run=5 nbConstraintChecks=1659 nbValidityChecks=4779 nbPropagations=3281 nbRevisions=5858
0.86 nbUselessRevisions=3452 nbAssignments=484 nbFailedAssignments=47 nbBacktracks=225 nbVisitedNodes=605
0.86 nbRestartNogoods=8 mapSize=103 nbInferences=31 nbTooLargeKeys=0
0.86 => wckTime=0.118 cpuTime=0.07 mem=15M382
0.89
0.89 search
0.89 run=6 nbConstraintChecks=2374 nbValidityChecks=6931 nbPropagations=4905 nbRevisions=8843
0.89 nbUselessRevisions=5141 nbAssignments=664 nbFailedAssignments=53 nbBacktracks=340 nbVisitedNodes=835
0.89 nbRestartNogoods=12 mapSize=152 nbInferences=70 nbTooLargeKeys=0
0.89 => wckTime=0.144 cpuTime=0.09 mem=15M382
0.90
0.90 search
0.90 run=7 nbConstraintChecks=3308 nbValidityChecks=9751 nbPropagations=7194 nbRevisions=13069
0.90 nbUselessRevisions=7537 nbAssignments=921 nbFailedAssignments=61 nbBacktracks=510 nbVisitedNodes=1166
0.90 nbRestartNogoods=13 mapSize=222 nbInferences=128 nbTooLargeKeys=0
0.90 => wckTime=0.161 cpuTime=0.1 mem=15M382
0.93
0.93 search
0.93 run=8 nbConstraintChecks=5258 nbValidityChecks=15651 nbPropagations=10919 nbRevisions=19856
0.93 nbUselessRevisions=11286 nbAssignments=1303 nbFailedAssignments=68 nbBacktracks=766 nbVisitedNodes=1671
0.93 nbRestartNogoods=17 mapSize=343 nbInferences=237 nbTooLargeKeys=0
0.93 => wckTime=0.184 cpuTime=0.13 mem=15M382
0.98
0.98 search
0.98 run=9 nbConstraintChecks=8367 nbValidityChecks=25093 nbPropagations=16964 nbRevisions=30688
0.98 nbUselessRevisions=17121 nbAssignments=1877 nbFailedAssignments=71 nbBacktracks=1151 nbVisitedNodes=2419
0.98 nbRestartNogoods=19 mapSize=514 nbInferences=408 nbTooLargeKeys=0
0.98 => wckTime=0.236 cpuTime=0.15 mem=15M382
1.02
1.02 search
1.02 run=10 nbConstraintChecks=13110 nbValidityChecks=39629 nbPropagations=26572 nbRevisions=47682
1.02 nbUselessRevisions=26092 nbAssignments=2731 nbFailedAssignments=72 nbBacktracks=1731 nbVisitedNodes=3532
1.02 nbRestartNogoods=22 mapSize=768 nbInferences=666 nbTooLargeKeys=0
1.02 => wckTime=0.276 cpuTime=0.18 mem=15M382
1.08
1.08 search
1.08 run=11 nbConstraintChecks=24462 nbValidityChecks=73040 nbPropagations=44169 nbRevisions=78526
1.08 nbUselessRevisions=42258 nbAssignments=4264 nbFailedAssignments=72 nbBacktracks=2596 nbVisitedNodes=5720
1.08 nbRestartNogoods=27 mapSize=1421 nbInferences=1321 nbTooLargeKeys=0
1.08 => wckTime=0.336 cpuTime=0.24 mem=15M382
1.16
1.16 search
1.16 run=12 nbConstraintChecks=38012 nbValidityChecks=113705 nbPropagations=71591 nbRevisions=126324
1.16 nbUselessRevisions=67098 nbAssignments=6341 nbFailedAssignments=72 nbBacktracks=3893 nbVisitedNodes=8563
1.16 nbRestartNogoods=29 mapSize=2181 nbInferences=2087 nbTooLargeKeys=0
1.16 => wckTime=0.419 cpuTime=0.32 mem=15M382
1.27
1.27 search
1.27 run=13 nbConstraintChecks=58270 nbValidityChecks=174141 nbPropagations=113643 nbRevisions=199436
1.27 nbUselessRevisions=104940 nbAssignments=9458 nbFailedAssignments=72 nbBacktracks=5844 nbVisitedNodes=12831
1.27 nbRestartNogoods=35 mapSize=3325 nbInferences=3238 nbTooLargeKeys=0
1.27 => wckTime=0.532 cpuTime=0.43 mem=15M382
1.45
1.45 search
1.45 run=14 nbConstraintChecks=92210 nbValidityChecks=275340 nbPropagations=179967 nbRevisions=314470
1.45 nbUselessRevisions=164342 nbAssignments=14337 nbFailedAssignments=72 nbBacktracks=8763 nbVisitedNodes=19657
1.45 nbRestartNogoods=42 mapSize=5267 nbInferences=5185 nbTooLargeKeys=0
1.45 => wckTime=0.709 cpuTime=0.61 mem=16M357
1.78
1.78 search
1.78 run=15 nbConstraintChecks=160980 nbValidityChecks=479526 nbPropagations=294220 nbRevisions=512563
1.78 nbUselessRevisions=267070 nbAssignments=22820 nbFailedAssignments=72 nbBacktracks=13144 nbVisitedNodes=32232
1.78 nbRestartNogoods=47 mapSize=9355 nbInferences=9277 nbTooLargeKeys=0
1.78 => wckTime=1.035 cpuTime=0.93 mem=16M357
2.15
2.15 search
2.15 run=16 nbConstraintChecks=230573 nbValidityChecks=686975 nbPropagations=458723 nbRevisions=797288
2.15 nbUselessRevisions=414072 nbAssignments=33345 nbFailedAssignments=72 nbBacktracks=19714 nbVisitedNodes=46697
2.15 nbRestartNogoods=51 mapSize=13288 nbInferences=13217 nbTooLargeKeys=0
2.15 => wckTime=1.404 cpuTime=1.3 mem=17M332
2.78
2.78 search
2.78 run=17 nbConstraintChecks=359713 nbValidityChecks=1069875 nbPropagations=714462 nbRevisions=1239907
2.78 nbUselessRevisions=642832 nbAssignments=50753 nbFailedAssignments=72 nbBacktracks=29566 nbVisitedNodes=71647
2.78 nbRestartNogoods=58 mapSize=20823 nbInferences=20759 nbTooLargeKeys=0
2.78 => wckTime=2.039 cpuTime=1.93 mem=18M307
3.71
3.71 search
3.71 run=18 nbConstraintChecks=545018 nbValidityChecks=1620912 nbPropagations=1101732 nbRevisions=1909807
3.71 nbUselessRevisions=988848 nbAssignments=76290 nbFailedAssignments=72 nbBacktracks=44344 nbVisitedNodes=107930
3.71 nbRestartNogoods=65 mapSize=31563 nbInferences=31505 nbTooLargeKeys=0
3.71 => wckTime=2.971 cpuTime=2.85 mem=20M257
5.40
5.40 search
5.40 run=19 nbConstraintChecks=906203 nbValidityChecks=2683172 nbPropagations=1745884 nbRevisions=3025062
5.40 nbUselessRevisions=1567688 nbAssignments=120640 nbFailedAssignments=72 nbBacktracks=66513 nbVisitedNodes=174448
5.40 nbRestartNogoods=71 mapSize=53725 nbInferences=53673 nbTooLargeKeys=0
5.40 => wckTime=4.659 cpuTime=4.52 mem=24M158
6.47
6.47 search
6.47 run=20 nbConstraintChecks=1135413 nbValidityChecks=3356860 nbPropagations=2553881 nbRevisions=4424363
6.47 nbUselessRevisions=2295013 nbAssignments=148924 nbFailedAssignments=72 nbBacktracks=80658 nbVisitedNodes=216871
6.47 nbRestartNogoods=76 mapSize=67864 nbInferences=67813 nbTooLargeKeys=0
6.47 => wckTime=5.729 cpuTime=5.58 mem=26M109
6.47
6.47 global
6.47 nbConstraintChecks=1135413 nbValidityChecks=3356860 nbPropagations=2553944 nbRevisions=4424363
6.47 nbUselessRevisions=2295013 nbRestartNogoods=76 solvingWckTime=5.73 solvingCpuTime=5.58 expiredTime=no
6.47 totalExploration=yes nbFoundSolutions=0 globalCpuTime=5.89
6.47 => wckTime=6.081 cpuTime=5.84 mem=26M109
6.48
6.48 s UNSATISFIABLE
6.48 d NODES 148924
6.48 d CHECKS 1135413
6.48
6.48 totalWckTime=6.163 totalCpuTime=5.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-242220-1168085481 -o ROOT/results/node52/solver-242220-1168085481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242220-1168085481/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.00 1.34 1.64 4/80 30126
/proc/meminfo: memFree=1408864/2055920 swapFree=4192812/4192956
[pid=30125] ppid=30123 vsize=18540 CPUtime=0
/proc/30125/stat : 30125 (runsolver) R 30123 30125 29946 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156948269 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30125/statm: 4635 279 244 17 0 2626 0
[startup+0.107078 s]
/proc/loadavg: 1.00 1.34 1.64 4/80 30126
/proc/meminfo: memFree=1408864/2055920 swapFree=4192812/4192956
[pid=30125] ppid=30123 vsize=912272 CPUtime=0.07
/proc/30125/stat : 30125 (java) R 30123 30125 29946 0 -1 0 2646 0 1 0 6 1 0 0 20 0 8 0 156948269 934166528 2393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 228068 2393 1288 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912272
[startup+0.515109 s]
/proc/loadavg: 1.00 1.34 1.64 4/80 30126
/proc/meminfo: memFree=1408864/2055920 swapFree=4192812/4192956
[pid=30125] ppid=30123 vsize=915328 CPUtime=0.41
/proc/30125/stat : 30125 (java) R 30123 30125 29946 0 -1 0 6152 0 1 0 38 3 0 0 18 0 8 0 156948269 937295872 5891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152150325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 228832 5891 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328
[startup+1.33616 s]
/proc/loadavg: 1.32 1.41 1.66 3/87 30133
/proc/meminfo: memFree=1384744/2055920 swapFree=4192812/4192956
[pid=30125] ppid=30123 vsize=915404 CPUtime=1.22
/proc/30125/stat : 30125 (java) R 30123 30125 29946 0 -1 0 8826 0 1 0 117 5 0 0 24 0 8 0 156948269 937373696 8564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 228851 8564 2518 14 0 215321 0
[pid=30125/tid=30127] ppid=30123 vsize=915404 CPUtime=0.02
/proc/30125/task/30127/stat : 30127 (java) S 30123 30125 29946 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 156948275 937373696 8564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30128/stat : 30128 (java) S 30123 30125 29946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156948275 937373696 8564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30129] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30129/stat : 30129 (java) S 30123 30125 29946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156948275 937373696 8564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30130] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30130/stat : 30130 (java) S 30123 30125 29946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156948278 937373696 8564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30131] ppid=30123 vsize=915404 CPUtime=0.19
/proc/30125/task/30131/stat : 30131 (java) S 30123 30125 29946 0 -1 64 363 0 0 0 18 1 0 0 15 0 8 0 156948278 937373696 8564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30132] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30132/stat : 30132 (java) S 30123 30125 29946 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156948279 937373696 8564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30133] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30133/stat : 30133 (java) S 30123 30125 29946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156948279 937373696 8564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915404
[startup+2.97327 s]
/proc/loadavg: 1.32 1.41 1.66 3/87 30133
/proc/meminfo: memFree=1382504/2055920 swapFree=4192812/4192956
[pid=30125] ppid=30123 vsize=915404 CPUtime=2.85
/proc/30125/stat : 30125 (java) R 30123 30125 29946 0 -1 0 9590 0 1 0 279 6 0 0 25 0 8 0 156948269 937373696 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073658912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 228851 9327 2518 14 0 215321 0
[pid=30125/tid=30127] ppid=30123 vsize=915404 CPUtime=0.02
/proc/30125/task/30127/stat : 30127 (java) S 30123 30125 29946 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 156948275 937373696 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30128/stat : 30128 (java) S 30123 30125 29946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156948275 937373696 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30129] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30129/stat : 30129 (java) S 30123 30125 29946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156948275 937373696 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30130] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30130/stat : 30130 (java) S 30123 30125 29946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156948278 937373696 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30131] ppid=30123 vsize=915404 CPUtime=0.19
/proc/30125/task/30131/stat : 30131 (java) S 30123 30125 29946 0 -1 64 363 0 0 0 18 1 0 0 15 0 8 0 156948278 937373696 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30132] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30132/stat : 30132 (java) S 30123 30125 29946 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156948279 937373696 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30133] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30133/stat : 30133 (java) S 30123 30125 29946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156948279 937373696 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915404
[startup+6.27349 s]
/proc/loadavg: 1.38 1.41 1.66 3/87 30133
/proc/meminfo: memFree=1375848/2055920 swapFree=4192812/4192956
[pid=30125] ppid=30123 vsize=915404 CPUtime=6.11
/proc/30125/stat : 30125 (java) R 30123 30125 29946 0 -1 0 11206 0 1 0 605 6 0 0 25 0 8 0 156948269 937373696 10943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780747 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30125/statm: 228851 10943 2518 14 0 215321 0
[pid=30125/tid=30127] ppid=30123 vsize=915404 CPUtime=0.02
/proc/30125/task/30127/stat : 30127 (java) S 30123 30125 29946 0 -1 64 120 0 0 0 2 0 0 0 16 0 8 0 156948275 937373696 10943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30128] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30128/stat : 30128 (java) S 30123 30125 29946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156948275 937373696 10943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30129] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30129/stat : 30129 (java) S 30123 30125 29946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156948275 937373696 10943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30130] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30130/stat : 30130 (java) S 30123 30125 29946 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156948278 937373696 10943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30131] ppid=30123 vsize=915404 CPUtime=0.19
/proc/30125/task/30131/stat : 30131 (java) S 30123 30125 29946 0 -1 64 363 0 0 0 18 1 0 0 16 0 8 0 156948278 937373696 10943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30132] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30132/stat : 30132 (java) S 30123 30125 29946 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156948279 937373696 10943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30125/tid=30133] ppid=30123 vsize=915404 CPUtime=0
/proc/30125/task/30133/stat : 30133 (java) S 30123 30125 29946 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156948279 937373696 10943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915404
Child status: 0
Real time (s): 6.51692
CPU time (s): 6.34004
CPU user time (s): 6.26405
CPU system time (s): 0.075988
CPU usage (%): 97.2858
Max. virtual memory (cumulated for all children) (KiB): 915404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.26405
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11386
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= 1129
involuntary context switches= 1479
runsolver used 0.006998 s user time and 0.030995 s system time
The end
Begin job on node52 on Sat Jan 6 12:11:29 UTC 2007
IDJOB= 242220
IDBENCH= 7376
FILE ID= node52/242220-1168085481
PBS_JOBID= 3476307
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242220-1168085481/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-242220-1168085481 -o ROOT/results/node52/solver-242220-1168085481 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242220-1168085481/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 544497aacdd28d2550ae740990e5522b
RANDOM SEED= 653545883
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.232
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.232
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: 1409408 kB
Buffers: 38896 kB
Cached: 456416 kB
SwapCached: 0 kB
Active: 115700 kB
Inactive: 454068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1409408 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1656 kB
Writeback: 0 kB
Mapped: 94668 kB
Slab: 61920 kB
Committed_AS: 3991780 kB
PageTables: 2032 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= 66549 MiB
End job on node52 on Sat Jan 6 12:11:50 UTC 2007