0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/280793-1169307984/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.39 => wckTime=0.096 cpuTime=0.07 mem=6M910
0.39
0.39 relations being loaded...
0.44
0.44 constraints being loaded...
0.50 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.50 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1279 maxDegree=12
0.50 maxArity=2
0.50 => wckTime=0.201 cpuTime=0.13 mem=8M893
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.281 cpuTime=0.19 mem=5M496
0.58
0.58 s SATISFIABLE
0.58 o 68
0.58 c 41
0.58 o 70
0.58 c 39
0.59 o 73
0.59 c 36
0.59 o 75
0.59 c 34
0.59 o 77
0.59 c 32
0.59 o 79
0.59 c 30
0.59 o 81
0.59 c 28
0.59 o 82
0.59 c 27
0.59 o 84
0.59 c 25
0.59 o 85
0.59 c 24
0.59 o 86
0.59 c 23
0.59 o 88
0.59 c 21
0.59 o 90
0.59 c 19
0.59 o 91
0.59 c 18
0.59 o 93
0.59 c 16
0.60 o 94
0.60 c 15
0.60 o 96
0.60 c 13
0.60 o 98
0.60 c 11
0.60 o 99
0.60 c 10
0.60 o 100
0.60 c 9
0.61 o 102
0.61 c 7
0.61 o 103
0.61 c 6
0.61 o 104
0.61 c 5
0.70 o 105
0.70 c 4
1.96
1.96 search
1.96 run=0 nbConstraintChecks=6071833 nbAssignments=10000
1.96 => wckTime=1.383 cpuTime=1.36 mem=5M496
3.33
3.33 search
3.33 run=1 nbConstraintChecks=12600372 nbAssignments=20000
3.33 => wckTime=2.751 cpuTime=2.73 mem=5M496
3.58 o 106
3.58 c 3
4.63
4.63 search
4.63 run=2 nbConstraintChecks=18614523 nbAssignments=30000
4.63 => wckTime=4.057 cpuTime=4.03 mem=5M496
6.02
6.02 search
6.02 run=3 nbConstraintChecks=25289368 nbAssignments=40000
6.02 => wckTime=5.441 cpuTime=5.41 mem=5M496
7.34
7.34 search
7.34 run=4 nbConstraintChecks=31456855 nbAssignments=50000
7.34 => wckTime=6.766 cpuTime=6.74 mem=5M496
8.74
8.74 search
8.74 run=5 nbConstraintChecks=38185882 nbAssignments=60000
8.74 => wckTime=8.158 cpuTime=8.13 mem=5M496
10.02
10.02 search
10.02 run=6 nbConstraintChecks=44054959 nbAssignments=70000
10.02 => wckTime=9.441 cpuTime=9.41 mem=5M496
11.35
11.35 search
11.35 run=7 nbConstraintChecks=50348926 nbAssignments=80000
11.35 => wckTime=10.775 cpuTime=10.74 mem=5M496
12.66
12.66 search
12.66 run=8 nbConstraintChecks=56452663 nbAssignments=90000
12.66 => wckTime=12.086 cpuTime=12.05 mem=5M496
13.99
13.99 search
13.99 run=9 nbConstraintChecks=62694935 nbAssignments=100000
13.99 => wckTime=13.416 cpuTime=13.39 mem=5M496
15.31
15.31 search
15.31 run=10 nbConstraintChecks=68889372 nbAssignments=110000
15.31 => wckTime=14.736 cpuTime=14.71 mem=5M496
16.66
16.66 search
16.66 run=11 nbConstraintChecks=75248412 nbAssignments=120000
16.66 => wckTime=16.079 cpuTime=16.05 mem=5M496
17.97
17.97 search
17.97 run=12 nbConstraintChecks=81373396 nbAssignments=130000
17.97 => wckTime=17.392 cpuTime=17.36 mem=5M496
19.31
19.31 search
19.31 run=13 nbConstraintChecks=87641958 nbAssignments=140000
19.31 => wckTime=18.729 cpuTime=18.7 mem=5M496
20.64
20.64 search
20.64 run=14 nbConstraintChecks=93846567 nbAssignments=150000
20.64 => wckTime=20.066 cpuTime=20.03 mem=5M496
22.00
22.00 search
22.00 run=15 nbConstraintChecks=100248752 nbAssignments=160000
22.00 => wckTime=21.423 cpuTime=21.39 mem=5M496
23.34
23.34 search
23.34 run=16 nbConstraintChecks=106534921 nbAssignments=170000
23.34 => wckTime=22.764 cpuTime=22.73 mem=5M496
24.70
24.70 search
24.70 run=17 nbConstraintChecks=112902289 nbAssignments=180000
24.70 => wckTime=24.118 cpuTime=24.08 mem=5M496
26.03
26.03 search
26.03 run=18 nbConstraintChecks=119084605 nbAssignments=190000
26.03 => wckTime=25.448 cpuTime=25.41 mem=5M496
27.43
27.43 search
27.43 run=19 nbConstraintChecks=125913317 nbAssignments=200000
27.43 => wckTime=26.853 cpuTime=26.82 mem=5M496
28.78
28.78 search
28.78 run=20 nbConstraintChecks=132273460 nbAssignments=210000
28.78 => wckTime=28.204 cpuTime=28.17 mem=5M496
30.12
30.12 search
30.12 run=21 nbConstraintChecks=138599020 nbAssignments=220000
30.12 => wckTime=29.54 cpuTime=29.5 mem=5M496
31.41
31.41 search
31.41 run=22 nbConstraintChecks=144568678 nbAssignments=230000
31.41 => wckTime=30.837 cpuTime=30.8 mem=5M496
32.77
32.77 search
32.77 run=23 nbConstraintChecks=151020228 nbAssignments=240000
32.77 => wckTime=32.193 cpuTime=32.16 mem=5M496
33.60
33.60 search
33.60 run=24 nbConstraintChecks=154936461 nbAssignments=246317
33.60 => wckTime=33.027 cpuTime=32.99 mem=5M496
33.61
33.61 global
33.61 nbConstraintChecks=154936461 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.61 solvingWckTime=33.025 solvingCpuTime=32.99 expiredTime=no totalExploration=no nbFoundSolutions=0
33.61 globalCpuTime=33.24
33.61 => wckTime=33.308 cpuTime=33.18 mem=5M496
33.61
33.61 solver IterativeSystematicSolver being built...
33.73 => wckTime=33.433 cpuTime=33.28 mem=16M519
33.74
33.74 preprocessing
33.74 nbConstraintChecks=10 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.74 detectedInconsistency=no
33.74 => wckTime=0.0030 cpuTime=0.0 mem=16M519
33.80
33.80 search
33.80 run=0 nbConstraintChecks=71485 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
33.80 nbFailedAssignments=33 nbBacktracks=10 nbVisitedNodes=94 nbRestartNogoods=0
33.80 => wckTime=0.066 cpuTime=0.05 mem=16M519
33.85
33.85 search
33.85 run=1 nbConstraintChecks=167601 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=121
33.85 nbFailedAssignments=81 nbBacktracks=25 nbVisitedNodes=228 nbRestartNogoods=10
33.85 => wckTime=0.117 cpuTime=0.08 mem=16M519
33.90
33.90 search
33.90 run=2 nbConstraintChecks=355843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=245
33.90 nbFailedAssignments=173 nbBacktracks=47 nbVisitedNodes=466 nbRestartNogoods=25
33.90 => wckTime=0.173 cpuTime=0.13 mem=16M519
33.96
33.96 search
33.96 run=3 nbConstraintChecks=511365 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=350
33.96 nbFailedAssignments=238 nbBacktracks=80 nbVisitedNodes=669 nbRestartNogoods=40
33.96 => wckTime=0.233 cpuTime=0.19 mem=16M519
34.03
34.03 search
34.03 run=4 nbConstraintChecks=755793 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=518
34.03 nbFailedAssignments=345 nbBacktracks=130 nbVisitedNodes=994 nbRestartNogoods=44
34.03 => wckTime=0.301 cpuTime=0.26 mem=16M519
34.16
34.16 search
34.16 run=5 nbConstraintChecks=1268417 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=852
34.16 nbFailedAssignments=594 nbBacktracks=205 nbVisitedNodes=1652 nbRestartNogoods=63
34.16 => wckTime=0.433 cpuTime=0.39 mem=16M519
34.42
34.42 search
34.42 run=6 nbConstraintChecks=2173755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1410
34.42 nbFailedAssignments=1033 nbBacktracks=318 nbVisitedNodes=2762 nbRestartNogoods=88
34.42 => wckTime=0.689 cpuTime=0.64 mem=16M519
34.72
34.72 search
34.72 run=7 nbConstraintChecks=3276674 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2077
34.72 nbFailedAssignments=1523 nbBacktracks=488 nbVisitedNodes=4089 nbRestartNogoods=95
34.72 => wckTime=0.989 cpuTime=0.93 mem=16M519
34.97
34.97 search
34.97 run=8 nbConstraintChecks=4072529 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2615
34.97 nbFailedAssignments=1795 nbBacktracks=745 nbVisitedNodes=5154 nbRestartNogoods=106
34.97 => wckTime=1.242 cpuTime=1.18 mem=16M519
35.51
35.51 search
35.51 run=9 nbConstraintChecks=6094831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3971
35.51 nbFailedAssignments=2758 nbBacktracks=1129 nbVisitedNodes=7856 nbRestartNogoods=123
35.51 => wckTime=1.778 cpuTime=1.71 mem=16M519
36.11
36.11 search
36.11 run=10 nbConstraintChecks=8244595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5476
36.11 nbFailedAssignments=3677 nbBacktracks=1706 nbVisitedNodes=10852 nbRestartNogoods=142
36.11 => wckTime=2.375 cpuTime=2.3 mem=16M519
37.37
37.37 search
37.37 run=11 nbConstraintChecks=12967617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8581
37.37 nbFailedAssignments=5906 nbBacktracks=2570 nbVisitedNodes=17040 nbRestartNogoods=170
37.37 => wckTime=3.641 cpuTime=3.57 mem=16M519
39.24
39.24 search
39.24 run=12 nbConstraintChecks=19333119 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12894
39.24 nbFailedAssignments=8910 nbBacktracks=3868 nbVisitedNodes=25638 nbRestartNogoods=192
39.24 => wckTime=5.51 cpuTime=5.44 mem=16M519
41.85
41.85 search
41.85 run=13 nbConstraintChecks=28171568 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19163
41.85 nbFailedAssignments=13222 nbBacktracks=5814 nbVisitedNodes=38156 nbRestartNogoods=219
41.85 => wckTime=8.116 cpuTime=8.04 mem=16M519
46.07
46.07 search
46.07 run=14 nbConstraintChecks=41374406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28431
46.07 nbFailedAssignments=19556 nbBacktracks=8734 nbVisitedNodes=56582 nbRestartNogoods=234
46.07 => wckTime=12.339 cpuTime=12.27 mem=16M519
51.88
51.88 search
51.88 run=15 nbConstraintChecks=57165146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39751
51.88 nbFailedAssignments=26494 nbBacktracks=13112 nbVisitedNodes=78885 nbRestartNogoods=258
51.88 => wckTime=18.149 cpuTime=18.08 mem=16M519
59.55
59.55 search
59.55 run=16 nbConstraintChecks=77932025 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54989
59.55 nbFailedAssignments=35162 nbBacktracks=19680 nbVisitedNodes=108735 nbRestartNogoods=263
59.55 => wckTime=25.817 cpuTime=25.74 mem=16M519
65.95
65.95 search
65.95 run=17 nbConstraintChecks=95013343 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67123
65.95 nbFailedAssignments=41920 nbBacktracks=25057 nbVisitedNodes=132712 nbRestartNogoods=279
65.95 => wckTime=32.223 cpuTime=32.14 mem=16M519
65.95
65.95 global
65.95 nbConstraintChecks=95013353 nbRestartNogoods=279 solvingWckTime=32.223 solvingCpuTime=32.15 expiredTime=no
65.95 totalExploration=yes nbFoundSolutions=0 globalCpuTime=65.49
65.95 => wckTime=65.657 cpuTime=65.43 mem=16M519
65.96
65.96 s OPTIMUM FOUND
65.96 v 9 8 1 5 6 7 5 9 8 9 2 4 8 5 3 2 2 4 3 8 8 2 9 1 5 3 4 4 3 6
65.96
65.96 totalWckTime=65.732 totalCpuTime=65.49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-280793-1169307984 -o ROOT/results/node40/solver-280793-1169307984 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280793-1169307984/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: 0.86 0.97 0.99 1/65 26503
/proc/meminfo: memFree=1429464/2055920 swapFree=4191892/4192956
[pid=26502] ppid=26500 vsize=1784 CPUtime=0
/proc/26502/stat : 26502 (java) D 26500 26502 25802 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 279197743 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26502/statm: 446 158 123 14 0 91 0
[startup+0.103311 s]
/proc/loadavg: 0.86 0.97 0.99 1/65 26503
/proc/meminfo: memFree=1429464/2055920 swapFree=4191892/4192956
[pid=26502] ppid=26500 vsize=914988 CPUtime=0.08
/proc/26502/stat : 26502 (java) R 26500 26502 25802 0 -1 0 3028 0 1 0 8 0 0 0 16 0 8 0 279197743 936947712 2774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155733124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26502/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515361 s]
/proc/loadavg: 0.86 0.97 0.99 1/65 26503
/proc/meminfo: memFree=1429464/2055920 swapFree=4191892/4192956
[pid=26502] ppid=26500 vsize=915332 CPUtime=0.49
/proc/26502/stat : 26502 (java) S 26500 26502 25802 0 -1 0 6633 0 1 0 46 3 0 0 16 0 8 0 279197743 937299968 6372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26502/statm: 228833 6372 2161 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33746 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 26510
/proc/meminfo: memFree=1411616/2055920 swapFree=4191892/4192956
[pid=26502] ppid=26500 vsize=916468 CPUtime=1.32
/proc/26502/stat : 26502 (java) R 26500 26502 25802 0 -1 0 7131 0 1 0 106 26 0 0 17 0 8 0 279197743 938463232 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26502/statm: 229117 6869 2476 14 0 215587 0
[pid=26502/tid=26504] ppid=26500 vsize=916472 CPUtime=0.02
/proc/26502/task/26504/stat : 26504 (java) S 26500 26502 25802 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279197747 938467328 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26502/tid=26505] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26505/stat : 26505 (java) S 26500 26502 25802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26506] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26506/stat : 26506 (java) S 26500 26502 25802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26507] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26507/stat : 26507 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279197750 938463232 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26508] ppid=26500 vsize=916468 CPUtime=0.1
/proc/26502/task/26508/stat : 26508 (java) S 26500 26502 25802 0 -1 64 331 0 0 0 10 0 0 0 16 0 8 0 279197750 938463232 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26509] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26509/stat : 26509 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279197750 938463232 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26510] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26510/stat : 26510 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279197750 938463232 6869 18446744073709551615 134512640 134570532 4294956480 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) 916468
[startup+2.97367 s]
/proc/loadavg: 0.87 0.97 0.99 2/72 26510
/proc/meminfo: memFree=1411616/2055920 swapFree=4191892/4192956
[pid=26502] ppid=26500 vsize=916468 CPUtime=2.95
/proc/26502/stat : 26502 (java) R 26500 26502 25802 0 -1 0 7134 0 1 0 220 75 0 0 18 0 8 0 279197743 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26502/statm: 229117 6871 2476 14 0 215587 0
[pid=26502/tid=26504] ppid=26500 vsize=916468 CPUtime=0.02
/proc/26502/task/26504/stat : 26504 (java) S 26500 26502 25802 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279197747 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26502/tid=26505] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26505/stat : 26505 (java) S 26500 26502 25802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26506] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26506/stat : 26506 (java) S 26500 26502 25802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26507] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26507/stat : 26507 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26508] ppid=26500 vsize=916468 CPUtime=0.11
/proc/26502/task/26508/stat : 26508 (java) S 26500 26502 25802 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26509] ppid=26500 vsize=916472 CPUtime=0
/proc/26502/task/26509/stat : 26509 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279197750 938467328 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26510] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26510/stat : 26510 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 916468
[startup+6.25109 s]
/proc/loadavg: 0.87 0.97 0.99 2/72 26510
/proc/meminfo: memFree=1411560/2055920 swapFree=4191892/4192956
[pid=26502] ppid=26500 vsize=916468 CPUtime=6.24
/proc/26502/stat : 26502 (java) R 26500 26502 25802 0 -1 0 7134 0 1 0 453 171 0 0 17 0 8 0 279197743 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26502/statm: 229117 6871 2476 14 0 215587 0
[pid=26502/tid=26504] ppid=26500 vsize=916468 CPUtime=0.02
/proc/26502/task/26504/stat : 26504 (java) S 26500 26502 25802 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279197747 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=916472 CPUtime=0
/proc/26502/task/26505/stat : 26505 (java) S 26500 26502 25802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279197747 938467328 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26506] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26506/stat : 26506 (java) S 26500 26502 25802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26507] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26507/stat : 26507 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26508] ppid=26500 vsize=916468 CPUtime=0.11
/proc/26502/task/26508/stat : 26508 (java) S 26500 26502 25802 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26509] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26509/stat : 26509 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26510] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26510/stat : 26510 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916468
[startup+12.7289 s]
/proc/loadavg: 0.89 0.97 0.99 2/72 26510
/proc/meminfo: memFree=1411568/2055920 swapFree=4191892/4192956
[pid=26502] ppid=26500 vsize=916472 CPUtime=12.71
/proc/26502/stat : 26502 (java) R 26500 26502 25802 0 -1 0 7134 0 1 0 908 363 0 0 16 0 8 0 279197743 938467328 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26502/statm: 229117 6871 2476 14 0 215587 0
[pid=26502/tid=26504] ppid=26500 vsize=916468 CPUtime=0.02
/proc/26502/task/26504/stat : 26504 (java) S 26500 26502 25802 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279197747 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=916472 CPUtime=0
/proc/26502/task/26505/stat : 26505 (java) S 26500 26502 25802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279197747 938467328 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26506] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26506/stat : 26506 (java) S 26500 26502 25802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26507] ppid=26500 vsize=916472 CPUtime=0
/proc/26502/task/26507/stat : 26507 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279197750 938467328 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26508] ppid=26500 vsize=916468 CPUtime=0.11
/proc/26502/task/26508/stat : 26508 (java) S 26500 26502 25802 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26509] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26509/stat : 26509 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26510] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26510/stat : 26510 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279197750 938463232 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 916472
[startup+25.5796 s]
/proc/loadavg: 0.90 0.97 0.99 2/72 26510
/proc/meminfo: memFree=1411568/2055920 swapFree=4191892/4192956
[pid=26502] ppid=26500 vsize=916468 CPUtime=25.56
/proc/26502/stat : 26502 (java) R 26500 26502 25802 0 -1 0 7135 0 1 0 1805 751 0 0 17 0 8 0 279197743 938463232 6872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26502/statm: 229118 6872 2476 14 0 215588 0
[pid=26502/tid=26504] ppid=26500 vsize=916468 CPUtime=0.02
/proc/26502/task/26504/stat : 26504 (java) S 26500 26502 25802 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279197747 938463232 6872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26505/stat : 26505 (java) S 26500 26502 25802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 6872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26506] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26506/stat : 26506 (java) S 26500 26502 25802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 6872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26507] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26507/stat : 26507 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279197750 938463232 6872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26508] ppid=26500 vsize=916468 CPUtime=0.11
/proc/26502/task/26508/stat : 26508 (java) S 26500 26502 25802 0 -1 64 334 0 0 0 11 0 0 0 16 0 8 0 279197750 938463232 6872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26509] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26509/stat : 26509 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279197750 938463232 6872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26510] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26510/stat : 26510 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279197750 938463232 6872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 916468
[startup+51.2619 s]
/proc/loadavg: 0.94 0.97 0.99 2/72 26510
/proc/meminfo: memFree=1404400/2055920 swapFree=4191892/4192956
[pid=26502] ppid=26500 vsize=916468 CPUtime=51.24
/proc/26502/stat : 26502 (java) R 26500 26502 25802 0 -1 0 9029 0 1 0 4135 989 0 0 18 0 8 0 279197743 938463232 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822674 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26502/statm: 229117 8761 2527 14 0 215587 0
[pid=26502/tid=26504] ppid=26500 vsize=916468 CPUtime=0.02
/proc/26502/task/26504/stat : 26504 (java) S 26500 26502 25802 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 279197747 938463232 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26505] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26505/stat : 26505 (java) S 26500 26502 25802 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26506] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26506/stat : 26506 (java) S 26500 26502 25802 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279197747 938463232 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26507] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26507/stat : 26507 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279197750 938463232 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26508] ppid=26500 vsize=916468 CPUtime=0.22
/proc/26502/task/26508/stat : 26508 (java) S 26500 26502 25802 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 279197750 938463232 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26509] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26509/stat : 26509 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279197750 938463232 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26502/tid=26510] ppid=26500 vsize=916468 CPUtime=0
/proc/26502/task/26510/stat : 26510 (java) S 26500 26502 25802 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279197750 938463232 8761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 916468
Child status: 0
Real time (s): 65.9965
CPU time (s): 65.951
CPU user time (s): 56.0505
CPU system time (s): 9.90049
CPU usage (%): 99.931
Max. virtual memory (cumulated for all children) (KiB): 916472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.0505
system time used= 9.90049
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= 2205
involuntary context switches= 138
runsolver used 0.079987 s user time and 0.168974 s system time
The end
Begin job on node40 on Sat Jan 20 15:46:24 UTC 2007
IDJOB= 280793
IDBENCH= 11955
IDSOLVER= 69
FILE ID= node40/280793-1169307984
PBS_JOBID= 3610156
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280793-1169307984/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-280793-1169307984 -o ROOT/results/node40/solver-280793-1169307984 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280793-1169307984/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 150664321d2651fcb9baea3367016e81
RANDOM SEED= 188796850
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.239
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.239
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: 1429880 kB
Buffers: 47044 kB
Cached: 486216 kB
SwapCached: 268 kB
Active: 172876 kB
Inactive: 375624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1429880 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2008 kB
Writeback: 0 kB
Mapped: 24228 kB
Slab: 63576 kB
Committed_AS: 5369284 kB
PageTables: 1416 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 node40 on Sat Jan 20 15:47:30 UTC 2007