0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/229161-1168080943/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.44 => wckTime=0.092 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1439 maxDegree=18
0.61 maxArity=2
0.61 => wckTime=0.263 cpuTime=0.19 mem=11M893
0.65
0.65 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.444 cpuTime=0.31 mem=13M733
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0030 cpuTime=0.0 mem=13M733
0.84
0.84 search
0.84 run=0 nbConstraintChecks=20361 nbPropagations=416 nbRevisions=3445 nbUselessRevisions=2704 nbAssignments=22
0.84 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.044 cpuTime=0.02 mem=14M708
0.85
0.85 search
0.85 run=1 nbConstraintChecks=52141 nbPropagations=1450 nbRevisions=12807 nbUselessRevisions=10029 nbAssignments=54
0.85 nbFailedAssignments=15 nbBacktracks=28 nbVisitedNodes=86 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.064 cpuTime=0.04 mem=14M708
0.87
0.87 search
0.87 run=2 nbConstraintChecks=91926 nbPropagations=3266 nbRevisions=29753 nbUselessRevisions=23286 nbAssignments=96
0.87 nbFailedAssignments=27 nbBacktracks=51 nbVisitedNodes=154 nbRestartNogoods=3 mapSize=38 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.081 cpuTime=0.05 mem=14M708
0.89
0.89 search
0.89 run=3 nbConstraintChecks=150844 nbPropagations=6236 nbRevisions=58688 nbUselessRevisions=46056
0.89 nbAssignments=158 nbFailedAssignments=50 nbBacktracks=84 nbVisitedNodes=257 nbRestartNogoods=6 mapSize=66
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.097 cpuTime=0.06 mem=14M708
0.91
0.91 search
0.91 run=4 nbConstraintChecks=234043 nbPropagations=10704 nbRevisions=103009 nbUselessRevisions=80573
0.91 nbAssignments=250 nbFailedAssignments=85 nbBacktracks=135 nbVisitedNodes=408 nbRestartNogoods=9 mapSize=104
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.116 cpuTime=0.08 mem=14M708
0.94
0.94 search
0.94 run=5 nbConstraintChecks=365182 nbPropagations=17638 nbRevisions=172591 nbUselessRevisions=134504
0.94 nbAssignments=388 nbFailedAssignments=141 nbBacktracks=212 nbVisitedNodes=645 nbRestartNogoods=14 mapSize=169
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.147 cpuTime=0.11 mem=14M708
0.98
0.98 search
0.98 run=6 nbConstraintChecks=583085 nbPropagations=28432 nbRevisions=283785 nbUselessRevisions=220468
0.98 nbAssignments=601 nbFailedAssignments=233 nbBacktracks=326 nbVisitedNodes=1015 nbRestartNogoods=17 mapSize=267
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.192 cpuTime=0.15 mem=14M708
1.03
1.03 search
1.03 run=7 nbConstraintChecks=824675 nbPropagations=43819 nbRevisions=442826 nbUselessRevisions=343138
1.03 nbAssignments=892 nbFailedAssignments=346 nbBacktracks=496 nbVisitedNodes=1502 nbRestartNogoods=24 mapSize=402
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.243 cpuTime=0.2 mem=14M708
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1287407 nbPropagations=67501 nbRevisions=690930 nbUselessRevisions=533541
1.13 nbAssignments=1328 nbFailedAssignments=519 nbBacktracks=753 nbVisitedNodes=2264 nbRestartNogoods=32
1.13 mapSize=614 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.335 cpuTime=0.28 mem=14M708
1.25
1.25 search
1.25 run=9 nbConstraintChecks=1875590 nbPropagations=102009 nbRevisions=1053946 nbUselessRevisions=811836
1.25 nbAssignments=1970 nbFailedAssignments=770 nbBacktracks=1137 nbVisitedNodes=3378 nbRestartNogoods=39
1.25 mapSize=934 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.456 cpuTime=0.39 mem=14M708
1.28
1.28 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=14M708)
1.42
1.42 search
1.42 run=10 nbConstraintChecks=2871418 nbPropagations=154401 nbRevisions=1611259 nbUselessRevisions=1239057
1.42 nbAssignments=2939 nbFailedAssignments=1157 nbBacktracks=1715 nbVisitedNodes=5063 nbRestartNogoods=50
1.42 => wckTime=0.63 cpuTime=0.55 mem=14M708
1.65
1.65 search
1.65 run=11 nbConstraintChecks=4294484 nbPropagations=232947 nbRevisions=2443232 nbUselessRevisions=1875921
1.65 nbAssignments=4375 nbFailedAssignments=1723 nbBacktracks=2579 nbVisitedNodes=7552 nbRestartNogoods=57
1.65 => wckTime=0.861 cpuTime=0.78 mem=14M708
1.99
1.99 search
1.99 run=12 nbConstraintChecks=6550612 nbPropagations=351290 nbRevisions=3693369 nbUselessRevisions=2828888
1.99 nbAssignments=6522 nbFailedAssignments=2567 nbBacktracks=3876 nbVisitedNodes=11267 nbRestartNogoods=65
1.99 => wckTime=1.201 cpuTime=1.12 mem=14M708
2.50
2.50 search
2.50 run=13 nbConstraintChecks=9811986 nbPropagations=529971 nbRevisions=5589521 nbUselessRevisions=4277442
2.50 nbAssignments=9816 nbFailedAssignments=3913 nbBacktracks=5822 nbVisitedNodes=17049 nbRestartNogoods=73
2.50 => wckTime=1.712 cpuTime=1.63 mem=14M708
3.25
3.25 search
3.25 run=14 nbConstraintChecks=14687449 nbPropagations=796677 nbRevisions=8430410 nbUselessRevisions=6452377
3.25 nbAssignments=14548 nbFailedAssignments=5717 nbBacktracks=8744 nbVisitedNodes=25253 nbRestartNogoods=75
3.25 => wckTime=2.459 cpuTime=2.38 mem=14M708
4.46
4.46 search
4.46 run=15 nbConstraintChecks=22697736 nbPropagations=1205773 nbRevisions=12808101 nbUselessRevisions=9805243
4.46 nbAssignments=22043 nbFailedAssignments=8825 nbBacktracks=13123 nbVisitedNodes=38448 nbRestartNogoods=85
4.46 => wckTime=3.671 cpuTime=3.59 mem=14M708
6.27
6.27 search
6.27 run=16 nbConstraintChecks=34588849 nbPropagations=1827229 nbRevisions=19491464 nbUselessRevisions=14931015
6.27 nbAssignments=33223 nbFailedAssignments=13429 nbBacktracks=19694 nbVisitedNodes=58133 nbRestartNogoods=98
6.27 => wckTime=5.478 cpuTime=5.4 mem=14M708
8.91
8.91 search
8.91 run=17 nbConstraintChecks=51782490 nbPropagations=2756461 nbRevisions=29504656 nbUselessRevisions=22613498
8.91 nbAssignments=50005 nbFailedAssignments=20352 nbBacktracks=29547 nbVisitedNodes=87498 nbRestartNogoods=111
8.91 => wckTime=8.123 cpuTime=8.04 mem=14M708
12.80
12.80 search
12.80 run=18 nbConstraintChecks=77106212 nbPropagations=4139810 nbRevisions=44361000 nbUselessRevisions=34011194
12.80 nbAssignments=74539 nbFailedAssignments=30103 nbBacktracks=44325 nbVisitedNodes=130150 nbRestartNogoods=128
12.80 => wckTime=12.005 cpuTime=11.92 mem=14M708
18.77
18.77 search
18.77 run=19 nbConstraintChecks=116588124 nbPropagations=6217402 nbRevisions=66756017 nbUselessRevisions=51200079
18.77 nbAssignments=111791 nbFailedAssignments=45182 nbBacktracks=66493 nbVisitedNodes=195296 nbRestartNogoods=138
18.77 => wckTime=17.98 cpuTime=17.89 mem=14M708
26.35
26.35 search
26.35 run=20 nbConstraintChecks=166698711 nbPropagations=9181392 nbRevisions=98738385 nbUselessRevisions=75751963
26.35 nbAssignments=159057 nbFailedAssignments=64590 nbBacktracks=94352 nbVisitedNodes=277992 nbRestartNogoods=149
26.35 => wckTime=25.561 cpuTime=25.47 mem=14M708
26.35
26.35 global
26.35 nbConstraintChecks=166698711 nbPropagations=9181432 nbRevisions=98738385 nbUselessRevisions=75751963
26.35 nbRestartNogoods=149 solvingWckTime=25.561 solvingCpuTime=25.47 expiredTime=no totalExploration=yes
26.35 nbFoundSolutions=0 globalCpuTime=25.82
26.35 => wckTime=26.008 cpuTime=25.78 mem=14M708
26.35
26.35 s UNSATISFIABLE
26.35 d NODES 159057
26.35 d CHECKS 166698711
26.35
26.36 totalWckTime=26.082 totalCpuTime=25.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-229161-1168080943 -o ROOT/results/node41/solver-229161-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229161-1168080943/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.37 0.82 1.06 3/65 7831
/proc/meminfo: memFree=1655008/2055920 swapFree=4192812/4192956
[pid=7830] ppid=7828 vsize=1784 CPUtime=0
/proc/7830/stat : 7830 (java) D 7828 7830 7071 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 156495265 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/7830/statm: 446 136 102 14 0 91 0
[startup+0.105661 s]
/proc/loadavg: 0.37 0.82 1.06 3/65 7831
/proc/meminfo: memFree=1655008/2055920 swapFree=4192812/4192956
[pid=7830] ppid=7828 vsize=913228 CPUtime=0.07
/proc/7830/stat : 7830 (java) D 7828 7830 7071 0 -1 0 2920 0 1 0 6 1 0 0 16 0 8 0 156495265 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7830/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.513696 s]
/proc/loadavg: 0.37 0.82 1.06 3/65 7831
/proc/meminfo: memFree=1655008/2055920 swapFree=4192812/4192956
[pid=7830] ppid=7828 vsize=915328 CPUtime=0.45
/proc/7830/stat : 7830 (java) R 7828 7830 7071 0 -1 0 6636 0 1 0 41 4 0 0 16 0 8 0 156495265 937295872 6375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7830/statm: 228832 6376 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33477 s]
/proc/loadavg: 0.42 0.82 1.06 2/72 7838
/proc/meminfo: memFree=1631848/2055920 swapFree=4192812/4192956
[pid=7830] ppid=7828 vsize=915452 CPUtime=1.25
/proc/7830/stat : 7830 (java) R 7828 7830 7071 0 -1 0 8592 0 1 0 120 5 0 0 17 0 8 0 156495265 937422848 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791758 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7830/statm: 228863 8330 2513 14 0 215333 0
[pid=7830/tid=7832] ppid=7828 vsize=915452 CPUtime=0.03
/proc/7830/task/7832/stat : 7832 (java) S 7828 7830 7071 0 -1 64 241 0 0 0 3 0 0 0 17 0 8 0 156495269 937422848 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7833] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 7071 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 7071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156495273 937422848 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=915452 CPUtime=0.2
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 7071 0 -1 64 383 0 0 0 20 0 0 0 16 0 8 0 156495273 937422848 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7837] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156495273 937422848 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 7071 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495273 937422848 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915452
[startup+2.97191 s]
/proc/loadavg: 0.42 0.82 1.06 2/72 7838
/proc/meminfo: memFree=1631656/2055920 swapFree=4192812/4192956
[pid=7830] ppid=7828 vsize=915452 CPUtime=2.89
/proc/7830/stat : 7830 (java) R 7828 7830 7071 0 -1 0 8608 0 1 0 284 5 0 0 17 0 8 0 156495265 937422848 8345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7830/statm: 228863 8345 2513 14 0 215333 0
[pid=7830/tid=7832] ppid=7828 vsize=915452 CPUtime=0.03
/proc/7830/task/7832/stat : 7832 (java) S 7828 7830 7071 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156495269 937422848 8345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7833] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 7071 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 7071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156495273 937422848 8345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=915452 CPUtime=0.21
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 7071 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156495273 937422848 8345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7837] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156495273 937422848 8345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 7071 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495273 937422848 8345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915452
[startup+6.2702 s]
/proc/loadavg: 0.46 0.82 1.06 2/72 7838
/proc/meminfo: memFree=1631592/2055920 swapFree=4192812/4192956
[pid=7830] ppid=7828 vsize=915452 CPUtime=6.18
/proc/7830/stat : 7830 (java) R 7828 7830 7071 0 -1 0 8613 0 1 0 613 5 0 0 23 0 8 0 156495265 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7830/statm: 228863 8349 2513 14 0 215333 0
[pid=7830/tid=7832] ppid=7828 vsize=915452 CPUtime=0.03
/proc/7830/task/7832/stat : 7832 (java) S 7828 7830 7071 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156495269 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7833] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 7071 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 7071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156495273 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=915452 CPUtime=0.21
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 7071 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156495273 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7837] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156495273 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 7071 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495273 937422848 8349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915452
[startup+12.7328 s]
/proc/loadavg: 0.51 0.82 1.06 2/72 7838
/proc/meminfo: memFree=1631592/2055920 swapFree=4192812/4192956
[pid=7830] ppid=7828 vsize=915452 CPUtime=12.64
/proc/7830/stat : 7830 (java) R 7828 7830 7071 0 -1 0 8618 0 1 0 1259 5 0 0 25 0 8 0 156495265 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807059 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7830/statm: 228863 8354 2513 14 0 215333 0
[pid=7830/tid=7832] ppid=7828 vsize=915452 CPUtime=0.03
/proc/7830/task/7832/stat : 7832 (java) S 7828 7830 7071 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156495269 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7833] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 7071 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 7071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156495273 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=915452 CPUtime=0.21
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 7071 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156495273 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7837] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156495273 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 7071 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495273 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915452
[startup+25.5909 s]
/proc/loadavg: 0.58 0.83 1.06 2/72 7838
/proc/meminfo: memFree=1631592/2055920 swapFree=4192812/4192956
[pid=7830] ppid=7828 vsize=915452 CPUtime=25.5
/proc/7830/stat : 7830 (java) R 7828 7830 7071 0 -1 0 8623 0 1 0 2545 5 0 0 25 0 8 0 156495265 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7830/statm: 228863 8359 2513 14 0 215333 0
[pid=7830/tid=7832] ppid=7828 vsize=915452 CPUtime=0.03
/proc/7830/task/7832/stat : 7832 (java) S 7828 7830 7071 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156495269 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7833] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7833/stat : 7833 (java) S 7828 7830 7071 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7834] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7834/stat : 7834 (java) S 7828 7830 7071 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156495270 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7835] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7835/stat : 7835 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156495273 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7836] ppid=7828 vsize=915452 CPUtime=0.21
/proc/7830/task/7836/stat : 7836 (java) S 7828 7830 7071 0 -1 64 388 0 0 0 21 0 0 0 16 0 8 0 156495273 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7830/tid=7837] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7837/stat : 7837 (java) S 7828 7830 7071 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156495273 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7830/tid=7838] ppid=7828 vsize=915452 CPUtime=0
/proc/7830/task/7838/stat : 7838 (java) S 7828 7830 7071 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156495273 937422848 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 26.4116
CPU time (s): 26.285
CPU user time (s): 26.22
CPU system time (s): 0.06499
CPU usage (%): 99.5206
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.22
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8715
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= 1337
involuntary context switches= 133
runsolver used 0.030995 s user time and 0.080987 s system time
The end
Begin job on node41 on Sat Jan 6 10:55:54 UTC 2007
IDJOB= 229161
IDBENCH= 6283
FILE ID= node41/229161-1168080943
PBS_JOBID= 3476046
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229161-1168080943/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-229161-1168080943 -o ROOT/results/node41/solver-229161-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229161-1168080943/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 62dea78fee4aa672a1b59404c260ab7e
RANDOM SEED= 807586282
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: 1655680 kB
Buffers: 34392 kB
Cached: 275280 kB
SwapCached: 0 kB
Active: 57608 kB
Inactive: 267840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1655680 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 26016 kB
Slab: 60724 kB
Committed_AS: 2525008 kB
PageTables: 1480 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= 66531 MiB
End job on node41 on Sat Jan 6 10:56:32 UTC 2007