0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/238236-1168354690/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.51 nbVariables=616 nbDomainTypes=9 minDomainSize=2 maxDomainSize=8
0.51 => wckTime=0.17 cpuTime=0.14 mem=8M869
0.51
0.51 predicates being loaded...
0.51
0.51 constraints being loaded...
1.02 nbConstraints=1659 nbUnaryConstraints=79 nbMergedConstraints=74 nbSingletonDomainVariables=2
1.02 nbConvertedConstraints=879 nbConvertConstraintsChecks=17871 nbExtensionStructures=46
1.02 nbSharedExtensionStructures=833 nbConflictsStructures=98 nbSharedConflictsStructures=1561
1.02 nbSharedBinaryRepresentations=523 nbEvaluationManagers=52 nbSharedEvaluationManagers=728 maxDegree=31
1.02 maxArity=7
1.02 => wckTime=0.681 cpuTime=0.51 mem=21M579
1.08
1.08 solver IterativeSystematicSolver being built...
1.31 => wckTime=0.971 cpuTime=0.69 mem=22M568
5.85
5.85 preprocessing
5.85 nbConstraintChecks=1060090 nbValidityChecks=1252584 nbPropagations=74553 nbRevisions=499943
5.85 nbUselessRevisions=442606 nbSingletonTests=27351 nbEffectiveSingletonTests=89 nbESACBranches=450
5.85 nbRemovedValues=695 detectedInconsistency=no
5.85 => wckTime=4.533 cpuTime=4.44 mem=22M568
5.95
5.95 search
5.95 run=0 nbConstraintChecks=19903 nbValidityChecks=17568 nbPropagations=75327 nbRevisions=507343
5.95 nbUselessRevisions=449051 nbAssignments=116 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=126
5.95 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
5.95 => wckTime=4.632 cpuTime=4.52 mem=22M568
6.05
6.05 search
6.05 run=1 nbConstraintChecks=50325 nbValidityChecks=57916 nbPropagations=152570 nbRevisions=1031753
6.05 nbUselessRevisions=912861 nbAssignments=364 nbFailedAssignments=10 nbBacktracks=27 nbVisitedNodes=263
6.05 nbRestartNogoods=3 mapSize=12 nbInferences=0 nbTooLargeKeys=0
6.05 => wckTime=4.738 cpuTime=4.63 mem=22M568
6.14
6.14 search
6.14 run=2 nbConstraintChecks=66587 nbValidityChecks=79559 nbPropagations=230795 nbRevisions=1565308
6.14 nbUselessRevisions=1384554 nbAssignments=502 nbFailedAssignments=16 nbBacktracks=49 nbVisitedNodes=415
6.14 nbRestartNogoods=5 mapSize=20 nbInferences=0 nbTooLargeKeys=0
6.14 => wckTime=4.828 cpuTime=4.72 mem=22M568
6.25
6.25 search
6.25 run=3 nbConstraintChecks=86114 nbValidityChecks=104047 nbPropagations=310120 nbRevisions=2109464
6.25 nbUselessRevisions=1865345 nbAssignments=649 nbFailedAssignments=25 nbBacktracks=96 nbVisitedNodes=585
6.25 nbRestartNogoods=8 mapSize=35 nbInferences=0 nbTooLargeKeys=0
6.25 => wckTime=4.932 cpuTime=4.82 mem=23M543
6.36
6.36 search
6.36 run=4 nbConstraintChecks=111601 nbValidityChecks=133271 nbPropagations=390730 nbRevisions=2666120
6.36 nbUselessRevisions=2356892 nbAssignments=815 nbFailedAssignments=38 nbBacktracks=150 nbVisitedNodes=783
6.36 nbRestartNogoods=9 mapSize=57 nbInferences=0 nbTooLargeKeys=0
6.36 => wckTime=5.049 cpuTime=4.93 mem=23M543
6.51
6.51 search
6.51 run=5 nbConstraintChecks=148196 nbValidityChecks=173661 nbPropagations=473215 nbRevisions=3240644
6.51 nbUselessRevisions=2863751 nbAssignments=1015 nbFailedAssignments=56 nbBacktracks=229 nbVisitedNodes=1026
6.51 nbRestartNogoods=10 mapSize=86 nbInferences=1 nbTooLargeKeys=0
6.51 => wckTime=5.196 cpuTime=5.08 mem=23M543
6.71
6.71 search
6.71 run=6 nbConstraintChecks=203172 nbValidityChecks=230477 nbPropagations=558324 nbRevisions=3840440
6.71 nbUselessRevisions=3392265 nbAssignments=1272 nbFailedAssignments=86 nbBacktracks=350 nbVisitedNodes=1356
6.71 nbRestartNogoods=12 mapSize=133 nbInferences=1 nbTooLargeKeys=0
6.71 => wckTime=5.395 cpuTime=5.27 mem=23M543
6.97
6.97 search
6.97 run=7 nbConstraintChecks=287836 nbValidityChecks=315842 nbPropagations=646941 nbRevisions=4475681
6.97 nbUselessRevisions=3951347 nbAssignments=1652 nbFailedAssignments=122 nbBacktracks=556 nbVisitedNodes=1785
6.97 nbRestartNogoods=15 mapSize=206 nbInferences=1 nbTooLargeKeys=0
6.97 => wckTime=5.658 cpuTime=5.52 mem=23M543
7.27
7.27 search
7.27 run=8 nbConstraintChecks=343873 nbValidityChecks=377176 nbPropagations=738387 nbRevisions=5135975
7.27 nbUselessRevisions=4531645 nbAssignments=2071 nbFailedAssignments=148 nbBacktracks=828 nbVisitedNodes=2269
7.27 nbRestartNogoods=17 mapSize=251 nbInferences=1 nbTooLargeKeys=0
7.27 => wckTime=5.952 cpuTime=5.8 mem=23M543
7.73
7.73 search
7.73 run=9 nbConstraintChecks=546533 nbValidityChecks=594143 nbPropagations=839660 nbRevisions=5882279
7.73 nbUselessRevisions=5184079 nbAssignments=2703 nbFailedAssignments=294 nbBacktracks=1218 nbVisitedNodes=3155
7.73 nbRestartNogoods=26 mapSize=434 nbInferences=1 nbTooLargeKeys=0
7.73 => wckTime=6.415 cpuTime=6.26 mem=23M543
8.37
8.37 search
8.37 run=10 nbConstraintChecks=715594 nbValidityChecks=765450 nbPropagations=947939 nbRevisions=6706673
8.37 nbUselessRevisions=5904555 nbAssignments=3456 nbFailedAssignments=364 nbBacktracks=1794 nbVisitedNodes=4147
8.37 nbRestartNogoods=28 mapSize=629 nbInferences=2 nbTooLargeKeys=0
8.37 => wckTime=7.054 cpuTime=6.88 mem=23M543
9.28
9.28 search
9.28 run=11 nbConstraintChecks=958558 nbValidityChecks=998251 nbPropagations=1065641 nbRevisions=7634263
9.28 nbUselessRevisions=6713814 nbAssignments=4647 nbFailedAssignments=510 nbBacktracks=2687 nbVisitedNodes=5599
9.28 nbRestartNogoods=37 mapSize=891 nbInferences=2 nbTooLargeKeys=0
9.28 => wckTime=7.964 cpuTime=7.79 mem=24M519
10.27
10.27 search
10.27 run=12 nbConstraintChecks=1286180 nbValidityChecks=1338962 nbPropagations=1198184 nbRevisions=8719853
10.27 nbUselessRevisions=7660608 nbAssignments=6195 nbFailedAssignments=687 nbBacktracks=3987 nbVisitedNodes=7620
10.27 nbRestartNogoods=39 mapSize=1263 nbInferences=13 nbTooLargeKeys=0
10.27 => wckTime=8.958 cpuTime=8.77 mem=24M519
11.94
11.94 search
11.94 run=13 nbConstraintChecks=2100338 nbValidityChecks=2135563 nbPropagations=1367727 nbRevisions=10140560
11.94 nbUselessRevisions=8886385 nbAssignments=8756 nbFailedAssignments=1240 nbBacktracks=5934 nbVisitedNodes=11206
11.94 nbRestartNogoods=48 mapSize=1909 nbInferences=13 nbTooLargeKeys=0
11.94 => wckTime=10.631 cpuTime=10.43 mem=26M469
14.36
14.36 search
14.36 run=14 nbConstraintChecks=2756200 nbValidityChecks=2771494 nbPropagations=1566414 nbRevisions=11845072
14.36 nbUselessRevisions=10353950 nbAssignments=12280 nbFailedAssignments=1678 nbBacktracks=8861 nbVisitedNodes=15690
14.36 nbRestartNogoods=54 mapSize=2623 nbInferences=22 nbTooLargeKeys=0
14.36 => wckTime=13.05 cpuTime=12.82 mem=27M444
17.76
17.76 search
17.76 run=15 nbConstraintChecks=4111651 nbValidityChecks=4175023 nbPropagations=1834714 nbRevisions=14220821
17.76 nbUselessRevisions=12399711 nbAssignments=17758 nbFailedAssignments=2430 nbBacktracks=13241
17.76 nbVisitedNodes=22988 nbRestartNogoods=63 mapSize=4322 nbInferences=120 nbTooLargeKeys=0
17.76 => wckTime=16.443 cpuTime=16.18 mem=30M370
23.35
23.35 search
23.35 run=16 nbConstraintChecks=5464777 nbValidityChecks=5486156 nbPropagations=2161961 nbRevisions=17164942
23.35 nbUselessRevisions=14931342 nbAssignments=25456 nbFailedAssignments=3257 nbBacktracks=19810
23.35 nbVisitedNodes=32748 nbRestartNogoods=68 mapSize=5909 nbInferences=314 nbTooLargeKeys=0
23.35 => wckTime=22.037 cpuTime=21.72 mem=32M320
30.13
30.13 search
30.13 run=17 nbConstraintChecks=6913452 nbValidityChecks=7009961 nbPropagations=2553771 nbRevisions=20777195
30.13 nbUselessRevisions=18046946 nbAssignments=35219 nbFailedAssignments=3838 nbBacktracks=28342
30.13 nbVisitedNodes=44589 nbRestartNogoods=76 mapSize=7948 nbInferences=716 nbTooLargeKeys=0
30.13 => wckTime=28.815 cpuTime=28.44 mem=35M246
30.13
30.13 global
30.13 nbConstraintChecks=7973542 nbValidityChecks=8262545 nbPropagations=2628324 nbRevisions=21277138
30.13 nbUselessRevisions=18489552 nbRestartNogoods=76 solvingWckTime=28.816 solvingCpuTime=28.44 expiredTime=no
30.13 totalExploration=yes nbFoundSolutions=0 globalCpuTime=29.19
30.13 => wckTime=29.79 cpuTime=29.14 mem=35M246
30.13
30.13 s UNSATISFIABLE
30.13 d NODES 35219
30.13 d CHECKS 7973542
30.13
30.13 totalWckTime=29.871 totalCpuTime=29.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-238236-1168354690 -o ROOT/results/node13/solver-238236-1168354690 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238236-1168354690/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.70 1.93 1.98 5/87 29480
/proc/meminfo: memFree=1740752/2055920 swapFree=4191880/4192956
[pid=29479] ppid=29477 vsize=9748 CPUtime=0
/proc/29479/stat : 29479 (java) D 29477 29479 28102 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 183864097 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11879204 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/29479/statm: 2437 412 333 14 0 1140 0
[startup+0.103395 s]
/proc/loadavg: 1.70 1.93 1.98 5/87 29480
/proc/meminfo: memFree=1740752/2055920 swapFree=4191880/4192956
[pid=29479] ppid=29477 vsize=911488 CPUtime=0.07
/proc/29479/stat : 29479 (java) R 29477 29479 28102 0 -1 0 2634 0 1 0 6 1 0 0 20 0 8 0 183864097 933363712 2381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29479/statm: 227872 2381 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.511446 s]
/proc/loadavg: 1.70 1.93 1.98 5/87 29480
/proc/meminfo: memFree=1740752/2055920 swapFree=4191880/4192956
[pid=29479] ppid=29477 vsize=915328 CPUtime=0.47
/proc/29479/stat : 29479 (java) R 29477 29479 28102 0 -1 0 6425 0 1 0 43 4 0 0 18 0 8 0 183864097 937295872 6164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29479/statm: 228832 6164 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33456 s]
/proc/loadavg: 1.70 1.93 1.98 3/94 29487
/proc/meminfo: memFree=1709016/2055920 swapFree=4191880/4192956
[pid=29479] ppid=29477 vsize=915728 CPUtime=1.28
/proc/29479/stat : 29479 (java) R 29477 29479 28102 0 -1 0 10721 0 1 0 113 15 0 0 23 0 8 0 183864097 937705472 10459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074045467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29479/statm: 228932 10459 2541 14 0 215402 0
[pid=29479/tid=29481] ppid=29477 vsize=915728 CPUtime=0.04
/proc/29479/task/29481/stat : 29481 (java) S 29477 29479 28102 0 -1 64 457 0 0 0 4 0 0 0 17 0 8 0 183864102 937705472 10459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29482] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29482/stat : 29482 (java) S 29477 29479 28102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 10459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29483] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29483/stat : 29483 (java) S 29477 29479 28102 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 10459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29484] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29484/stat : 29484 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183864106 937705472 10459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29485] ppid=29477 vsize=915728 CPUtime=0.27
/proc/29479/task/29485/stat : 29485 (java) S 29477 29479 28102 0 -1 64 478 0 0 0 26 1 0 0 15 0 8 0 183864106 937705472 10459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29486] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29486/stat : 29486 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183864106 937705472 10459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29487] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29487/stat : 29487 (java) S 29477 29479 28102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183864106 937705472 10459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915728
[startup+2.98778 s]
/proc/loadavg: 1.70 1.93 1.98 3/94 29487
/proc/meminfo: memFree=1708504/2055920 swapFree=4191880/4192956
[pid=29479] ppid=29477 vsize=915728 CPUtime=2.92
/proc/29479/stat : 29479 (java) R 29477 29479 28102 0 -1 0 10751 0 1 0 276 16 0 0 25 0 8 0 183864097 937705472 10488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29479/statm: 228932 10488 2543 14 0 215402 0
[pid=29479/tid=29481] ppid=29477 vsize=915728 CPUtime=0.04
/proc/29479/task/29481/stat : 29481 (java) S 29477 29479 28102 0 -1 64 457 0 0 0 4 0 0 0 17 0 8 0 183864102 937705472 10488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29482] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29482/stat : 29482 (java) S 29477 29479 28102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 10488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29483] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29483/stat : 29483 (java) S 29477 29479 28102 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 10488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29484] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29484/stat : 29484 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183864106 937705472 10488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29485] ppid=29477 vsize=915728 CPUtime=0.31
/proc/29479/task/29485/stat : 29485 (java) S 29477 29479 28102 0 -1 64 502 0 0 0 30 1 0 0 15 0 8 0 183864106 937705472 10488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29486] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29486/stat : 29486 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183864106 937705472 10488 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29487] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29487/stat : 29487 (java) S 29477 29479 28102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183864106 937705472 10488 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) 915728
[startup+6.27922 s]
/proc/loadavg: 1.72 1.93 1.98 3/94 29487
/proc/meminfo: memFree=1708504/2055920 swapFree=4191880/4192956
[pid=29479] ppid=29477 vsize=915728 CPUtime=6.18
/proc/29479/stat : 29479 (java) R 29477 29479 28102 0 -1 0 10808 0 1 0 599 19 0 0 25 0 8 0 183864097 937705472 10543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074040694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29479/statm: 228932 10543 2544 14 0 215402 0
[pid=29479/tid=29481] ppid=29477 vsize=915728 CPUtime=0.04
/proc/29479/task/29481/stat : 29481 (java) S 29477 29479 28102 0 -1 64 457 0 0 0 4 0 0 0 17 0 8 0 183864102 937705472 10543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29482] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29482/stat : 29482 (java) S 29477 29479 28102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 10543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29483] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29483/stat : 29483 (java) S 29477 29479 28102 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 10543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29484] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29484/stat : 29484 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183864106 937705472 10543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29485] ppid=29477 vsize=915728 CPUtime=0.33
/proc/29479/task/29485/stat : 29485 (java) S 29477 29479 28102 0 -1 64 511 0 0 0 32 1 0 0 15 0 8 0 183864106 937705472 10543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29486] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29486/stat : 29486 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183864106 937705472 10543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29487] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29487/stat : 29487 (java) S 29477 29479 28102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183864106 937705472 10543 18446744073709551615 134512640 134570532 4294956464 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) 915728
[startup+12.7731 s]
/proc/loadavg: 1.75 1.93 1.98 3/94 29487
/proc/meminfo: memFree=1704856/2055920 swapFree=4191880/4192956
[pid=29479] ppid=29477 vsize=915728 CPUtime=12.61
/proc/29479/stat : 29479 (java) R 29477 29479 28102 0 -1 0 11684 0 1 0 1241 20 0 0 25 0 8 0 183864097 937705472 11414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862556 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29479/statm: 228932 11414 2544 14 0 215402 0
[pid=29479/tid=29481] ppid=29477 vsize=915728 CPUtime=0.04
/proc/29479/task/29481/stat : 29481 (java) S 29477 29479 28102 0 -1 64 457 0 0 0 4 0 0 0 16 0 8 0 183864102 937705472 11414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29482] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29482/stat : 29482 (java) S 29477 29479 28102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 11414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29483] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29483/stat : 29483 (java) S 29477 29479 28102 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 11414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29484] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29484/stat : 29484 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183864106 937705472 11414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29485] ppid=29477 vsize=915728 CPUtime=0.36
/proc/29479/task/29485/stat : 29485 (java) S 29477 29479 28102 0 -1 64 525 0 0 0 35 1 0 0 15 0 8 0 183864106 937705472 11414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29486] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29486/stat : 29486 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183864106 937705472 11414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29487] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29487/stat : 29487 (java) S 29477 29479 28102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183864106 937705472 11414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915728
[startup+25.6158 s]
/proc/loadavg: 1.88 1.95 1.98 3/94 29487
/proc/meminfo: memFree=1698776/2055920 swapFree=4191880/4192956
[pid=29479] ppid=29477 vsize=915728 CPUtime=25.33
/proc/29479/stat : 29479 (java) R 29477 29479 28102 0 -1 0 13267 0 1 0 2513 20 0 0 25 0 8 0 183864097 937705472 12997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074152425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29479/statm: 228932 12997 2544 14 0 215402 0
[pid=29479/tid=29481] ppid=29477 vsize=915728 CPUtime=0.04
/proc/29479/task/29481/stat : 29481 (java) S 29477 29479 28102 0 -1 64 457 0 0 0 4 0 0 0 16 0 8 0 183864102 937705472 12997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29482] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29482/stat : 29482 (java) S 29477 29479 28102 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 12997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29483] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29483/stat : 29483 (java) S 29477 29479 28102 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183864103 937705472 12997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29484] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29484/stat : 29484 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183864106 937705472 12997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29485] ppid=29477 vsize=915728 CPUtime=0.36
/proc/29479/task/29485/stat : 29485 (java) S 29477 29479 28102 0 -1 64 526 0 0 0 35 1 0 0 16 0 8 0 183864106 937705472 12997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29486] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29486/stat : 29486 (java) S 29477 29479 28102 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183864106 937705472 12997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29479/tid=29487] ppid=29477 vsize=915728 CPUtime=0
/proc/29479/task/29487/stat : 29487 (java) S 29477 29479 28102 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183864106 937705472 12997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 30.1586
CPU time (s): 29.8395
CPU user time (s): 29.6165
CPU system time (s): 0.222966
CPU usage (%): 98.9417
Max. virtual memory (cumulated for all children) (KiB): 915728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.6165
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13898
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= 2244
involuntary context switches= 2984
runsolver used 0.047992 s user time and 0.095985 s system time
The end
Begin job on node13 on Tue Jan 9 14:58:11 UTC 2007
IDJOB= 238236
IDBENCH= 6991
FILE ID= node13/238236-1168354690
PBS_JOBID= 3503698
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/zhou/block.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238236-1168354690/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-238236-1168354690 -o ROOT/results/node13/solver-238236-1168354690 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238236-1168354690/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a12d363d897a12a4c672a2cdb00de7c7
RANDOM SEED= 698677816
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.247
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.247
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: 1741232 kB
Buffers: 21772 kB
Cached: 135052 kB
SwapCached: 392 kB
Active: 193440 kB
Inactive: 61532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1741232 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1920 kB
Writeback: 0 kB
Mapped: 116916 kB
Slab: 44360 kB
Committed_AS: 5252924 kB
PageTables: 2524 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= 66548 MiB
End job on node13 on Tue Jan 9 14:58:41 UTC 2007