0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=esac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/215288-1168234106/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.42 nbVariables=522 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.134 cpuTime=0.11 mem=7M50
0.42
0.42 predicates being loaded...
0.43
0.43 constraints being loaded...
1.04 nbConstraints=2819 nbConvertedConstraints=2565 nbConvertConstraintsChecks=16 nbExtensionStructures=2
1.04 nbSharedExtensionStructures=2563 nbConflictsStructures=3 nbSharedConflictsStructures=2585
1.04 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
1.04 nbSharedEvaluationManagers=252 maxDegree=51 maxArity=32
1.04 => wckTime=0.757 cpuTime=0.62 mem=46M57
1.11
1.11 solver IterativeSystematicSolver being built...
1.34 => wckTime=1.057 cpuTime=0.81 mem=33M451
1.66
1.66 preprocessing
1.66 nbConstraintChecks=19240 nbValidityChecks=108251 nbPropagations=1522 nbRevisions=63332 nbUselessRevisions=62863
1.66 nbSingletonTests=534 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
1.66 => wckTime=0.311 cpuTime=0.27 mem=34M423
1.82
1.82 search
1.82 run=0 nbConstraintChecks=29787 nbValidityChecks=96723 nbPropagations=2774 nbRevisions=127268
1.82 nbUselessRevisions=125577 nbAssignments=178 nbFailedAssignments=2 nbBacktracks=19 nbVisitedNodes=189
1.82 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.473 cpuTime=0.42 mem=34M423
2.00
2.00 search
2.00 run=1 nbConstraintChecks=83833 nbValidityChecks=199892 nbPropagations=7718 nbRevisions=333907
2.00 nbUselessRevisions=328243 nbAssignments=361 nbFailedAssignments=4 nbBacktracks=43 nbVisitedNodes=390
2.00 nbRestartNogoods=1 mapSize=26 nbInferences=0 nbTooLargeKeys=0
2.00 => wckTime=0.657 cpuTime=0.6 mem=34M423
2.26
2.26 search
2.26 run=2 nbConstraintChecks=184022 nbValidityChecks=318431 nbPropagations=16692 nbRevisions=652902
2.26 nbUselessRevisions=638743 nbAssignments=548 nbFailedAssignments=7 nbBacktracks=83 nbVisitedNodes=611
2.26 nbRestartNogoods=2 mapSize=59 nbInferences=0 nbTooLargeKeys=0
2.26 => wckTime=0.916 cpuTime=0.86 mem=34M423
2.42
2.42 search
2.42 run=3 nbConstraintChecks=222548 nbValidityChecks=416741 nbPropagations=27244 nbRevisions=1041174
2.42 nbUselessRevisions=1016978 nbAssignments=728 nbFailedAssignments=11 nbBacktracks=117 nbVisitedNodes=802
2.42 nbRestartNogoods=3 mapSize=69 nbInferences=0 nbTooLargeKeys=0
2.42 => wckTime=1.074 cpuTime=1.01 mem=35M396
2.68
2.68 search
2.68 run=4 nbConstraintChecks=313221 nbValidityChecks=534748 nbPropagations=41268 nbRevisions=1534631
2.68 nbUselessRevisions=1496483 nbAssignments=906 nbFailedAssignments=14 nbBacktracks=170 nbVisitedNodes=1009
2.68 nbRestartNogoods=4 mapSize=97 nbInferences=0 nbTooLargeKeys=0
2.68 => wckTime=1.333 cpuTime=1.27 mem=35M396
3.00
3.00 search
3.00 run=5 nbConstraintChecks=434741 nbValidityChecks=666284 nbPropagations=59901 nbRevisions=2155215
3.00 nbUselessRevisions=2098017 nbAssignments=1138 nbFailedAssignments=21 nbBacktracks=245 nbVisitedNodes=1279
3.00 nbRestartNogoods=5 mapSize=133 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=1.658 cpuTime=1.58 mem=35M396
3.62
3.62 search
3.62 run=6 nbConstraintChecks=637051 nbValidityChecks=910211 nbPropagations=85491 nbRevisions=2995208
3.62 nbUselessRevisions=2910330 nbAssignments=1356 nbFailedAssignments=27 nbBacktracks=366 nbVisitedNodes=1559
3.62 nbRestartNogoods=7 mapSize=194 nbInferences=0 nbTooLargeKeys=0
3.62 => wckTime=2.275 cpuTime=2.2 mem=35M396
4.45
4.45 search
4.45 run=7 nbConstraintChecks=913438 nbValidityChecks=1236885 nbPropagations=121202 nbRevisions=4145607
4.45 nbUselessRevisions=4020670 nbAssignments=1626 nbFailedAssignments=37 nbBacktracks=542 nbVisitedNodes=1913
4.45 nbRestartNogoods=8 mapSize=277 nbInferences=0 nbTooLargeKeys=0
4.45 => wckTime=3.105 cpuTime=3.02 mem=35M396
6.36
6.36 search
6.36 run=8 nbConstraintChecks=1643716 nbValidityChecks=1827009 nbPropagations=182695 nbRevisions=5938594
6.36 nbUselessRevisions=5742358 nbAssignments=2011 nbFailedAssignments=65 nbBacktracks=802 nbVisitedNodes=2533
6.36 nbRestartNogoods=9 mapSize=511 nbInferences=0 nbTooLargeKeys=0
6.36 => wckTime=5.015 cpuTime=4.93 mem=35M396
9.62
9.62 search
9.62 run=9 nbConstraintChecks=2755342 nbValidityChecks=3095217 nbPropagations=282998 nbRevisions=8893608
9.62 nbUselessRevisions=8577101 nbAssignments=2541 nbFailedAssignments=126 nbBacktracks=1192 nbVisitedNodes=3391
9.62 nbRestartNogoods=10 mapSize=837 nbInferences=0 nbTooLargeKeys=0
9.62 => wckTime=8.277 cpuTime=8.19 mem=35M396
11.25
11.25 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=35M396)
13.35
13.35 search
13.35 run=10 nbConstraintChecks=4074917 nbValidityChecks=4565880 nbPropagations=431408 nbRevisions=13261506
13.35 nbUselessRevisions=12764279 nbAssignments=3271 nbFailedAssignments=179 nbBacktracks=1791 nbVisitedNodes=4551
13.35 nbRestartNogoods=12
13.35 => wckTime=12.003 cpuTime=11.9 mem=35M396
13.50
13.50 search
13.50 run=11 nbConstraintChecks=4105025 nbValidityChecks=4649565 nbPropagations=581317 nbRevisions=17705828
13.50 nbUselessRevisions=17026753 nbAssignments=3800 nbFailedAssignments=181 nbBacktracks=1796 nbVisitedNodes=5085
13.50 nbRestartNogoods=15
13.50 => wckTime=12.156 cpuTime=12.05 mem=35M396
13.50
13.50 global
13.50 nbConstraintChecks=4124265 nbValidityChecks=4757816 nbPropagations=582839 nbRevisions=17769160
13.50 nbUselessRevisions=17089616 nbRestartNogoods=15 solvingWckTime=12.157 solvingCpuTime=12.05 expiredTime=no
13.50 totalExploration=no nbFoundSolutions=1 globalCpuTime=12.9
13.50 => wckTime=13.216 cpuTime=12.86 mem=35M396
13.50
13.50 s SATISFIABLE
13.50 v 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1
13.50 d NODES 3800
13.50 d CHECKS 4124265
13.50
13.50 totalWckTime=13.292 totalCpuTime=12.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-215288-1168234106 -o ROOT/results/node19/solver-215288-1168234106 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215288-1168234106/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.00 2.02 2.00 4/89 7462
/proc/meminfo: memFree=1878000/2055920 swapFree=4171244/4192956
[pid=7461] ppid=7459 vsize=1784 CPUtime=0
/proc/7461/stat : 7461 (java) R 7459 7461 7059 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 171805206 1826816 140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/7461/statm: 446 140 106 14 0 91 0
[startup+0.108047 s]
/proc/loadavg: 2.00 2.02 2.00 4/89 7462
/proc/meminfo: memFree=1878000/2055920 swapFree=4171244/4192956
[pid=7461] ppid=7459 vsize=914988 CPUtime=0.09
/proc/7461/stat : 7461 (java) R 7459 7461 7059 0 -1 0 3133 0 1 0 8 1 0 0 24 0 8 0 171805206 936947712 2879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153604294 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7461/statm: 228747 2879 1474 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516124 s]
/proc/loadavg: 2.00 2.02 2.00 4/89 7462
/proc/meminfo: memFree=1878000/2055920 swapFree=4171244/4192956
[pid=7461] ppid=7459 vsize=915328 CPUtime=0.5
/proc/7461/stat : 7461 (java) R 7459 7461 7059 0 -1 0 8757 0 1 0 46 4 0 0 25 0 8 0 171805206 937295872 8496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073542797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7461/statm: 228832 8501 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33728 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 7469
/proc/meminfo: memFree=1821240/2055920 swapFree=4171244/4192956
[pid=7461] ppid=7459 vsize=915760 CPUtime=1.32
/proc/7461/stat : 7461 (java) R 7459 7461 7059 0 -1 0 17019 0 1 0 114 18 0 0 25 0 8 0 171805206 937738240 16756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152150240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7461/statm: 228940 16756 2539 14 0 215410 0
[pid=7461/tid=7463] ppid=7459 vsize=915760 CPUtime=0.06
/proc/7461/task/7463/stat : 7463 (java) S 7459 7461 7059 0 -1 64 733 0 0 0 6 0 0 0 17 0 8 0 171805209 937738240 16756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7464] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7464/stat : 7464 (java) S 7459 7461 7059 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171805209 937738240 16756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7465] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7465/stat : 7465 (java) S 7459 7461 7059 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171805209 937738240 16756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7466] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7466/stat : 7466 (java) S 7459 7461 7059 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171805212 937738240 16756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7467] ppid=7459 vsize=915760 CPUtime=0.22
/proc/7461/task/7467/stat : 7467 (java) S 7459 7461 7059 0 -1 64 460 0 0 0 22 0 0 0 15 0 8 0 171805212 937738240 16756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7468] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7468/stat : 7468 (java) S 7459 7461 7059 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171805212 937738240 16756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7469] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7469/stat : 7469 (java) S 7459 7461 7059 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171805212 937738240 16756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915760
[startup+2.98059 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 7469
/proc/meminfo: memFree=1820600/2055920 swapFree=4171244/4192956
[pid=7461] ppid=7459 vsize=915760 CPUtime=2.97
/proc/7461/stat : 7461 (java) R 7459 7461 7059 0 -1 0 17069 0 1 0 278 19 0 0 25 0 8 0 171805206 937738240 16805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074038154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7461/statm: 228940 16805 2543 14 0 215410 0
[pid=7461/tid=7463] ppid=7459 vsize=915760 CPUtime=0.06
/proc/7461/task/7463/stat : 7463 (java) S 7459 7461 7059 0 -1 64 733 0 0 0 6 0 0 0 17 0 8 0 171805209 937738240 16805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7464] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7464/stat : 7464 (java) S 7459 7461 7059 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171805209 937738240 16805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7465] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7465/stat : 7465 (java) S 7459 7461 7059 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171805209 937738240 16805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7466] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7466/stat : 7466 (java) S 7459 7461 7059 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171805212 937738240 16805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7467] ppid=7459 vsize=915760 CPUtime=0.3
/proc/7461/task/7467/stat : 7467 (java) S 7459 7461 7059 0 -1 64 494 0 0 0 29 1 0 0 16 0 8 0 171805212 937738240 16805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7468] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7468/stat : 7468 (java) S 7459 7461 7059 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171805212 937738240 16805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7469] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7469/stat : 7469 (java) S 7459 7461 7059 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171805212 937738240 16805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915760
[startup+6.27221 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 7469
/proc/meminfo: memFree=1820536/2055920 swapFree=4171244/4192956
[pid=7461] ppid=7459 vsize=915760 CPUtime=6.26
/proc/7461/stat : 7461 (java) R 7459 7461 7059 0 -1 0 17076 0 1 0 607 19 0 0 25 0 8 0 171805206 937738240 16810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7461/statm: 228940 16810 2543 14 0 215410 0
[pid=7461/tid=7463] ppid=7459 vsize=915760 CPUtime=0.06
/proc/7461/task/7463/stat : 7463 (java) S 7459 7461 7059 0 -1 64 733 0 0 0 6 0 0 0 16 0 8 0 171805209 937738240 16810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7464] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7464/stat : 7464 (java) S 7459 7461 7059 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171805209 937738240 16810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7465] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7465/stat : 7465 (java) S 7459 7461 7059 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171805209 937738240 16810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7466] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7466/stat : 7466 (java) S 7459 7461 7059 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171805212 937738240 16810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7467] ppid=7459 vsize=915760 CPUtime=0.31
/proc/7461/task/7467/stat : 7467 (java) S 7459 7461 7059 0 -1 64 500 0 0 0 30 1 0 0 16 0 8 0 171805212 937738240 16810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7468] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7468/stat : 7468 (java) S 7459 7461 7059 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171805212 937738240 16810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7469] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7469/stat : 7469 (java) S 7459 7461 7059 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171805212 937738240 16810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915760
[startup+12.7504 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 7469
/proc/meminfo: memFree=1820536/2055920 swapFree=4171244/4192956
[pid=7461] ppid=7459 vsize=915760 CPUtime=12.73
/proc/7461/stat : 7461 (java) R 7459 7461 7059 0 -1 0 17082 0 1 0 1254 19 0 0 25 0 8 0 171805206 937738240 16814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074030305 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7461/statm: 228940 16814 2543 14 0 215410 0
[pid=7461/tid=7463] ppid=7459 vsize=915760 CPUtime=0.06
/proc/7461/task/7463/stat : 7463 (java) S 7459 7461 7059 0 -1 64 733 0 0 0 6 0 0 0 16 0 8 0 171805209 937738240 16814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7464] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7464/stat : 7464 (java) S 7459 7461 7059 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171805209 937738240 16814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7465] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7465/stat : 7465 (java) S 7459 7461 7059 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171805209 937738240 16814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7466] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7466/stat : 7466 (java) S 7459 7461 7059 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171805212 937738240 16814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7467] ppid=7459 vsize=915760 CPUtime=0.32
/proc/7461/task/7467/stat : 7467 (java) S 7459 7461 7059 0 -1 64 504 0 0 0 31 1 0 0 17 0 8 0 171805212 937738240 16814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7468] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7468/stat : 7468 (java) S 7459 7461 7059 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171805212 937738240 16814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7461/tid=7469] ppid=7459 vsize=915760 CPUtime=0
/proc/7461/task/7469/stat : 7469 (java) S 7459 7461 7059 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171805212 937738240 16814 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915760
Child status: 0
Real time (s): 13.5628
CPU time (s): 13.5079
CPU user time (s): 13.301
CPU system time (s): 0.206968
CPU usage (%): 99.5952
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.301
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17091
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= 1798
involuntary context switches= 2055
runsolver used 0.016997 s user time and 0.049992 s system time
The end
Begin job on node19 on Mon Jan 8 05:28:26 UTC 2007
IDJOB= 215288
IDBENCH= 4990
FILE ID= node19/215288-1168234106
PBS_JOBID= 3481223
Free space on /tmp= 66319 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32b2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215288-1168234106/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-215288-1168234106 -o ROOT/results/node19/solver-215288-1168234106 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215288-1168234106/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= be67f342ecfcecef4d820ae123e10d38
RANDOM SEED= 443840350
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: 1878480 kB
Buffers: 9508 kB
Cached: 69756 kB
SwapCached: 10020 kB
Active: 104536 kB
Inactive: 23772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1878480 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 2164 kB
Writeback: 0 kB
Mapped: 59544 kB
Slab: 33684 kB
Committed_AS: 4370600 kB
PageTables: 2388 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= 66319 MiB
End job on node19 on Mon Jan 8 05:28:39 UTC 2007