0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/242232-1168377972/unknown.xml
0.43
0.43 domains being loaded...
0.43
0.43 variables being loaded...
0.47 nbVariables=150 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.105 cpuTime=0.09 mem=6M951
0.47
0.47 relations being loaded...
0.48
0.48 constraints being loaded...
0.52 nbConstraints=100 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=98
0.52 nbConflictsStructures=2 nbSharedConflictsStructures=98 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.52 => wckTime=0.154 cpuTime=0.13 mem=7M927
0.56
0.56 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.379 cpuTime=0.28 mem=15M334
0.80
0.80 preprocessing
0.80 nbConstraintChecks=461 nbValidityChecks=1693 nbPropagations=638 nbRevisions=889 nbUselessRevisions=691
0.80 nbSingletonTests=294 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.80 => wckTime=0.051 cpuTime=0.04 mem=15M334
0.84
0.84 search
0.84 run=0 nbConstraintChecks=160 nbValidityChecks=778 nbPropagations=813 nbRevisions=1240 nbUselessRevisions=915
0.84 nbAssignments=107 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=114 nbRestartNogoods=0 mapSize=3
0.84 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.086 cpuTime=0.05 mem=16M326
0.86
0.86 search
0.86 run=1 nbConstraintChecks=365 nbValidityChecks=1674 nbPropagations=1828 nbRevisions=2877
0.86 nbUselessRevisions=2073 nbAssignments=222 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=240
0.86 nbRestartNogoods=2 mapSize=12 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.11 cpuTime=0.07 mem=16M326
0.88
0.88 search
0.88 run=2 nbConstraintChecks=630 nbValidityChecks=2679 nbPropagations=3068 nbRevisions=4965
0.88 nbUselessRevisions=3507 nbAssignments=343 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=375
0.88 nbRestartNogoods=4 mapSize=24 nbInferences=2 nbTooLargeKeys=0
0.88 => wckTime=0.127 cpuTime=0.09 mem=16M326
0.90
0.90 search
0.90 run=3 nbConstraintChecks=964 nbValidityChecks=3917 nbPropagations=4580 nbRevisions=7592
0.90 nbUselessRevisions=5271 nbAssignments=480 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=532
0.90 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.90 => wckTime=0.147 cpuTime=0.1 mem=16M326
0.92
0.92 search
0.92 run=4 nbConstraintChecks=1328 nbValidityChecks=5238 nbPropagations=6392 nbRevisions=10791
0.92 nbUselessRevisions=7370 nbAssignments=640 nbFailedAssignments=31 nbBacktracks=139 nbVisitedNodes=717
0.92 nbRestartNogoods=8 mapSize=63 nbInferences=16 nbTooLargeKeys=0
0.92 => wckTime=0.165 cpuTime=0.11 mem=16M326
0.93
0.93 search
0.93 run=5 nbConstraintChecks=1873 nbValidityChecks=7039 nbPropagations=8597 nbRevisions=14752
0.93 nbUselessRevisions=9912 nbAssignments=838 nbFailedAssignments=46 nbBacktracks=214 nbVisitedNodes=956
0.93 nbRestartNogoods=10 mapSize=101 nbInferences=28 nbTooLargeKeys=0
0.93 => wckTime=0.185 cpuTime=0.13 mem=16M326
0.96
0.96 search
0.96 run=6 nbConstraintChecks=2790 nbValidityChecks=10178 nbPropagations=11519 nbRevisions=20057
0.96 nbUselessRevisions=13228 nbAssignments=1099 nbFailedAssignments=53 nbBacktracks=333 nbVisitedNodes=1282
0.96 nbRestartNogoods=13 mapSize=164 nbInferences=79 nbTooLargeKeys=0
0.96 => wckTime=0.209 cpuTime=0.15 mem=16M326
1.00
1.00 search
1.00 run=7 nbConstraintChecks=4339 nbValidityChecks=14900 nbPropagations=15475 nbRevisions=27444
1.00 nbUselessRevisions=17788 nbAssignments=1444 nbFailedAssignments=67 nbBacktracks=503 nbVisitedNodes=1728
1.00 nbRestartNogoods=15 mapSize=260 nbInferences=153 nbTooLargeKeys=0
1.00 => wckTime=0.249 cpuTime=0.18 mem=16M326
1.05
1.05 search
1.05 run=8 nbConstraintChecks=6995 nbValidityChecks=23097 nbPropagations=21383 nbRevisions=38545
1.05 nbUselessRevisions=24463 nbAssignments=1958 nbFailedAssignments=83 nbBacktracks=760 nbVisitedNodes=2427
1.05 nbRestartNogoods=18 mapSize=437 nbInferences=306 nbTooLargeKeys=0
1.05 => wckTime=0.3 cpuTime=0.22 mem=16M326
1.10
1.10 search
1.10 run=9 nbConstraintChecks=10540 nbValidityChecks=33589 nbPropagations=29908 nbRevisions=54126
1.10 nbUselessRevisions=33357 nbAssignments=2610 nbFailedAssignments=113 nbBacktracks=1144 nbVisitedNodes=3295
1.10 nbRestartNogoods=22 mapSize=636 nbInferences=462 nbTooLargeKeys=0
1.10 => wckTime=0.35 cpuTime=0.27 mem=16M326
1.17
1.17 search
1.17 run=10 nbConstraintChecks=14060 nbValidityChecks=43874 nbPropagations=41108 nbRevisions=74200
1.17 nbUselessRevisions=44422 nbAssignments=3399 nbFailedAssignments=120 nbBacktracks=1721 nbVisitedNodes=4256
1.17 nbRestartNogoods=28 mapSize=807 nbInferences=620 nbTooLargeKeys=0
1.17 => wckTime=0.419 cpuTime=0.32 mem=16M326
1.26
1.26 search
1.26 run=11 nbConstraintChecks=23106 nbValidityChecks=69939 nbPropagations=58577 nbRevisions=105076
1.26 nbUselessRevisions=60977 nbAssignments=4837 nbFailedAssignments=166 nbBacktracks=2587 nbVisitedNodes=6242
1.26 nbRestartNogoods=29 mapSize=1341 nbInferences=1076 nbTooLargeKeys=0
1.26 => wckTime=0.51 cpuTime=0.41 mem=16M326
1.41
1.41 search
1.41 run=12 nbConstraintChecks=41030 nbValidityChecks=121230 nbPropagations=88642 nbRevisions=157267
1.41 nbUselessRevisions=88035 nbAssignments=7105 nbFailedAssignments=197 nbBacktracks=3884 nbVisitedNodes=9446
1.41 nbRestartNogoods=34 mapSize=2271 nbInferences=1950 nbTooLargeKeys=0
1.41 => wckTime=0.66 cpuTime=0.56 mem=16M326
1.62
1.62 search
1.62 run=13 nbConstraintChecks=63840 nbValidityChecks=187308 nbPropagations=134235 nbRevisions=236786
1.62 nbUselessRevisions=129603 nbAssignments=10472 nbFailedAssignments=213 nbBacktracks=5830 nbVisitedNodes=14175
1.62 nbRestartNogoods=40 mapSize=3627 nbInferences=3280 nbTooLargeKeys=0
1.62 => wckTime=0.873 cpuTime=0.77 mem=17M301
1.97
1.97 search
1.97 run=14 nbConstraintChecks=104268 nbValidityChecks=304593 nbPropagations=208023 nbRevisions=364808
1.97 nbUselessRevisions=195911 nbAssignments=15645 nbFailedAssignments=213 nbBacktracks=8749 nbVisitedNodes=21540
1.97 nbRestartNogoods=46 mapSize=5814 nbInferences=5472 nbTooLargeKeys=0
1.97 => wckTime=1.22 cpuTime=1.12 mem=17M301
2.49
2.49 search
2.49 run=15 nbConstraintChecks=162721 nbValidityChecks=473777 nbPropagations=322166 nbRevisions=562735
2.49 nbUselessRevisions=298365 nbAssignments=23368 nbFailedAssignments=213 nbBacktracks=13130 nbVisitedNodes=32530
2.49 nbRestartNogoods=51 mapSize=9076 nbInferences=8739 nbTooLargeKeys=0
2.49 => wckTime=1.743 cpuTime=1.64 mem=18M276
3.26
3.26 search
3.26 run=16 nbConstraintChecks=250553 nbValidityChecks=727972 nbPropagations=496949 nbRevisions=865638
3.26 nbUselessRevisions=455043 nbAssignments=34923 nbFailedAssignments=213 nbBacktracks=19700 nbVisitedNodes=48994
3.26 nbRestartNogoods=56 mapSize=13980 nbInferences=13648 nbTooLargeKeys=0
3.26 => wckTime=2.511 cpuTime=2.4 mem=19M251
4.42
4.42 search
4.42 run=17 nbConstraintChecks=383495 nbValidityChecks=1112500 nbPropagations=763604 nbRevisions=1327362
4.42 nbUselessRevisions=693523 nbAssignments=52229 nbFailedAssignments=213 nbBacktracks=29553 nbVisitedNodes=73690
4.42 nbRestartNogoods=61 mapSize=21364 nbInferences=21038 nbTooLargeKeys=0
4.42 => wckTime=3.667 cpuTime=3.55 mem=20M227
6.16
6.16 search
6.16 run=18 nbConstraintChecks=583259 nbValidityChecks=1685711 nbPropagations=1168024 nbRevisions=2027225
6.16 nbUselessRevisions=1054741 nbAssignments=78227 nbFailedAssignments=213 nbBacktracks=44331 nbVisitedNodes=110830
6.16 nbRestartNogoods=67 mapSize=32499 nbInferences=32180 nbTooLargeKeys=0
6.16 => wckTime=5.409 cpuTime=5.27 mem=22M177
8.81
8.81 search
8.81 run=19 nbConstraintChecks=889750 nbValidityChecks=2553323 nbPropagations=1783622 nbRevisions=3091502
8.81 nbUselessRevisions=1603330 nbAssignments=117518 nbFailedAssignments=213 nbBacktracks=66500
8.81 nbVisitedNodes=167166 nbRestartNogoods=74 mapSize=49535 nbInferences=49225 nbTooLargeKeys=0
8.81 => wckTime=8.06 cpuTime=7.9 mem=26M78
12.16
12.17 search
12.17 run=20 nbConstraintChecks=1235152 nbValidityChecks=3539589 nbPropagations=2623918 nbRevisions=4577701
12.17 nbUselessRevisions=2394690 nbAssignments=173684 nbFailedAssignments=353 nbBacktracks=99754
12.17 nbVisitedNodes=246372 nbRestartNogoods=83 mapSize=72549 nbInferences=71985 nbTooLargeKeys=0
12.17 => wckTime=11.415 cpuTime=11.22 mem=29M3
12.61
12.61 search
12.61 run=21 nbConstraintChecks=1279479 nbValidityChecks=3667693 nbPropagations=3491400 nbRevisions=6118604
12.61 nbUselessRevisions=3220610 nbAssignments=181834 nbFailedAssignments=355 nbBacktracks=104383
12.61 nbVisitedNodes=258043 nbRestartNogoods=88 mapSize=76069 nbInferences=75505 nbTooLargeKeys=0
12.61 => wckTime=11.865 cpuTime=11.66 mem=29M978
12.62
12.62 global
12.62 nbConstraintChecks=1279940 nbValidityChecks=3669386 nbPropagations=3492038 nbRevisions=6119493
12.62 nbUselessRevisions=3221301 nbRestartNogoods=88 solvingWckTime=11.866 solvingCpuTime=11.66 expiredTime=no
12.62 totalExploration=yes nbFoundSolutions=0 globalCpuTime=12.0
12.62 => wckTime=12.246 cpuTime=11.94 mem=29M978
12.62
12.62 s UNSATISFIABLE
12.62 d NODES 181834
12.62 d CHECKS 1279940
12.62
12.62 totalWckTime=12.327 totalCpuTime=12.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-242232-1168377972 -o ROOT/results/node19/solver-242232-1168377972 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242232-1168377972/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.18 1.86 1.32 4/86 15775
/proc/meminfo: memFree=1773928/2055920 swapFree=4171244/4192956
[pid=15774] ppid=15772 vsize=18540 CPUtime=0
/proc/15774/stat : 15774 (runsolver) R 15772 15774 15378 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 186191899 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15774/statm: 4635 279 244 17 0 2626 0
[startup+0.10516 s]
/proc/loadavg: 2.18 1.86 1.32 4/86 15775
/proc/meminfo: memFree=1773928/2055920 swapFree=4171244/4192956
[pid=15774] ppid=15772 vsize=907676 CPUtime=0.03
/proc/15774/stat : 15774 (java) R 15772 15774 15378 0 -1 0 2266 0 1 0 2 1 0 0 16 0 4 0 186191899 929460224 2013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609873 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/15774/statm: 226919 2013 1138 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.514238 s]
/proc/loadavg: 2.18 1.86 1.32 4/86 15775
/proc/meminfo: memFree=1773928/2055920 swapFree=4171244/4192956
[pid=15774] ppid=15772 vsize=915328 CPUtime=0.43
/proc/15774/stat : 15774 (java) R 15772 15774 15378 0 -1 0 6219 0 1 0 39 4 0 0 18 0 8 0 186191899 937295872 5958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152158519 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15774/statm: 228832 5958 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33539 s]
/proc/loadavg: 2.18 1.86 1.32 3/93 15782
/proc/meminfo: memFree=1748976/2055920 swapFree=4171244/4192956
[pid=15774] ppid=15772 vsize=915464 CPUtime=1.23
/proc/15774/stat : 15774 (java) R 15772 15774 15378 0 -1 0 9025 0 1 0 117 6 0 0 24 0 8 0 186191899 937435136 8763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073693374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15774/statm: 228866 8763 2527 14 0 215336 0
[pid=15774/tid=15776] ppid=15772 vsize=915464 CPUtime=0.02
/proc/15774/task/15776/stat : 15776 (java) S 15772 15774 15378 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 186191909 937435136 8763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15777] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15777/stat : 15777 (java) S 15772 15774 15378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186191909 937435136 8763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15778] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15778/stat : 15778 (java) S 15772 15774 15378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186191909 937435136 8763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15779] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15779/stat : 15779 (java) S 15772 15774 15378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186191913 937435136 8763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15780] ppid=15772 vsize=915464 CPUtime=0.18
/proc/15774/task/15780/stat : 15780 (java) S 15772 15774 15378 0 -1 64 372 0 0 0 18 0 0 0 16 0 8 0 186191913 937435136 8763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15781] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15781/stat : 15781 (java) S 15772 15774 15378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186191913 937435136 8763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15782] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15782/stat : 15782 (java) S 15772 15774 15378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186191913 937435136 8763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915464
[startup+2.97369 s]
/proc/loadavg: 2.18 1.86 1.32 3/93 15782
/proc/meminfo: memFree=1747632/2055920 swapFree=4171244/4192956
[pid=15774] ppid=15772 vsize=915464 CPUtime=2.87
/proc/15774/stat : 15774 (java) R 15772 15774 15378 0 -1 0 9484 0 1 0 280 7 0 0 25 0 8 0 186191899 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073693414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15774/statm: 228866 9221 2527 14 0 215336 0
[pid=15774/tid=15776] ppid=15772 vsize=915464 CPUtime=0.02
/proc/15774/task/15776/stat : 15776 (java) S 15772 15774 15378 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 186191909 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15777] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15777/stat : 15777 (java) S 15772 15774 15378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186191909 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15778] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15778/stat : 15778 (java) S 15772 15774 15378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186191909 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15779] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15779/stat : 15779 (java) S 15772 15774 15378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186191913 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15780] ppid=15772 vsize=915464 CPUtime=0.18
/proc/15774/task/15780/stat : 15780 (java) S 15772 15774 15378 0 -1 64 373 0 0 0 18 0 0 0 15 0 8 0 186191913 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15781] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15781/stat : 15781 (java) S 15772 15774 15378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186191913 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15782] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15782/stat : 15782 (java) S 15772 15774 15378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186191913 937435136 9221 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915464
[startup+6.27431 s]
/proc/loadavg: 2.17 1.86 1.32 4/93 15782
/proc/meminfo: memFree=1743600/2055920 swapFree=4171244/4192956
[pid=15774] ppid=15772 vsize=915464 CPUtime=6.13
/proc/15774/stat : 15774 (java) R 15772 15774 15378 0 -1 0 10442 0 1 0 606 7 0 0 25 0 8 0 186191899 937435136 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073693423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15774/statm: 228866 10179 2527 14 0 215336 0
[pid=15774/tid=15776] ppid=15772 vsize=915464 CPUtime=0.02
/proc/15774/task/15776/stat : 15776 (java) S 15772 15774 15378 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 186191909 937435136 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15777] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15777/stat : 15777 (java) S 15772 15774 15378 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186191909 937435136 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15778] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15778/stat : 15778 (java) S 15772 15774 15378 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186191909 937435136 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15779] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15779/stat : 15779 (java) S 15772 15774 15378 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 186191913 937435136 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15780] ppid=15772 vsize=915464 CPUtime=0.18
/proc/15774/task/15780/stat : 15780 (java) S 15772 15774 15378 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 186191913 937435136 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15781] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15781/stat : 15781 (java) S 15772 15774 15378 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 186191913 937435136 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15774/tid=15782] ppid=15772 vsize=915464 CPUtime=0
/proc/15774/task/15782/stat : 15782 (java) S 15772 15774 15378 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186191913 937435136 10179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 12.6406
CPU time (s): 12.4401
CPU user time (s): 12.3431
CPU system time (s): 0.096985
CPU usage (%): 98.4142
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3431
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12285
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= 1275
involuntary context switches= 1966
runsolver used 0.013997 s user time and 0.058991 s system time
The end
Begin job on node19 on Tue Jan 9 21:26:13 UTC 2007
IDJOB= 242232
IDBENCH= 7377
FILE ID= node19/242232-1168377972
PBS_JOBID= 3522340
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-50_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242232-1168377972/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-242232-1168377972 -o ROOT/results/node19/solver-242232-1168377972 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242232-1168377972/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e607ecd5aa9ff868d819c338f9a8dd95
RANDOM SEED= 966623480
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.260
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.260
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: 1774408 kB
Buffers: 42592 kB
Cached: 145980 kB
SwapCached: 10396 kB
Active: 155724 kB
Inactive: 69620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1774408 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 1692 kB
Writeback: 0 kB
Mapped: 49064 kB
Slab: 40908 kB
Committed_AS: 5376456 kB
PageTables: 2336 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= 66557 MiB
End job on node19 on Tue Jan 9 21:26:25 UTC 2007