0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/281098-1169310005/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.38 => wckTime=0.093 cpuTime=0.08 mem=6M887
0.38
0.38 relations being loaded...
0.43
0.43 constraints being loaded...
0.48 nbConstraints=101 nbRelationTypes=101 nbExtensionStructures=101 nbSharedExtensionStructures=0
0.48 nbConflictsStructures=101 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1244 maxDegree=10
0.48 maxArity=2
0.48 => wckTime=0.19 cpuTime=0.13 mem=8M846
0.52
0.52 solver LocalSearchSolver being built...
0.56 => wckTime=0.266 cpuTime=0.17 mem=5M493
0.56
0.56 s SATISFIABLE
0.56 o 38
0.56 c 63
0.56 o 44
0.56 c 57
0.56 o 49
0.56 c 52
0.56 o 54
0.56 c 47
0.56 o 58
0.56 c 43
0.57 o 62
0.57 c 39
0.57 o 65
0.57 c 36
0.57 o 67
0.57 c 34
0.57 o 70
0.57 c 31
0.57 o 72
0.57 c 29
0.57 o 73
0.57 c 28
0.57 o 75
0.57 c 26
0.57 o 77
0.57 c 24
0.57 o 78
0.57 c 23
0.57 o 79
0.57 c 22
0.57 o 80
0.57 c 21
0.57 o 82
0.57 c 19
0.57 o 84
0.57 c 17
0.57 o 85
0.57 c 16
0.57 o 86
0.57 c 15
0.57 o 87
0.57 c 14
0.58 o 88
0.58 c 13
0.58 o 89
0.58 c 12
0.58 o 90
0.58 c 11
0.58 o 91
0.58 c 10
0.58 o 92
0.58 c 9
0.58 o 93
0.58 c 8
0.60 o 94
0.60 c 7
0.61 o 95
0.61 c 6
0.62 o 96
0.62 c 5
0.85 o 97
0.85 c 4
0.89 o 98
0.89 c 3
1.83
1.83 search
1.83 run=0 nbConstraintChecks=5538897 nbAssignments=10000
1.83 => wckTime=1.272 cpuTime=1.25 mem=5M493
3.08
3.08 search
3.08 run=1 nbConstraintChecks=11870578 nbAssignments=20000
3.08 => wckTime=2.521 cpuTime=2.5 mem=5M493
3.16 o 99
3.16 c 2
4.25
4.25 search
4.25 run=2 nbConstraintChecks=17593392 nbAssignments=30000
4.25 => wckTime=3.695 cpuTime=3.67 mem=5M493
5.53
5.53 search
5.53 run=3 nbConstraintChecks=24257401 nbAssignments=40000
5.53 => wckTime=4.978 cpuTime=4.96 mem=5M493
6.72
6.72 search
6.72 run=4 nbConstraintChecks=30070986 nbAssignments=50000
6.72 => wckTime=6.166 cpuTime=6.15 mem=5M493
8.00
8.00 search
8.00 run=5 nbConstraintChecks=36673734 nbAssignments=60000
8.00 => wckTime=7.445 cpuTime=7.43 mem=5M493
9.18
9.18 search
9.18 run=6 nbConstraintChecks=42379831 nbAssignments=70000
9.18 => wckTime=8.62 cpuTime=8.6 mem=5M493
10.40
10.40 search
10.40 run=7 nbConstraintChecks=48481714 nbAssignments=80000
10.40 => wckTime=9.841 cpuTime=9.82 mem=5M493
11.57
11.57 search
11.57 run=8 nbConstraintChecks=54128547 nbAssignments=90000
11.57 => wckTime=11.016 cpuTime=11.0 mem=5M493
12.75
12.75 search
12.75 run=9 nbConstraintChecks=59729334 nbAssignments=100000
12.75 => wckTime=12.194 cpuTime=12.17 mem=5M493
13.95
13.95 search
13.95 run=10 nbConstraintChecks=65561228 nbAssignments=110000
13.95 => wckTime=13.391 cpuTime=13.37 mem=5M493
15.12
15.12 search
15.12 run=11 nbConstraintChecks=71101233 nbAssignments=120000
15.12 => wckTime=14.561 cpuTime=14.54 mem=5M493
16.31
16.31 search
16.31 run=12 nbConstraintChecks=76927874 nbAssignments=130000
16.31 => wckTime=15.756 cpuTime=15.73 mem=5M493
17.50
17.50 search
17.50 run=13 nbConstraintChecks=82609795 nbAssignments=140000
17.50 => wckTime=16.945 cpuTime=16.92 mem=5M493
18.66
18.66 search
18.66 run=14 nbConstraintChecks=88095305 nbAssignments=150000
18.66 => wckTime=18.104 cpuTime=18.09 mem=5M493
19.81
19.81 search
19.81 run=15 nbConstraintChecks=93481347 nbAssignments=160000
19.81 => wckTime=19.259 cpuTime=19.24 mem=5M493
20.99
20.99 search
20.99 run=16 nbConstraintChecks=99118081 nbAssignments=170000
20.99 => wckTime=20.435 cpuTime=20.42 mem=5M493
22.13
22.13 search
22.13 run=17 nbConstraintChecks=104508607 nbAssignments=180000
22.13 => wckTime=21.57 cpuTime=21.55 mem=5M493
23.27
23.27 search
23.27 run=18 nbConstraintChecks=109888161 nbAssignments=190000
23.27 => wckTime=22.71 cpuTime=22.68 mem=5M493
24.43
24.43 search
24.43 run=19 nbConstraintChecks=115440337 nbAssignments=200000
24.43 => wckTime=23.873 cpuTime=23.85 mem=5M493
25.63
25.63 search
25.63 run=20 nbConstraintChecks=121350769 nbAssignments=210000
25.63 => wckTime=25.07 cpuTime=25.04 mem=5M493
26.85
26.85 search
26.85 run=21 nbConstraintChecks=127413225 nbAssignments=220000
26.85 => wckTime=26.29 cpuTime=26.27 mem=5M493
28.03
28.03 search
28.03 run=22 nbConstraintChecks=133166070 nbAssignments=230000
28.03 => wckTime=27.472 cpuTime=27.44 mem=5M493
29.23
29.23 search
29.23 run=23 nbConstraintChecks=139151850 nbAssignments=240000
29.23 => wckTime=28.673 cpuTime=28.64 mem=5M493
30.40
30.40 search
30.40 run=24 nbConstraintChecks=144797553 nbAssignments=250000
30.40 => wckTime=29.844 cpuTime=29.81 mem=5M493
31.65
31.65 search
31.65 run=25 nbConstraintChecks=151133440 nbAssignments=260000
31.65 => wckTime=31.097 cpuTime=31.07 mem=5M493
32.83
32.83 search
32.83 run=26 nbConstraintChecks=156768086 nbAssignments=270000
32.83 => wckTime=32.278 cpuTime=32.24 mem=5M493
33.18
33.18 search
33.18 run=27 nbConstraintChecks=158406265 nbAssignments=272967
33.18 => wckTime=32.625 cpuTime=32.6 mem=5M493
33.18
33.18 global
33.18 nbConstraintChecks=158406265 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.18 solvingWckTime=32.623 solvingCpuTime=32.6 expiredTime=no totalExploration=no nbFoundSolutions=0
33.18 globalCpuTime=32.81
33.18 => wckTime=32.891 cpuTime=32.77 mem=5M493
33.18
33.18 solver IterativeSystematicSolver being built...
33.30 => wckTime=33.011 cpuTime=32.86 mem=16M491
33.35
33.35 preprocessing
33.35 nbConstraintChecks=17235 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.35 detectedInconsistency=no
33.35 => wckTime=0.048 cpuTime=0.04 mem=16M491
33.39
33.39 search
33.39 run=0 nbConstraintChecks=67200 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55
33.39 nbFailedAssignments=41 nbBacktracks=11 nbVisitedNodes=107 nbRestartNogoods=0
33.39 => wckTime=0.09 cpuTime=0.08 mem=16M491
33.44
33.44 search
33.44 run=1 nbConstraintChecks=134563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=119
33.44 nbFailedAssignments=88 nbBacktracks=26 nbVisitedNodes=232 nbRestartNogoods=13
33.44 => wckTime=0.141 cpuTime=0.12 mem=16M491
33.54
33.54 search
33.54 run=2 nbConstraintChecks=360388 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=283
33.54 nbFailedAssignments=227 nbBacktracks=49 nbVisitedNodes=558 nbRestartNogoods=17
33.54 => wckTime=0.241 cpuTime=0.21 mem=16M491
33.68
33.68 search
33.68 run=3 nbConstraintChecks=639328 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=489
33.68 nbFailedAssignments=397 nbBacktracks=82 nbVisitedNodes=967 nbRestartNogoods=27
33.68 => wckTime=0.378 cpuTime=0.35 mem=16M491
33.85
33.85 search
33.85 run=4 nbConstraintChecks=1126048 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=804
33.85 nbFailedAssignments=652 nbBacktracks=132 nbVisitedNodes=1587 nbRestartNogoods=37
33.85 => wckTime=0.543 cpuTime=0.51 mem=16M491
34.06
34.06 search
34.06 run=5 nbConstraintChecks=1747909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1230
34.06 nbFailedAssignments=995 nbBacktracks=210 nbVisitedNodes=2433 nbRestartNogoods=68
34.06 => wckTime=0.757 cpuTime=0.72 mem=16M491
34.32
34.32 search
34.32 run=6 nbConstraintChecks=2453530 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1758
34.32 nbFailedAssignments=1397 nbBacktracks=325 nbVisitedNodes=3471 nbRestartNogoods=87
34.32 => wckTime=1.014 cpuTime=0.97 mem=16M491
34.78
34.78 search
34.78 run=7 nbConstraintChecks=3735207 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2643
34.78 nbFailedAssignments=2105 nbBacktracks=495 nbVisitedNodes=5229 nbRestartNogoods=143
34.78 => wckTime=1.482 cpuTime=1.43 mem=16M491
35.43
35.43 search
35.43 run=8 nbConstraintChecks=5646660 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3865
35.43 nbFailedAssignments=3059 nbBacktracks=751 nbVisitedNodes=7645 nbRestartNogoods=159
35.43 => wckTime=2.132 cpuTime=2.08 mem=16M491
36.37
36.37 search
36.37 run=9 nbConstraintChecks=8186315 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5518
36.37 nbFailedAssignments=4326 nbBacktracks=1135 nbVisitedNodes=10948 nbRestartNogoods=197
36.37 => wckTime=3.063 cpuTime=3.01 mem=16M491
37.86
37.86 search
37.86 run=10 nbConstraintChecks=12612822 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8450
37.86 nbFailedAssignments=6677 nbBacktracks=1711 nbVisitedNodes=16788 nbRestartNogoods=204
37.86 => wckTime=4.553 cpuTime=4.5 mem=16M491
40.09
40.09 search
40.09 run=11 nbConstraintChecks=18632409 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12536
40.09 nbFailedAssignments=9893 nbBacktracks=2575 nbVisitedNodes=24916 nbRestartNogoods=211
40.09 => wckTime=6.784 cpuTime=6.72 mem=16M491
43.62
43.62 search
43.62 run=12 nbConstraintChecks=28790303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18755
43.62 nbFailedAssignments=14806 nbBacktracks=3873 nbVisitedNodes=37320 nbRestartNogoods=235
43.62 => wckTime=10.32 cpuTime=10.26 mem=16M491
48.08
48.08 search
48.08 run=13 nbConstraintChecks=41220313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26799
48.08 nbFailedAssignments=20898 nbBacktracks=5820 nbVisitedNodes=53319 nbRestartNogoods=262
48.08 => wckTime=14.773 cpuTime=14.71 mem=16M491
53.92
53.92 search
53.92 run=14 nbConstraintChecks=55234877 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36701
53.92 nbFailedAssignments=28057 nbBacktracks=8564 nbVisitedNodes=72921 nbRestartNogoods=277
53.92 => wckTime=20.614 cpuTime=20.55 mem=16M491
53.92
53.92 global
53.92 nbConstraintChecks=55252112 nbRestartNogoods=277 solvingWckTime=20.614 solvingCpuTime=20.55 expiredTime=no
53.92 totalExploration=yes nbFoundSolutions=0 globalCpuTime=53.45
53.92 => wckTime=53.626 cpuTime=53.41 mem=16M491
53.92
53.92 s OPTIMUM FOUND
53.92 v 5 1 6 2 8 0 2 0 7 0 0 9 7 2 4 7 9 2 7 1 1 2 3 2 1 2 9 8 7 5 8 3 6 4 4 6 3 2 0 2
53.92
53.92 totalWckTime=53.7 totalCpuTime=53.45
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-281098-1169310005 -o ROOT/results/node76/solver-281098-1169310005 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281098-1169310005/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 2/70 9379
/proc/meminfo: memFree=1691376/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=1456 CPUtime=0
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 106 0 0 0 0 0 0 0 20 0 1 0 279397604 1490944 76 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5282144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9378/statm: 366 90 70 14 0 10 0
[startup+0.103136 s]
/proc/loadavg: 0.92 0.98 0.99 2/70 9379
/proc/meminfo: memFree=1691376/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=914992 CPUtime=0.08
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 3009 0 1 0 7 1 0 0 16 0 8 0 279397604 936951808 2757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 228748 2758 1434 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.51121 s]
/proc/loadavg: 0.92 0.98 0.99 2/70 9379
/proc/meminfo: memFree=1691376/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=915336 CPUtime=0.48
/proc/9378/stat : 9378 (java) S 9376 9378 8394 0 -1 0 6613 0 1 0 45 3 0 0 16 0 8 0 279397604 937304064 6354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 228834 6354 2167 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915336
[startup+1.33137 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673656/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=915452 CPUtime=1.32
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7109 0 1 0 107 25 0 0 16 0 8 0 279397604 937422848 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 228862 6849 2480 14 0 215331 0
[pid=9378/tid=9380] ppid=9376 vsize=915448 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 937418752 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9376 vsize=915452 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 937422848 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 937418752 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 937418752 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=915448 CPUtime=0.12
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 332 0 0 0 11 1 0 0 16 0 8 0 279397611 937418752 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=915452 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 937422848 6849 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279397611 937418752 6849 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+2.96777 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673592/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=915448 CPUtime=2.95
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7112 0 1 0 227 68 0 0 18 0 8 0 279397604 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 228862 6851 2480 14 0 215331 0
[pid=9378/tid=9380] ppid=9376 vsize=915448 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=915452 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 937422848 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=915448 CPUtime=0.13
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 334 0 0 0 12 1 0 0 16 0 8 0 279397611 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 937418752 6851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=915448 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279397611 937418752 6851 18446744073709551615 134512640 134570532 4294956464 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) 915448
[startup+6.26134 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673600/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=916472 CPUtime=6.25
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7113 0 1 0 468 157 0 0 19 0 8 0 279397604 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 229119 6852 2480 14 0 215588 0
[pid=9378/tid=9380] ppid=9376 vsize=916472 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=916472 CPUtime=0.13
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 334 0 0 0 12 1 0 0 16 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 916472
[startup+12.7276 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673608/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=916472 CPUtime=12.71
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7113 0 1 0 938 333 0 0 17 0 8 0 279397604 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 229118 6852 2480 14 0 215587 0
[pid=9378/tid=9380] ppid=9376 vsize=916472 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=916472 CPUtime=0.13
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 334 0 0 0 12 1 0 0 16 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279397611 938467328 6852 18446744073709551615 134512640 134570532 4294956464 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.5731 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1673608/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=916476 CPUtime=25.55
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 7115 0 1 0 1867 688 0 0 18 0 8 0 279397604 938471424 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 229118 6854 2480 14 0 215587 0
[pid=9378/tid=9380] ppid=9376 vsize=916472 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 279397608 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=916476 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 938471424 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=916472 CPUtime=0.13
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 336 0 0 0 12 1 0 0 16 0 8 0 279397611 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 938467328 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=916476 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279397611 938471424 6854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 916476
[startup+51.2472 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 9386
/proc/meminfo: memFree=1666184/2055888 swapFree=4087964/4096564
[pid=9378] ppid=9376 vsize=916472 CPUtime=51.22
/proc/9378/stat : 9378 (java) R 9376 9378 8394 0 -1 0 9054 0 1 0 4214 908 0 0 25 0 8 0 279397604 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073776782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9378/statm: 229118 8787 2533 14 0 215587 0
[pid=9378/tid=9380] ppid=9376 vsize=916472 CPUtime=0.02
/proc/9378/task/9380/stat : 9380 (java) S 9376 9378 8394 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 279397608 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9376 9378 8394 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279397608 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9376 9378 8394 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279397608 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9376 9378 8394 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279397611 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9376 vsize=916472 CPUtime=0.23
/proc/9378/task/9384/stat : 9384 (java) S 9376 9378 8394 0 -1 64 390 0 0 0 21 2 0 0 16 0 8 0 279397611 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9376 9378 8394 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 279397611 938467328 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9376 vsize=916472 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9376 9378 8394 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279397611 938467328 8787 18446744073709551615 134512640 134570532 4294956464 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) 916472
Child status: 0
Real time (s): 53.9793
CPU time (s): 53.9198
CPU user time (s): 44.8272
CPU system time (s): 9.09262
CPU usage (%): 99.8897
Max. virtual memory (cumulated for all children) (KiB): 916476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.8272
system time used= 9.09262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9148
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= 1964
involuntary context switches= 625
runsolver used 0.070989 s user time and 0.131979 s system time
The end
Begin job on node76 on Sat Jan 20 16:20:05 UTC 2007
IDJOB= 281098
IDBENCH= 12079
IDSOLVER= 68
FILE ID= node76/281098-1169310005
PBS_JOBID= 3610182
Free space on /tmp= 66650 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseLoose/vcsp-40-10-13-60-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281098-1169310005/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-281098-1169310005 -o ROOT/results/node76/solver-281098-1169310005 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281098-1169310005/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5c95bf7928149926bb645643e25ee765
RANDOM SEED= 944216901
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1691856 kB
Buffers: 29536 kB
Cached: 271140 kB
SwapCached: 2128 kB
Active: 87472 kB
Inactive: 223028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1691856 kB
SwapTotal: 4096564 kB
SwapFree: 4087964 kB
Dirty: 1688 kB
Writeback: 0 kB
Mapped: 17364 kB
Slab: 39920 kB
Committed_AS: 8179492 kB
PageTables: 1424 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66650 MiB
End job on node76 on Sat Jan 20 16:20:59 UTC 2007