0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/242423-1168380912/unknown.xml
0.36
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.50 nbVariables=1359 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.50 => wckTime=0.194 cpuTime=0.14 mem=8M885
0.50
0.50 relations being loaded...
0.50
0.50 constraints being loaded...
0.73 nbConstraints=2366 nbRelationTypes=23 nbSingletonDomainVariables=4 nbExtensionStructures=26
0.73 nbSharedExtensionStructures=2340 nbConflictsStructures=26 nbSharedConflictsStructures=2340
0.73 nbSharedBinaryRepresentations=29 maxDegree=32 maxArity=5
0.73 => wckTime=0.424 cpuTime=0.29 mem=17M662
0.79
0.79 solver IterativeSystematicSolver being built...
1.04 => wckTime=0.732 cpuTime=0.5 mem=26M930
1.65
1.65 preprocessing
1.65 nbConstraintChecks=22017 nbValidityChecks=5694 nbPropagations=9226 nbRevisions=20446 nbUselessRevisions=15680
1.65 nbSingletonTests=3168 nbEffectiveSingletonTests=1 nbESACBranches=9 nbRemovedValues=61 detectedInconsistency=no
1.65 => wckTime=0.602 cpuTime=0.55 mem=26M930
1.92
1.92 search
1.92 run=0 nbConstraintChecks=5217 nbValidityChecks=1675 nbPropagations=10820 nbRevisions=25158
1.92 nbUselessRevisions=18798 nbAssignments=310 nbFailedAssignments=6 nbBacktracks=105 nbVisitedNodes=319
1.92 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.877 cpuTime=0.81 mem=27M905
2.10
2.10 search
2.10 run=1 nbConstraintChecks=12742 nbValidityChecks=3826 nbPropagations=24016 nbRevisions=56777
2.10 nbUselessRevisions=41808 nbAssignments=715 nbFailedAssignments=9 nbBacktracks=133 nbVisitedNodes=532
2.10 nbRestartNogoods=3 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.10 => wckTime=1.058 cpuTime=0.99 mem=27M905
2.23
2.23 search
2.23 run=2 nbConstraintChecks=15782 nbValidityChecks=4687 nbPropagations=38176 nbRevisions=91022
2.23 nbUselessRevisions=66461 nbAssignments=893 nbFailedAssignments=11 nbBacktracks=171 nbVisitedNodes=715
2.23 nbRestartNogoods=4 mapSize=13 nbInferences=0 nbTooLargeKeys=0
2.23 => wckTime=1.184 cpuTime=1.11 mem=27M905
2.35
2.35 search
2.35 run=3 nbConstraintChecks=19354 nbValidityChecks=5770 nbPropagations=53463 nbRevisions=128410
2.35 nbUselessRevisions=93137 nbAssignments=1067 nbFailedAssignments=15 nbBacktracks=228 nbVisitedNodes=895
2.35 nbRestartNogoods=5 mapSize=18 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=1.311 cpuTime=1.24 mem=27M905
2.48
2.48 search
2.48 run=4 nbConstraintChecks=22903 nbValidityChecks=6862 nbPropagations=69873 nbRevisions=168940
2.48 nbUselessRevisions=121839 nbAssignments=1241 nbFailedAssignments=19 nbBacktracks=325 nbVisitedNodes=1075
2.48 nbRestartNogoods=6 mapSize=23 nbInferences=0 nbTooLargeKeys=0
2.48 => wckTime=1.438 cpuTime=1.36 mem=27M905
2.65
2.65 search
2.65 run=5 nbConstraintChecks=29065 nbValidityChecks=8895 nbPropagations=88260 nbRevisions=215041
2.65 nbUselessRevisions=154105 nbAssignments=1462 nbFailedAssignments=27 nbBacktracks=412 nbVisitedNodes=1312
2.65 nbRestartNogoods=7 mapSize=37 nbInferences=0 nbTooLargeKeys=0
2.65 => wckTime=1.603 cpuTime=1.52 mem=28M881
2.80
2.80 search
2.80 run=6 nbConstraintChecks=33902 nbValidityChecks=10445 nbPropagations=108204 nbRevisions=265509
2.80 nbUselessRevisions=189169 nbAssignments=1672 nbFailedAssignments=33 nbBacktracks=544 nbVisitedNodes=1534
2.80 nbRestartNogoods=9 mapSize=48 nbInferences=0 nbTooLargeKeys=0
2.80 => wckTime=1.757 cpuTime=1.67 mem=28M881
3.01
3.01 search
3.01 run=7 nbConstraintChecks=47614 nbValidityChecks=14979 nbPropagations=132436 nbRevisions=328379
3.01 nbUselessRevisions=232184 nbAssignments=1941 nbFailedAssignments=61 nbBacktracks=714 nbVisitedNodes=1849
3.01 nbRestartNogoods=10 mapSize=90 nbInferences=0 nbTooLargeKeys=0
3.01 => wckTime=1.968 cpuTime=1.87 mem=28M881
3.44
3.44 search
3.44 run=8 nbConstraintChecks=59079 nbValidityChecks=18480 nbPropagations=160267 nbRevisions=401196
3.44 nbUselessRevisions=281501 nbAssignments=2521 nbFailedAssignments=75 nbBacktracks=1013 nbVisitedNodes=2398
3.44 nbRestartNogoods=14 mapSize=116 nbInferences=1 nbTooLargeKeys=0
3.44 => wckTime=2.399 cpuTime=2.29 mem=28M881
3.91
3.91 search
3.91 run=9 nbConstraintChecks=78719 nbValidityChecks=25606 nbPropagations=194358 nbRevisions=491891
3.91 nbUselessRevisions=342266 nbAssignments=3092 nbFailedAssignments=110 nbBacktracks=1398 nbVisitedNodes=3043
3.91 nbRestartNogoods=17 mapSize=188 nbInferences=1 nbTooLargeKeys=0
3.91 => wckTime=2.865 cpuTime=2.75 mem=28M881
4.45
4.45 search
4.45 run=10 nbConstraintChecks=113378 nbValidityChecks=36527 nbPropagations=239099 nbRevisions=612940
4.45 nbUselessRevisions=422406 nbAssignments=3827 nbFailedAssignments=162 nbBacktracks=1981 nbVisitedNodes=3865
4.45 nbRestartNogoods=21 mapSize=305 nbInferences=1 nbTooLargeKeys=0
4.45 => wckTime=3.406 cpuTime=3.28 mem=29M856
5.19
5.19 search
5.19 run=11 nbConstraintChecks=165014 nbValidityChecks=52905 nbPropagations=299856 nbRevisions=779507
5.19 nbUselessRevisions=531332 nbAssignments=4862 nbFailedAssignments=240 nbBacktracks=2858 nbVisitedNodes=5075
5.19 nbRestartNogoods=24 mapSize=476 nbInferences=1 nbTooLargeKeys=0
5.19 => wckTime=4.152 cpuTime=4.02 mem=29M856
6.28
6.28 search
6.28 run=12 nbConstraintChecks=241000 nbValidityChecks=78298 nbPropagations=384410 nbRevisions=1014839
6.28 nbUselessRevisions=683990 nbAssignments=6333 nbFailedAssignments=360 nbBacktracks=4162 nbVisitedNodes=6807
6.28 nbRestartNogoods=28 mapSize=734 nbInferences=1 nbTooLargeKeys=0
6.28 => wckTime=5.24 cpuTime=5.09 mem=30M831
7.23
7.23 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=31M806)
7.51
7.51 search
7.51 run=13 nbConstraintChecks=374368 nbValidityChecks=122168 nbPropagations=510305 nbRevisions=1369170
7.51 nbUselessRevisions=913035 nbAssignments=8541 nbFailedAssignments=588 nbBacktracks=6113 nbVisitedNodes=9490
7.51 nbRestartNogoods=31
7.51 => wckTime=6.463 cpuTime=6.3 mem=31M806
8.35
8.35 search
8.35 run=14 nbConstraintChecks=443176 nbValidityChecks=146775 nbPropagations=657105 nbRevisions=1785129
8.35 nbUselessRevisions=1181821 nbAssignments=11816 nbFailedAssignments=739 nbBacktracks=9060 nbVisitedNodes=13061
8.35 nbRestartNogoods=34
8.35 => wckTime=7.305 cpuTime=7.14 mem=31M806
9.85
9.85 search
9.85 run=15 nbConstraintChecks=781348 nbValidityChecks=247540 nbPropagations=905358 nbRevisions=2487716
9.85 nbUselessRevisions=1629387 nbAssignments=16804 nbFailedAssignments=1268 nbBacktracks=13440 nbVisitedNodes=19048
9.85 nbRestartNogoods=40
9.85 => wckTime=8.807 cpuTime=8.63 mem=31M806
11.94
11.94 search
11.94 run=16 nbConstraintChecks=1198058 nbValidityChecks=391911 nbPropagations=1283274 nbRevisions=3562714
11.94 nbUselessRevisions=2307353 nbAssignments=24133 nbFailedAssignments=1967 nbBacktracks=20010 nbVisitedNodes=27788
11.94 nbRestartNogoods=44
11.94 => wckTime=10.899 cpuTime=10.7 mem=31M806
15.15
15.15 search
15.15 run=17 nbConstraintChecks=1879643 nbValidityChecks=595402 nbPropagations=1873080 nbRevisions=5221366
15.15 nbUselessRevisions=3344998 nbAssignments=34973 nbFailedAssignments=2851 nbBacktracks=29903 nbVisitedNodes=40373
15.15 nbRestartNogoods=49
15.15 => wckTime=14.106 cpuTime=13.88 mem=31M806
19.98
19.98 search
19.98 run=18 nbConstraintChecks=2866177 nbValidityChecks=906903 nbPropagations=2770542 nbRevisions=7752620
19.98 nbUselessRevisions=4933482 nbAssignments=51201 nbFailedAssignments=4222 nbBacktracks=44684 nbVisitedNodes=59329
19.98 nbRestartNogoods=54
19.98 => wckTime=18.94 cpuTime=18.66 mem=31M806
20.12
20.12 search
20.12 run=19 nbConstraintChecks=2889609 nbValidityChecks=914993 nbPropagations=3675199 nbRevisions=10305066
20.12 nbUselessRevisions=6535786 nbAssignments=51709 nbFailedAssignments=4258 nbBacktracks=45062 nbVisitedNodes=59807
20.12 nbRestartNogoods=63
20.12 => wckTime=19.074 cpuTime=18.79 mem=31M806
20.12
20.12 global
20.12 nbConstraintChecks=2911626 nbValidityChecks=920687 nbPropagations=3684425 nbRevisions=10325512
20.12 nbUselessRevisions=6551466 nbRestartNogoods=63 solvingWckTime=19.075 solvingCpuTime=18.79 expiredTime=no
20.12 totalExploration=yes nbFoundSolutions=0 globalCpuTime=19.34
20.12 => wckTime=19.812 cpuTime=19.29 mem=31M806
20.12
20.12 s UNSATISFIABLE
20.12 d NODES 51709
20.12 d CHECKS 2911626
20.12
20.12 totalWckTime=19.888 totalCpuTime=19.35
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-242423-1168380912 -o ROOT/results/node15/solver-242423-1168380912 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242423-1168380912/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: 2.06 2.04 1.94 5/94 2471
/proc/meminfo: memFree=1731712/2055920 swapFree=4174172/4192956
[pid=2470] ppid=2468 vsize=0 CPUtime=0
/proc/2470/stat : 2470 (runsolver) R 2468 2470 2075 0 -1 64 17 0 0 0 0 0 0 0 18 0 1 0 186486158 0 0 18446744073709551615 0 0 0 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2470/statm: 41 2 0 0 0 1 0
[startup+0.107322 s]
/proc/loadavg: 2.06 2.04 1.94 5/94 2471
/proc/meminfo: memFree=1731712/2055920 swapFree=4174172/4192956
[pid=2470] ppid=2468 vsize=914988 CPUtime=0.08
/proc/2470/stat : 2470 (java) R 2468 2470 2075 0 -1 0 2996 0 1 0 7 1 0 0 23 0 8 0 186486158 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072934385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2470/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515391 s]
/proc/loadavg: 2.06 2.04 1.94 5/94 2471
/proc/meminfo: memFree=1731712/2055920 swapFree=4174172/4192956
[pid=2470] ppid=2468 vsize=915328 CPUtime=0.48
/proc/2470/stat : 2470 (java) R 2468 2470 2075 0 -1 0 6686 0 1 0 44 4 0 0 25 0 8 0 186486158 937295872 6425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073554592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2470/statm: 228832 6425 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34053 s]
/proc/loadavg: 2.14 2.05 1.95 3/101 2478
/proc/meminfo: memFree=1695880/2055920 swapFree=4174172/4192956
[pid=2470] ppid=2468 vsize=915472 CPUtime=1.29
/proc/2470/stat : 2470 (java) R 2468 2470 2075 0 -1 0 11702 0 1 0 122 7 0 0 25 0 8 0 186486158 937443328 11440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2470/statm: 228868 11440 2527 14 0 215338 0
[pid=2470/tid=2472] ppid=2468 vsize=915472 CPUtime=0.04
/proc/2470/task/2472/stat : 2472 (java) S 2468 2470 2075 0 -1 64 846 0 0 0 4 0 0 0 16 0 8 0 186486163 937443328 11440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2473] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2473/stat : 2473 (java) S 2468 2470 2075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186486163 937443328 11440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2474] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2474/stat : 2474 (java) S 2468 2470 2075 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186486163 937443328 11440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2475] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2475/stat : 2475 (java) S 2468 2470 2075 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186486167 937443328 11440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2476] ppid=2468 vsize=915472 CPUtime=0.24
/proc/2470/task/2476/stat : 2476 (java) S 2468 2470 2075 0 -1 64 408 0 0 0 23 1 0 0 15 0 8 0 186486167 937443328 11440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2477] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2477/stat : 2477 (java) S 2468 2470 2075 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186486167 937443328 11440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2478] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2478/stat : 2478 (java) S 2468 2470 2075 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186486167 937443328 11440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915472
[startup+2.99282 s]
/proc/loadavg: 2.14 2.05 1.95 3/101 2478
/proc/meminfo: memFree=1694920/2055920 swapFree=4174172/4192956
[pid=2470] ppid=2468 vsize=915472 CPUtime=2.93
/proc/2470/stat : 2470 (java) R 2468 2470 2075 0 -1 0 12054 0 1 0 285 8 0 0 25 0 8 0 186486158 937443328 11790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074054883 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2470/statm: 228868 11790 2527 14 0 215338 0
[pid=2470/tid=2472] ppid=2468 vsize=915472 CPUtime=0.04
/proc/2470/task/2472/stat : 2472 (java) S 2468 2470 2075 0 -1 64 846 0 0 0 4 0 0 0 17 0 8 0 186486163 937443328 11790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2473] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2473/stat : 2473 (java) S 2468 2470 2075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186486163 937443328 11790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2474] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2474/stat : 2474 (java) S 2468 2470 2075 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186486163 937443328 11790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2475] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2475/stat : 2475 (java) S 2468 2470 2075 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186486167 937443328 11790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2476] ppid=2468 vsize=915472 CPUtime=0.29
/proc/2470/task/2476/stat : 2476 (java) S 2468 2470 2075 0 -1 64 435 0 0 0 28 1 0 0 15 0 8 0 186486167 937443328 11790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2477] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2477/stat : 2477 (java) S 2468 2470 2075 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186486167 937443328 11790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2478] ppid=2468 vsize=915472 CPUtime=0
/proc/2470/task/2478/stat : 2478 (java) S 2468 2470 2075 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186486167 937443328 11790 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915472
[startup+6.28038 s]
/proc/loadavg: 2.13 2.05 1.95 3/101 2478
/proc/meminfo: memFree=1692488/2055920 swapFree=4174172/4192956
[pid=2470] ppid=2468 vsize=915604 CPUtime=6.18
/proc/2470/stat : 2470 (java) R 2468 2470 2075 0 -1 0 12643 0 1 0 610 8 0 0 25 0 8 0 186486158 937578496 12376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2470/statm: 228901 12376 2527 14 0 215371 0
[pid=2470/tid=2472] ppid=2468 vsize=915604 CPUtime=0.04
/proc/2470/task/2472/stat : 2472 (java) S 2468 2470 2075 0 -1 64 846 0 0 0 4 0 0 0 17 0 8 0 186486163 937578496 12376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2473] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2473/stat : 2473 (java) S 2468 2470 2075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186486163 937578496 12376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2474] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2474/stat : 2474 (java) S 2468 2470 2075 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186486163 937578496 12376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2475] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2475/stat : 2475 (java) S 2468 2470 2075 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186486167 937578496 12376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2476] ppid=2468 vsize=915604 CPUtime=0.3
/proc/2470/task/2476/stat : 2476 (java) S 2468 2470 2075 0 -1 64 447 0 0 0 29 1 0 0 15 0 8 0 186486167 937578496 12376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2477] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2477/stat : 2477 (java) S 2468 2470 2075 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186486167 937578496 12376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2478] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2478/stat : 2478 (java) S 2468 2470 2075 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186486167 937578496 12376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915604
[startup+12.7655 s]
/proc/loadavg: 2.12 2.05 1.95 3/101 2478
/proc/meminfo: memFree=1691336/2055920 swapFree=4174172/4192956
[pid=2470] ppid=2468 vsize=915604 CPUtime=12.62
/proc/2470/stat : 2470 (java) R 2468 2470 2075 0 -1 0 12837 0 1 0 1253 9 0 0 25 0 8 0 186486158 937578496 12568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074043218 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2470/statm: 228901 12568 2527 14 0 215371 0
[pid=2470/tid=2472] ppid=2468 vsize=915604 CPUtime=0.04
/proc/2470/task/2472/stat : 2472 (java) S 2468 2470 2075 0 -1 64 846 0 0 0 4 0 0 0 16 0 8 0 186486163 937578496 12568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2473] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2473/stat : 2473 (java) S 2468 2470 2075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186486163 937578496 12568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2474] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2474/stat : 2474 (java) S 2468 2470 2075 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186486163 937578496 12568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2475] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2475/stat : 2475 (java) S 2468 2470 2075 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186486167 937578496 12568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2476] ppid=2468 vsize=915604 CPUtime=0.3
/proc/2470/task/2476/stat : 2476 (java) S 2468 2470 2075 0 -1 64 449 0 0 0 29 1 0 0 17 0 8 0 186486167 937578496 12568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2477] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2477/stat : 2477 (java) S 2468 2470 2075 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186486167 937578496 12568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2470/tid=2478] ppid=2468 vsize=915604 CPUtime=0
/proc/2470/task/2478/stat : 2478 (java) S 2468 2470 2075 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186486167 937578496 12568 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915604
Child status: 0
Real time (s): 20.1424
CPU time (s): 19.92
CPU user time (s): 19.819
CPU system time (s): 0.100984
CPU usage (%): 98.8956
Max. virtual memory (cumulated for all children) (KiB): 915604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.819
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12934
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= 1920
involuntary context switches= 2658
runsolver used 0.028995 s user time and 0.068989 s system time
The end
Begin job on node15 on Tue Jan 9 22:15:12 UTC 2007
IDJOB= 242423
IDBENCH= 7391
FILE ID= node15/242423-1168380912
PBS_JOBID= 3522369
Free space on /tmp= 66562 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-2670-130_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242423-1168380912/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-242423-1168380912 -o ROOT/results/node15/solver-242423-1168380912 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242423-1168380912/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a69cb0578060e72c362a8bb6c0c5d6ab
RANDOM SEED= 368860038
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.276
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.276
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: 1732384 kB
Buffers: 65724 kB
Cached: 157444 kB
SwapCached: 6400 kB
Active: 181768 kB
Inactive: 84980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1732384 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2112 kB
Writeback: 0 kB
Mapped: 60548 kB
Slab: 41340 kB
Committed_AS: 6119256 kB
PageTables: 2496 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 node15 on Tue Jan 9 22:15:33 UTC 2007