0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278803-1169289274/unknown.xml
0.35
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=28 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.44
0.44 constraints being loaded...
0.52 nbConstraints=189 nbRelationTypes=185 nbExtensionStructures=185 nbSharedExtensionStructures=4
0.52 nbConflictsStructures=185 nbSharedConflictsStructures=4 nbSharedBinaryRepresentations=1828 maxDegree=27
0.52 maxArity=2
0.52 => wckTime=0.222 cpuTime=0.16 mem=8M837
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.302 cpuTime=0.2 mem=5M530
0.60
0.60 s SATISFIABLE
0.60 o 28
0.60 c 161
0.61 o 32
0.61 c 157
0.61 o 34
0.61 c 155
0.61 o 35
0.61 c 154
0.61 o 37
0.61 c 152
0.61 o 40
0.61 c 149
0.61 o 43
0.61 c 146
0.61 o 45
0.61 c 144
0.61 o 47
0.61 c 142
0.61 o 49
0.61 c 140
0.62 o 51
0.62 c 138
0.62 o 52
0.62 c 137
0.62 o 53
0.62 c 136
0.62 o 54
0.62 c 135
0.62 o 55
0.62 c 134
0.62 o 58
0.62 c 131
0.62 o 61
0.62 c 128
0.62 o 62
0.62 c 127
0.62 o 63
0.62 c 126
0.62 o 64
0.62 c 125
0.63 o 66
0.63 c 123
2.53
2.53 search
2.53 run=0 nbConstraintChecks=12594092 nbAssignments=10000
2.53 => wckTime=1.929 cpuTime=1.9 mem=5M530
4.40
4.40 search
4.40 run=1 nbConstraintChecks=25200510 nbAssignments=20000
4.40 => wckTime=3.799 cpuTime=3.74 mem=5M530
6.28
6.28 search
6.28 run=2 nbConstraintChecks=37753788 nbAssignments=30000
6.28 => wckTime=5.681 cpuTime=5.59 mem=5M530
8.13
8.13 search
8.13 run=3 nbConstraintChecks=50254315 nbAssignments=40000
8.13 => wckTime=7.532 cpuTime=7.42 mem=5M530
10.00
10.00 search
10.00 run=4 nbConstraintChecks=62831394 nbAssignments=50000
10.00 => wckTime=9.406 cpuTime=9.28 mem=5M530
11.87
11.87 search
11.87 run=5 nbConstraintChecks=75341015 nbAssignments=60000
11.87 => wckTime=11.274 cpuTime=11.14 mem=5M530
13.75
13.75 search
13.75 run=6 nbConstraintChecks=87864847 nbAssignments=70000
13.75 => wckTime=13.151 cpuTime=13.0 mem=5M530
15.62
15.62 search
15.62 run=7 nbConstraintChecks=100433725 nbAssignments=80000
15.62 => wckTime=15.025 cpuTime=14.86 mem=5M530
17.49
17.49 search
17.49 run=8 nbConstraintChecks=112962941 nbAssignments=90000
17.49 => wckTime=16.896 cpuTime=16.72 mem=5M530
19.37
19.37 search
19.37 run=9 nbConstraintChecks=125551793 nbAssignments=100000
19.37 => wckTime=18.771 cpuTime=18.57 mem=5M530
21.23
21.23 search
21.23 run=10 nbConstraintChecks=138126635 nbAssignments=110000
21.23 => wckTime=20.631 cpuTime=20.42 mem=5M530
23.08
23.08 search
23.08 run=11 nbConstraintChecks=150648742 nbAssignments=120000
23.08 => wckTime=22.486 cpuTime=22.27 mem=5M530
24.94
24.94 search
24.94 run=12 nbConstraintChecks=163161146 nbAssignments=130000
24.94 => wckTime=24.346 cpuTime=24.11 mem=5M530
26.80
26.80 search
26.80 run=13 nbConstraintChecks=175700306 nbAssignments=140000
26.80 => wckTime=26.202 cpuTime=25.96 mem=5M530
28.66
28.66 search
28.66 run=14 nbConstraintChecks=188247982 nbAssignments=150000
28.66 => wckTime=28.063 cpuTime=27.8 mem=5M530
30.55
30.55 search
30.55 run=15 nbConstraintChecks=200884674 nbAssignments=160000
30.55 => wckTime=29.951 cpuTime=29.67 mem=5M530
30.89
30.89 search
30.89 run=16 nbConstraintChecks=203163327 nbAssignments=161822
30.89 => wckTime=30.29 cpuTime=30.02 mem=5M530
30.89
30.89 global
30.89 nbConstraintChecks=203163327 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.89 solvingWckTime=30.289 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.89 globalCpuTime=30.27
30.89 => wckTime=30.593 cpuTime=30.22 mem=5M530
30.89
30.89 solver IterativeSystematicSolver being built...
31.02 => wckTime=30.721 cpuTime=30.32 mem=16M503
31.06
31.06 preprocessing
31.06 nbConstraintChecks=53019 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.06 detectedInconsistency=no
31.06 => wckTime=0.035 cpuTime=0.03 mem=16M503
31.09
31.09 search
31.09 run=0 nbConstraintChecks=73142 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34
31.09 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=58 nbRestartNogoods=0
31.09 => wckTime=0.071 cpuTime=0.05 mem=16M503
31.14
31.14 search
31.14 run=1 nbConstraintChecks=217872 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100
31.14 nbFailedAssignments=50 nbBacktracks=25 nbVisitedNodes=175 nbRestartNogoods=4
31.14 => wckTime=0.121 cpuTime=0.09 mem=16M503
31.17
31.17 search
31.17 run=2 nbConstraintChecks=372406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=168
31.17 nbFailedAssignments=83 nbBacktracks=47 nbVisitedNodes=298 nbRestartNogoods=9
31.17 => wckTime=0.155 cpuTime=0.13 mem=16M503
31.22
31.22 search
31.22 run=3 nbConstraintChecks=586173 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=264
31.22 nbFailedAssignments=133 nbBacktracks=80 nbVisitedNodes=476 nbRestartNogoods=12
31.22 => wckTime=0.202 cpuTime=0.17 mem=16M503
31.28
31.28 search
31.28 run=4 nbConstraintChecks=875358 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=394
31.28 nbFailedAssignments=202 nbBacktracks=130 nbVisitedNodes=722 nbRestartNogoods=17
31.28 => wckTime=0.265 cpuTime=0.23 mem=16M503
31.40
31.40 search
31.40 run=5 nbConstraintChecks=1434533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=631
31.40 nbFailedAssignments=351 nbBacktracks=205 nbVisitedNodes=1178 nbRestartNogoods=18
31.40 => wckTime=0.381 cpuTime=0.34 mem=16M503
31.54
31.54 search
31.54 run=6 nbConstraintChecks=2099363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=911
31.54 nbFailedAssignments=507 nbBacktracks=318 nbVisitedNodes=1727 nbRestartNogoods=24
31.54 => wckTime=0.516 cpuTime=0.48 mem=16M503
31.78
31.78 search
31.78 run=7 nbConstraintChecks=3214114 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1386
31.78 nbFailedAssignments=800 nbBacktracks=488 nbVisitedNodes=2663 nbRestartNogoods=28
31.78 => wckTime=0.759 cpuTime=0.71 mem=16M503
32.09
32.09 search
32.09 run=8 nbConstraintChecks=4714253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2004
32.09 nbFailedAssignments=1152 nbBacktracks=744 nbVisitedNodes=3873 nbRestartNogoods=38
32.09 => wckTime=1.07 cpuTime=1.01 mem=16M503
32.53
32.53 search
32.53 run=9 nbConstraintChecks=6999447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2957
32.53 nbFailedAssignments=1709 nbBacktracks=1128 nbVisitedNodes=5752 nbRestartNogoods=46
32.53 => wckTime=1.512 cpuTime=1.44 mem=16M503
33.19
33.19 search
33.19 run=10 nbConstraintChecks=10313918 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4326
33.19 nbFailedAssignments=2492 nbBacktracks=1704 nbVisitedNodes=8475 nbRestartNogoods=53
33.19 => wckTime=2.17 cpuTime=2.09 mem=16M503
34.13
34.13 search
34.13 run=11 nbConstraintChecks=15271439 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6401
34.13 nbFailedAssignments=3691 nbBacktracks=2568 nbVisitedNodes=12611 nbRestartNogoods=65
34.13 => wckTime=3.112 cpuTime=3.02 mem=16M503
35.80
35.80 search
35.80 run=12 nbConstraintChecks=23193683 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9739
35.80 nbFailedAssignments=5722 nbBacktracks=3865 nbVisitedNodes=19263 nbRestartNogoods=74
35.80 => wckTime=4.782 cpuTime=4.68 mem=16M503
38.04
38.04 search
38.04 run=13 nbConstraintChecks=34285710 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14457
38.04 nbFailedAssignments=8482 nbBacktracks=5812 nbVisitedNodes=28684 nbRestartNogoods=85
38.04 => wckTime=7.025 cpuTime=6.91 mem=16M503
41.06
41.06 search
41.06 run=14 nbConstraintChecks=49686798 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20962
41.06 nbFailedAssignments=12059 nbBacktracks=8731 nbVisitedNodes=41669 nbRestartNogoods=98
41.06 => wckTime=10.044 cpuTime=9.9 mem=16M503
46.07
46.07 search
46.07 run=15 nbConstraintChecks=73298649 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31298
46.07 nbFailedAssignments=18010 nbBacktracks=13109 nbVisitedNodes=62317 nbRestartNogoods=111
46.07 => wckTime=15.051 cpuTime=14.87 mem=16M503
53.68
53.68 search
53.68 run=16 nbConstraintChecks=106671005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46501
53.68 nbFailedAssignments=26639 nbBacktracks=19678 nbVisitedNodes=92628 nbRestartNogoods=126
53.68 => wckTime=22.659 cpuTime=22.39 mem=16M503
65.34
65.34 search
65.34 run=17 nbConstraintChecks=159042958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69490
65.34 nbFailedAssignments=39769 nbBacktracks=29530 nbVisitedNodes=138085 nbRestartNogoods=141
65.34 => wckTime=34.325 cpuTime=33.97 mem=16M503
82.34
82.34 search
82.34 run=18 nbConstraintChecks=234562163 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102824
82.34 nbFailedAssignments=58319 nbBacktracks=44308 nbVisitedNodes=202736 nbRestartNogoods=149
82.34 => wckTime=51.323 cpuTime=50.84 mem=16M503
106.61
106.61 search
106.61 run=19 nbConstraintChecks=342903221 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151002
106.61 nbFailedAssignments=84325 nbBacktracks=66476 nbVisitedNodes=294329 nbRestartNogoods=157
106.61 => wckTime=75.595 cpuTime=74.9 mem=16M503
142.60
142.60 search
142.60 run=20 nbConstraintChecks=504990582 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=221857
142.60 nbFailedAssignments=121923 nbBacktracks=99729 nbVisitedNodes=429259 nbRestartNogoods=168
142.60 => wckTime=111.586 cpuTime=110.6 mem=16M503
145.56
145.56 search
145.56 run=21 nbConstraintChecks=518579447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=227805
145.56 nbFailedAssignments=124883 nbBacktracks=102718 nbVisitedNodes=440248 nbRestartNogoods=171
145.56 => wckTime=114.536 cpuTime=113.53 mem=16M503
145.56
145.56 global
145.56 nbConstraintChecks=518632466 nbRestartNogoods=171 solvingWckTime=114.537 solvingCpuTime=113.53 expiredTime=no
145.56 totalExploration=yes nbFoundSolutions=0 globalCpuTime=143.9
145.56 => wckTime=145.26 cpuTime=143.85 mem=16M503
145.56
145.56 s OPTIMUM FOUND
145.56 v 4 0 2 0 0 2 4 2 4 4 3 2 1 0 1 1 1 0 0 3 1 3 1 3 0 0 0 4
145.56
145.56 totalWckTime=145.336 totalCpuTime=143.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-278803-1169289274 -o ROOT/results/node40/solver-278803-1169289274 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278803-1169289274/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.19 0.78 1.45 4/74 23315
/proc/meminfo: memFree=1394864/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=18540 CPUtime=0
/proc/23314/stat : 23314 (runsolver) R 23312 23314 22947 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 277327145 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/23314/statm: 4635 279 244 17 0 2626 0
[startup+0.103887 s]
/proc/loadavg: 0.19 0.78 1.45 4/74 23315
/proc/meminfo: memFree=1394864/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=914988 CPUtime=0.07
/proc/23314/stat : 23314 (java) S 23312 23314 22947 0 -1 0 2997 0 1 0 6 1 0 0 24 0 8 0 277327145 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23314/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511942 s]
/proc/loadavg: 0.19 0.78 1.45 4/74 23315
/proc/meminfo: memFree=1394864/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=915332 CPUtime=0.48
/proc/23314/stat : 23314 (java) R 23312 23314 22947 0 -1 0 6551 0 1 0 44 4 0 0 25 0 8 0 277327145 937299968 6290 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23314/statm: 228833 6290 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33404 s]
/proc/loadavg: 0.19 0.78 1.45 3/81 23322
/proc/meminfo: memFree=1377088/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=915460 CPUtime=1.29
/proc/23314/stat : 23314 (java) R 23312 23314 22947 0 -1 0 7134 0 1 0 113 16 0 0 25 0 8 0 277327145 937431040 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073713289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23314/statm: 228865 6872 2479 14 0 215335 0
[pid=23314/tid=23316] ppid=23312 vsize=915460 CPUtime=0.02
/proc/23314/task/23316/stat : 23316 (java) S 23312 23314 22947 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277327149 937431040 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23317] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23317/stat : 23317 (java) S 23312 23314 22947 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277327150 937431040 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23318] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23318/stat : 23318 (java) S 23312 23314 22947 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277327150 937431040 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23319] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23319/stat : 23319 (java) S 23312 23314 22947 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277327153 937431040 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23320] ppid=23312 vsize=915460 CPUtime=0.12
/proc/23314/task/23320/stat : 23320 (java) S 23312 23314 22947 0 -1 64 341 0 0 0 11 1 0 0 16 0 8 0 277327153 937431040 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23321] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23321/stat : 23321 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277327153 937431040 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23322] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23322/stat : 23322 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277327153 937431040 6872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98325 s]
/proc/loadavg: 0.19 0.78 1.45 3/81 23322
/proc/meminfo: memFree=1377024/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=915460 CPUtime=2.93
/proc/23314/stat : 23314 (java) R 23312 23314 22947 0 -1 0 7138 0 1 0 246 47 0 0 25 0 8 0 277327145 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073714313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23314/statm: 228865 6875 2479 14 0 215335 0
[pid=23314/tid=23316] ppid=23312 vsize=915460 CPUtime=0.02
/proc/23314/task/23316/stat : 23316 (java) S 23312 23314 22947 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277327149 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23317] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23317/stat : 23317 (java) S 23312 23314 22947 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277327150 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23318] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23318/stat : 23318 (java) S 23312 23314 22947 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277327150 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23319] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23319/stat : 23319 (java) S 23312 23314 22947 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23320] ppid=23312 vsize=915460 CPUtime=0.12
/proc/23314/task/23320/stat : 23320 (java) S 23312 23314 22947 0 -1 64 344 0 0 0 11 1 0 0 16 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23321] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23321/stat : 23321 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23322] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23322/stat : 23322 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26068 s]
/proc/loadavg: 0.34 0.80 1.45 3/81 23322
/proc/meminfo: memFree=1377024/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=915460 CPUtime=6.16
/proc/23314/stat : 23314 (java) R 23312 23314 22947 0 -1 0 7138 0 1 0 498 118 0 0 25 0 8 0 277327145 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073714313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23314/statm: 228865 6875 2479 14 0 215335 0
[pid=23314/tid=23316] ppid=23312 vsize=915460 CPUtime=0.02
/proc/23314/task/23316/stat : 23316 (java) S 23312 23314 22947 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277327149 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23317] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23317/stat : 23317 (java) S 23312 23314 22947 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277327150 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23318] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23318/stat : 23318 (java) S 23312 23314 22947 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277327150 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23319] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23319/stat : 23319 (java) S 23312 23314 22947 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23320] ppid=23312 vsize=915460 CPUtime=0.12
/proc/23314/task/23320/stat : 23320 (java) S 23312 23314 22947 0 -1 64 344 0 0 0 11 1 0 0 16 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23321] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23321/stat : 23321 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23322] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23322/stat : 23322 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460
[startup+12.7435 s]
/proc/loadavg: 0.47 0.82 1.45 3/81 23322
/proc/meminfo: memFree=1377024/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=915460 CPUtime=12.59
/proc/23314/stat : 23314 (java) R 23312 23314 22947 0 -1 0 7138 0 1 0 1012 247 0 0 25 0 8 0 277327145 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073713427 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23314/statm: 228865 6875 2479 14 0 215335 0
[pid=23314/tid=23316] ppid=23312 vsize=915460 CPUtime=0.02
/proc/23314/task/23316/stat : 23316 (java) S 23312 23314 22947 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277327149 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23317] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23317/stat : 23317 (java) S 23312 23314 22947 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277327150 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23318] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23318/stat : 23318 (java) S 23312 23314 22947 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277327150 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23319] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23319/stat : 23319 (java) S 23312 23314 22947 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23320] ppid=23312 vsize=915460 CPUtime=0.12
/proc/23314/task/23320/stat : 23320 (java) S 23312 23314 22947 0 -1 64 344 0 0 0 11 1 0 0 16 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23321] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23321/stat : 23321 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23322] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23322/stat : 23322 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460
[startup+25.5782 s]
/proc/loadavg: 0.81 0.88 1.46 3/81 23322
/proc/meminfo: memFree=1377152/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=915460 CPUtime=25.33
/proc/23314/stat : 23314 (java) R 23312 23314 22947 0 -1 0 7138 0 1 0 2033 500 0 0 25 0 8 0 277327145 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073710697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23314/statm: 228865 6875 2479 14 0 215335 0
[pid=23314/tid=23316] ppid=23312 vsize=915460 CPUtime=0.02
/proc/23314/task/23316/stat : 23316 (java) S 23312 23314 22947 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277327149 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23317] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23317/stat : 23317 (java) S 23312 23314 22947 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277327150 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23318] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23318/stat : 23318 (java) S 23312 23314 22947 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277327150 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23319] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23319/stat : 23319 (java) S 23312 23314 22947 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23320] ppid=23312 vsize=915460 CPUtime=0.13
/proc/23314/task/23320/stat : 23320 (java) S 23312 23314 22947 0 -1 64 344 0 0 0 12 1 0 0 16 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23321] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23321/stat : 23321 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23322] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23322/stat : 23322 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277327153 937431040 6875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915460
[startup+51.2705 s]
/proc/loadavg: 1.21 0.97 1.47 3/81 23322
/proc/meminfo: memFree=1369984/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=915460 CPUtime=50.8
/proc/23314/stat : 23314 (java) R 23312 23314 22947 0 -1 0 9050 0 1 0 4472 608 0 0 25 0 8 0 277327145 937431040 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23314/statm: 228865 8783 2532 14 0 215335 0
[pid=23314/tid=23316] ppid=23312 vsize=915460 CPUtime=0.02
/proc/23314/task/23316/stat : 23316 (java) S 23312 23314 22947 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277327149 937431040 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23317] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23317/stat : 23317 (java) S 23312 23314 22947 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277327150 937431040 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23318] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23318/stat : 23318 (java) S 23312 23314 22947 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277327150 937431040 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23319] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23319/stat : 23319 (java) S 23312 23314 22947 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277327153 937431040 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23320] ppid=23312 vsize=915460 CPUtime=0.21
/proc/23314/task/23320/stat : 23320 (java) S 23312 23314 22947 0 -1 64 399 0 0 0 20 1 0 0 16 0 8 0 277327153 937431040 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23321] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23321/stat : 23321 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277327153 937431040 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23322] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23322/stat : 23322 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277327153 937431040 8783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 915460
[startup+102.543 s]
/proc/loadavg: 1.66 1.12 1.50 3/81 23322
/proc/meminfo: memFree=1369984/2055920 swapFree=4191892/4192956
[pid=23314] ppid=23312 vsize=915460 CPUtime=101.66
/proc/23314/stat : 23314 (java) R 23312 23314 22947 0 -1 0 9059 0 1 0 9558 608 0 0 25 0 8 0 277327145 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073713289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23314/statm: 228865 8791 2532 14 0 215335 0
[pid=23314/tid=23316] ppid=23312 vsize=915460 CPUtime=0.02
/proc/23314/task/23316/stat : 23316 (java) S 23312 23314 22947 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277327149 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23317] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23317/stat : 23317 (java) S 23312 23314 22947 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277327150 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23318] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23318/stat : 23318 (java) S 23312 23314 22947 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277327150 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23319] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23319/stat : 23319 (java) S 23312 23314 22947 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 277327153 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23320] ppid=23312 vsize=915460 CPUtime=0.21
/proc/23314/task/23320/stat : 23320 (java) S 23312 23314 22947 0 -1 64 400 0 0 0 20 1 0 0 16 0 8 0 277327153 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23321] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23321/stat : 23321 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 277327153 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23314/tid=23322] ppid=23312 vsize=915460 CPUtime=0
/proc/23314/task/23322/stat : 23322 (java) S 23312 23314 22947 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277327153 937431040 8791 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 145.592
CPU time (s): 144.353
CPU user time (s): 138.258
CPU system time (s): 6.09507
CPU usage (%): 99.1489
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.258
system time used= 6.09507
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9163
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= 4154
involuntary context switches= 7585
runsolver used 0.12598 s user time and 0.397939 s system time
The end
Begin job on node40 on Sat Jan 20 10:34:36 UTC 2007
IDJOB= 278803
IDBENCH= 8883
IDSOLVER= 68
FILE ID= node40/278803-1169289274
PBS_JOBID= 3609751
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-90/kbtree-9-7-3-5-90-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278803-1169289274/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-278803-1169289274 -o ROOT/results/node40/solver-278803-1169289274 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278803-1169289274/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a149db757afa9b5166b78ffc3929a556
RANDOM SEED= 408351847
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.239
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.239
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1395544 kB
Buffers: 46084 kB
Cached: 484524 kB
SwapCached: 268 kB
Active: 207236 kB
Inactive: 375180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1395544 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3608 kB
Writeback: 0 kB
Mapped: 61896 kB
Slab: 63376 kB
Committed_AS: 5253780 kB
PageTables: 1848 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 node40 on Sat Jan 20 10:37:04 UTC 2007