0.32
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/223395-1168265658/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=16 maxArity=2
0.62 => wckTime=0.292 cpuTime=0.22 mem=13M827
0.66
0.66 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.484 cpuTime=0.36 mem=14M839
0.86
0.86 preprocessing
0.86 nbConstraintChecks=72224 nbPropagations=825 nbRevisions=5324 nbUselessRevisions=4047 nbSingletonTests=51
0.86 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.86 => wckTime=0.047 cpuTime=0.03 mem=14M839
0.88
0.88 search
0.88 run=0 nbConstraintChecks=33674 nbPropagations=1323 nbRevisions=9069 nbUselessRevisions=6764 nbAssignments=25
0.88 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.066 cpuTime=0.04 mem=14M839
0.90
0.90 search
0.90 run=1 nbConstraintChecks=80946 nbPropagations=3401 nbRevisions=23717 nbUselessRevisions=17450 nbAssignments=65
0.90 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=109 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.083 cpuTime=0.06 mem=14M839
0.91
0.91 search
0.91 run=2 nbConstraintChecks=144912 nbPropagations=6584 nbRevisions=46623 nbUselessRevisions=33866
0.91 nbAssignments=119 nbFailedAssignments=56 nbBacktracks=47 nbVisitedNodes=203 nbRestartNogoods=5 mapSize=39
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.101 cpuTime=0.07 mem=14M839
0.93
0.93 search
0.93 run=3 nbConstraintChecks=244712 nbPropagations=11326 nbRevisions=81746 nbUselessRevisions=58737
0.93 nbAssignments=186 nbFailedAssignments=86 nbBacktracks=80 nbVisitedNodes=322 nbRestartNogoods=9 mapSize=68
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.12 cpuTime=0.09 mem=14M839
0.95
0.95 search
0.95 run=4 nbConstraintChecks=342889 nbPropagations=18016 nbRevisions=131328 nbUselessRevisions=93737
0.95 nbAssignments=285 nbFailedAssignments=129 nbBacktracks=130 nbVisitedNodes=498 nbRestartNogoods=11 mapSize=113
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.14 cpuTime=0.11 mem=14M839
0.98
0.98 search
0.98 run=5 nbConstraintChecks=512640 nbPropagations=27628 nbRevisions=203503 nbUselessRevisions=144381
0.99 nbAssignments=423 nbFailedAssignments=186 nbBacktracks=206 nbVisitedNodes=736 nbRestartNogoods=16 mapSize=176
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.172 cpuTime=0.13 mem=14M839
1.03
1.03 search
1.03 run=6 nbConstraintChecks=783933 nbPropagations=41883 nbRevisions=311970 nbUselessRevisions=220326
1.03 nbAssignments=630 nbFailedAssignments=273 nbBacktracks=320 nbVisitedNodes=1099 nbRestartNogoods=22 mapSize=273
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.217 cpuTime=0.18 mem=14M839
1.10
1.10 search
1.10 run=7 nbConstraintChecks=1241890 nbPropagations=63183 nbRevisions=475858 nbUselessRevisions=334169
1.10 nbAssignments=960 nbFailedAssignments=426 nbBacktracks=491 nbVisitedNodes=1685 nbRestartNogoods=26 mapSize=422
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.288 cpuTime=0.25 mem=14M839
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1773038 nbPropagations=93794 nbRevisions=711702 nbUselessRevisions=498050
1.19 nbAssignments=1419 nbFailedAssignments=615 nbBacktracks=748 nbVisitedNodes=2474 nbRestartNogoods=32
1.19 mapSize=637 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.377 cpuTime=0.33 mem=14M839
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2826764 nbPropagations=141619 nbRevisions=1090142 nbUselessRevisions=760770
1.36 nbAssignments=2253 nbFailedAssignments=1059 nbBacktracks=1132 nbVisitedNodes=4006 nbRestartNogoods=36
1.36 mapSize=985 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.549 cpuTime=0.49 mem=14M839
1.37
1.37 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=14M839)
1.55
1.55 search
1.55 run=10 nbConstraintChecks=4117734 nbPropagations=211097 nbRevisions=1637280 nbUselessRevisions=1139400
1.55 nbAssignments=3306 nbFailedAssignments=1530 nbBacktracks=1709 nbVisitedNodes=5856 nbRestartNogoods=42
1.55 => wckTime=0.739 cpuTime=0.66 mem=14M839
1.82
1.82 search
1.82 run=11 nbConstraintChecks=6082556 nbPropagations=313291 nbRevisions=2441624 nbUselessRevisions=1696140
1.82 nbAssignments=4826 nbFailedAssignments=2182 nbBacktracks=2573 nbVisitedNodes=8540 nbRestartNogoods=44
1.82 => wckTime=1.004 cpuTime=0.93 mem=14M839
2.29
2.29 search
2.29 run=12 nbConstraintChecks=9601603 nbPropagations=472717 nbRevisions=3710009 nbUselessRevisions=2573042
2.29 nbAssignments=7458 nbFailedAssignments=3513 nbBacktracks=3870 nbVisitedNodes=13365 nbRestartNogoods=52
2.29 => wckTime=1.474 cpuTime=1.39 mem=14M839
2.78
2.78 search
2.78 run=13 nbConstraintChecks=13468689 nbPropagations=699730 nbRevisions=5499912 nbUselessRevisions=3809526
2.78 nbAssignments=10836 nbFailedAssignments=4938 nbBacktracks=5816 nbVisitedNodes=19210 nbRestartNogoods=59
2.78 => wckTime=1.972 cpuTime=1.89 mem=14M839
3.81
3.82 search
3.82 run=14 nbConstraintChecks=21836526 nbPropagations=1058685 nbRevisions=8377478 nbUselessRevisions=5798960
3.82 nbAssignments=17055 nbFailedAssignments=8232 nbBacktracks=8735 nbVisitedNodes=30666 nbRestartNogoods=72
3.82 => wckTime=3.002 cpuTime=2.92 mem=15M815
4.95
4.95 search
4.95 run=15 nbConstraintChecks=30801535 nbPropagations=1571925 nbRevisions=12454323 nbUselessRevisions=8616212
4.95 nbAssignments=24876 nbFailedAssignments=11669 nbBacktracks=13114 nbVisitedNodes=44351 nbRestartNogoods=87
4.95 => wckTime=4.14 cpuTime=4.06 mem=15M815
7.10
7.10 search
7.10 run=16 nbConstraintChecks=48439937 nbPropagations=2361983 nbRevisions=18749748 nbUselessRevisions=12962751
7.10 nbAssignments=37630 nbFailedAssignments=17848 nbBacktracks=19683 nbVisitedNodes=67427 nbRestartNogoods=100
7.10 => wckTime=6.287 cpuTime=6.2 mem=15M815
9.72
9.72 search
9.72 run=17 nbConstraintChecks=68933984 nbPropagations=3513024 nbRevisions=27845101 nbUselessRevisions=19249708
9.72 nbAssignments=55245 nbFailedAssignments=25603 nbBacktracks=29535 nbVisitedNodes=98266 nbRestartNogoods=110
9.72 => wckTime=8.908 cpuTime=8.82 mem=15M815
14.31
14.31 search
14.31 run=18 nbConstraintChecks=105858379 nbPropagations=5268016 nbRevisions=41838953 nbUselessRevisions=28929840
14.31 nbAssignments=84122 nbFailedAssignments=39696 nbBacktracks=44313 nbVisitedNodes=150222 nbRestartNogoods=117
14.31 => wckTime=13.501 cpuTime=13.39 mem=15M815
17.53
17.53 search
17.53 run=19 nbConstraintChecks=131406637 nbPropagations=7459792 nbRevisions=59240164 nbUselessRevisions=40959086
17.53 nbAssignments=105253 nbFailedAssignments=48993 nbBacktracks=56096 nbVisitedNodes=187235 nbRestartNogoods=125
17.53 => wckTime=16.716 cpuTime=16.61 mem=15M815
17.53
17.53 global
17.53 nbConstraintChecks=131478861 nbPropagations=7460617 nbRevisions=59245488 nbUselessRevisions=40963133
17.53 nbRestartNogoods=125 solvingWckTime=16.717 solvingCpuTime=16.61 expiredTime=no totalExploration=no
17.53 nbFoundSolutions=1 globalCpuTime=17.02
17.53 => wckTime=17.204 cpuTime=16.97 mem=15M815
17.53
17.53 s SATISFIABLE
17.53 v 18 5 22 11 10 11 0 18 3 10 3 24 7 15 18 6 16 1 3 24 18 1 23 18 11 22 9 15 0 13 14 3 11 4 23 5 15 21 22 23
17.53 d NODES 105253
17.53 d CHECKS 131478861
17.53
17.53 totalWckTime=17.279 totalCpuTime=17.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-223395-1168265658 -o ROOT/results/node55/solver-223395-1168265658 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223395-1168265658/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.05 0.12 0.57 3/69 8602
/proc/meminfo: memFree=1730608/2055920 swapFree=4192192/4192956
[pid=8601] ppid=8598 vsize=18540 CPUtime=0
/proc/8601/stat : 8601 (runsolver) D 8598 8601 8433 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174965549 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 248761609511 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/8601/statm: 4635 279 244 17 0 2626 0
[startup+0.10424 s]
/proc/loadavg: 0.05 0.12 0.57 3/69 8602
/proc/meminfo: memFree=1730608/2055920 swapFree=4192192/4192956
[pid=8601] ppid=8598 vsize=911488 CPUtime=0.06
/proc/8601/stat : 8601 (java) R 8598 8601 8433 0 -1 0 2614 0 1 0 5 1 0 0 22 0 8 0 174965549 933363712 2361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8601/statm: 227872 2361 1279 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.51328 s]
/proc/loadavg: 0.05 0.12 0.57 3/69 8602
/proc/meminfo: memFree=1730608/2055920 swapFree=4192192/4192956
[pid=8601] ppid=8598 vsize=915328 CPUtime=0.47
/proc/8601/stat : 8601 (java) R 8598 8601 8433 0 -1 0 7084 0 1 0 42 5 0 0 16 0 8 0 174965549 937295872 6823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8601/statm: 228832 6823 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33435 s]
/proc/loadavg: 0.05 0.12 0.57 2/75 8660
/proc/meminfo: memFree=1706104/2055920 swapFree=4192192/4192956
[pid=8601] ppid=8598 vsize=915452 CPUtime=1.28
/proc/8601/stat : 8601 (java) R 8598 8601 8433 0 -1 0 8705 0 1 0 122 6 0 0 16 0 8 0 174965549 937422848 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8601/statm: 228863 8443 2524 14 0 215333 0
[pid=8601/tid=8604] ppid=8598 vsize=915452 CPUtime=0.03
/proc/8601/task/8604/stat : 8604 (java) S 8598 8601 8433 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 174965554 937422848 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8601/tid=8605] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8605/stat : 8605 (java) S 8598 8601 8433 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 174965555 937422848 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8606] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8606/stat : 8606 (java) S 8598 8601 8433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174965555 937422848 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8626] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8626/stat : 8626 (java) S 8598 8601 8433 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174965559 937422848 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8627] ppid=8598 vsize=915452 CPUtime=0.19
/proc/8601/task/8627/stat : 8627 (java) S 8598 8601 8433 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 174965559 937422848 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8628] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8628/stat : 8628 (java) S 8598 8601 8433 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174965559 937422848 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8629] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8629/stat : 8629 (java) S 8598 8601 8433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174965559 937422848 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.9715 s]
/proc/loadavg: 0.05 0.12 0.57 2/75 8660
/proc/meminfo: memFree=1705848/2055920 swapFree=4192192/4192956
[pid=8601] ppid=8598 vsize=915452 CPUtime=2.92
/proc/8601/stat : 8601 (java) R 8598 8601 8433 0 -1 0 8732 0 1 0 285 7 0 0 18 0 8 0 174965549 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807684 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8601/statm: 228863 8469 2524 14 0 215333 0
[pid=8601/tid=8604] ppid=8598 vsize=915452 CPUtime=0.03
/proc/8601/task/8604/stat : 8604 (java) S 8598 8601 8433 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 174965554 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8601/tid=8605] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8605/stat : 8605 (java) S 8598 8601 8433 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 174965555 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8606] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8606/stat : 8606 (java) S 8598 8601 8433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174965555 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8626] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8626/stat : 8626 (java) S 8598 8601 8433 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174965559 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8627] ppid=8598 vsize=915452 CPUtime=0.2
/proc/8601/task/8627/stat : 8627 (java) S 8598 8601 8433 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 174965559 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8628] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8628/stat : 8628 (java) S 8598 8601 8433 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174965559 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8629] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8629/stat : 8629 (java) S 8598 8601 8433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174965559 937422848 8469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
[startup+6.25582 s]
/proc/loadavg: 0.13 0.13 0.57 2/75 8660
/proc/meminfo: memFree=1705784/2055920 swapFree=4192192/4192956
[pid=8601] ppid=8598 vsize=915452 CPUtime=6.2
/proc/8601/stat : 8601 (java) R 8598 8601 8433 0 -1 0 8738 0 1 0 613 7 0 0 20 0 8 0 174965549 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797212 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8601/statm: 228863 8474 2524 14 0 215333 0
[pid=8601/tid=8604] ppid=8598 vsize=915452 CPUtime=0.03
/proc/8601/task/8604/stat : 8604 (java) S 8598 8601 8433 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 174965554 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8601/tid=8605] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8605/stat : 8605 (java) S 8598 8601 8433 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 174965555 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8606] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8606/stat : 8606 (java) S 8598 8601 8433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174965555 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8626] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8626/stat : 8626 (java) S 8598 8601 8433 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174965559 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8627] ppid=8598 vsize=915452 CPUtime=0.2
/proc/8601/task/8627/stat : 8627 (java) S 8598 8601 8433 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 174965559 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8628] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8628/stat : 8628 (java) S 8598 8601 8433 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174965559 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8629] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8629/stat : 8629 (java) S 8598 8601 8433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174965559 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
[startup+12.7354 s]
/proc/loadavg: 0.28 0.16 0.58 3/80 8667
/proc/meminfo: memFree=1703632/2055920 swapFree=4192192/4192956
[pid=8601] ppid=8598 vsize=915452 CPUtime=12.68
/proc/8601/stat : 8601 (java) R 8598 8601 8433 0 -1 0 8742 0 1 0 1261 7 0 0 25 0 8 0 174965549 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8601/statm: 228863 8478 2524 14 0 215333 0
[pid=8601/tid=8604] ppid=8598 vsize=915452 CPUtime=0.03
/proc/8601/task/8604/stat : 8604 (java) S 8598 8601 8433 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 174965554 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8601/tid=8605] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8605/stat : 8605 (java) S 8598 8601 8433 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 174965555 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8606] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8606/stat : 8606 (java) S 8598 8601 8433 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174965555 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8626] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8626/stat : 8626 (java) S 8598 8601 8433 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174965559 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8627] ppid=8598 vsize=915452 CPUtime=0.2
/proc/8601/task/8627/stat : 8627 (java) S 8598 8601 8433 0 -1 64 390 0 0 0 19 1 0 0 16 0 8 0 174965559 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8628] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8628/stat : 8628 (java) S 8598 8601 8433 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174965559 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8601/tid=8629] ppid=8598 vsize=915452 CPUtime=0
/proc/8601/task/8629/stat : 8629 (java) S 8598 8601 8433 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174965559 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 17.5869
CPU time (s): 17.4743
CPU user time (s): 17.3934
CPU system time (s): 0.080987
CPU usage (%): 99.36
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.3934
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8837
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= 1197
involuntary context switches= 689
runsolver used 0.021996 s user time and 0.06099 s system time
The end
Begin job on node55 on Mon Jan 8 14:14:24 UTC 2007
IDJOB= 223395
IDBENCH= 5632
FILE ID= node55/223395-1168265658
PBS_JOBID= 3482793
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223395-1168265658/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-223395-1168265658 -o ROOT/results/node55/solver-223395-1168265658 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223395-1168265658/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 452db4ac7b92085726272d485646a151
RANDOM SEED= 374954035
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.218
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 : 5931.00
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.218
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: 1731664 kB
Buffers: 56220 kB
Cached: 191964 kB
SwapCached: 424 kB
Active: 141256 kB
Inactive: 126724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1731664 kB
SwapTotal: 4192956 kB
SwapFree: 4192192 kB
Dirty: 2004 kB
Writeback: 0 kB
Mapped: 28660 kB
Slab: 42132 kB
Committed_AS: 3909716 kB
PageTables: 1572 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= 66562 MiB
End job on node55 on Mon Jan 8 14:14:55 UTC 2007