0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/280874-1169308334/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.40 => wckTime=0.097 cpuTime=0.09 mem=6M910
0.40
0.40 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=1286 maxDegree=10
0.50 maxArity=2
0.50 => wckTime=0.202 cpuTime=0.15 mem=8M893
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.282 cpuTime=0.2 mem=5M496
0.58
0.58 s SATISFIABLE
0.58 o 63
0.58 c 46
0.59 o 69
0.59 c 40
0.59 o 73
0.59 c 36
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 83
0.59 c 26
0.59 o 84
0.59 c 25
0.59 o 86
0.59 c 23
0.59 o 88
0.59 c 21
0.59 o 89
0.59 c 20
0.59 o 90
0.59 c 19
0.59 o 91
0.59 c 18
0.60 o 92
0.60 c 17
0.60 o 94
0.60 c 15
0.60 o 95
0.60 c 14
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 101
0.61 c 8
0.61 o 102
0.61 c 7
0.62 o 103
0.62 c 6
0.62 o 104
0.62 c 5
0.64 o 105
0.64 c 4
0.66 o 106
0.66 c 3
1.91
1.91 search
1.91 run=0 nbConstraintChecks=6092146 nbAssignments=10000
1.91 => wckTime=1.328 cpuTime=1.3 mem=5M496
3.17
3.17 search
3.17 run=1 nbConstraintChecks=12467912 nbAssignments=20000
3.17 => wckTime=2.588 cpuTime=2.56 mem=5M496
4.37
4.37 search
4.37 run=2 nbConstraintChecks=18349821 nbAssignments=30000
4.37 => wckTime=3.787 cpuTime=3.76 mem=5M496
5.55
5.55 search
5.55 run=3 nbConstraintChecks=24127043 nbAssignments=40000
5.55 => wckTime=4.968 cpuTime=4.94 mem=5M496
6.74
6.74 search
6.74 run=4 nbConstraintChecks=29952927 nbAssignments=50000
6.74 => wckTime=6.154 cpuTime=6.12 mem=5M496
7.94
7.94 search
7.94 run=5 nbConstraintChecks=35889498 nbAssignments=60000
7.94 => wckTime=7.354 cpuTime=7.33 mem=5M496
9.15
9.15 search
9.15 run=6 nbConstraintChecks=42009710 nbAssignments=70000
9.15 => wckTime=8.572 cpuTime=8.55 mem=5M496
10.36
10.36 search
10.36 run=7 nbConstraintChecks=48060306 nbAssignments=80000
10.36 => wckTime=9.783 cpuTime=9.76 mem=5M496
11.59
11.59 search
11.59 run=8 nbConstraintChecks=54237775 nbAssignments=90000
11.59 => wckTime=11.008 cpuTime=10.98 mem=5M496
12.86
12.86 search
12.86 run=9 nbConstraintChecks=60773924 nbAssignments=100000
12.86 => wckTime=12.276 cpuTime=12.24 mem=5M496
14.07
14.07 search
14.07 run=10 nbConstraintChecks=66812904 nbAssignments=110000
14.07 => wckTime=13.486 cpuTime=13.46 mem=5M496
15.25
15.25 search
15.25 run=11 nbConstraintChecks=72588777 nbAssignments=120000
15.25 => wckTime=14.67 cpuTime=14.63 mem=5M496
16.49
16.49 search
16.49 run=12 nbConstraintChecks=78738532 nbAssignments=130000
16.49 => wckTime=15.905 cpuTime=15.87 mem=5M496
17.74
17.74 search
17.74 run=13 nbConstraintChecks=85040364 nbAssignments=140000
17.74 => wckTime=17.16 cpuTime=17.13 mem=5M496
18.98
18.98 search
18.98 run=14 nbConstraintChecks=91283993 nbAssignments=150000
18.98 => wckTime=18.402 cpuTime=18.36 mem=5M496
20.19
20.19 search
20.19 run=15 nbConstraintChecks=97247943 nbAssignments=160000
20.19 => wckTime=19.613 cpuTime=19.58 mem=5M496
21.42
21.42 search
21.42 run=16 nbConstraintChecks=103361444 nbAssignments=170000
21.42 => wckTime=20.84 cpuTime=20.81 mem=5M496
22.66
22.66 search
22.66 run=17 nbConstraintChecks=109594558 nbAssignments=180000
22.66 => wckTime=22.082 cpuTime=22.04 mem=5M496
23.92
23.92 search
23.92 run=18 nbConstraintChecks=115939069 nbAssignments=190000
23.92 => wckTime=23.335 cpuTime=23.3 mem=5M496
25.16
25.16 search
25.16 run=19 nbConstraintChecks=122168235 nbAssignments=200000
25.16 => wckTime=24.575 cpuTime=24.54 mem=5M496
26.38
26.38 search
26.38 run=20 nbConstraintChecks=128308582 nbAssignments=210000
26.38 => wckTime=25.798 cpuTime=25.76 mem=5M496
27.67
27.67 search
27.67 run=21 nbConstraintChecks=135089059 nbAssignments=220000
27.67 => wckTime=27.093 cpuTime=27.06 mem=5M496
28.89
28.89 search
28.89 run=22 nbConstraintChecks=141221081 nbAssignments=230000
28.89 => wckTime=28.311 cpuTime=28.28 mem=5M496
30.13
30.13 search
30.13 run=23 nbConstraintChecks=147550789 nbAssignments=240000
30.13 => wckTime=29.552 cpuTime=29.51 mem=5M496
30.70
30.70 search
30.70 run=24 nbConstraintChecks=150377740 nbAssignments=244707
30.70 => wckTime=30.119 cpuTime=30.08 mem=5M496
30.70
30.70 global
30.70 nbConstraintChecks=150377740 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.70 solvingWckTime=30.117 solvingCpuTime=30.08 expiredTime=no totalExploration=no nbFoundSolutions=0
30.70 globalCpuTime=30.31
30.70 => wckTime=30.401 cpuTime=30.28 mem=5M496
30.70
30.70 solver IterativeSystematicSolver being built...
30.83 => wckTime=30.526 cpuTime=30.38 mem=16M518
30.83
30.83 preprocessing
30.83 nbConstraintChecks=20 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.83 detectedInconsistency=no
30.83 => wckTime=0.0030 cpuTime=0.0 mem=16M518
30.89
30.89 search
30.89 run=0 nbConstraintChecks=74308 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
30.89 nbFailedAssignments=33 nbBacktracks=10 nbVisitedNodes=94 nbRestartNogoods=0
30.89 => wckTime=0.066 cpuTime=0.05 mem=16M518
30.96
30.96 search
30.96 run=1 nbConstraintChecks=210551 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143
30.96 nbFailedAssignments=103 nbBacktracks=26 nbVisitedNodes=273 nbRestartNogoods=15
30.96 => wckTime=0.131 cpuTime=0.1 mem=16M518
31.00
31.00 search
31.00 run=2 nbConstraintChecks=342024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=235
31.00 nbFailedAssignments=164 nbBacktracks=48 nbVisitedNodes=448 nbRestartNogoods=33
31.00 => wckTime=0.175 cpuTime=0.14 mem=16M518
31.06
31.06 search
31.06 run=3 nbConstraintChecks=549946 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=366
31.06 nbFailedAssignments=253 nbBacktracks=81 nbVisitedNodes=701 nbRestartNogoods=46
31.06 => wckTime=0.231 cpuTime=0.2 mem=16M518
31.15
31.15 search
31.15 run=4 nbConstraintChecks=852497 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=565
31.15 nbFailedAssignments=395 nbBacktracks=132 nbVisitedNodes=1090 nbRestartNogoods=60
31.15 => wckTime=0.32 cpuTime=0.29 mem=16M518
31.40
31.40 search
31.40 run=5 nbConstraintChecks=1737028 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1057
31.40 nbFailedAssignments=803 nbBacktracks=209 nbVisitedNodes=2065 nbRestartNogoods=72
31.40 => wckTime=0.576 cpuTime=0.54 mem=16M518
31.53
31.53 search
31.53 run=6 nbConstraintChecks=2181434 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1383
31.53 nbFailedAssignments=1004 nbBacktracks=322 nbVisitedNodes=2705 nbRestartNogoods=84
31.53 => wckTime=0.7 cpuTime=0.66 mem=16M518
31.78
31.78 search
31.78 run=7 nbConstraintChecks=2965633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1901
31.78 nbFailedAssignments=1343 nbBacktracks=493 nbVisitedNodes=3732 nbRestartNogoods=101
31.78 => wckTime=0.951 cpuTime=0.9 mem=16M518
32.20
32.20 search
32.20 run=8 nbConstraintChecks=4568026 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2922
32.20 nbFailedAssignments=2098 nbBacktracks=749 nbVisitedNodes=5764 nbRestartNogoods=119
32.20 => wckTime=1.371 cpuTime=1.31 mem=16M518
32.98
32.98 search
32.98 run=9 nbConstraintChecks=7000113 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4581
32.98 nbFailedAssignments=3364 nbBacktracks=1135 nbVisitedNodes=9071 nbRestartNogoods=134
32.98 => wckTime=2.154 cpuTime=2.09 mem=16M518
34.03
34.03 search
34.03 run=10 nbConstraintChecks=10979814 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7115
34.03 nbFailedAssignments=5319 nbBacktracks=1712 nbVisitedNodes=14116 nbRestartNogoods=154
34.03 => wckTime=3.199 cpuTime=3.13 mem=16M518
35.06
35.06 search
35.06 run=11 nbConstraintChecks=14815074 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9813
35.06 nbFailedAssignments=7144 nbBacktracks=2576 nbVisitedNodes=19499 nbRestartNogoods=162
35.06 => wckTime=4.23 cpuTime=4.16 mem=16M518
37.21
37.21 search
37.21 run=12 nbConstraintChecks=21503802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14410
37.21 nbFailedAssignments=10439 nbBacktracks=3874 nbVisitedNodes=28601 nbRestartNogoods=188
37.21 => wckTime=6.386 cpuTime=6.31 mem=16M518
39.68
39.68 search
39.68 run=13 nbConstraintChecks=28907857 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19769
39.68 nbFailedAssignments=13848 nbBacktracks=5820 nbVisitedNodes=39197 nbRestartNogoods=191
39.68 => wckTime=8.855 cpuTime=8.78 mem=16M518
43.17
43.17 search
43.17 run=14 nbConstraintChecks=39069965 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27133
43.17 nbFailedAssignments=18286 nbBacktracks=8740 nbVisitedNodes=53699 nbRestartNogoods=199
43.17 => wckTime=12.346 cpuTime=12.27 mem=16M518
48.36
48.36 search
48.36 run=15 nbConstraintChecks=53208990 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38052
48.36 nbFailedAssignments=24822 nbBacktracks=13118 nbVisitedNodes=75056 nbRestartNogoods=214
48.36 => wckTime=17.529 cpuTime=17.45 mem=16M518
52.44
52.44 search
52.44 run=16 nbConstraintChecks=64895505 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46888
52.44 nbFailedAssignments=29877 nbBacktracks=16900 nbVisitedNodes=92442 nbRestartNogoods=223
52.44 => wckTime=21.609 cpuTime=21.54 mem=16M518
52.44
52.44 global
52.44 nbConstraintChecks=64895525 nbRestartNogoods=223 solvingWckTime=21.61 solvingCpuTime=21.54 expiredTime=no
52.44 totalExploration=yes nbFoundSolutions=0 globalCpuTime=51.95
52.44 => wckTime=52.137 cpuTime=51.92 mem=16M518
52.44
52.44 s OPTIMUM FOUND
52.44 v 2 7 8 1 3 0 3 7 0 2 3 4 8 7 4 3 4 5 8 9 2 6 0 7 5 6 7 5 3 1
52.44
52.44 totalWckTime=52.212 totalCpuTime=51.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-280874-1169308334 -o ROOT/results/node22/solver-280874-1169308334 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280874-1169308334/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.92 0.98 0.99 4/78 3565
/proc/meminfo: memFree=1408560/2055920 swapFree=4157544/4192956
[pid=3564] ppid=3562 vsize=1784 CPUtime=0
/proc/3564/stat : 3564 (java) R 3562 3564 2959 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 279227870 1826816 136 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/3564/statm: 446 136 102 14 0 91 0
[startup+0.104891 s]
/proc/loadavg: 0.92 0.98 0.99 4/78 3565
/proc/meminfo: memFree=1408560/2055920 swapFree=4157544/4192956
[pid=3564] ppid=3562 vsize=914988 CPUtime=0.08
/proc/3564/stat : 3564 (java) R 3562 3564 2959 0 -1 0 3003 0 1 0 6 2 0 0 16 0 8 0 279227870 936947712 2749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3564/statm: 228747 2749 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512959 s]
/proc/loadavg: 0.92 0.98 0.99 4/78 3565
/proc/meminfo: memFree=1408560/2055920 swapFree=4157544/4192956
[pid=3564] ppid=3562 vsize=915332 CPUtime=0.48
/proc/3564/stat : 3564 (java) S 3562 3564 2959 0 -1 0 6628 0 1 0 43 5 0 0 16 0 8 0 279227870 937299968 6367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3564/statm: 228833 6367 2160 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33407 s]
/proc/loadavg: 0.93 0.98 0.99 2/85 3572
/proc/meminfo: memFree=1390776/2055920 swapFree=4157544/4192956
[pid=3564] ppid=3562 vsize=915444 CPUtime=1.29
/proc/3564/stat : 3564 (java) R 3562 3564 2959 0 -1 0 7128 0 1 0 103 26 0 0 17 0 8 0 279227870 937414656 6866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3564/statm: 228861 6866 2476 14 0 215331 0
[pid=3564/tid=3566] ppid=3562 vsize=915444 CPUtime=0.02
/proc/3564/task/3566/stat : 3566 (java) S 3562 3564 2959 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279227874 937414656 6866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3564/tid=3567] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3567/stat : 3567 (java) S 3562 3564 2959 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 6866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3568] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3568/stat : 3568 (java) S 3562 3564 2959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 6866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3569] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3569/stat : 3569 (java) S 3562 3564 2959 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279227877 937414656 6866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3570] ppid=3562 vsize=915444 CPUtime=0.1
/proc/3564/task/3570/stat : 3570 (java) S 3562 3564 2959 0 -1 64 330 0 0 0 10 0 0 0 16 0 8 0 279227877 937414656 6866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3571] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3571/stat : 3571 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279227877 937414656 6866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3572] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3572/stat : 3572 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279227877 937414656 6866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.98633 s]
/proc/loadavg: 0.93 0.98 0.99 2/85 3572
/proc/meminfo: memFree=1390712/2055920 swapFree=4157544/4192956
[pid=3564] ppid=3562 vsize=915444 CPUtime=2.95
/proc/3564/stat : 3564 (java) R 3562 3564 2959 0 -1 0 7131 0 1 0 222 73 0 0 18 0 8 0 279227870 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3564/statm: 228861 6868 2476 14 0 215331 0
[pid=3564/tid=3566] ppid=3562 vsize=915448 CPUtime=0.02
/proc/3564/task/3566/stat : 3566 (java) S 3562 3564 2959 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279227874 937418752 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3564/tid=3567] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3567/stat : 3567 (java) S 3562 3564 2959 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3568] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3568/stat : 3568 (java) S 3562 3564 2959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3569] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3569/stat : 3569 (java) S 3562 3564 2959 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3570] ppid=3562 vsize=915444 CPUtime=0.1
/proc/3564/task/3570/stat : 3570 (java) S 3562 3564 2959 0 -1 64 332 0 0 0 10 0 0 0 16 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3571] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3571/stat : 3571 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3572] ppid=3562 vsize=915448 CPUtime=0
/proc/3564/task/3572/stat : 3572 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279227877 937418752 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.26583 s]
/proc/loadavg: 0.93 0.98 0.99 2/85 3572
/proc/meminfo: memFree=1390712/2055920 swapFree=4157544/4192956
[pid=3564] ppid=3562 vsize=915444 CPUtime=6.23
/proc/3564/stat : 3564 (java) R 3562 3564 2959 0 -1 0 7131 0 1 0 445 178 0 0 18 0 8 0 279227870 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3564/statm: 228861 6868 2476 14 0 215331 0
[pid=3564/tid=3566] ppid=3562 vsize=915444 CPUtime=0.02
/proc/3564/task/3566/stat : 3566 (java) S 3562 3564 2959 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279227874 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3564/tid=3567] ppid=3562 vsize=915448 CPUtime=0
/proc/3564/task/3567/stat : 3567 (java) S 3562 3564 2959 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279227874 937418752 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3568] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3568/stat : 3568 (java) S 3562 3564 2959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3569] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3569/stat : 3569 (java) S 3562 3564 2959 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3570] ppid=3562 vsize=915444 CPUtime=0.1
/proc/3564/task/3570/stat : 3570 (java) S 3562 3564 2959 0 -1 64 332 0 0 0 10 0 0 0 16 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3571] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3571/stat : 3571 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3572] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3572/stat : 3572 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915444
[startup+12.7508 s]
/proc/loadavg: 0.94 0.98 0.99 2/85 3572
/proc/meminfo: memFree=1390712/2055920 swapFree=4157544/4192956
[pid=3564] ppid=3562 vsize=915448 CPUtime=12.71
/proc/3564/stat : 3564 (java) R 3562 3564 2959 0 -1 0 7131 0 1 0 906 365 0 0 16 0 8 0 279227870 937418752 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3564/statm: 228861 6868 2476 14 0 215331 0
[pid=3564/tid=3566] ppid=3562 vsize=915444 CPUtime=0.02
/proc/3564/task/3566/stat : 3566 (java) S 3562 3564 2959 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279227874 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3564/tid=3567] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3567/stat : 3567 (java) S 3562 3564 2959 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3568] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3568/stat : 3568 (java) S 3562 3564 2959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3569] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3569/stat : 3569 (java) S 3562 3564 2959 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3570] ppid=3562 vsize=915448 CPUtime=0.1
/proc/3564/task/3570/stat : 3570 (java) S 3562 3564 2959 0 -1 64 332 0 0 0 10 0 0 0 16 0 8 0 279227877 937418752 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3571] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3571/stat : 3571 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3572] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3572/stat : 3572 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279227877 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915448
[startup+25.5948 s]
/proc/loadavg: 0.95 0.98 0.99 2/85 3572
/proc/meminfo: memFree=1390712/2055920 swapFree=4157544/4192956
[pid=3564] ppid=3562 vsize=915444 CPUtime=25.55
/proc/3564/stat : 3564 (java) R 3562 3564 2959 0 -1 0 7132 0 1 0 1813 742 0 0 16 0 8 0 279227870 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3564/statm: 228862 6869 2476 14 0 215332 0
[pid=3564/tid=3566] ppid=3562 vsize=915444 CPUtime=0.02
/proc/3564/task/3566/stat : 3566 (java) S 3562 3564 2959 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279227874 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3564/tid=3567] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3567/stat : 3567 (java) S 3562 3564 2959 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3568] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3568/stat : 3568 (java) S 3562 3564 2959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3569] ppid=3562 vsize=915448 CPUtime=0
/proc/3564/task/3569/stat : 3569 (java) S 3562 3564 2959 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279227877 937418752 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3570] ppid=3562 vsize=915444 CPUtime=0.11
/proc/3564/task/3570/stat : 3570 (java) S 3562 3564 2959 0 -1 64 333 0 0 0 11 0 0 0 16 0 8 0 279227877 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3571] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3571/stat : 3571 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279227877 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3572] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3572/stat : 3572 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279227877 937414656 6869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915444
[startup+51.2888 s]
/proc/loadavg: 0.96 0.98 0.99 2/85 3572
/proc/meminfo: memFree=1383608/2055920 swapFree=4157544/4192956
[pid=3564] ppid=3562 vsize=915444 CPUtime=51.22
/proc/3564/stat : 3564 (java) R 3562 3564 2959 0 -1 0 9028 0 1 0 4222 900 0 0 25 0 8 0 279227870 937414656 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3564/statm: 228861 8759 2527 14 0 215331 0
[pid=3564/tid=3566] ppid=3562 vsize=915444 CPUtime=0.02
/proc/3564/task/3566/stat : 3566 (java) S 3562 3564 2959 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 279227874 937414656 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3564/tid=3567] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3567/stat : 3567 (java) S 3562 3564 2959 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3568] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3568/stat : 3568 (java) S 3562 3564 2959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279227874 937414656 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3569] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3569/stat : 3569 (java) S 3562 3564 2959 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279227877 937414656 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3570] ppid=3562 vsize=915444 CPUtime=0.19
/proc/3564/task/3570/stat : 3570 (java) S 3562 3564 2959 0 -1 64 385 0 0 0 18 1 0 0 16 0 8 0 279227877 937414656 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3571] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3571/stat : 3571 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279227877 937414656 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3564/tid=3572] ppid=3562 vsize=915444 CPUtime=0
/proc/3564/task/3572/stat : 3572 (java) S 3562 3564 2959 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279227877 937414656 8759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 52.4842
CPU time (s): 52.393
CPU user time (s): 43.3824
CPU system time (s): 9.01063
CPU usage (%): 99.8264
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.3824
system time used= 9.01063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9124
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= 1947
involuntary context switches= 1091
runsolver used 0.054991 s user time and 0.142978 s system time
The end
Begin job on node22 on Sat Jan 20 15:52:14 UTC 2007
IDJOB= 280874
IDBENCH= 11976
IDSOLVER= 69
FILE ID= node22/280874-1169308334
PBS_JOBID= 3610110
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-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280874-1169308334/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-280874-1169308334 -o ROOT/results/node22/solver-280874-1169308334 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280874-1169308334/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f903287dfcd44ff41155359b563f095
RANDOM SEED= 124270104
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: 1408976 kB
Buffers: 44848 kB
Cached: 485028 kB
SwapCached: 12356 kB
Active: 187976 kB
Inactive: 379192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1408976 kB
SwapTotal: 4192956 kB
SwapFree: 4157544 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 54648 kB
Slab: 65128 kB
Committed_AS: 4695216 kB
PageTables: 1916 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 node22 on Sat Jan 20 15:53:07 UTC 2007