0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/275700-1169225726/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=12 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.42 => wckTime=0.099 cpuTime=0.08 mem=6M910
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.49 nbConstraints=30 nbConflictsStructures=1 nbSharedConflictsStructures=29 nbSharedBinaryRepresentations=0
0.49 nbEvaluationManagers=1 nbSharedEvaluationManagers=29 maxDegree=10 maxArity=3
0.49 => wckTime=0.171 cpuTime=0.13 mem=7M918
0.53
0.53 solver LocalSearchSolver being built...
0.57 => wckTime=0.251 cpuTime=0.18 mem=5M362
0.57
0.57 s SATISFIABLE
0.57 o 26
0.57 c 4
0.57 o 27
0.57 c 3
0.58 o 28
0.58 c 2
0.58 o 29
0.58 c 1
0.58
0.58 search
0.58 run=0 nbConstraintChecks=1459 nbAssignments=7
0.58 => wckTime=0.012 cpuTime=0.01 mem=5M362
0.58
0.58 global
0.58 nbConstraintChecks=1459 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.58 solvingWckTime=0.011 solvingCpuTime=0.01 expiredTime=no totalExploration=no nbFoundSolutions=0
0.58 globalCpuTime=0.25
0.58 => wckTime=0.263 cpuTime=0.19 mem=5M362
0.58
0.58 solver IterativeSystematicSolver being built...
0.72 => wckTime=0.404 cpuTime=0.3 mem=16M336
0.72
0.72 preprocessing
0.72 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.72 detectedInconsistency=no
0.72 => wckTime=0.0020 cpuTime=0.0 mem=16M336
0.77
0.77 search
0.77 run=0 nbConstraintChecks=2846 nbValidityChecks=5223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.77 nbAssignments=25 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=43 nbRestartNogoods=0
0.77 => wckTime=0.046 cpuTime=0.03 mem=16M336
0.79
0.79 search
0.79 run=1 nbConstraintChecks=5900 nbValidityChecks=11576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.79 nbAssignments=58 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=97 nbRestartNogoods=4
0.79 => wckTime=0.069 cpuTime=0.04 mem=16M336
0.81
0.81 search
0.81 run=2 nbConstraintChecks=11122 nbValidityChecks=22787 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.81 nbAssignments=106 nbFailedAssignments=42 nbBacktracks=48 nbVisitedNodes=180 nbRestartNogoods=7
0.81 => wckTime=0.084 cpuTime=0.05 mem=16M336
0.82
0.82 search
0.82 run=3 nbConstraintChecks=15662 nbValidityChecks=33443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.82 nbAssignments=164 nbFailedAssignments=61 nbBacktracks=81 nbVisitedNodes=274 nbRestartNogoods=13
0.82 => wckTime=0.098 cpuTime=0.06 mem=16M336
0.85
0.85 search
0.85 run=4 nbConstraintChecks=23207 nbValidityChecks=54197 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.85 nbAssignments=256 nbFailedAssignments=98 nbBacktracks=131 nbVisitedNodes=439 nbRestartNogoods=17
0.85 => wckTime=0.124 cpuTime=0.08 mem=16M336
0.87
0.87 search
0.87 run=5 nbConstraintChecks=33708 nbValidityChecks=83766 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.87 nbAssignments=391 nbFailedAssignments=152 nbBacktracks=206 nbVisitedNodes=678 nbRestartNogoods=23
0.87 => wckTime=0.147 cpuTime=0.1 mem=16M336
0.90
0.90 search
0.90 run=6 nbConstraintChecks=46774 nbValidityChecks=124086 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.90 nbAssignments=587 nbFailedAssignments=230 nbBacktracks=319 nbVisitedNodes=1026 nbRestartNogoods=31
0.90 => wckTime=0.176 cpuTime=0.13 mem=16M336
0.94
0.94 search
0.94 run=7 nbConstraintChecks=66323 nbValidityChecks=180230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.94 nbAssignments=880 nbFailedAssignments=347 nbBacktracks=489 nbVisitedNodes=1521 nbRestartNogoods=36
0.94 => wckTime=0.217 cpuTime=0.17 mem=16M336
1.00
1.00 search
1.00 run=8 nbConstraintChecks=99323 nbValidityChecks=276554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.00 nbAssignments=1316 nbFailedAssignments=521 nbBacktracks=745 nbVisitedNodes=2285 nbRestartNogoods=45
1.00 => wckTime=0.282 cpuTime=0.23 mem=16M336
1.10
1.10 search
1.10 run=9 nbConstraintChecks=145913 nbValidityChecks=416983 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.10 nbAssignments=1986 nbFailedAssignments=802 nbBacktracks=1129 nbVisitedNodes=3480 nbRestartNogoods=51
1.10 => wckTime=0.382 cpuTime=0.31 mem=16M336
1.22
1.22 search
1.22 run=10 nbConstraintChecks=207954 nbValidityChecks=605199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.22 nbAssignments=2950 nbFailedAssignments=1184 nbBacktracks=1705 nbVisitedNodes=5146 nbRestartNogoods=60
1.22 => wckTime=0.496 cpuTime=0.41 mem=16M336
1.38
1.38 search
1.38 run=11 nbConstraintChecks=309486 nbValidityChecks=919041 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.38 nbAssignments=4394 nbFailedAssignments=1757 nbBacktracks=2571 nbVisitedNodes=7683 nbRestartNogoods=65
1.38 => wckTime=0.661 cpuTime=0.58 mem=16M336
1.62
1.62 search
1.62 run=12 nbConstraintChecks=454825 nbValidityChecks=1371843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.62 nbAssignments=6596 nbFailedAssignments=2656 nbBacktracks=3868 nbVisitedNodes=11655 nbRestartNogoods=74
1.62 => wckTime=0.898 cpuTime=0.81 mem=16M336
1.97
1.97 search
1.97 run=13 nbConstraintChecks=686372 nbValidityChecks=2050650 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.97 nbAssignments=9868 nbFailedAssignments=3977 nbBacktracks=5814 nbVisitedNodes=17343 nbRestartNogoods=81
1.97 => wckTime=1.252 cpuTime=1.16 mem=16M336
2.50
2.50 search
2.50 run=14 nbConstraintChecks=1016414 nbValidityChecks=3063228 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.50 nbAssignments=14834 nbFailedAssignments=6018 nbBacktracks=8733 nbVisitedNodes=26200 nbRestartNogoods=92
2.50 => wckTime=1.778 cpuTime=1.68 mem=16M336
3.18
3.18 search
3.18 run=15 nbConstraintChecks=1466125 nbValidityChecks=4355027 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.18 nbAssignments=21860 nbFailedAssignments=8660 nbBacktracks=13111 nbVisitedNodes=38064 nbRestartNogoods=107
3.18 => wckTime=2.46 cpuTime=2.36 mem=16M336
4.32
4.32 search
4.32 run=16 nbConstraintChecks=2216550 nbValidityChecks=6570830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.32 nbAssignments=32661 nbFailedAssignments=12887 nbBacktracks=19679 nbVisitedNodes=57026 nbRestartNogoods=109
4.32 => wckTime=3.598 cpuTime=3.5 mem=16M336
6.12
6.12 search
6.12 run=17 nbConstraintChecks=3384618 nbValidityChecks=10099160 nbPropagations=0 nbRevisions=0
6.12 nbUselessRevisions=0 nbAssignments=49335 nbFailedAssignments=19704 nbBacktracks=29531 nbVisitedNodes=86638
6.12 nbRestartNogoods=122
6.12 => wckTime=5.403 cpuTime=5.29 mem=16M336
8.60
8.60 search
8.60 run=18 nbConstraintChecks=4993295 nbValidityChecks=14847001 nbPropagations=0 nbRevisions=0
8.60 nbUselessRevisions=0 nbAssignments=74042 nbFailedAssignments=29626 nbBacktracks=44311 nbVisitedNodes=129058
8.60 nbRestartNogoods=141
8.60 => wckTime=7.882 cpuTime=7.76 mem=16M336
12.55
12.55 search
12.55 run=19 nbConstraintChecks=7298747 nbValidityChecks=22563344 nbPropagations=0 nbRevisions=0
12.55 nbUselessRevisions=0 nbAssignments=111755 nbFailedAssignments=45165 nbBacktracks=66479 nbVisitedNodes=196750
12.55 nbRestartNogoods=154
12.55 => wckTime=11.832 cpuTime=11.69 mem=16M336
18.76
18.76 search
18.76 run=20 nbConstraintChecks=11176186 nbValidityChecks=34641208 nbPropagations=0 nbRevisions=0
18.76 nbUselessRevisions=0 nbAssignments=169002 nbFailedAssignments=69154 nbBacktracks=99731 nbVisitedNodes=298773
18.76 nbRestartNogoods=174
18.76 => wckTime=18.038 cpuTime=17.87 mem=16M336
28.36
28.36 search
28.36 run=21 nbConstraintChecks=17441544 nbValidityChecks=53250194 nbPropagations=0 nbRevisions=0
28.36 nbUselessRevisions=0 nbAssignments=255510 nbFailedAssignments=105778 nbBacktracks=149609 nbVisitedNodes=453492
28.36 nbRestartNogoods=192
28.36 => wckTime=27.641 cpuTime=27.42 mem=16M336
42.94
42.94 search
42.94 run=22 nbConstraintChecks=27236846 nbValidityChecks=81207166 nbPropagations=0 nbRevisions=0
42.94 nbUselessRevisions=0 nbAssignments=387039 nbFailedAssignments=162483 nbBacktracks=224428 nbVisitedNodes=686051
42.94 nbRestartNogoods=200
42.94 => wckTime=42.218 cpuTime=41.93 mem=16M336
49.26
49.26 search
49.26 run=23 nbConstraintChecks=31595036 nbValidityChecks=93394623 nbPropagations=0 nbRevisions=0
49.26 nbUselessRevisions=0 nbAssignments=443831 nbFailedAssignments=186910 nbBacktracks=256794 nbVisitedNodes=785944
49.26 nbRestartNogoods=214
49.26 => wckTime=48.541 cpuTime=48.22 mem=16M336
49.26
49.26 global
49.26 nbConstraintChecks=31595036 nbValidityChecks=93394623 nbRestartNogoods=214 solvingWckTime=48.543
49.26 solvingCpuTime=48.22 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=48.58
49.26 => wckTime=48.947 cpuTime=48.52 mem=16M336
49.27
49.27 s OPTIMUM FOUND
49.27 v 6 7 4 2 0 5 8 3 1 0 3 5
49.27
49.27 totalWckTime=49.026 totalCpuTime=48.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-275700-1169225726 -o ROOT/results/node70/solver-275700-1169225726 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275700-1169225726/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.10 2.02 1.94 2/74 11816
/proc/meminfo: memFree=1129456/2055920 swapFree=4192812/4192956
[pid=11815] ppid=11813 vsize=18540 CPUtime=0
/proc/11815/stat : 11815 (runsolver) R 11813 11815 11320 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 70069553 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 233402068263 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11815/statm: 4635 279 244 17 0 2626 0
[startup+0.103045 s]
/proc/loadavg: 2.10 2.02 1.94 2/74 11816
/proc/meminfo: memFree=1129456/2055920 swapFree=4192812/4192956
[pid=11815] ppid=11813 vsize=913228 CPUtime=0.08
/proc/11815/stat : 11815 (java) S 11813 11815 11320 0 -1 0 2917 0 1 0 7 1 0 0 19 0 8 0 70069553 935145472 2663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11815/statm: 228307 2663 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.513086 s]
/proc/loadavg: 2.10 2.02 1.94 2/74 11816
/proc/meminfo: memFree=1129456/2055920 swapFree=4192812/4192956
[pid=11815] ppid=11813 vsize=915464 CPUtime=0.49
/proc/11815/stat : 11815 (java) R 11813 11815 11320 0 -1 0 6424 0 1 0 45 4 0 0 18 0 8 0 70069553 937435136 6162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11815/statm: 228866 6162 2182 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.33416 s]
/proc/loadavg: 2.10 2.02 1.94 3/81 11823
/proc/meminfo: memFree=1104440/2055920 swapFree=4192812/4192956
[pid=11815] ppid=11813 vsize=915464 CPUtime=1.3
/proc/11815/stat : 11815 (java) R 11813 11815 11320 0 -1 0 8996 0 1 0 124 6 0 0 25 0 8 0 70069553 937435136 8733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11815/statm: 228866 8733 2544 14 0 215336 0
[pid=11815/tid=11817] ppid=11813 vsize=915464 CPUtime=0.02
/proc/11815/task/11817/stat : 11817 (java) S 11813 11815 11320 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 70069557 937435136 8733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11818] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11818/stat : 11818 (java) S 11813 11815 11320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70069558 937435136 8733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11819] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11819/stat : 11819 (java) S 11813 11815 11320 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70069558 937435136 8733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11820] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11820/stat : 11820 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70069561 937435136 8733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11821] ppid=11813 vsize=915464 CPUtime=0.18
/proc/11815/task/11821/stat : 11821 (java) S 11813 11815 11320 0 -1 64 365 0 0 0 18 0 0 0 16 0 8 0 70069561 937435136 8733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11822] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11822/stat : 11822 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70069561 937435136 8733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11823] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11823/stat : 11823 (java) S 11813 11815 11320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70069561 937435136 8733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97132 s]
/proc/loadavg: 2.10 2.02 1.94 3/81 11823
/proc/meminfo: memFree=1104376/2055920 swapFree=4192812/4192956
[pid=11815] ppid=11813 vsize=915464 CPUtime=2.93
/proc/11815/stat : 11815 (java) R 11813 11815 11320 0 -1 0 9009 0 1 0 287 6 0 0 25 0 8 0 70069553 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11815/statm: 228866 8745 2545 14 0 215336 0
[pid=11815/tid=11817] ppid=11813 vsize=915464 CPUtime=0.02
/proc/11815/task/11817/stat : 11817 (java) S 11813 11815 11320 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 70069557 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11818] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11818/stat : 11818 (java) S 11813 11815 11320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70069558 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11819] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11819/stat : 11819 (java) S 11813 11815 11320 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70069558 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11820] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11820/stat : 11820 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70069561 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11821] ppid=11813 vsize=915464 CPUtime=0.18
/proc/11815/task/11821/stat : 11821 (java) S 11813 11815 11320 0 -1 64 366 0 0 0 18 0 0 0 15 0 8 0 70069561 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11822] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11822/stat : 11822 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70069561 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11823] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11823/stat : 11823 (java) S 11813 11815 11320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70069561 937435136 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.25569 s]
/proc/loadavg: 2.09 2.02 1.94 3/81 11823
/proc/meminfo: memFree=1104312/2055920 swapFree=4192812/4192956
[pid=11815] ppid=11813 vsize=915464 CPUtime=6.2
/proc/11815/stat : 11815 (java) R 11813 11815 11320 0 -1 0 9018 0 1 0 614 6 0 0 25 0 8 0 70069553 937435136 8753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073713274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11815/statm: 228866 8753 2545 14 0 215336 0
[pid=11815/tid=11817] ppid=11813 vsize=915464 CPUtime=0.02
/proc/11815/task/11817/stat : 11817 (java) S 11813 11815 11320 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 70069557 937435136 8753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11818] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11818/stat : 11818 (java) S 11813 11815 11320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70069558 937435136 8753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11819] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11819/stat : 11819 (java) S 11813 11815 11320 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70069558 937435136 8753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11820] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11820/stat : 11820 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70069561 937435136 8753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11821] ppid=11813 vsize=915464 CPUtime=0.18
/proc/11815/task/11821/stat : 11821 (java) S 11813 11815 11320 0 -1 64 366 0 0 0 18 0 0 0 15 0 8 0 70069561 937435136 8753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11822] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11822/stat : 11822 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70069561 937435136 8753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11823] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11823/stat : 11823 (java) S 11813 11815 11320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70069561 937435136 8753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7363 s]
/proc/loadavg: 2.08 2.02 1.94 3/81 11823
/proc/meminfo: memFree=1104312/2055920 swapFree=4192812/4192956
[pid=11815] ppid=11813 vsize=915464 CPUtime=12.65
/proc/11815/stat : 11815 (java) R 11813 11815 11320 0 -1 0 9023 0 1 0 1259 6 0 0 25 0 8 0 70069553 937435136 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679270 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11815/statm: 228866 8758 2545 14 0 215336 0
[pid=11815/tid=11817] ppid=11813 vsize=915464 CPUtime=0.02
/proc/11815/task/11817/stat : 11817 (java) S 11813 11815 11320 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 70069557 937435136 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11818] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11818/stat : 11818 (java) S 11813 11815 11320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70069558 937435136 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11819] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11819/stat : 11819 (java) S 11813 11815 11320 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70069558 937435136 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11820] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11820/stat : 11820 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70069561 937435136 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11821] ppid=11813 vsize=915464 CPUtime=0.18
/proc/11815/task/11821/stat : 11821 (java) S 11813 11815 11320 0 -1 64 366 0 0 0 18 0 0 0 15 0 8 0 70069561 937435136 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11822] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11822/stat : 11822 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70069561 937435136 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11823] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11823/stat : 11823 (java) S 11813 11815 11320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70069561 937435136 8758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915464
[startup+25.5966 s]
/proc/loadavg: 2.06 2.02 1.94 3/81 11823
/proc/meminfo: memFree=1104312/2055920 swapFree=4192812/4192956
[pid=11815] ppid=11813 vsize=915464 CPUtime=25.45
/proc/11815/stat : 11815 (java) R 11813 11815 11320 0 -1 0 9026 0 1 0 2539 6 0 0 25 0 8 0 70069553 937435136 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11815/statm: 228866 8760 2545 14 0 215336 0
[pid=11815/tid=11817] ppid=11813 vsize=915464 CPUtime=0.02
/proc/11815/task/11817/stat : 11817 (java) S 11813 11815 11320 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 70069557 937435136 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11818] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11818/stat : 11818 (java) S 11813 11815 11320 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70069558 937435136 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11819] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11819/stat : 11819 (java) S 11813 11815 11320 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70069558 937435136 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11820] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11820/stat : 11820 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70069561 937435136 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11821] ppid=11813 vsize=915464 CPUtime=0.18
/proc/11815/task/11821/stat : 11821 (java) S 11813 11815 11320 0 -1 64 366 0 0 0 18 0 0 0 16 0 8 0 70069561 937435136 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11822] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11822/stat : 11822 (java) S 11813 11815 11320 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70069561 937435136 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11815/tid=11823] ppid=11813 vsize=915464 CPUtime=0
/proc/11815/task/11823/stat : 11823 (java) S 11813 11815 11320 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 70069561 937435136 8760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 49.3188
CPU time (s): 49.0285
CPU user time (s): 48.9546
CPU system time (s): 0.073988
CPU usage (%): 99.4114
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.9546
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9131
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= 1926
involuntary context switches= 2684
runsolver used 0.047992 s user time and 0.181972 s system time
The end
Begin job on node70 on Fri Jan 19 16:55:26 UTC 2007
IDJOB= 275700
IDBENCH= 4579
IDSOLVER= 69
FILE ID= node70/275700-1169225726
PBS_JOBID= 3589198
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-12-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275700-1169225726/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-275700-1169225726 -o ROOT/results/node70/solver-275700-1169225726 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275700-1169225726/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3d49d2f245dda30a731f7833344c1bf4
RANDOM SEED= 910261648
TIME LIMIT= 2400 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.234
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.234
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: 1129872 kB
Buffers: 47168 kB
Cached: 643500 kB
SwapCached: 144 kB
Active: 247252 kB
Inactive: 608304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1129872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1648 kB
Writeback: 0 kB
Mapped: 176148 kB
Slab: 55640 kB
Committed_AS: 796568 kB
PageTables: 2036 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= 66561 MiB
End job on node70 on Fri Jan 19 16:56:16 UTC 2007