0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/283042-1169325662/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.09 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.45 nbConstraints=78 nbRelationTypes=1 nbDisconnectedVariables=1 nbExtensionStructures=1
0.45 nbSharedExtensionStructures=77 nbConflictsStructures=1 nbSharedConflictsStructures=77
0.45 nbSharedBinaryRepresentations=2 maxDegree=6 maxArity=2
0.45 => wckTime=0.146 cpuTime=0.11 mem=7M879
0.49
0.49 solver LocalSearchSolver being built...
0.53 => wckTime=0.223 cpuTime=0.16 mem=5M397
0.53
0.53 s SATISFIABLE
0.53 o 40
0.53 c 38
0.53 o 42
0.53 c 36
0.53 o 44
0.53 c 34
0.53 o 45
0.53 c 33
0.54 o 46
0.54 c 32
0.54 o 47
0.54 c 31
0.54 o 48
0.54 c 30
0.54 o 49
0.54 c 29
0.54 o 51
0.54 c 27
0.54 o 52
0.54 c 26
0.54 o 53
0.54 c 25
0.54 o 54
0.54 c 24
0.56 o 55
0.56 c 23
0.57 o 56
0.57 c 22
1.34
1.34 search
1.34 run=0 nbConstraintChecks=1049768 nbAssignments=10000
1.34 => wckTime=0.807 cpuTime=0.79 mem=5M397
2.08
2.08 search
2.08 run=1 nbConstraintChecks=2115471 nbAssignments=20000
2.08 => wckTime=1.55 cpuTime=1.53 mem=5M397
2.82
2.82 search
2.82 run=2 nbConstraintChecks=3166038 nbAssignments=30000
2.82 => wckTime=2.29 cpuTime=2.27 mem=5M397
3.57
3.57 search
3.57 run=3 nbConstraintChecks=4230155 nbAssignments=40000
3.57 => wckTime=3.036 cpuTime=3.01 mem=5M397
4.30
4.30 search
4.30 run=4 nbConstraintChecks=5280558 nbAssignments=50000
4.30 => wckTime=3.775 cpuTime=3.74 mem=5M397
5.05
5.05 search
5.05 run=5 nbConstraintChecks=6348875 nbAssignments=60000
5.05 => wckTime=4.522 cpuTime=4.48 mem=5M397
5.80
5.80 search
5.80 run=6 nbConstraintChecks=7396648 nbAssignments=70000
5.80 => wckTime=5.266 cpuTime=5.22 mem=5M397
6.54
6.54 search
6.54 run=7 nbConstraintChecks=8463796 nbAssignments=80000
6.54 => wckTime=6.011 cpuTime=5.97 mem=5M397
7.29
7.29 search
7.29 run=8 nbConstraintChecks=9519654 nbAssignments=90000
7.29 => wckTime=6.761 cpuTime=6.71 mem=5M397
8.05
8.05 search
8.05 run=9 nbConstraintChecks=10592714 nbAssignments=100000
8.05 => wckTime=7.516 cpuTime=7.46 mem=5M397
8.79
8.79 search
8.79 run=10 nbConstraintChecks=11641488 nbAssignments=110000
8.79 => wckTime=8.262 cpuTime=8.21 mem=5M397
9.55
9.55 search
9.55 run=11 nbConstraintChecks=12717603 nbAssignments=120000
9.55 => wckTime=9.02 cpuTime=8.96 mem=5M397
10.30
10.30 search
10.30 run=12 nbConstraintChecks=13766988 nbAssignments=130000
10.30 => wckTime=9.771 cpuTime=9.71 mem=5M397
11.05
11.05 search
11.05 run=13 nbConstraintChecks=14824134 nbAssignments=140000
11.05 => wckTime=10.52 cpuTime=10.46 mem=5M397
11.80
11.80 search
11.80 run=14 nbConstraintChecks=15874574 nbAssignments=150000
11.80 => wckTime=11.272 cpuTime=11.2 mem=5M397
12.55
12.55 search
12.55 run=15 nbConstraintChecks=16932031 nbAssignments=160000
12.55 => wckTime=12.024 cpuTime=11.95 mem=5M397
13.30
13.30 search
13.30 run=16 nbConstraintChecks=17982690 nbAssignments=170000
13.30 => wckTime=12.771 cpuTime=12.69 mem=5M397
14.05
14.05 search
14.05 run=17 nbConstraintChecks=19047454 nbAssignments=180000
14.05 => wckTime=13.524 cpuTime=13.44 mem=5M397
14.81
14.81 search
14.81 run=18 nbConstraintChecks=20102197 nbAssignments=190000
14.81 => wckTime=14.275 cpuTime=14.18 mem=5M397
15.56
15.56 search
15.56 run=19 nbConstraintChecks=21169902 nbAssignments=200000
15.56 => wckTime=15.026 cpuTime=14.93 mem=5M397
16.31
16.31 search
16.31 run=20 nbConstraintChecks=22222577 nbAssignments=210000
16.31 => wckTime=15.778 cpuTime=15.68 mem=5M397
17.06
17.06 search
17.06 run=21 nbConstraintChecks=23284425 nbAssignments=220000
17.06 => wckTime=16.53 cpuTime=16.43 mem=5M397
17.80
17.80 search
17.80 run=22 nbConstraintChecks=24332546 nbAssignments=230000
17.80 => wckTime=17.269 cpuTime=17.17 mem=5M397
18.55
18.55 search
18.55 run=23 nbConstraintChecks=25390478 nbAssignments=240000
18.55 => wckTime=18.016 cpuTime=17.91 mem=5M397
19.29
19.29 search
19.29 run=24 nbConstraintChecks=26440944 nbAssignments=250000
19.29 => wckTime=18.761 cpuTime=18.65 mem=5M397
20.04
20.04 search
20.04 run=25 nbConstraintChecks=27510273 nbAssignments=260000
20.04 => wckTime=19.506 cpuTime=19.4 mem=5M397
20.78
20.78 search
20.78 run=26 nbConstraintChecks=28568368 nbAssignments=270000
20.78 => wckTime=20.252 cpuTime=20.13 mem=5M397
21.53
21.53 search
21.53 run=27 nbConstraintChecks=29634316 nbAssignments=280000
21.53 => wckTime=21.002 cpuTime=20.88 mem=5M397
22.27
22.27 search
22.27 run=28 nbConstraintChecks=30682641 nbAssignments=290000
22.27 => wckTime=21.741 cpuTime=21.62 mem=5M397
23.02
23.02 search
23.02 run=29 nbConstraintChecks=31757306 nbAssignments=300000
23.02 => wckTime=22.492 cpuTime=22.36 mem=5M397
23.77
23.77 search
23.77 run=30 nbConstraintChecks=32813287 nbAssignments=310000
23.77 => wckTime=23.238 cpuTime=23.1 mem=5M397
24.51
24.51 search
24.51 run=31 nbConstraintChecks=33885474 nbAssignments=320000
24.51 => wckTime=23.983 cpuTime=23.85 mem=5M397
25.26
25.26 search
25.26 run=32 nbConstraintChecks=34937444 nbAssignments=330000
25.26 => wckTime=24.728 cpuTime=24.59 mem=5M397
26.00
26.00 search
26.00 run=33 nbConstraintChecks=36003385 nbAssignments=340000
26.00 => wckTime=25.474 cpuTime=25.34 mem=5M397
26.75
26.75 search
26.75 run=34 nbConstraintChecks=37059479 nbAssignments=350000
26.75 => wckTime=26.221 cpuTime=26.08 mem=5M397
27.51
27.51 search
27.51 run=35 nbConstraintChecks=38134036 nbAssignments=360000
27.51 => wckTime=26.976 cpuTime=26.83 mem=5M397
28.25
28.25 search
28.25 run=36 nbConstraintChecks=39179474 nbAssignments=370000
28.25 => wckTime=27.724 cpuTime=27.57 mem=5M397
29.02
29.02 search
29.02 run=37 nbConstraintChecks=40241082 nbAssignments=380000
29.02 => wckTime=28.486 cpuTime=28.32 mem=5M397
29.77
29.77 search
29.77 run=38 nbConstraintChecks=41290927 nbAssignments=390000
29.77 => wckTime=29.239 cpuTime=29.07 mem=5M397
30.52
30.52 search
30.52 run=39 nbConstraintChecks=42347991 nbAssignments=400000
30.52 => wckTime=29.988 cpuTime=29.82 mem=5M397
30.73
30.74 search
30.74 run=40 nbConstraintChecks=42639135 nbAssignments=402849
30.74 => wckTime=30.205 cpuTime=30.04 mem=5M397
30.74
30.74 global
30.74 nbConstraintChecks=42639135 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.74 solvingWckTime=30.204 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.74 globalCpuTime=30.24
30.74 => wckTime=30.429 cpuTime=30.19 mem=5M397
30.74
30.74 solver IterativeSystematicSolver being built...
30.88 => wckTime=30.576 cpuTime=30.3 mem=16M289
30.91
30.91 preprocessing
30.91 nbConstraintChecks=3440 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.91 detectedInconsistency=no
30.91 => wckTime=0.028 cpuTime=0.02 mem=16M289
30.93
30.93 search
30.93 run=0 nbConstraintChecks=5195 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
30.93 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=55 nbRestartNogoods=0
30.93 => wckTime=0.047 cpuTime=0.03 mem=16M289
30.96
30.96 search
30.96 run=1 nbConstraintChecks=11618 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80
30.96 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=120 nbRestartNogoods=1
30.96 => wckTime=0.069 cpuTime=0.04 mem=16M289
30.97
30.97 search
30.97 run=2 nbConstraintChecks=21383 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=139
30.97 nbFailedAssignments=30 nbBacktracks=47 nbVisitedNodes=216 nbRestartNogoods=2
30.97 => wckTime=0.081 cpuTime=0.05 mem=16M289
30.98
30.98 search
30.98 run=3 nbConstraintChecks=34784 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=214
30.98 nbFailedAssignments=51 nbBacktracks=82 nbVisitedNodes=342 nbRestartNogoods=5
30.98 => wckTime=0.094 cpuTime=0.06 mem=16M289
31.00
31.00 search
31.00 run=4 nbConstraintChecks=55270 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=320
31.00 nbFailedAssignments=87 nbBacktracks=132 nbVisitedNodes=531 nbRestartNogoods=7
31.00 => wckTime=0.114 cpuTime=0.08 mem=16M289
31.02
31.02 search
31.02 run=5 nbConstraintChecks=81477 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=453
31.02 nbFailedAssignments=127 nbBacktracks=208 nbVisitedNodes=777 nbRestartNogoods=11
31.02 => wckTime=0.136 cpuTime=0.1 mem=17M265
31.05
31.05 search
31.05 run=6 nbConstraintChecks=122658 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=656
31.05 nbFailedAssignments=199 nbBacktracks=321 nbVisitedNodes=1152 nbRestartNogoods=15
31.05 => wckTime=0.167 cpuTime=0.13 mem=17M265
31.10
31.10 search
31.10 run=7 nbConstraintChecks=182725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=958
31.10 nbFailedAssignments=315 nbBacktracks=491 nbVisitedNodes=1709 nbRestartNogoods=20
31.10 => wckTime=0.213 cpuTime=0.17 mem=17M265
31.17
31.17 search
31.17 run=8 nbConstraintChecks=278588 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1402
31.17 nbFailedAssignments=486 nbBacktracks=747 nbVisitedNodes=2555 nbRestartNogoods=23
31.17 => wckTime=0.284 cpuTime=0.24 mem=17M265
31.28
31.28 search
31.28 run=9 nbConstraintChecks=415288 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2047
31.28 nbFailedAssignments=726 nbBacktracks=1132 nbVisitedNodes=3786 nbRestartNogoods=29
31.28 => wckTime=0.391 cpuTime=0.32 mem=17M265
31.41
31.41 search
31.41 run=10 nbConstraintChecks=634125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3037
31.41 nbFailedAssignments=1125 nbBacktracks=1709 nbVisitedNodes=5712 nbRestartNogoods=33
31.41 => wckTime=0.524 cpuTime=0.45 mem=17M265
31.61
31.61 search
31.61 run=11 nbConstraintChecks=973045 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4575
31.61 nbFailedAssignments=1779 nbBacktracks=2574 nbVisitedNodes=8682 nbRestartNogoods=34
31.61 => wckTime=0.723 cpuTime=0.65 mem=17M265
31.88
31.88 search
31.88 run=12 nbConstraintChecks=1409709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6688
31.88 nbFailedAssignments=2579 nbBacktracks=3873 nbVisitedNodes=12627 nbRestartNogoods=38
31.88 => wckTime=0.993 cpuTime=0.91 mem=17M265
32.27
32.27 search
32.27 run=13 nbConstraintChecks=2087943 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9881
32.27 nbFailedAssignments=3808 nbBacktracks=5822 nbVisitedNodes=18699 nbRestartNogoods=44
32.27 => wckTime=1.386 cpuTime=1.31 mem=17M265
32.76
32.76 search
32.76 run=14 nbConstraintChecks=2979790 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14216
32.76 nbFailedAssignments=5207 nbBacktracks=8744 nbVisitedNodes=26814 nbRestartNogoods=50
32.76 => wckTime=1.875 cpuTime=1.79 mem=17M265
33.53
33.53 search
33.53 run=15 nbConstraintChecks=4406339 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21042
33.53 nbFailedAssignments=7631 nbBacktracks=13123 nbVisitedNodes=39369 nbRestartNogoods=57
33.53 => wckTime=2.649 cpuTime=2.56 mem=17M265
34.75
34.75 search
34.75 run=16 nbConstraintChecks=6550287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31475
34.75 nbFailedAssignments=11477 nbBacktracks=19691 nbVisitedNodes=58772 nbRestartNogoods=64
34.75 => wckTime=3.867 cpuTime=3.77 mem=17M265
36.38
36.38 search
36.38 run=17 nbConstraintChecks=9533918 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46213
36.38 nbFailedAssignments=16346 nbBacktracks=29545 nbVisitedNodes=85370 nbRestartNogoods=70
36.38 => wckTime=5.498 cpuTime=5.39 mem=17M265
38.72
38.72 search
38.72 run=18 nbConstraintChecks=13940280 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68475
38.72 nbFailedAssignments=23810 nbBacktracks=44323 nbVisitedNodes=125149 nbRestartNogoods=78
38.72 => wckTime=7.84 cpuTime=7.72 mem=17M265
42.16
42.16 search
42.16 run=19 nbConstraintChecks=20358757 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100877
42.16 nbFailedAssignments=34023 nbBacktracks=66491 nbVisitedNodes=181808 nbRestartNogoods=84
42.16 => wckTime=11.277 cpuTime=11.14 mem=17M265
46.75
46.75 search
46.75 run=20 nbConstraintChecks=28707271 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=148246
46.75 nbFailedAssignments=48120 nbBacktracks=99746 nbVisitedNodes=262972 nbRestartNogoods=92
46.75 => wckTime=15.863 cpuTime=15.7 mem=17M265
53.58
53.58 search
53.58 run=21 nbConstraintChecks=40335229 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=218870
53.58 nbFailedAssignments=68848 nbBacktracks=149629 nbVisitedNodes=382199 nbRestartNogoods=99
53.58 => wckTime=22.693 cpuTime=22.5 mem=17M265
63.11
63.11 search
63.11 run=22 nbConstraintChecks=55747826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=321867
63.11 nbFailedAssignments=97011 nbBacktracks=224448 nbVisitedNodes=550825 nbRestartNogoods=104
63.11 => wckTime=32.227 cpuTime=32.0 mem=17M265
76.69
76.69 search
76.69 run=23 nbConstraintChecks=77590490 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=472187
76.69 nbFailedAssignments=135097 nbBacktracks=336675 nbVisitedNodes=794070 nbRestartNogoods=110
76.69 => wckTime=45.803 cpuTime=45.51 mem=17M265
96.36
96.36 search
96.36 run=24 nbConstraintChecks=109333537 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=697338
96.36 nbFailedAssignments=191893 nbBacktracks=505021 nbVisitedNodes=1153734 nbRestartNogoods=120
96.36 => wckTime=65.474 cpuTime=65.08 mem=17M265
100.20
100.20 search
100.20 run=25 nbConstraintChecks=115595070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=743085
100.20 nbFailedAssignments=203607 nbBacktracks=539055 nbVisitedNodes=1224965 nbRestartNogoods=125
100.20 => wckTime=69.317 cpuTime=68.91 mem=17M265
100.20
100.20 global
100.20 nbConstraintChecks=115598510 nbRestartNogoods=125 solvingWckTime=69.318 solvingCpuTime=68.91 expiredTime=no
100.20 totalExploration=yes nbFoundSolutions=0 globalCpuTime=99.26
100.20 => wckTime=99.896 cpuTime=99.21 mem=17M265
100.21
100.21 s OPTIMUM FOUND
100.21 v 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 0
100.21
100.21 totalWckTime=99.977 totalCpuTime=99.26
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-283042-1169325662 -o ROOT/results/node25/solver-283042-1169325662 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/283042-1169325662/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.88 1.98 1.96 4/94 30638
/proc/meminfo: memFree=1339504/2055920 swapFree=4170284/4192956
[pid=30637] ppid=30635 vsize=18540 CPUtime=0
/proc/30637/stat : 30637 (runsolver) R 30635 30637 30569 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 280958624 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30637/statm: 4635 279 244 17 0 2626 0
[startup+0.10733 s]
/proc/loadavg: 1.88 1.98 1.96 4/94 30638
/proc/meminfo: memFree=1339504/2055920 swapFree=4170284/4192956
[pid=30637] ppid=30635 vsize=914988 CPUtime=0.09
/proc/30637/stat : 30637 (java) R 30635 30637 30569 0 -1 0 3039 0 1 0 7 2 0 0 20 0 8 0 280958624 936947712 2785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155338256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 228747 2785 1443 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515401 s]
/proc/loadavg: 1.88 1.98 1.96 4/94 30638
/proc/meminfo: memFree=1339504/2055920 swapFree=4170284/4192956
[pid=30637] ppid=30635 vsize=915332 CPUtime=0.49
/proc/30637/stat : 30637 (java) R 30635 30637 30569 0 -1 0 6598 0 1 0 45 4 0 0 18 0 8 0 280958624 937299968 6336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155166432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 228833 6336 2296 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33654 s]
/proc/loadavg: 1.88 1.98 1.96 4/101 30645
/proc/meminfo: memFree=1322936/2055920 swapFree=4170284/4192956
[pid=30637] ppid=30635 vsize=915332 CPUtime=1.3
/proc/30637/stat : 30637 (java) R 30635 30637 30569 0 -1 0 6799 0 1 0 86 44 0 0 25 0 8 0 280958624 937299968 6537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 228833 6537 2479 14 0 215303 0
[pid=30637/tid=30639] ppid=30635 vsize=915332 CPUtime=0.02
/proc/30637/task/30639/stat : 30639 (java) S 30635 30637 30569 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280958628 937299968 6537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30640/stat : 30640 (java) S 30635 30637 30569 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280958628 937299968 6537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30641] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30641/stat : 30641 (java) S 30635 30637 30569 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280958628 937299968 6537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30642] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30642/stat : 30642 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280958631 937299968 6537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30643] ppid=30635 vsize=915332 CPUtime=0.08
/proc/30637/task/30643/stat : 30643 (java) S 30635 30637 30569 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 280958631 937299968 6537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30644] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30644/stat : 30644 (java) S 30635 30637 30569 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280958631 937299968 6537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30645] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30645/stat : 30645 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 16 0 8 0 280958631 937299968 6537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915332
[startup+2.98481 s]
/proc/loadavg: 1.89 1.98 1.96 3/101 30645
/proc/meminfo: memFree=1322936/2055920 swapFree=4170284/4192956
[pid=30637] ppid=30635 vsize=915332 CPUtime=2.95
/proc/30637/stat : 30637 (java) R 30635 30637 30569 0 -1 0 6802 0 1 0 165 130 0 0 25 0 8 0 280958624 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4086654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 228833 6539 2479 14 0 215303 0
[pid=30637/tid=30639] ppid=30635 vsize=915332 CPUtime=0.02
/proc/30637/task/30639/stat : 30639 (java) S 30635 30637 30569 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280958628 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30640/stat : 30640 (java) S 30635 30637 30569 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280958628 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30641] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30641/stat : 30641 (java) S 30635 30637 30569 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280958628 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30642] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30642/stat : 30642 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280958631 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30643] ppid=30635 vsize=915332 CPUtime=0.09
/proc/30637/task/30643/stat : 30643 (java) S 30635 30637 30569 0 -1 64 311 0 0 0 9 0 0 0 16 0 8 0 280958631 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30644] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30644/stat : 30644 (java) S 30635 30637 30569 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280958631 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30645] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30645/stat : 30645 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280958631 937299968 6539 18446744073709551615 134512640 134570532 4294956464 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) 915332
[startup+6.27237 s]
/proc/loadavg: 1.89 1.98 1.96 3/101 30645
/proc/meminfo: memFree=1322936/2055920 swapFree=4170284/4192956
[pid=30637] ppid=30635 vsize=915332 CPUtime=6.22
/proc/30637/stat : 30637 (java) R 30635 30637 30569 0 -1 0 6802 0 1 0 317 305 0 0 25 0 8 0 280958624 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073589559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 228833 6539 2479 14 0 215303 0
[pid=30637/tid=30639] ppid=30635 vsize=915332 CPUtime=0.02
/proc/30637/task/30639/stat : 30639 (java) S 30635 30637 30569 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280958628 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30640/stat : 30640 (java) S 30635 30637 30569 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280958628 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30641] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30641/stat : 30641 (java) S 30635 30637 30569 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280958628 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30642] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30642/stat : 30642 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280958631 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30643] ppid=30635 vsize=915332 CPUtime=0.09
/proc/30637/task/30643/stat : 30643 (java) S 30635 30637 30569 0 -1 64 311 0 0 0 9 0 0 0 16 0 8 0 280958631 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30644] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30644/stat : 30644 (java) S 30635 30637 30569 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280958631 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30645] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30645/stat : 30645 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280958631 937299968 6539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915332
[startup+12.7565 s]
/proc/loadavg: 1.90 1.98 1.96 3/101 30645
/proc/meminfo: memFree=1322880/2055920 swapFree=4170284/4192956
[pid=30637] ppid=30635 vsize=915332 CPUtime=12.67
/proc/30637/stat : 30637 (java) R 30635 30637 30569 0 -1 0 6803 0 1 0 617 650 0 0 25 0 8 0 280958624 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073589454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 228833 6540 2479 14 0 215303 0
[pid=30637/tid=30639] ppid=30635 vsize=915332 CPUtime=0.02
/proc/30637/task/30639/stat : 30639 (java) S 30635 30637 30569 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280958628 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30640/stat : 30640 (java) S 30635 30637 30569 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280958628 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30641] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30641/stat : 30641 (java) S 30635 30637 30569 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280958628 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30642] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30642/stat : 30642 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280958631 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30643] ppid=30635 vsize=915332 CPUtime=0.09
/proc/30637/task/30643/stat : 30643 (java) S 30635 30637 30569 0 -1 64 312 0 0 0 9 0 0 0 16 0 8 0 280958631 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30644] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30644/stat : 30644 (java) S 30635 30637 30569 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280958631 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30645] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30645/stat : 30645 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280958631 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915332
[startup+25.6107 s]
/proc/loadavg: 1.92 1.98 1.96 3/101 30645
/proc/meminfo: memFree=1323008/2055920 swapFree=4170284/4192956
[pid=30637] ppid=30635 vsize=915332 CPUtime=25.46
/proc/30637/stat : 30637 (java) R 30635 30637 30569 0 -1 0 6803 0 1 0 1212 1334 0 0 25 0 8 0 280958624 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073604608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 228833 6540 2479 14 0 215303 0
[pid=30637/tid=30639] ppid=30635 vsize=915332 CPUtime=0.02
/proc/30637/task/30639/stat : 30639 (java) S 30635 30637 30569 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280958628 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30640/stat : 30640 (java) S 30635 30637 30569 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280958628 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30641] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30641/stat : 30641 (java) S 30635 30637 30569 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280958628 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30642] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30642/stat : 30642 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280958631 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30643] ppid=30635 vsize=915332 CPUtime=0.09
/proc/30637/task/30643/stat : 30643 (java) S 30635 30637 30569 0 -1 64 312 0 0 0 9 0 0 0 16 0 8 0 280958631 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30644] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30644/stat : 30644 (java) S 30635 30637 30569 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280958631 937299968 6540 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30645] ppid=30635 vsize=915332 CPUtime=0
/proc/30637/task/30645/stat : 30645 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280958631 937299968 6540 18446744073709551615 134512640 134570532 4294956464 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) 915332
[startup+51.222 s]
/proc/loadavg: 1.95 1.98 1.96 3/101 30645
/proc/meminfo: memFree=1313984/2055920 swapFree=4170284/4192956
[pid=30637] ppid=30635 vsize=915472 CPUtime=50.94
/proc/30637/stat : 30637 (java) R 30635 30637 30569 0 -1 0 9130 0 1 0 3481 1613 0 0 25 0 8 0 280958624 937443328 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 228868 8864 2532 14 0 215338 0
[pid=30637/tid=30639] ppid=30635 vsize=915472 CPUtime=0.02
/proc/30637/task/30639/stat : 30639 (java) S 30635 30637 30569 0 -1 64 130 0 0 0 2 0 0 0 16 0 8 0 280958628 937443328 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=915472 CPUtime=0
/proc/30637/task/30640/stat : 30640 (java) S 30635 30637 30569 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280958628 937443328 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30641] ppid=30635 vsize=915472 CPUtime=0
/proc/30637/task/30641/stat : 30641 (java) S 30635 30637 30569 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280958628 937443328 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30642] ppid=30635 vsize=915472 CPUtime=0
/proc/30637/task/30642/stat : 30642 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280958631 937443328 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30643] ppid=30635 vsize=915472 CPUtime=0.2
/proc/30637/task/30643/stat : 30643 (java) S 30635 30637 30569 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280958631 937443328 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30644] ppid=30635 vsize=915472 CPUtime=0
/proc/30637/task/30644/stat : 30644 (java) S 30635 30637 30569 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280958631 937443328 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30637/tid=30645] ppid=30635 vsize=915472 CPUtime=0
/proc/30637/task/30645/stat : 30645 (java) S 30635 30637 30569 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280958631 937443328 8864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915472
Child status: 0
Real time (s): 100.244
CPU time (s): 99.7158
CPU user time (s): 83.5703
CPU system time (s): 16.1455
CPU usage (%): 99.473
Max. virtual memory (cumulated for all children) (KiB): 915472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.5703
system time used= 16.1455
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9237
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= 3076
involuntary context switches= 7519
runsolver used 0.137979 s user time and 0.32595 s system time
The end
Begin job on node25 on Sat Jan 20 20:41:02 UTC 2007
IDJOB= 283042
IDBENCH= 12984
IDSOLVER= 68
FILE ID= node25/283042-1169325662
PBS_JOBID= 3610501
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/geom-40-2-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/283042-1169325662/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-283042-1169325662 -o ROOT/results/node25/solver-283042-1169325662 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/283042-1169325662/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4b03e5504b43f1baf966786915db3fbb
RANDOM SEED= 532936272
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1339984 kB
Buffers: 46064 kB
Cached: 552240 kB
SwapCached: 8664 kB
Active: 218584 kB
Inactive: 422076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1339984 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 2264 kB
Writeback: 0 kB
Mapped: 57796 kB
Slab: 59936 kB
Committed_AS: 5482928 kB
PageTables: 2404 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node25 on Sat Jan 20 20:42:43 UTC 2007