0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=epfc.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/275509-1169223036/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.46 nbVariables=30 nbDomainTypes=1 minDomainSize=15 maxDomainSize=15
0.46 => wckTime=0.1 cpuTime=0.09 mem=6M887
0.46
0.46 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=223 nbRelationTypes=223 nbExtensionStructures=223 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=223 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2729 maxDegree=19
0.63 maxArity=2
0.63 => wckTime=0.273 cpuTime=0.18 mem=10M820
0.67
0.67 solver LocalSearchSolver being built...
0.72 => wckTime=0.361 cpuTime=0.23 mem=5M728
0.72
0.72 s SATISFIABLE
0.72 o 174
0.72 c 49
0.73 o 179
0.73 c 44
0.73 o 184
0.73 c 39
0.73 o 189
0.73 c 34
0.73 o 192
0.73 c 31
0.73 o 194
0.73 c 29
0.73 o 195
0.73 c 28
0.73 o 199
0.73 c 24
0.73 o 200
0.73 c 23
0.73 o 202
0.73 c 21
0.74 o 203
0.74 c 20
0.74 o 205
0.74 c 18
0.74 o 206
0.74 c 17
0.74 o 207
0.74 c 16
0.74 o 208
0.74 c 15
0.74 o 210
0.74 c 13
0.74 o 211
0.74 c 12
0.75 o 212
0.75 c 11
0.75 o 213
0.75 c 10
0.76 o 214
0.76 c 9
0.76 o 215
0.76 c 8
0.76 o 216
0.76 c 7
0.76 o 217
0.76 c 6
0.76 o 218
0.76 c 5
0.76 o 219
0.76 c 4
0.76 o 220
0.76 c 3
0.84 o 221
0.84 c 2
0.91 o 222
0.91 c 1
0.91
0.91 search
0.91 run=0 nbConstraintChecks=916221 nbAssignments=891
0.91 => wckTime=0.194 cpuTime=0.18 mem=5M728
0.91
0.91 global
0.91 nbConstraintChecks=916221 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.91 solvingWckTime=0.191 solvingCpuTime=0.18 expiredTime=no totalExploration=no nbFoundSolutions=0
0.91 globalCpuTime=0.46
0.91 => wckTime=0.554 cpuTime=0.41 mem=5M728
0.91
0.91 solver IterativeSystematicSolver being built...
1.04 => wckTime=0.687 cpuTime=0.52 mem=16M620
1.12
1.12 preprocessing
1.12 nbConstraintChecks=61972 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.12 detectedInconsistency=no
1.12 => wckTime=0.071 cpuTime=0.04 mem=16M620
1.17
1.17 search
1.17 run=0 nbConstraintChecks=127968 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
1.17 nbFailedAssignments=25 nbBacktracks=10 nbVisitedNodes=74 nbRestartNogoods=0
1.17 => wckTime=0.121 cpuTime=0.08 mem=16M620
1.22
1.22 search
1.22 run=1 nbConstraintChecks=300809 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=90
1.22 nbFailedAssignments=58 nbBacktracks=25 nbVisitedNodes=174 nbRestartNogoods=6
1.22 => wckTime=0.178 cpuTime=0.13 mem=16M620
1.29
1.29 search
1.29 run=2 nbConstraintChecks=535071 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=160
1.29 nbFailedAssignments=103 nbBacktracks=47 nbVisitedNodes=309 nbRestartNogoods=32
1.29 => wckTime=0.247 cpuTime=0.2 mem=16M620
1.39
1.39 search
1.39 run=3 nbConstraintChecks=902531 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=264
1.39 nbFailedAssignments=171 nbBacktracks=80 nbVisitedNodes=513 nbRestartNogoods=41
1.39 => wckTime=0.347 cpuTime=0.29 mem=16M620
1.52
1.52 search
1.52 run=4 nbConstraintChecks=1427045 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=443
1.52 nbFailedAssignments=296 nbBacktracks=130 nbVisitedNodes=864 nbRestartNogoods=49
1.52 => wckTime=0.47 cpuTime=0.42 mem=16M620
1.68
1.68 search
1.68 run=5 nbConstraintChecks=2126303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=662
1.68 nbFailedAssignments=436 nbBacktracks=205 nbVisitedNodes=1292 nbRestartNogoods=58
1.68 => wckTime=0.636 cpuTime=0.58 mem=16M620
1.95
1.95 search
1.95 run=6 nbConstraintChecks=3148888 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=978
1.95 nbFailedAssignments=636 nbBacktracks=319 nbVisitedNodes=1890 nbRestartNogoods=70
1.95 => wckTime=0.906 cpuTime=0.84 mem=16M620
2.23
2.23 search
2.23 run=7 nbConstraintChecks=4296225 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1387
2.23 nbFailedAssignments=871 nbBacktracks=489 nbVisitedNodes=2657 nbRestartNogoods=81
2.23 => wckTime=1.183 cpuTime=1.11 mem=16M620
2.73
2.73 search
2.73 run=8 nbConstraintChecks=6283497 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1974
2.73 nbFailedAssignments=1200 nbBacktracks=745 nbVisitedNodes=3719 nbRestartNogoods=89
2.73 => wckTime=1.681 cpuTime=1.59 mem=16M620
3.40
3.40 search
3.40 run=9 nbConstraintChecks=8940264 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2820
3.40 nbFailedAssignments=1658 nbBacktracks=1130 nbVisitedNodes=5186 nbRestartNogoods=104
3.40 => wckTime=2.353 cpuTime=2.25 mem=16M620
4.29
4.29 search
4.29 run=10 nbConstraintChecks=12804561 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4039
4.29 nbFailedAssignments=2297 nbBacktracks=1706 nbVisitedNodes=7248 nbRestartNogoods=109
4.29 => wckTime=3.243 cpuTime=3.14 mem=16M620
5.42
5.42 search
5.42 run=11 nbConstraintChecks=17592057 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5707
5.42 nbFailedAssignments=3096 nbBacktracks=2571 nbVisitedNodes=9980 nbRestartNogoods=122
5.42 => wckTime=4.371 cpuTime=4.27 mem=16M620
7.05
7.05 search
7.05 run=12 nbConstraintChecks=24603888 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8151
7.05 nbFailedAssignments=4240 nbBacktracks=3868 nbVisitedNodes=13896 nbRestartNogoods=131
7.05 => wckTime=6.006 cpuTime=5.88 mem=16M620
9.59
9.59 search
9.59 run=13 nbConstraintChecks=35692877 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11871
9.59 nbFailedAssignments=6011 nbBacktracks=5814 nbVisitedNodes=19955 nbRestartNogoods=152
9.59 => wckTime=8.542 cpuTime=8.41 mem=16M620
13.15
13.15 search
13.15 run=14 nbConstraintChecks=50988449 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17222
13.15 nbFailedAssignments=8440 nbBacktracks=8733 nbVisitedNodes=28511 nbRestartNogoods=161
13.15 => wckTime=12.105 cpuTime=11.97 mem=16M620
18.50
18.50 search
18.50 run=15 nbConstraintChecks=73808387 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25312
18.50 nbFailedAssignments=12150 nbBacktracks=13111 nbVisitedNodes=41431 nbRestartNogoods=172
18.50 => wckTime=17.457 cpuTime=17.33 mem=16M620
27.10
27.10 search
27.10 run=16 nbConstraintChecks=110538327 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37678
27.10 nbFailedAssignments=17943 nbBacktracks=19681 nbVisitedNodes=61396 nbRestartNogoods=215
27.10 => wckTime=26.056 cpuTime=25.92 mem=16M620
40.07
40.07 search
40.07 run=17 nbConstraintChecks=165481733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56127
40.07 nbFailedAssignments=26536 nbBacktracks=29534 nbVisitedNodes=91091 nbRestartNogoods=221
40.07 => wckTime=39.029 cpuTime=38.89 mem=16M620
49.65
49.65 search
49.65 run=18 nbConstraintChecks=205624619 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69487
49.65 nbFailedAssignments=32724 nbBacktracks=36707 nbVisitedNodes=112536 nbRestartNogoods=233
49.65 => wckTime=48.606 cpuTime=48.46 mem=16M620
49.65
49.65 global
49.65 nbConstraintChecks=205686591 nbRestartNogoods=233 solvingWckTime=48.609 solvingCpuTime=48.46 expiredTime=no
49.65 totalExploration=yes nbFoundSolutions=0 globalCpuTime=49.03
49.65 => wckTime=49.296 cpuTime=48.98 mem=16M620
49.65
49.65 s OPTIMUM FOUND
49.66 v 6 13 0 10 12 1 10 14 9 3 11 2 6 10 1 2 5 14 4 5 8 10 6 9 7 13 9 5 9 4
49.66
49.66 totalWckTime=49.376 totalCpuTime=49.04
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-275509-1169223036 -o ROOT/results/node24/solver-275509-1169223036 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275509-1169223036/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: 1.60 1.22 1.11 4/86 17668
/proc/meminfo: memFree=1395304/2055920 swapFree=4180096/4192956
[pid=17667] ppid=17665 vsize=9748 CPUtime=0
/proc/17667/stat : 17667 (java) D 17665 17667 17187 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 270698871 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2605860 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/17667/statm: 2437 412 333 14 0 1140 0
[startup+0.104453 s]
/proc/loadavg: 1.60 1.22 1.11 4/86 17668
/proc/meminfo: memFree=1395304/2055920 swapFree=4180096/4192956
[pid=17667] ppid=17665 vsize=907676 CPUtime=0.05
/proc/17667/stat : 17667 (java) R 17665 17667 17187 0 -1 0 2375 0 1 0 4 1 0 0 16 0 4 0 270698871 929460224 2122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153551129 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17667/statm: 226919 2122 1184 14 0 214502 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907676
[startup+0.516495 s]
/proc/loadavg: 1.60 1.22 1.11 4/86 17668
/proc/meminfo: memFree=1395304/2055920 swapFree=4180096/4192956
[pid=17667] ppid=17665 vsize=915332 CPUtime=0.46
/proc/17667/stat : 17667 (java) R 17665 17667 17187 0 -1 0 6335 0 1 0 41 5 0 0 18 0 8 0 270698871 937299968 6074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17667/statm: 228833 6074 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.34559 s]
/proc/loadavg: 1.60 1.22 1.11 3/93 17675
/proc/meminfo: memFree=1370032/2055920 swapFree=4180096/4192956
[pid=17667] ppid=17665 vsize=915464 CPUtime=1.27
/proc/17667/stat : 17667 (java) R 17665 17667 17187 0 -1 0 9061 0 1 0 117 10 0 0 24 0 8 0 270698871 937435136 8798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17667/statm: 228866 8798 2532 14 0 215336 0
[pid=17667/tid=17669] ppid=17665 vsize=915464 CPUtime=0.02
/proc/17667/task/17669/stat : 17669 (java) S 17665 17667 17187 0 -1 64 212 0 0 0 2 0 0 0 16 0 8 0 270698879 937435136 8798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17670] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17670/stat : 17670 (java) S 17665 17667 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270698880 937435136 8798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17671] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17671/stat : 17671 (java) S 17665 17667 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270698880 937435136 8798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17672] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17672/stat : 17672 (java) S 17665 17667 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270698883 937435136 8798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17673] ppid=17665 vsize=915464 CPUtime=0.21
/proc/17667/task/17673/stat : 17673 (java) S 17665 17667 17187 0 -1 64 379 0 0 0 21 0 0 0 15 0 8 0 270698883 937435136 8798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17674] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17674/stat : 17674 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270698883 937435136 8798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17675] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17675/stat : 17675 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270698884 937435136 8798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915464
[startup+2.98275 s]
/proc/loadavg: 1.60 1.22 1.11 2/88 17685
/proc/meminfo: memFree=1371608/2055920 swapFree=4180096/4192956
[pid=17667] ppid=17665 vsize=915464 CPUtime=2.89
/proc/17667/stat : 17667 (java) R 17665 17667 17187 0 -1 0 9090 0 1 0 279 10 0 0 18 0 8 0 270698871 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17667/statm: 228866 8826 2532 14 0 215336 0
[pid=17667/tid=17669] ppid=17665 vsize=915464 CPUtime=0.02
/proc/17667/task/17669/stat : 17669 (java) S 17665 17667 17187 0 -1 64 212 0 0 0 2 0 0 0 17 0 8 0 270698879 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17667/tid=17670] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17670/stat : 17670 (java) S 17665 17667 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270698880 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17671] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17671/stat : 17671 (java) S 17665 17667 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270698880 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17672] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17672/stat : 17672 (java) S 17665 17667 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270698883 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17673] ppid=17665 vsize=915464 CPUtime=0.23
/proc/17667/task/17673/stat : 17673 (java) S 17665 17667 17187 0 -1 64 393 0 0 0 23 0 0 0 15 0 8 0 270698883 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17667/tid=17674] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17674/stat : 17674 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270698883 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17675] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17675/stat : 17675 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270698884 937435136 8826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915464
[startup+6.26311 s]
/proc/loadavg: 1.55 1.21 1.11 3/95 17755
/proc/meminfo: memFree=1369632/2055920 swapFree=4180096/4192956
[pid=17667] ppid=17665 vsize=915464 CPUtime=6.16
/proc/17667/stat : 17667 (java) R 17665 17667 17187 0 -1 0 9103 0 1 0 605 11 0 0 25 0 8 0 270698871 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17667/statm: 228866 8836 2532 14 0 215336 0
[pid=17667/tid=17669] ppid=17665 vsize=915464 CPUtime=0.02
/proc/17667/task/17669/stat : 17669 (java) S 17665 17667 17187 0 -1 64 212 0 0 0 2 0 0 0 17 0 8 0 270698879 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17667/tid=17670] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17670/stat : 17670 (java) S 17665 17667 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270698880 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17671] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17671/stat : 17671 (java) S 17665 17667 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270698880 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17672] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17672/stat : 17672 (java) S 17665 17667 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270698883 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17673] ppid=17665 vsize=915464 CPUtime=0.24
/proc/17667/task/17673/stat : 17673 (java) S 17665 17667 17187 0 -1 64 398 0 0 0 24 0 0 0 15 0 8 0 270698883 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17667/tid=17674] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17674/stat : 17674 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270698883 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17675] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17675/stat : 17675 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270698884 937435136 8836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915464
[startup+12.7508 s]
/proc/loadavg: 1.75 1.26 1.12 3/95 17755
/proc/meminfo: memFree=1369568/2055920 swapFree=4180096/4192956
[pid=17667] ppid=17665 vsize=915464 CPUtime=12.62
/proc/17667/stat : 17667 (java) R 17665 17667 17187 0 -1 0 9111 0 1 0 1251 11 0 0 25 0 8 0 270698871 937435136 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809223 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17667/statm: 228866 8842 2532 14 0 215336 0
[pid=17667/tid=17669] ppid=17665 vsize=915464 CPUtime=0.02
/proc/17667/task/17669/stat : 17669 (java) S 17665 17667 17187 0 -1 64 212 0 0 0 2 0 0 0 17 0 8 0 270698879 937435136 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17667/tid=17670] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17670/stat : 17670 (java) S 17665 17667 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270698880 937435136 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17671] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17671/stat : 17671 (java) S 17665 17667 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270698880 937435136 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17672] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17672/stat : 17672 (java) S 17665 17667 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270698883 937435136 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17673] ppid=17665 vsize=915464 CPUtime=0.24
/proc/17667/task/17673/stat : 17673 (java) S 17665 17667 17187 0 -1 64 399 0 0 0 24 0 0 0 16 0 8 0 270698883 937435136 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17667/tid=17674] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17674/stat : 17674 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270698883 937435136 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17675] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17675/stat : 17675 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270698884 937435136 8842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.6092 s]
/proc/loadavg: 1.80 1.29 1.14 3/94 17756
/proc/meminfo: memFree=1369128/2055920 swapFree=4180096/4192956
[pid=17667] ppid=17665 vsize=915464 CPUtime=25.49
/proc/17667/stat : 17667 (java) R 17665 17667 17187 0 -1 0 9117 0 1 0 2537 12 0 0 25 0 8 0 270698871 937435136 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17667/statm: 228866 8847 2532 14 0 215336 0
[pid=17667/tid=17669] ppid=17665 vsize=915464 CPUtime=0.02
/proc/17667/task/17669/stat : 17669 (java) S 17665 17667 17187 0 -1 64 212 0 0 0 2 0 0 0 16 0 8 0 270698879 937435136 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17667/tid=17670] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17670/stat : 17670 (java) S 17665 17667 17187 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270698880 937435136 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17671] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17671/stat : 17671 (java) S 17665 17667 17187 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270698880 937435136 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17672] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17672/stat : 17672 (java) S 17665 17667 17187 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270698883 937435136 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17673] ppid=17665 vsize=915464 CPUtime=0.24
/proc/17667/task/17673/stat : 17673 (java) S 17665 17667 17187 0 -1 64 399 0 0 0 24 0 0 0 16 0 8 0 270698883 937435136 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17667/tid=17674] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17674/stat : 17674 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270698883 937435136 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17667/tid=17675] ppid=17665 vsize=915464 CPUtime=0
/proc/17667/task/17675/stat : 17675 (java) S 17665 17667 17187 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270698884 937435136 8847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 49.7179
CPU time (s): 49.5395
CPU user time (s): 49.4005
CPU system time (s): 0.138978
CPU usage (%): 99.6411
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.4005
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9217
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= 2105
involuntary context switches= 1891
runsolver used 0.055991 s user time and 0.157975 s system time
The end
Begin job on node24 on Fri Jan 19 16:10:36 UTC 2007
IDJOB= 275509
IDBENCH= 4090
IDSOLVER= 68
FILE ID= node24/275509-1169223036
PBS_JOBID= 3589194
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275509-1169223036/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-275509-1169223036 -o ROOT/results/node24/solver-275509-1169223036 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275509-1169223036/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8e06714393673c95160b0fa68922a4ca
RANDOM SEED= 731759304
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: 1395784 kB
Buffers: 42808 kB
Cached: 500660 kB
SwapCached: 600 kB
Active: 145820 kB
Inactive: 444880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1395784 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 4304 kB
Writeback: 0 kB
Mapped: 65656 kB
Slab: 54220 kB
Committed_AS: 5132664 kB
PageTables: 2308 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= 66563 MiB
End job on node24 on Fri Jan 19 16:11:26 UTC 2007