0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=epfc.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/282223-1169318720/unknown.xml
0.42
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.45 => wckTime=0.085 cpuTime=0.08 mem=6M885
0.45
0.45 relations being loaded...
0.48
0.48 constraints being loaded...
0.53 nbConstraints=53 nbRelationTypes=53 nbExtensionStructures=53 nbSharedExtensionStructures=0
0.53 nbConflictsStructures=53 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=472 maxDegree=8 maxArity=2
0.53 => wckTime=0.169 cpuTime=0.12 mem=7M861
0.57
0.57 solver LocalSearchSolver being built...
0.60 => wckTime=0.243 cpuTime=0.17 mem=5M426
0.61
0.61 s SATISFIABLE
0.61 o 26
0.61 c 27
0.61 o 30
0.61 c 23
0.61 o 33
0.61 c 20
0.61 o 35
0.61 c 18
0.61 o 36
0.61 c 17
0.61 o 37
0.61 c 16
0.61 o 38
0.61 c 15
0.61 o 40
0.61 c 13
0.61 o 41
0.61 c 12
0.61 o 42
0.61 c 11
0.62 o 43
0.62 c 10
0.62 o 44
0.62 c 9
0.62 o 45
0.62 c 8
0.62 o 46
0.62 c 7
0.62 o 47
0.62 c 6
0.62 o 48
0.62 c 5
0.63 o 49
0.63 c 4
0.63 o 50
0.63 c 3
0.64 o 51
0.64 c 2
1.55
1.55 search
1.55 run=0 nbConstraintChecks=3336886 nbAssignments=10000
1.55 => wckTime=0.948 cpuTime=0.92 mem=5M426
2.44
2.44 search
2.44 run=1 nbConstraintChecks=6571035 nbAssignments=20000
2.44 => wckTime=1.837 cpuTime=1.81 mem=5M426
3.31
3.31 search
3.31 run=2 nbConstraintChecks=9682041 nbAssignments=30000
3.31 => wckTime=2.708 cpuTime=2.68 mem=5M426
4.20
4.20 search
4.20 run=3 nbConstraintChecks=13003447 nbAssignments=40000
4.20 => wckTime=3.602 cpuTime=3.57 mem=5M426
5.08
5.08 search
5.08 run=4 nbConstraintChecks=16096803 nbAssignments=50000
5.08 => wckTime=4.474 cpuTime=4.45 mem=5M426
5.95
5.95 search
5.95 run=5 nbConstraintChecks=19199419 nbAssignments=60000
5.95 => wckTime=5.348 cpuTime=5.32 mem=5M426
6.84
6.84 search
6.84 run=6 nbConstraintChecks=22423716 nbAssignments=70000
6.84 => wckTime=6.235 cpuTime=6.2 mem=5M426
7.73
7.73 search
7.73 run=7 nbConstraintChecks=25661657 nbAssignments=80000
7.73 => wckTime=7.124 cpuTime=7.09 mem=5M426
8.60
8.60 search
8.60 run=8 nbConstraintChecks=28811344 nbAssignments=90000
8.60 => wckTime=8.002 cpuTime=7.97 mem=5M426
9.48
9.48 search
9.48 run=9 nbConstraintChecks=31943807 nbAssignments=100000
9.48 => wckTime=8.878 cpuTime=8.85 mem=5M426
10.37
10.37 search
10.37 run=10 nbConstraintChecks=35107360 nbAssignments=110000
10.37 => wckTime=9.765 cpuTime=9.74 mem=5M426
11.26
11.26 search
11.26 run=11 nbConstraintChecks=38300232 nbAssignments=120000
11.26 => wckTime=10.657 cpuTime=10.63 mem=5M426
12.15
12.15 search
12.15 run=12 nbConstraintChecks=41521690 nbAssignments=130000
12.15 => wckTime=11.551 cpuTime=11.52 mem=5M426
13.05
13.05 search
13.05 run=13 nbConstraintChecks=44720686 nbAssignments=140000
13.05 => wckTime=12.443 cpuTime=12.41 mem=5M426
13.94
13.94 search
13.94 run=14 nbConstraintChecks=47914069 nbAssignments=150000
13.94 => wckTime=13.335 cpuTime=13.3 mem=5M426
14.82
14.82 search
14.82 run=15 nbConstraintChecks=50995061 nbAssignments=160000
14.82 => wckTime=14.215 cpuTime=14.18 mem=5M426
15.70
15.70 search
15.70 run=16 nbConstraintChecks=54070631 nbAssignments=170000
15.70 => wckTime=15.093 cpuTime=15.06 mem=5M426
16.60
16.60 search
16.60 run=17 nbConstraintChecks=57393193 nbAssignments=180000
16.60 => wckTime=15.998 cpuTime=15.97 mem=5M426
17.49
17.49 search
17.49 run=18 nbConstraintChecks=60601138 nbAssignments=190000
17.49 => wckTime=16.892 cpuTime=16.85 mem=5M426
18.38
18.38 search
18.38 run=19 nbConstraintChecks=63758119 nbAssignments=200000
18.38 => wckTime=17.779 cpuTime=17.74 mem=5M426
19.27
19.27 search
19.27 run=20 nbConstraintChecks=66953530 nbAssignments=210000
19.27 => wckTime=18.671 cpuTime=18.64 mem=5M426
20.16
20.16 search
20.16 run=21 nbConstraintChecks=70106424 nbAssignments=220000
20.16 => wckTime=19.555 cpuTime=19.52 mem=5M426
21.04
21.04 search
21.04 run=22 nbConstraintChecks=73252468 nbAssignments=230000
21.04 => wckTime=20.433 cpuTime=20.39 mem=5M426
21.93
21.93 search
21.93 run=23 nbConstraintChecks=76529404 nbAssignments=240000
21.93 => wckTime=21.33 cpuTime=21.29 mem=5M426
22.81
22.81 search
22.81 run=24 nbConstraintChecks=79637375 nbAssignments=250000
22.81 => wckTime=22.205 cpuTime=22.16 mem=5M426
23.69
23.69 search
23.69 run=25 nbConstraintChecks=82800739 nbAssignments=260000
23.69 => wckTime=23.087 cpuTime=23.04 mem=5M426
24.57
24.57 search
24.57 run=26 nbConstraintChecks=85946271 nbAssignments=270000
24.57 => wckTime=23.966 cpuTime=23.93 mem=5M426
25.45
25.45 search
25.45 run=27 nbConstraintChecks=89111832 nbAssignments=280000
25.45 => wckTime=24.847 cpuTime=24.81 mem=5M426
26.32
26.32 search
26.32 run=28 nbConstraintChecks=92206462 nbAssignments=290000
26.32 => wckTime=25.721 cpuTime=25.68 mem=5M426
27.23
27.23 search
27.23 run=29 nbConstraintChecks=95573909 nbAssignments=300000
27.23 => wckTime=26.627 cpuTime=26.58 mem=5M426
28.11
28.11 search
28.11 run=30 nbConstraintChecks=98694652 nbAssignments=310000
28.11 => wckTime=27.505 cpuTime=27.46 mem=5M426
28.99
28.99 search
28.99 run=31 nbConstraintChecks=101857933 nbAssignments=320000
28.99 => wckTime=28.387 cpuTime=28.35 mem=5M426
29.87
29.87 search
29.87 run=32 nbConstraintChecks=105019703 nbAssignments=330000
29.87 => wckTime=29.269 cpuTime=29.22 mem=5M426
30.68
30.68 search
30.68 run=33 nbConstraintChecks=107885799 nbAssignments=339050
30.68 => wckTime=30.073 cpuTime=30.03 mem=5M426
30.68
30.68 global
30.68 nbConstraintChecks=107885799 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.68 solvingWckTime=30.072 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.68 globalCpuTime=30.25
30.68 => wckTime=30.316 cpuTime=30.2 mem=5M426
30.68
30.68 solver IterativeSystematicSolver being built...
30.81 => wckTime=30.449 cpuTime=30.31 mem=16M511
30.84
30.84 preprocessing
30.85 nbConstraintChecks=7038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.85 detectedInconsistency=no
30.85 => wckTime=0.033 cpuTime=0.02 mem=16M511
30.87
30.87 search
30.87 run=0 nbConstraintChecks=42891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53
30.87 nbFailedAssignments=39 nbBacktracks=10 nbVisitedNodes=102 nbRestartNogoods=0
30.87 => wckTime=0.061 cpuTime=0.04 mem=16M511
30.91
30.91 search
30.91 run=1 nbConstraintChecks=91767 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=115
30.91 nbFailedAssignments=85 nbBacktracks=25 nbVisitedNodes=224 nbRestartNogoods=12
30.91 => wckTime=0.095 cpuTime=0.06 mem=16M511
30.95
30.95 search
30.95 run=2 nbConstraintChecks=225169 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=268
30.95 nbFailedAssignments=214 nbBacktracks=47 nbVisitedNodes=527 nbRestartNogoods=21
30.95 => wckTime=0.142 cpuTime=0.11 mem=16M511
31.00
31.00 search
31.00 run=3 nbConstraintChecks=336880 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=410
31.00 nbFailedAssignments=320 nbBacktracks=80 nbVisitedNodes=806 nbRestartNogoods=39
31.00 => wckTime=0.184 cpuTime=0.14 mem=16M511
31.07
31.07 search
31.07 run=4 nbConstraintChecks=571768 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=677
31.07 nbFailedAssignments=535 nbBacktracks=130 nbVisitedNodes=1332 nbRestartNogoods=46
31.07 => wckTime=0.255 cpuTime=0.21 mem=16M511
31.17
31.17 search
31.17 run=5 nbConstraintChecks=926950 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1071
31.17 nbFailedAssignments=851 nbBacktracks=205 nbVisitedNodes=2116 nbRestartNogoods=59
31.17 => wckTime=0.357 cpuTime=0.31 mem=16M511
31.31
31.31 search
31.31 run=6 nbConstraintChecks=1372172 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1576
31.31 nbFailedAssignments=1242 nbBacktracks=318 nbVisitedNodes=3115 nbRestartNogoods=75
31.31 => wckTime=0.496 cpuTime=0.43 mem=16M511
31.50
31.50 search
31.50 run=7 nbConstraintChecks=2120613 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2377
31.50 nbFailedAssignments=1869 nbBacktracks=488 nbVisitedNodes=4706 nbRestartNogoods=91
31.50 => wckTime=0.688 cpuTime=0.62 mem=16M511
31.80
31.80 search
31.80 run=8 nbConstraintChecks=3360557 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3649
31.80 nbFailedAssignments=2882 nbBacktracks=744 nbVisitedNodes=7239 nbRestartNogoods=108
31.80 => wckTime=0.993 cpuTime=0.93 mem=16M511
32.19
32.19 search
32.20 run=9 nbConstraintChecks=4937083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5348
32.20 nbFailedAssignments=4193 nbBacktracks=1130 nbVisitedNodes=10613 nbRestartNogoods=129
32.20 => wckTime=1.384 cpuTime=1.31 mem=16M511
32.75
32.75 search
32.75 run=10 nbConstraintChecks=7212725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7746
32.75 nbFailedAssignments=6013 nbBacktracks=1706 nbVisitedNodes=15359 nbRestartNogoods=147
32.75 => wckTime=1.939 cpuTime=1.86 mem=16M511
33.59
33.59 search
33.59 run=11 nbConstraintChecks=10848434 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11309
33.59 nbFailedAssignments=8707 nbBacktracks=2570 nbVisitedNodes=22411 nbRestartNogoods=171
33.59 => wckTime=2.784 cpuTime=2.71 mem=16M511
33.71
33.71 search
33.71 run=12 nbConstraintChecks=11352284 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11779
33.71 nbFailedAssignments=9053 nbBacktracks=2695 nbVisitedNodes=23350 nbRestartNogoods=179
33.72 => wckTime=2.904 cpuTime=2.83 mem=16M511
33.72
33.72 global
33.72 nbConstraintChecks=11359322 nbRestartNogoods=179 solvingWckTime=2.905 solvingCpuTime=2.83 expiredTime=no
33.72 totalExploration=yes nbFoundSolutions=0 globalCpuTime=33.19
33.72 => wckTime=33.354 cpuTime=33.14 mem=16M511
33.72
33.72 s OPTIMUM FOUND
33.72 v 3 8 3 7 9 6 5 7 8 7 3 6 3 9 7 7 6 4 3 3
33.72
33.72 totalWckTime=33.43 totalCpuTime=33.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-282223-1169318720 -o ROOT/results/node7/solver-282223-1169318720 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282223-1169318720/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.78 1.92 1.97 4/93 32756
/proc/meminfo: memFree=1290584/2055920 swapFree=4192812/4192956
[pid=32755] ppid=32753 vsize=172 CPUtime=0
/proc/32755/stat : 32755 (java) R 32753 32755 32639 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 280267469 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/32755/statm: 43 24 18 14 0 3 0
[startup+0.106536 s]
/proc/loadavg: 1.78 1.92 1.97 4/93 32756
/proc/meminfo: memFree=1290584/2055920 swapFree=4192812/4192956
[pid=32755] ppid=32753 vsize=912432 CPUtime=0.07
/proc/32755/stat : 32755 (java) D 32753 32755 32639 0 -1 0 2746 0 1 0 6 1 0 0 22 0 8 0 280267469 934330368 2492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32755/statm: 228108 2492 1379 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912432
[startup+0.514579 s]
/proc/loadavg: 1.78 1.92 1.97 4/93 32756
/proc/meminfo: memFree=1290584/2055920 swapFree=4192812/4192956
[pid=32755] ppid=32753 vsize=915332 CPUtime=0.42
/proc/32755/stat : 32755 (java) R 32753 32755 32639 0 -1 0 6324 0 1 0 39 3 0 0 20 0 8 0 280267469 937299968 6063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152166601 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32755/statm: 228833 6063 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332
[startup+1.33567 s]
/proc/loadavg: 1.78 1.92 1.97 3/100 32763
/proc/meminfo: memFree=1273952/2055920 swapFree=4192812/4192956
[pid=32755] ppid=32753 vsize=915436 CPUtime=1.24
/proc/32755/stat : 32755 (java) R 32753 32755 32639 0 -1 0 6884 0 1 0 92 32 0 0 25 0 8 0 280267469 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32755/statm: 228860 6622 2479 14 0 215330 0
[pid=32755/tid=32757] ppid=32753 vsize=915436 CPUtime=0.02
/proc/32755/task/32757/stat : 32757 (java) S 32753 32755 32639 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280267473 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32758] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32758/stat : 32758 (java) S 32753 32755 32639 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280267473 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32759] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32759/stat : 32759 (java) S 32753 32755 32639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280267473 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32760] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32760/stat : 32760 (java) S 32753 32755 32639 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280267476 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32761] ppid=32753 vsize=915440 CPUtime=0.1
/proc/32755/task/32761/stat : 32761 (java) S 32753 32755 32639 0 -1 64 325 0 0 0 9 1 0 0 15 0 8 0 280267476 937410560 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32762] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32762/stat : 32762 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280267476 937406464 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32763] ppid=32753 vsize=915440 CPUtime=0
/proc/32755/task/32763/stat : 32763 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280267476 937410560 6622 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915436
[startup+2.98184 s]
/proc/loadavg: 1.79 1.93 1.97 3/100 32763
/proc/meminfo: memFree=1273952/2055920 swapFree=4192812/4192956
[pid=32755] ppid=32753 vsize=915436 CPUtime=2.88
/proc/32755/stat : 32755 (java) R 32753 32755 32639 0 -1 0 6887 0 1 0 188 100 0 0 25 0 8 0 280267469 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32755/statm: 228859 6624 2479 14 0 215329 0
[pid=32755/tid=32757] ppid=32753 vsize=915436 CPUtime=0.02
/proc/32755/task/32757/stat : 32757 (java) S 32753 32755 32639 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280267473 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32758] ppid=32753 vsize=915440 CPUtime=0
/proc/32755/task/32758/stat : 32758 (java) S 32753 32755 32639 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280267473 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32759] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32759/stat : 32759 (java) S 32753 32755 32639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280267473 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32760] ppid=32753 vsize=915440 CPUtime=0
/proc/32755/task/32760/stat : 32760 (java) S 32753 32755 32639 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280267476 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32761] ppid=32753 vsize=915436 CPUtime=0.1
/proc/32755/task/32761/stat : 32761 (java) S 32753 32755 32639 0 -1 64 327 0 0 0 9 1 0 0 15 0 8 0 280267476 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32762] ppid=32753 vsize=915440 CPUtime=0
/proc/32755/task/32762/stat : 32762 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280267476 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32763] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32763/stat : 32763 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280267476 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915436
[startup+6.28319 s]
/proc/loadavg: 1.79 1.93 1.97 3/100 32763
/proc/meminfo: memFree=1273960/2055920 swapFree=4192812/4192956
[pid=32755] ppid=32753 vsize=915436 CPUtime=6.18
/proc/32755/stat : 32755 (java) R 32753 32755 32639 0 -1 0 6887 0 1 0 383 235 0 0 25 0 8 0 280267469 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32755/statm: 228859 6624 2479 14 0 215329 0
[pid=32755/tid=32757] ppid=32753 vsize=915440 CPUtime=0.02
/proc/32755/task/32757/stat : 32757 (java) S 32753 32755 32639 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280267473 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32758] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32758/stat : 32758 (java) S 32753 32755 32639 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280267473 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32759] ppid=32753 vsize=915440 CPUtime=0
/proc/32755/task/32759/stat : 32759 (java) S 32753 32755 32639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280267473 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32760] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32760/stat : 32760 (java) S 32753 32755 32639 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280267476 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32761] ppid=32753 vsize=915440 CPUtime=0.1
/proc/32755/task/32761/stat : 32761 (java) S 32753 32755 32639 0 -1 64 327 0 0 0 9 1 0 0 15 0 8 0 280267476 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32762] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32762/stat : 32762 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280267476 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32763] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32763/stat : 32763 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280267476 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915436
[startup+12.7579 s]
/proc/loadavg: 1.90 1.94 1.98 3/100 32763
/proc/meminfo: memFree=1273896/2055920 swapFree=4192812/4192956
[pid=32755] ppid=32753 vsize=915436 CPUtime=12.66
/proc/32755/stat : 32755 (java) R 32753 32755 32639 0 -1 0 6887 0 1 0 763 503 0 0 25 0 8 0 280267469 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32755/statm: 228859 6624 2479 14 0 215329 0
[pid=32755/tid=32757] ppid=32753 vsize=915436 CPUtime=0.02
/proc/32755/task/32757/stat : 32757 (java) S 32753 32755 32639 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280267473 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32758] ppid=32753 vsize=915440 CPUtime=0
/proc/32755/task/32758/stat : 32758 (java) S 32753 32755 32639 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280267473 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32759] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32759/stat : 32759 (java) S 32753 32755 32639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280267473 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32760] ppid=32753 vsize=915440 CPUtime=0
/proc/32755/task/32760/stat : 32760 (java) S 32753 32755 32639 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280267476 937410560 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32761] ppid=32753 vsize=915436 CPUtime=0.1
/proc/32755/task/32761/stat : 32761 (java) S 32753 32755 32639 0 -1 64 327 0 0 0 9 1 0 0 16 0 8 0 280267476 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32762] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32762/stat : 32762 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280267476 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32763] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32763/stat : 32763 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280267476 937406464 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915436
[startup+25.6062 s]
/proc/loadavg: 1.92 1.95 1.98 3/100 32763
/proc/meminfo: memFree=1273896/2055920 swapFree=4192812/4192956
[pid=32755] ppid=32753 vsize=915436 CPUtime=25.5
/proc/32755/stat : 32755 (java) R 32753 32755 32639 0 -1 0 6888 0 1 0 1521 1029 0 0 25 0 8 0 280267469 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32755/statm: 228859 6625 2479 14 0 215329 0
[pid=32755/tid=32757] ppid=32753 vsize=915436 CPUtime=0.02
/proc/32755/task/32757/stat : 32757 (java) S 32753 32755 32639 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280267473 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32758] ppid=32753 vsize=915440 CPUtime=0
/proc/32755/task/32758/stat : 32758 (java) S 32753 32755 32639 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280267473 937410560 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32759] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32759/stat : 32759 (java) S 32753 32755 32639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280267473 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32760] ppid=32753 vsize=915440 CPUtime=0
/proc/32755/task/32760/stat : 32760 (java) S 32753 32755 32639 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280267476 937410560 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32761] ppid=32753 vsize=915436 CPUtime=0.11
/proc/32755/task/32761/stat : 32761 (java) S 32753 32755 32639 0 -1 64 328 0 0 0 10 1 0 0 16 0 8 0 280267476 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32762] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32762/stat : 32762 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280267476 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32755/tid=32763] ppid=32753 vsize=915436 CPUtime=0
/proc/32755/task/32763/stat : 32763 (java) S 32753 32755 32639 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280267476 937406464 6625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 33.7397
CPU time (s): 33.6249
CPU user time (s): 21.2278
CPU system time (s): 12.3971
CPU usage (%): 99.6596
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.2278
system time used= 12.3971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9180
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= 1785
involuntary context switches= 3121
runsolver used 0.050992 s user time and 0.114982 s system time
The end
Begin job on node7 on Sat Jan 20 18:45:20 UTC 2007
IDJOB= 282223
IDBENCH= 12568
IDSOLVER= 68
FILE ID= node7/282223-1169318720
PBS_JOBID= 3610057
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-20-10-20-t60/pi-20-10-20-40-31.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282223-1169318720/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-282223-1169318720 -o ROOT/results/node7/solver-282223-1169318720 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282223-1169318720/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 151bafbdc138298ac106bf0d750aedd0
RANDOM SEED= 875143992
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.220
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.220
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: 1291064 kB
Buffers: 56728 kB
Cached: 538612 kB
SwapCached: 0 kB
Active: 249928 kB
Inactive: 431748 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1291064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 115392 kB
Slab: 67608 kB
Committed_AS: 10054012 kB
PageTables: 2464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node7 on Sat Jan 20 18:45:55 UTC 2007