0.31
0.31 Abscon 109 (November, 2006)
0.31
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/282278-1169318813/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.091 cpuTime=0.09 mem=6M903
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.50 nbConstraints=53 nbRelationTypes=53 nbExtensionStructures=53 nbSharedExtensionStructures=0
0.50 nbConflictsStructures=53 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=473 maxDegree=9 maxArity=2
0.50 => wckTime=0.181 cpuTime=0.14 mem=7M895
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.261 cpuTime=0.18 mem=5M425
0.58
0.58 s SATISFIABLE
0.58 o 25
0.58 c 28
0.58 o 27
0.58 c 26
0.58 o 28
0.58 c 25
0.58 o 31
0.58 c 22
0.59 o 34
0.59 c 19
0.59 o 35
0.59 c 18
0.59 o 36
0.59 c 17
0.59 o 38
0.59 c 15
0.59 o 39
0.59 c 14
0.59 o 40
0.59 c 13
0.59 o 41
0.59 c 12
0.59 o 43
0.59 c 10
0.59 o 44
0.59 c 9
0.59 o 45
0.59 c 8
0.59 o 46
0.59 c 7
0.60 o 47
0.60 c 6
0.60 o 48
0.60 c 5
0.60 o 49
0.60 c 4
0.93 o 50
0.93 c 3
1.63
1.63 search
1.63 run=0 nbConstraintChecks=3459357 nbAssignments=10000
1.63 => wckTime=1.051 cpuTime=1.04 mem=5M425
2.61
2.61 search
2.61 run=1 nbConstraintChecks=6935896 nbAssignments=20000
2.61 => wckTime=2.036 cpuTime=2.03 mem=5M425
3.60
3.60 search
3.60 run=2 nbConstraintChecks=10423568 nbAssignments=30000
3.60 => wckTime=3.019 cpuTime=3.01 mem=5M425
4.60
4.60 search
4.60 run=3 nbConstraintChecks=14028610 nbAssignments=40000
4.60 => wckTime=4.019 cpuTime=4.01 mem=5M425
5.58
5.58 search
5.58 run=4 nbConstraintChecks=17484177 nbAssignments=50000
5.58 => wckTime=5.004 cpuTime=4.99 mem=5M425
6.57
6.57 search
6.58 run=5 nbConstraintChecks=21052314 nbAssignments=60000
6.58 => wckTime=5.998 cpuTime=5.98 mem=5M425
7.56
7.56 search
7.56 run=6 nbConstraintChecks=24526487 nbAssignments=70000
7.56 => wckTime=6.982 cpuTime=6.97 mem=5M425
8.55
8.55 search
8.55 run=7 nbConstraintChecks=28091541 nbAssignments=80000
8.55 => wckTime=7.977 cpuTime=7.96 mem=5M425
9.56
9.56 search
9.56 run=8 nbConstraintChecks=31687938 nbAssignments=90000
9.56 => wckTime=8.981 cpuTime=8.96 mem=5M425
10.55
10.55 search
10.55 run=9 nbConstraintChecks=35175274 nbAssignments=100000
10.55 => wckTime=9.977 cpuTime=9.96 mem=5M425
11.55
11.55 search
11.55 run=10 nbConstraintChecks=38712790 nbAssignments=110000
11.55 => wckTime=10.975 cpuTime=10.96 mem=5M425
12.53
12.53 search
12.53 run=11 nbConstraintChecks=42101372 nbAssignments=120000
12.53 => wckTime=11.956 cpuTime=11.94 mem=5M425
13.53
13.53 search
13.53 run=12 nbConstraintChecks=45563505 nbAssignments=130000
13.53 => wckTime=12.949 cpuTime=12.93 mem=5M425
14.53
14.53 search
14.53 run=13 nbConstraintChecks=49108224 nbAssignments=140000
14.53 => wckTime=13.951 cpuTime=13.93 mem=5M425
15.52
15.52 search
15.52 run=14 nbConstraintChecks=52607323 nbAssignments=150000
15.52 => wckTime=14.945 cpuTime=14.93 mem=5M425
16.53
16.53 search
16.53 run=15 nbConstraintChecks=56221653 nbAssignments=160000
16.53 => wckTime=15.953 cpuTime=15.94 mem=5M425
17.54
17.54 search
17.54 run=16 nbConstraintChecks=59813912 nbAssignments=170000
17.54 => wckTime=16.959 cpuTime=16.94 mem=5M425
18.54
18.55 search
18.55 run=17 nbConstraintChecks=63423919 nbAssignments=180000
18.55 => wckTime=17.968 cpuTime=17.95 mem=5M425
19.52
19.52 search
19.52 run=18 nbConstraintChecks=66851424 nbAssignments=190000
19.53 => wckTime=18.948 cpuTime=18.93 mem=5M425
20.52
20.52 search
20.52 run=19 nbConstraintChecks=70402041 nbAssignments=200000
20.52 => wckTime=19.941 cpuTime=19.92 mem=5M425
21.51
21.51 search
21.51 run=20 nbConstraintChecks=73956003 nbAssignments=210000
21.51 => wckTime=20.938 cpuTime=20.92 mem=5M425
22.49
22.49 search
22.49 run=21 nbConstraintChecks=77335243 nbAssignments=220000
22.49 => wckTime=21.913 cpuTime=21.89 mem=5M425
23.47
23.47 search
23.47 run=22 nbConstraintChecks=80796043 nbAssignments=230000
23.47 => wckTime=22.896 cpuTime=22.88 mem=5M425
24.47
24.47 search
24.47 run=23 nbConstraintChecks=84345447 nbAssignments=240000
24.47 => wckTime=23.891 cpuTime=23.87 mem=5M425
25.45
25.45 search
25.45 run=24 nbConstraintChecks=87795532 nbAssignments=250000
25.45 => wckTime=24.875 cpuTime=24.85 mem=5M425
26.44
26.44 search
26.44 run=25 nbConstraintChecks=91262926 nbAssignments=260000
26.44 => wckTime=25.862 cpuTime=25.84 mem=5M425
27.42
27.42 search
27.42 run=26 nbConstraintChecks=94740770 nbAssignments=270000
27.42 => wckTime=26.847 cpuTime=26.83 mem=5M425
28.42
28.43 search
28.43 run=27 nbConstraintChecks=98347489 nbAssignments=280000
28.43 => wckTime=27.848 cpuTime=27.83 mem=5M425
29.42
29.42 search
29.42 run=28 nbConstraintChecks=101839988 nbAssignments=290000
29.42 => wckTime=28.845 cpuTime=28.83 mem=5M425
30.43
30.43 search
30.43 run=29 nbConstraintChecks=105415045 nbAssignments=300000
30.43 => wckTime=29.852 cpuTime=29.83 mem=5M425
30.94
30.94 search
30.94 run=30 nbConstraintChecks=107186862 nbAssignments=305207
30.94 => wckTime=30.366 cpuTime=30.35 mem=5M425
30.94
30.94 global
30.94 nbConstraintChecks=107186862 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.94 solvingWckTime=30.364 solvingCpuTime=30.34 expiredTime=no totalExploration=no nbFoundSolutions=0
30.94 globalCpuTime=30.57
30.94 => wckTime=30.626 cpuTime=30.53 mem=5M425
30.94
30.95 solver IterativeSystematicSolver being built...
31.08 => wckTime=30.766 cpuTime=30.64 mem=16M495
31.09
31.09 preprocessing
31.09 nbConstraintChecks=50 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.09 detectedInconsistency=no
31.09 => wckTime=0.0020 cpuTime=0.0 mem=16M495
31.14
31.15 search
31.15 run=0 nbConstraintChecks=42133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59
31.15 nbFailedAssignments=43 nbBacktracks=10 nbVisitedNodes=113 nbRestartNogoods=0
31.15 => wckTime=0.059 cpuTime=0.03 mem=16M495
31.18
31.18 search
31.18 run=1 nbConstraintChecks=103218 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=132
31.18 nbFailedAssignments=97 nbBacktracks=26 nbVisitedNodes=255 nbRestartNogoods=13
31.18 => wckTime=0.099 cpuTime=0.06 mem=16M495
31.22
31.22 search
31.22 run=2 nbConstraintChecks=210280 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=242
31.22 nbFailedAssignments=181 nbBacktracks=48 nbVisitedNodes=471 nbRestartNogoods=17
31.22 => wckTime=0.137 cpuTime=0.09 mem=16M495
31.27
31.27 search
31.27 run=3 nbConstraintChecks=345602 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=403
31.27 nbFailedAssignments=305 nbBacktracks=81 nbVisitedNodes=787 nbRestartNogoods=26
31.27 => wckTime=0.182 cpuTime=0.14 mem=16M495
31.34
31.34 search
31.34 run=4 nbConstraintChecks=580736 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=662
31.34 nbFailedAssignments=510 nbBacktracks=132 nbVisitedNodes=1300 nbRestartNogoods=36
31.34 => wckTime=0.253 cpuTime=0.21 mem=16M495
31.42
31.42 search
31.42 run=5 nbConstraintChecks=837763 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=958
31.42 nbFailedAssignments=725 nbBacktracks=207 nbVisitedNodes=1884 nbRestartNogoods=41
31.42 => wckTime=0.337 cpuTime=0.29 mem=16M495
31.54
31.54 search
31.54 run=6 nbConstraintChecks=1189449 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1386
31.54 nbFailedAssignments=1032 nbBacktracks=320 nbVisitedNodes=2732 nbRestartNogoods=56
31.54 => wckTime=0.452 cpuTime=0.4 mem=16M495
31.76
31.76 search
31.76 run=7 nbConstraintChecks=1923152 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2210
31.76 nbFailedAssignments=1682 nbBacktracks=490 nbVisitedNodes=4367 nbRestartNogoods=66
31.76 => wckTime=0.676 cpuTime=0.61 mem=16M495
32.01
32.01 search
32.01 run=8 nbConstraintChecks=2724067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3145
32.01 nbFailedAssignments=2354 nbBacktracks=746 nbVisitedNodes=6214 nbRestartNogoods=79
32.01 => wckTime=0.922 cpuTime=0.85 mem=16M495
32.40
32.40 search
32.40 run=9 nbConstraintChecks=4017307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4642
32.40 nbFailedAssignments=3463 nbBacktracks=1130 nbVisitedNodes=9180 nbRestartNogoods=91
32.40 => wckTime=1.319 cpuTime=1.24 mem=16M495
32.85
32.85 search
32.85 run=10 nbConstraintChecks=5526645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6444
32.85 nbFailedAssignments=4684 nbBacktracks=1706 nbVisitedNodes=12773 nbRestartNogoods=111
32.85 => wckTime=1.764 cpuTime=1.69 mem=16M495
33.49
33.49 search
33.49 run=11 nbConstraintChecks=7808206 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9214
33.49 nbFailedAssignments=6585 nbBacktracks=2570 nbVisitedNodes=18300 nbRestartNogoods=130
33.49 => wckTime=2.405 cpuTime=2.33 mem=16M495
34.82
34.82 search
34.82 run=12 nbConstraintChecks=12220223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14365
34.82 nbFailedAssignments=10434 nbBacktracks=3868 nbVisitedNodes=28469 nbRestartNogoods=141
34.82 => wckTime=3.73 cpuTime=3.65 mem=16M495
36.19
36.19 search
36.19 run=13 nbConstraintChecks=16712755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19841
36.19 nbFailedAssignments=13957 nbBacktracks=5814 nbVisitedNodes=39332 nbRestartNogoods=161
36.19 => wckTime=5.104 cpuTime=5.02 mem=16M495
38.36
38.36 search
38.36 run=14 nbConstraintChecks=23322882 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28615
38.36 nbFailedAssignments=19807 nbBacktracks=8733 nbVisitedNodes=56641 nbRestartNogoods=176
38.36 => wckTime=7.278 cpuTime=7.19 mem=16M495
41.09
41.09 search
41.09 run=15 nbConstraintChecks=31399200 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39318
41.09 nbFailedAssignments=26335 nbBacktracks=12909 nbVisitedNodes=77735 nbRestartNogoods=187
41.09 => wckTime=10.008 cpuTime=9.92 mem=16M495
41.09
41.09 global
41.09 nbConstraintChecks=31399250 nbRestartNogoods=187 solvingWckTime=10.009 solvingCpuTime=9.92 expiredTime=no
41.09 totalExploration=yes nbFoundSolutions=0 globalCpuTime=40.6
41.09 => wckTime=40.776 cpuTime=40.56 mem=16M495
41.10
41.10 s OPTIMUM FOUND
41.10 v 9 1 5 9 1 9 8 7 9 9 4 3 4 7 4 10 8 3 2 4
41.10
41.10 totalWckTime=40.855 totalCpuTime=40.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-282278-1169318813 -o ROOT/results/node72/solver-282278-1169318813 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282278-1169318813/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.72 1.00 1.37 4/81 31571
/proc/meminfo: memFree=1668808/2055920 swapFree=4191880/4192956
[pid=31570] ppid=31568 vsize=168 CPUtime=0
/proc/31570/stat : 31570 (java) R 31568 31570 31464 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 280290128 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2536228 0 0 4096 0 0 0 0 17 1 0 0
/proc/31570/statm: 42 23 18 14 0 2 0
[startup+0.107865 s]
/proc/loadavg: 0.72 1.00 1.37 4/81 31571
/proc/meminfo: memFree=1668808/2055920 swapFree=4191880/4192956
[pid=31570] ppid=31568 vsize=914988 CPUtime=0.07
/proc/31570/stat : 31570 (java) R 31568 31570 31464 0 -1 0 2952 0 1 0 6 1 0 0 20 0 8 0 280290128 936947712 2698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31570/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.515902 s]
/proc/loadavg: 0.72 1.00 1.37 4/81 31571
/proc/meminfo: memFree=1668808/2055920 swapFree=4191880/4192956
[pid=31570] ppid=31568 vsize=915332 CPUtime=0.48
/proc/31570/stat : 31570 (java) R 31568 31570 31464 0 -1 0 6401 0 1 0 45 3 0 0 22 0 8 0 280290128 937299968 6139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31570/statm: 228833 6139 2161 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33697 s]
/proc/loadavg: 0.82 1.02 1.37 4/100 31590
/proc/meminfo: memFree=1634600/2055920 swapFree=4191880/4192956
[pid=31570] ppid=31568 vsize=915452 CPUtime=1.31
/proc/31570/stat : 31570 (java) R 31568 31570 31464 0 -1 0 6879 0 1 0 97 34 0 0 25 0 8 0 280290128 937422848 6617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31570/statm: 228862 6617 2476 14 0 215332 0
[pid=31570/tid=31578] ppid=31568 vsize=915448 CPUtime=0.02
/proc/31570/task/31578/stat : 31578 (java) S 31568 31570 31464 0 -1 64 135 0 0 0 2 0 0 0 17 0 8 0 280290132 937418752 6617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31581] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31581/stat : 31581 (java) S 31568 31570 31464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290133 937418752 6617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31582] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31582/stat : 31582 (java) S 31568 31570 31464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290133 937418752 6617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31587] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31587/stat : 31587 (java) S 31568 31570 31464 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280290136 937418752 6617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31588] ppid=31568 vsize=915452 CPUtime=0.1
/proc/31570/task/31588/stat : 31588 (java) S 31568 31570 31464 0 -1 64 324 0 0 0 10 0 0 0 16 0 8 0 280290136 937422848 6617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31589] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31589/stat : 31589 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290136 937418752 6617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31590] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31590/stat : 31590 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290136 937418752 6617 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.98112 s]
/proc/loadavg: 0.82 1.02 1.37 3/100 31590
/proc/meminfo: memFree=1634536/2055920 swapFree=4191880/4192956
[pid=31570] ppid=31568 vsize=915448 CPUtime=2.95
/proc/31570/stat : 31570 (java) R 31568 31570 31464 0 -1 0 6882 0 1 0 196 99 0 0 25 0 8 0 280290128 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31570/statm: 228862 6619 2476 14 0 215332 0
[pid=31570/tid=31578] ppid=31568 vsize=915448 CPUtime=0.02
/proc/31570/task/31578/stat : 31578 (java) S 31568 31570 31464 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280290132 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31581] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31581/stat : 31581 (java) S 31568 31570 31464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290133 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31582] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31582/stat : 31582 (java) S 31568 31570 31464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290133 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31587] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31587/stat : 31587 (java) S 31568 31570 31464 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280290136 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31588] ppid=31568 vsize=915452 CPUtime=0.1
/proc/31570/task/31588/stat : 31588 (java) S 31568 31570 31464 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 280290136 937422848 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31589] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31589/stat : 31589 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290136 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31590] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31590/stat : 31590 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290136 937418752 6619 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) 915448
[startup+6.18141 s]
/proc/loadavg: 0.91 1.03 1.37 3/100 31590
/proc/meminfo: memFree=1634480/2055920 swapFree=4191880/4192956
[pid=31570] ppid=31568 vsize=915448 CPUtime=6.15
/proc/31570/stat : 31570 (java) R 31568 31570 31464 0 -1 0 6882 0 1 0 384 231 0 0 25 0 8 0 280290128 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31570/statm: 228863 6619 2476 14 0 215333 0
[pid=31570/tid=31578] ppid=31568 vsize=915448 CPUtime=0.02
/proc/31570/task/31578/stat : 31578 (java) S 31568 31570 31464 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280290132 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31581] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31581/stat : 31581 (java) S 31568 31570 31464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290133 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31582] ppid=31568 vsize=915452 CPUtime=0
/proc/31570/task/31582/stat : 31582 (java) S 31568 31570 31464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290133 937422848 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31587] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31587/stat : 31587 (java) S 31568 31570 31464 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280290136 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31588] ppid=31568 vsize=915452 CPUtime=0.1
/proc/31570/task/31588/stat : 31588 (java) S 31568 31570 31464 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 280290136 937422848 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31589] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31589/stat : 31589 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290136 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31590] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31590/stat : 31590 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290136 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915448
[startup+12.652 s]
/proc/loadavg: 1.00 1.05 1.38 3/100 31590
/proc/meminfo: memFree=1634480/2055920 swapFree=4191880/4192956
[pid=31570] ppid=31568 vsize=915448 CPUtime=12.62
/proc/31570/stat : 31570 (java) R 31568 31570 31464 0 -1 0 6882 0 1 0 761 501 0 0 25 0 8 0 280290128 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31570/statm: 228862 6619 2476 14 0 215332 0
[pid=31570/tid=31578] ppid=31568 vsize=915452 CPUtime=0.02
/proc/31570/task/31578/stat : 31578 (java) S 31568 31570 31464 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280290132 937422848 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31581] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31581/stat : 31581 (java) S 31568 31570 31464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290133 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31582] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31582/stat : 31582 (java) S 31568 31570 31464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290133 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31587] ppid=31568 vsize=915452 CPUtime=0
/proc/31570/task/31587/stat : 31587 (java) S 31568 31570 31464 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280290136 937422848 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31588] ppid=31568 vsize=915448 CPUtime=0.1
/proc/31570/task/31588/stat : 31588 (java) S 31568 31570 31464 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 280290136 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31589] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31589/stat : 31589 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290136 937418752 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31590] ppid=31568 vsize=915452 CPUtime=0
/proc/31570/task/31590/stat : 31590 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290136 937422848 6619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915448
[startup+25.5001 s]
/proc/loadavg: 1.15 1.08 1.38 3/100 31590
/proc/meminfo: memFree=1634480/2055920 swapFree=4191880/4192956
[pid=31570] ppid=31568 vsize=915452 CPUtime=25.46
/proc/31570/stat : 31570 (java) R 31568 31570 31464 0 -1 0 6883 0 1 0 1517 1029 0 0 25 0 8 0 280290128 937422848 6620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31570/statm: 228862 6620 2476 14 0 215332 0
[pid=31570/tid=31578] ppid=31568 vsize=915448 CPUtime=0.02
/proc/31570/task/31578/stat : 31578 (java) S 31568 31570 31464 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 280290132 937418752 6620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31581] ppid=31568 vsize=915452 CPUtime=0
/proc/31570/task/31581/stat : 31581 (java) S 31568 31570 31464 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280290133 937422848 6620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31582] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31582/stat : 31582 (java) S 31568 31570 31464 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280290133 937418752 6620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31587] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31587/stat : 31587 (java) S 31568 31570 31464 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280290136 937418752 6620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31588] ppid=31568 vsize=915452 CPUtime=0.11
/proc/31570/task/31588/stat : 31588 (java) S 31568 31570 31464 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 280290136 937422848 6620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31589] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31589/stat : 31589 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280290136 937418752 6620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31570/tid=31590] ppid=31568 vsize=915448 CPUtime=0
/proc/31570/task/31590/stat : 31590 (java) S 31568 31570 31464 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280290136 937418752 6620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 41.1379
CPU time (s): 41.0618
CPU user time (s): 28.5337
CPU system time (s): 12.5281
CPU usage (%): 99.8148
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.5337
system time used= 12.5281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9175
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= 1906
involuntary context switches= 3225
runsolver used 0.055991 s user time and 0.132979 s system time
The end
Begin job on node72 on Sat Jan 20 18:46:53 UTC 2007
IDJOB= 282278
IDBENCH= 12621
IDSOLVER= 69
FILE ID= node72/282278-1169318813
PBS_JOBID= 3610406
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-20-10-20-t60/pi-20-10-20-40-71.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282278-1169318813/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-282278-1169318813 -o ROOT/results/node72/solver-282278-1169318813 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282278-1169318813/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 644c3eb93bb7093da3ce9c0a9594a034
RANDOM SEED= 991473207
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.223
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.223
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: 1669216 kB
Buffers: 39476 kB
Cached: 234432 kB
SwapCached: 268 kB
Active: 123456 kB
Inactive: 197932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1669216 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3732 kB
Writeback: 0 kB
Mapped: 64824 kB
Slab: 50256 kB
Committed_AS: 5105140 kB
PageTables: 2112 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 node72 on Sat Jan 20 18:47:36 UTC 2007