0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281233-1169310750/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.103 cpuTime=0.07 mem=6M887
0.42
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5570 maxDegree=24
0.59 maxArity=2
0.59 => wckTime=0.28 cpuTime=0.18 mem=9M846
0.63
0.63 solver LocalSearchSolver being built...
0.68 => wckTime=0.365 cpuTime=0.22 mem=5M671
0.68
0.68 s SATISFIABLE
0.68 o 240
0.68 c 60
0.68 o 247
0.68 c 53
0.69 o 252
0.69 c 48
0.69 o 256
0.69 c 44
0.69 o 259
0.69 c 41
0.69 o 264
0.69 c 36
0.69 o 267
0.69 c 33
0.69 o 270
0.69 c 30
0.69 o 272
0.69 c 28
0.69 o 275
0.69 c 25
0.69 o 278
0.69 c 22
0.69 o 280
0.69 c 20
0.69 o 282
0.69 c 18
0.69 o 283
0.69 c 17
0.70 o 284
0.70 c 16
0.70 o 286
0.70 c 14
0.70 o 288
0.70 c 12
0.70 o 289
0.70 c 11
0.70 o 290
0.70 c 10
0.70 o 292
0.70 c 8
0.70 o 293
0.70 c 7
0.70 o 294
0.70 c 6
0.70 o 295
0.70 c 5
0.74 o 297
0.74 c 3
0.76 o 298
0.76 c 2
1.34 o 299
1.34 c 1
1.34
1.34 search
1.34 run=0 nbConstraintChecks=3706449 nbAssignments=3259
1.34 => wckTime=0.667 cpuTime=0.64 mem=5M671
1.35
1.35 global
1.35 nbConstraintChecks=3706449 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.35 solvingWckTime=0.666 solvingCpuTime=0.64 expiredTime=no totalExploration=no nbFoundSolutions=0
1.35 globalCpuTime=0.92
1.35 => wckTime=1.033 cpuTime=0.86 mem=5M671
1.35
1.35 solver IterativeSystematicSolver being built...
1.48 => wckTime=1.166 cpuTime=0.98 mem=16M595
1.54
1.54 preprocessing
1.54 nbConstraintChecks=33085 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.54 detectedInconsistency=no
1.54 => wckTime=0.063 cpuTime=0.04 mem=16M595
1.58
1.58 search
1.58 run=0 nbConstraintChecks=92231 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34
1.58 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=65 nbRestartNogoods=0
1.58 => wckTime=0.102 cpuTime=0.07 mem=16M595
1.64
1.64 search
1.64 run=1 nbConstraintChecks=237388 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87
1.64 nbFailedAssignments=56 nbBacktracks=25 nbVisitedNodes=166 nbRestartNogoods=10
1.64 => wckTime=0.156 cpuTime=0.11 mem=16M595
1.69
1.69 search
1.69 run=2 nbConstraintChecks=426004 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=156
1.69 nbFailedAssignments=100 nbBacktracks=47 nbVisitedNodes=300 nbRestartNogoods=15
1.69 => wckTime=0.21 cpuTime=0.16 mem=16M595
1.77
1.77 search
1.77 run=3 nbConstraintChecks=719208 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=261
1.77 nbFailedAssignments=169 nbBacktracks=80 nbVisitedNodes=503 nbRestartNogoods=35
1.77 => wckTime=0.293 cpuTime=0.24 mem=16M595
1.89
1.89 search
1.89 run=4 nbConstraintChecks=1170107 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=428
1.89 nbFailedAssignments=281 nbBacktracks=130 nbVisitedNodes=830 nbRestartNogoods=53
1.89 => wckTime=0.41 cpuTime=0.36 mem=16M595
2.06
2.06 search
2.06 run=5 nbConstraintChecks=1814810 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=660
2.06 nbFailedAssignments=434 nbBacktracks=205 nbVisitedNodes=1288 nbRestartNogoods=63
2.06 => wckTime=0.576 cpuTime=0.52 mem=16M595
2.33
2.33 search
2.33 run=6 nbConstraintChecks=2806470 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1005
2.33 nbFailedAssignments=663 nbBacktracks=318 nbVisitedNodes=1971 nbRestartNogoods=71
2.33 => wckTime=0.846 cpuTime=0.78 mem=16M595
2.71
2.72 search
2.72 run=7 nbConstraintChecks=4268419 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1524
2.72 nbFailedAssignments=1008 nbBacktracks=489 nbVisitedNodes=3001 nbRestartNogoods=81
2.72 => wckTime=1.234 cpuTime=1.15 mem=16M595
3.27
3.27 search
3.27 run=8 nbConstraintChecks=6415913 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2276
3.27 nbFailedAssignments=1501 nbBacktracks=745 nbVisitedNodes=4483 nbRestartNogoods=87
3.27 => wckTime=1.789 cpuTime=1.7 mem=16M595
3.94
3.94 search
3.94 run=9 nbConstraintChecks=8892833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3202
3.94 nbFailedAssignments=2039 nbBacktracks=1130 nbVisitedNodes=6255 nbRestartNogoods=102
3.94 => wckTime=2.46 cpuTime=2.36 mem=16M595
4.91
4.91 search
4.91 run=10 nbConstraintChecks=12464661 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4584
4.91 nbFailedAssignments=2840 nbBacktracks=1706 nbVisitedNodes=8847 nbRestartNogoods=119
4.91 => wckTime=3.433 cpuTime=3.32 mem=16M595
6.23
6.23 search
6.23 run=11 nbConstraintChecks=17276837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6505
6.23 nbFailedAssignments=3894 nbBacktracks=2570 nbVisitedNodes=12254 nbRestartNogoods=128
6.23 => wckTime=4.749 cpuTime=4.62 mem=16M595
7.93
7.93 search
7.93 run=12 nbConstraintChecks=23343796 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9058
7.93 nbFailedAssignments=5147 nbBacktracks=3867 nbVisitedNodes=16559 nbRestartNogoods=142
7.93 => wckTime=6.452 cpuTime=6.31 mem=16M595
10.47
10.47 search
10.47 run=13 nbConstraintChecks=32304096 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12833
10.47 nbFailedAssignments=6973 nbBacktracks=5813 nbVisitedNodes=22852 nbRestartNogoods=158
10.47 => wckTime=8.991 cpuTime=8.83 mem=16M595
14.05
14.05 search
14.06 run=14 nbConstraintChecks=44660592 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18270
14.06 nbFailedAssignments=9489 nbBacktracks=8732 nbVisitedNodes=31664 nbRestartNogoods=184
14.06 => wckTime=12.574 cpuTime=12.38 mem=16M595
19.52
19.52 search
19.52 run=15 nbConstraintChecks=63556681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26454
19.52 nbFailedAssignments=13293 nbBacktracks=13110 nbVisitedNodes=45045 nbRestartNogoods=197
19.52 => wckTime=18.04 cpuTime=17.8 mem=16M595
25.40
25.40 search
25.40 run=16 nbConstraintChecks=83670015 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35275
25.40 nbFailedAssignments=17310 nbBacktracks=17915 nbVisitedNodes=59304 nbRestartNogoods=226
25.40 => wckTime=23.922 cpuTime=23.63 mem=16M595
25.40
25.40 global
25.40 nbConstraintChecks=83703100 nbRestartNogoods=226 solvingWckTime=23.923 solvingCpuTime=23.63 expiredTime=no
25.40 totalExploration=yes nbFoundSolutions=0 globalCpuTime=24.67
25.40 => wckTime=25.09 cpuTime=24.61 mem=16M595
25.41
25.41 s OPTIMUM FOUND
25.41 v 2 9 2 5 5 1 7 3 7 7 2 7 0 0 2 8 6 6 6 8 8 5 0 4 8
25.41
25.41 totalWckTime=25.173 totalCpuTime=24.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-281233-1169310750 -o ROOT/results/node3/solver-281233-1169310750 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281233-1169310750/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.83 1.96 1.98 4/87 4078
/proc/meminfo: memFree=1229064/2055920 swapFree=4191880/4192956
[pid=4077] ppid=4075 vsize=1784 CPUtime=0
/proc/4077/stat : 4077 (java) R 4075 4077 4009 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 279470726 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/4077/statm: 446 140 106 14 0 91 0
[startup+0.106149 s]
/proc/loadavg: 1.83 1.96 1.98 4/87 4078
/proc/meminfo: memFree=1229064/2055920 swapFree=4191880/4192956
[pid=4077] ppid=4075 vsize=914988 CPUtime=0.09
/proc/4077/stat : 4077 (java) R 4075 4077 4009 0 -1 0 3000 0 1 0 7 2 0 0 17 0 8 0 279470726 936947712 2746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517219 s]
/proc/loadavg: 1.83 1.96 1.98 4/87 4078
/proc/meminfo: memFree=1229064/2055920 swapFree=4191880/4192956
[pid=4077] ppid=4075 vsize=915332 CPUtime=0.49
/proc/4077/stat : 4077 (java) R 4075 4077 4009 0 -1 0 6341 0 1 0 45 4 0 0 17 0 8 0 279470726 937299968 6080 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228833 6080 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33834 s]
/proc/loadavg: 1.92 1.97 1.99 3/94 4085
/proc/meminfo: memFree=1210128/2055920 swapFree=4191880/4192956
[pid=4077] ppid=4075 vsize=915464 CPUtime=1.3
/proc/4077/stat : 4077 (java) R 4075 4077 4009 0 -1 0 7432 0 1 0 111 19 0 0 22 0 8 0 279470726 937435136 7170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228866 7170 2479 14 0 215336 0
[pid=4077/tid=4079] ppid=4075 vsize=915464 CPUtime=0.02
/proc/4077/task/4079/stat : 4079 (java) S 4075 4077 4009 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 279470730 937435136 7170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4080] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4080/stat : 4080 (java) S 4075 4077 4009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279470730 937435136 7170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4081] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4081/stat : 4081 (java) S 4075 4077 4009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279470730 937435136 7170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4082] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4082/stat : 4082 (java) S 4075 4077 4009 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279470733 937435136 7170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4083] ppid=4075 vsize=915464 CPUtime=0.14
/proc/4077/task/4083/stat : 4083 (java) S 4075 4077 4009 0 -1 64 345 0 0 0 14 0 0 0 18 0 8 0 279470733 937435136 7170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4084] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4084/stat : 4084 (java) S 4075 4077 4009 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279470733 937435136 7170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4085] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4085/stat : 4085 (java) S 4075 4077 4009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279470733 937435136 7170 18446744073709551615 134512640 134570532 4294956464 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.97561 s]
/proc/loadavg: 1.92 1.97 1.99 3/94 4085
/proc/meminfo: memFree=1203792/2055920 swapFree=4191880/4192956
[pid=4077] ppid=4075 vsize=915464 CPUtime=2.93
/proc/4077/stat : 4077 (java) R 4075 4077 4009 0 -1 0 9071 0 1 0 271 22 0 0 25 0 8 0 279470726 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228866 8807 2532 14 0 215336 0
[pid=4077/tid=4079] ppid=4075 vsize=915464 CPUtime=0.03
/proc/4077/task/4079/stat : 4079 (java) S 4075 4077 4009 0 -1 64 199 0 0 0 3 0 0 0 17 0 8 0 279470730 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4080] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4080/stat : 4080 (java) S 4075 4077 4009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279470730 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4081] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4081/stat : 4081 (java) S 4075 4077 4009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279470730 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4082] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4082/stat : 4082 (java) S 4075 4077 4009 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279470733 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4083] ppid=4075 vsize=915464 CPUtime=0.24
/proc/4077/task/4083/stat : 4083 (java) S 4075 4077 4009 0 -1 64 398 0 0 0 23 1 0 0 15 0 8 0 279470733 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4084] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4084/stat : 4084 (java) S 4075 4077 4009 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279470733 937435136 8807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4085] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4085/stat : 4085 (java) S 4075 4077 4009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279470733 937435136 8807 18446744073709551615 134512640 134570532 4294956464 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.27615 s]
/proc/loadavg: 1.93 1.97 1.99 3/94 4085
/proc/meminfo: memFree=1203664/2055920 swapFree=4191880/4192956
[pid=4077] ppid=4075 vsize=915464 CPUtime=6.2
/proc/4077/stat : 4077 (java) R 4075 4077 4009 0 -1 0 9086 0 1 0 598 22 0 0 25 0 8 0 279470726 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228866 8820 2532 14 0 215336 0
[pid=4077/tid=4079] ppid=4075 vsize=915464 CPUtime=0.03
/proc/4077/task/4079/stat : 4079 (java) S 4075 4077 4009 0 -1 64 199 0 0 0 3 0 0 0 16 0 8 0 279470730 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4080] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4080/stat : 4080 (java) S 4075 4077 4009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279470730 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4081] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4081/stat : 4081 (java) S 4075 4077 4009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279470730 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4082] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4082/stat : 4082 (java) S 4075 4077 4009 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279470733 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4083] ppid=4075 vsize=915464 CPUtime=0.24
/proc/4077/task/4083/stat : 4083 (java) S 4075 4077 4009 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 279470733 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4084] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4084/stat : 4084 (java) S 4075 4077 4009 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279470733 937435136 8820 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4085] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4085/stat : 4085 (java) S 4075 4077 4009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279470733 937435136 8820 18446744073709551615 134512640 134570532 4294956464 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.7522 s]
/proc/loadavg: 1.93 1.97 1.99 3/94 4085
/proc/meminfo: memFree=1203672/2055920 swapFree=4191880/4192956
[pid=4077] ppid=4075 vsize=915464 CPUtime=12.62
/proc/4077/stat : 4077 (java) R 4075 4077 4009 0 -1 0 9092 0 1 0 1240 22 0 0 25 0 8 0 279470726 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228866 8825 2532 14 0 215336 0
[pid=4077/tid=4079] ppid=4075 vsize=915464 CPUtime=0.03
/proc/4077/task/4079/stat : 4079 (java) S 4075 4077 4009 0 -1 64 199 0 0 0 3 0 0 0 16 0 8 0 279470730 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4080] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4080/stat : 4080 (java) S 4075 4077 4009 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279470730 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4081] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4081/stat : 4081 (java) S 4075 4077 4009 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279470730 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4082] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4082/stat : 4082 (java) S 4075 4077 4009 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279470733 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4083] ppid=4075 vsize=915464 CPUtime=0.25
/proc/4077/task/4083/stat : 4083 (java) S 4075 4077 4009 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 279470733 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4084] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4084/stat : 4084 (java) S 4075 4077 4009 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279470733 937435136 8825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4085] ppid=4075 vsize=915464 CPUtime=0
/proc/4077/task/4085/stat : 4085 (java) S 4075 4077 4009 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279470733 937435136 8825 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
Child status: 0
Real time (s): 25.445
CPU time (s): 25.1762
CPU user time (s): 24.9482
CPU system time (s): 0.227965
CPU usage (%): 98.9436
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.9482
system time used= 0.227965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9194
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= 1504
involuntary context switches= 2800
runsolver used 0.033994 s user time and 0.091986 s system time
The end
Begin job on node3 on Sat Jan 20 16:32:30 UTC 2007
IDJOB= 281233
IDBENCH= 12123
IDSOLVER= 68
FILE ID= node3/281233-1169310750
PBS_JOBID= 3609976
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281233-1169310750/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-281233-1169310750 -o ROOT/results/node3/solver-281233-1169310750 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281233-1169310750/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b0c33da9f1ecd7d775f09388c9388974
RANDOM SEED= 676944731
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.279
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.279
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: 1229544 kB
Buffers: 57728 kB
Cached: 569968 kB
SwapCached: 284 kB
Active: 265184 kB
Inactive: 484572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1229544 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1996 kB
Writeback: 0 kB
Mapped: 134800 kB
Slab: 61348 kB
Committed_AS: 7973304 kB
PageTables: 2184 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 node3 on Sat Jan 20 16:32:56 UTC 2007