0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/229132-1168303704/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.40 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1408 maxDegree=18
0.57 maxArity=2
0.57 => wckTime=0.275 cpuTime=0.2 mem=11M893
0.61
0.61 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.473 cpuTime=0.34 mem=14M826
0.82
0.82 preprocessing
0.82 nbConstraintChecks=50933 nbPropagations=817 nbRevisions=5922 nbUselessRevisions=4841 nbSingletonTests=52
0.82 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.82 => wckTime=0.046 cpuTime=0.03 mem=14M826
0.84
0.84 search
0.84 run=0 nbConstraintChecks=16910 nbPropagations=1147 nbRevisions=9023 nbUselessRevisions=7278 nbAssignments=21
0.84 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=30 nbRestartNogoods=0 mapSize=5 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.064 cpuTime=0.04 mem=14M826
0.85
0.85 search
0.85 run=1 nbConstraintChecks=40437 nbPropagations=2753 nbRevisions=22567 nbUselessRevisions=17953 nbAssignments=49
0.85 nbFailedAssignments=13 nbBacktracks=28 nbVisitedNodes=74 nbRestartNogoods=2 mapSize=17 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.079 cpuTime=0.05 mem=14M826
0.87
0.87 search
0.87 run=2 nbConstraintChecks=87807 nbPropagations=5207 nbRevisions=44765 nbUselessRevisions=35329 nbAssignments=95
0.87 nbFailedAssignments=28 nbBacktracks=53 nbVisitedNodes=150 nbRestartNogoods=3 mapSize=37 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.096 cpuTime=0.06 mem=14M826
0.88
0.88 search
0.88 run=3 nbConstraintChecks=150479 nbPropagations=8774 nbRevisions=78732 nbUselessRevisions=61763
0.88 nbAssignments=161 nbFailedAssignments=54 nbBacktracks=86 nbVisitedNodes=259 nbRestartNogoods=8 mapSize=64
0.88 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.111 cpuTime=0.07 mem=14M826
0.91
0.91 search
0.91 run=4 nbConstraintChecks=244619 nbPropagations=14084 nbRevisions=129723 nbUselessRevisions=101413
0.91 nbAssignments=259 nbFailedAssignments=84 nbBacktracks=136 nbVisitedNodes=402 nbRestartNogoods=12 mapSize=106
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.132 cpuTime=0.09 mem=14M826
0.94
0.94 search
0.94 run=5 nbConstraintChecks=374645 nbPropagations=21803 nbRevisions=206298 nbUselessRevisions=160828
0.94 nbAssignments=388 nbFailedAssignments=131 nbBacktracks=213 nbVisitedNodes=619 nbRestartNogoods=15 mapSize=167
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.164 cpuTime=0.12 mem=14M826
0.98
0.98 search
0.98 run=6 nbConstraintChecks=587259 nbPropagations=33159 nbRevisions=321917 nbUselessRevisions=250129
0.98 nbAssignments=588 nbFailedAssignments=210 nbBacktracks=326 nbVisitedNodes=968 nbRestartNogoods=19 mapSize=260
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.206 cpuTime=0.16 mem=14M826
1.04
1.04 search
1.04 run=7 nbConstraintChecks=848036 nbPropagations=49791 nbRevisions=491544 nbUselessRevisions=380916
1.04 nbAssignments=880 nbFailedAssignments=324 nbBacktracks=497 nbVisitedNodes=1468 nbRestartNogoods=23 mapSize=396
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.263 cpuTime=0.22 mem=14M826
1.12
1.12 search
1.12 run=8 nbConstraintChecks=1213383 nbPropagations=73520 nbRevisions=732687 nbUselessRevisions=566097
1.12 nbAssignments=1293 nbFailedAssignments=471 nbBacktracks=755 nbVisitedNodes=2151 nbRestartNogoods=27
1.12 mapSize=595 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.343 cpuTime=0.29 mem=14M826
1.26
1.26 search
1.26 run=9 nbConstraintChecks=1885690 nbPropagations=109116 nbRevisions=1104473 nbUselessRevisions=852351
1.26 nbAssignments=1949 nbFailedAssignments=736 nbBacktracks=1141 nbVisitedNodes=3298 nbRestartNogoods=32
1.26 mapSize=925 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.483 cpuTime=0.42 mem=14M826
1.29
1.29 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=14M826)
1.44
1.44 search
1.44 run=10 nbConstraintChecks=2843268 nbPropagations=162139 nbRevisions=1659427 nbUselessRevisions=1278120
1.44 nbAssignments=2895 nbFailedAssignments=1100 nbBacktracks=1719 nbVisitedNodes=4940 nbRestartNogoods=37
1.44 => wckTime=0.662 cpuTime=0.58 mem=14M826
1.67
1.67 search
1.67 run=11 nbConstraintChecks=4167422 nbPropagations=240434 nbRevisions=2482164 nbUselessRevisions=1909735
1.67 nbAssignments=4326 nbFailedAssignments=1661 nbBacktracks=2585 nbVisitedNodes=7401 nbRestartNogoods=41
1.67 => wckTime=0.896 cpuTime=0.81 mem=14M826
2.02
2.02 search
2.02 run=12 nbConstraintChecks=6183910 nbPropagations=357094 nbRevisions=3709153 nbUselessRevisions=2851439
2.02 nbAssignments=6443 nbFailedAssignments=2475 nbBacktracks=3883 nbVisitedNodes=11080 nbRestartNogoods=46
2.02 => wckTime=1.241 cpuTime=1.16 mem=14M826
2.50
2.50 search
2.50 run=13 nbConstraintChecks=9148087 nbPropagations=529440 nbRevisions=5525870 nbUselessRevisions=4245821
2.50 nbAssignments=9552 nbFailedAssignments=3633 nbBacktracks=5830 nbVisitedNodes=16385 nbRestartNogoods=53
2.50 => wckTime=1.729 cpuTime=1.64 mem=14M826
3.18
3.18 search
3.18 run=14 nbConstraintChecks=13380165 nbPropagations=781979 nbRevisions=8180080 nbUselessRevisions=6279602
3.18 nbAssignments=14253 nbFailedAssignments=5408 nbBacktracks=8750 nbVisitedNodes=24441 nbRestartNogoods=64
3.18 => wckTime=2.402 cpuTime=2.32 mem=14M826
4.31
4.31 search
4.31 run=15 nbConstraintChecks=20723464 nbPropagations=1167719 nbRevisions=12271052 nbUselessRevisions=9418925
4.31 nbAssignments=21471 nbFailedAssignments=8239 nbBacktracks=13132 nbVisitedNodes=36993 nbRestartNogoods=71
4.32 => wckTime=3.541 cpuTime=3.46 mem=14M826
5.97
5.97 search
5.97 run=16 nbConstraintChecks=31213268 nbPropagations=1749185 nbRevisions=18466719 nbUselessRevisions=14180657
5.97 nbAssignments=32241 nbFailedAssignments=12437 nbBacktracks=19700 nbVisitedNodes=55617 nbRestartNogoods=80
5.97 => wckTime=5.199 cpuTime=5.12 mem=14M826
8.53
8.53 search
8.53 run=17 nbConstraintChecks=46498590 nbPropagations=2613549 nbRevisions=27654688 nbUselessRevisions=21233298
8.53 nbAssignments=48126 nbFailedAssignments=18460 nbBacktracks=29553 nbVisitedNodes=82911 nbRestartNogoods=89
8.53 => wckTime=7.755 cpuTime=7.67 mem=14M826
12.80
12.80 search
12.80 run=18 nbConstraintChecks=72514280 nbPropagations=3941882 nbRevisions=41941271 nbUselessRevisions=32216036
12.80 nbAssignments=73405 nbFailedAssignments=28956 nbBacktracks=44331 nbVisitedNodes=127253 nbRestartNogoods=101
12.80 => wckTime=12.028 cpuTime=11.94 mem=14M826
18.82
18.82 search
18.82 run=19 nbConstraintChecks=108628168 nbPropagations=5929773 nbRevisions=63243884 nbUselessRevisions=48576205
18.82 nbAssignments=109949 nbFailedAssignments=43324 nbBacktracks=66500 nbVisitedNodes=190398 nbRestartNogoods=109
18.82 => wckTime=18.047 cpuTime=17.96 mem=14M826
28.01
28.01 search
28.01 run=20 nbConstraintChecks=164623532 nbPropagations=8918307 nbRevisions=95203677 nbUselessRevisions=73067737
28.01 nbAssignments=164198 nbFailedAssignments=64305 nbBacktracks=99752 nbVisitedNodes=283974 nbRestartNogoods=118
28.01 => wckTime=27.235 cpuTime=27.14 mem=14M826
34.79
34.79 search
34.79 run=21 nbConstraintChecks=205909058 nbPropagations=12643691 nbRevisions=135066174 nbUselessRevisions=103603914
34.79 nbAssignments=204639 nbFailedAssignments=79962 nbBacktracks=124537 nbVisitedNodes=353648 nbRestartNogoods=132
34.79 => wckTime=34.011 cpuTime=33.92 mem=15M801
34.79
34.79 global
34.79 nbConstraintChecks=205959991 nbPropagations=12644508 nbRevisions=135072096 nbUselessRevisions=103608755
34.79 nbRestartNogoods=132 solvingWckTime=34.012 solvingCpuTime=33.92 expiredTime=no totalExploration=yes
34.79 nbFoundSolutions=0 globalCpuTime=34.31
34.79 => wckTime=34.488 cpuTime=34.26 mem=15M801
34.79
34.79 s UNSATISFIABLE
34.79 d NODES 204639
34.79 d CHECKS 205959991
34.79
34.79 totalWckTime=34.565 totalCpuTime=34.31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-229132-1168303704 -o ROOT/results/node5/solver-229132-1168303704 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229132-1168303704/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.16 1.42 1.23 2/78 25979
/proc/meminfo: memFree=1174272/2055920 swapFree=4192812/4192956
[pid=25978] ppid=25976 vsize=308 CPUtime=0
/proc/25978/stat : 25978 (java) R 25976 25978 25433 0 -1 0 57 0 0 0 0 0 0 0 21 0 1 0 158984797 315392 40 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 1 0 0
/proc/25978/statm: 77 40 31 14 0 5 0
[startup+0.105621 s]
/proc/loadavg: 1.16 1.42 1.23 2/78 25979
/proc/meminfo: memFree=1174272/2055920 swapFree=4192812/4192956
[pid=25978] ppid=25976 vsize=914988 CPUtime=0.08
/proc/25978/stat : 25978 (java) R 25976 25978 25433 0 -1 0 3030 0 1 0 7 1 0 0 22 0 8 0 158984797 936947712 2776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25978/statm: 228747 2777 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513668 s]
/proc/loadavg: 1.16 1.42 1.23 2/78 25979
/proc/meminfo: memFree=1174272/2055920 swapFree=4192812/4192956
[pid=25978] ppid=25976 vsize=915328 CPUtime=0.48
/proc/25978/stat : 25978 (java) R 25976 25978 25433 0 -1 0 6740 0 1 0 45 3 0 0 16 0 8 0 158984797 937295872 6479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155717640 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25978/statm: 228832 6479 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33476 s]
/proc/loadavg: 1.14 1.42 1.23 2/85 25986
/proc/meminfo: memFree=1150472/2055920 swapFree=4192812/4192956
[pid=25978] ppid=25976 vsize=915452 CPUtime=1.29
/proc/25978/stat : 25978 (java) R 25976 25978 25433 0 -1 0 8698 0 1 0 124 5 0 0 17 0 8 0 158984797 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25978/statm: 228863 8436 2524 14 0 215333 0
[pid=25978/tid=25980] ppid=25976 vsize=915452 CPUtime=0.03
/proc/25978/task/25980/stat : 25980 (java) S 25976 25978 25433 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 158984801 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25978/tid=25981] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25981/stat : 25981 (java) S 25976 25978 25433 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25982] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25982/stat : 25982 (java) S 25976 25978 25433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25983] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25983/stat : 25983 (java) S 25976 25978 25433 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158984805 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25984] ppid=25976 vsize=915452 CPUtime=0.2
/proc/25978/task/25984/stat : 25984 (java) S 25976 25978 25433 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 158984805 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25985] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25985/stat : 25985 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158984805 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25986] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25986/stat : 25986 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158984805 937422848 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.97194 s]
/proc/loadavg: 1.14 1.42 1.23 2/85 25986
/proc/meminfo: memFree=1150280/2055920 swapFree=4192812/4192956
[pid=25978] ppid=25976 vsize=915452 CPUtime=2.92
/proc/25978/stat : 25978 (java) R 25976 25978 25433 0 -1 0 8714 0 1 0 287 5 0 0 18 0 8 0 158984797 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803395 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25978/statm: 228863 8451 2524 14 0 215333 0
[pid=25978/tid=25980] ppid=25976 vsize=915452 CPUtime=0.03
/proc/25978/task/25980/stat : 25980 (java) S 25976 25978 25433 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 158984801 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25981] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25981/stat : 25981 (java) S 25976 25978 25433 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25982] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25982/stat : 25982 (java) S 25976 25978 25433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25983] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25983/stat : 25983 (java) S 25976 25978 25433 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158984805 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25984] ppid=25976 vsize=915452 CPUtime=0.21
/proc/25978/task/25984/stat : 25984 (java) S 25976 25978 25433 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 158984805 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25985] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25985/stat : 25985 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158984805 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25986] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25986/stat : 25986 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158984805 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
[startup+6.25831 s]
/proc/loadavg: 1.14 1.42 1.23 2/85 25986
/proc/meminfo: memFree=1150160/2055920 swapFree=4192812/4192956
[pid=25978] ppid=25976 vsize=915452 CPUtime=6.21
/proc/25978/stat : 25978 (java) R 25976 25978 25433 0 -1 0 8722 0 1 0 615 6 0 0 25 0 8 0 158984797 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25978/statm: 228863 8458 2524 14 0 215333 0
[pid=25978/tid=25980] ppid=25976 vsize=915452 CPUtime=0.03
/proc/25978/task/25980/stat : 25980 (java) S 25976 25978 25433 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 158984801 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25981] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25981/stat : 25981 (java) S 25976 25978 25433 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25982] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25982/stat : 25982 (java) S 25976 25978 25433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25983] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25983/stat : 25983 (java) S 25976 25978 25433 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158984805 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25984] ppid=25976 vsize=915452 CPUtime=0.21
/proc/25978/task/25984/stat : 25984 (java) S 25976 25978 25433 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 158984805 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25985] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25985/stat : 25985 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158984805 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25986] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25986/stat : 25986 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158984805 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915452
[startup+12.7399 s]
/proc/loadavg: 1.12 1.40 1.23 2/85 25986
/proc/meminfo: memFree=1150096/2055920 swapFree=4192812/4192956
[pid=25978] ppid=25976 vsize=915452 CPUtime=12.69
/proc/25978/stat : 25978 (java) R 25976 25978 25433 0 -1 0 8724 0 1 0 1263 6 0 0 25 0 8 0 158984797 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25978/statm: 228863 8460 2524 14 0 215333 0
[pid=25978/tid=25980] ppid=25976 vsize=915452 CPUtime=0.03
/proc/25978/task/25980/stat : 25980 (java) S 25976 25978 25433 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 158984801 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25981] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25981/stat : 25981 (java) S 25976 25978 25433 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25982] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25982/stat : 25982 (java) S 25976 25978 25433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25983] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25983/stat : 25983 (java) S 25976 25978 25433 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158984805 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25984] ppid=25976 vsize=915452 CPUtime=0.21
/proc/25978/task/25984/stat : 25984 (java) S 25976 25978 25433 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 158984805 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25985] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25985/stat : 25985 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158984805 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25986] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25986/stat : 25986 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158984805 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915452
[startup+25.5763 s]
/proc/loadavg: 1.10 1.39 1.23 2/85 25986
/proc/meminfo: memFree=1150160/2055920 swapFree=4192812/4192956
[pid=25978] ppid=25976 vsize=915452 CPUtime=25.52
/proc/25978/stat : 25978 (java) R 25976 25978 25433 0 -1 0 8729 0 1 0 2546 6 0 0 25 0 8 0 158984797 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25978/statm: 228863 8465 2524 14 0 215333 0
[pid=25978/tid=25980] ppid=25976 vsize=915452 CPUtime=0.03
/proc/25978/task/25980/stat : 25980 (java) S 25976 25978 25433 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 158984801 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25981] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25981/stat : 25981 (java) S 25976 25978 25433 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25982] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25982/stat : 25982 (java) S 25976 25978 25433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158984802 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25983] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25983/stat : 25983 (java) S 25976 25978 25433 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 158984805 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25984] ppid=25976 vsize=915452 CPUtime=0.21
/proc/25978/task/25984/stat : 25984 (java) S 25976 25978 25433 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 158984805 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25985] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25985/stat : 25985 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 158984805 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25978/tid=25986] ppid=25976 vsize=915452 CPUtime=0
/proc/25978/task/25986/stat : 25986 (java) S 25976 25978 25433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158984805 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 34.8312
CPU time (s): 34.7517
CPU user time (s): 34.6827
CPU system time (s): 0.068989
CPU usage (%): 99.7719
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.6827
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8823
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= 1533
involuntary context switches= 909
runsolver used 0.050992 s user time and 0.080987 s system time
The end
Begin job on node5 on Tue Jan 9 00:48:24 UTC 2007
IDJOB= 229132
IDBENCH= 6282
FILE ID= node5/229132-1168303704
PBS_JOBID= 3502238
Free space on /tmp= 66356 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229132-1168303704/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-229132-1168303704 -o ROOT/results/node5/solver-229132-1168303704 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229132-1168303704/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 89930ff3a56a06b2255baa2b0edc5800
RANDOM SEED= 992194799
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.240
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.240
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: 1174752 kB
Buffers: 79624 kB
Cached: 693740 kB
SwapCached: 0 kB
Active: 336536 kB
Inactive: 479528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1174752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 61712 kB
Slab: 50652 kB
Committed_AS: 4329580 kB
PageTables: 1800 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= 66356 MiB
End job on node5 on Tue Jan 9 00:48:59 UTC 2007