0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/282998-1169325048/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=30 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.42
0.42 constraints being loaded...
0.47 nbConstraints=81 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=80
0.47 nbConflictsStructures=1 nbSharedConflictsStructures=80 nbSharedBinaryRepresentations=3 maxDegree=10 maxArity=2
0.47 => wckTime=0.151 cpuTime=0.11 mem=7M885
0.50
0.50 solver LocalSearchSolver being built...
0.55 => wckTime=0.235 cpuTime=0.15 mem=5M399
0.55
0.55 s SATISFIABLE
0.55 o 55
0.55 c 26
0.55 o 58
0.55 c 23
0.55 o 61
0.55 c 20
0.55 o 64
0.55 c 17
0.55 o 65
0.55 c 16
0.55 o 67
0.55 c 14
0.56 o 68
0.56 c 13
0.57 o 69
0.57 c 12
0.60 o 70
0.60 c 11
1.44
1.44 search
1.44 run=0 nbConstraintChecks=1670142 nbAssignments=10000
1.44 => wckTime=0.893 cpuTime=0.87 mem=5M399
2.23
2.23 search
2.23 run=1 nbConstraintChecks=3336358 nbAssignments=20000
2.23 => wckTime=1.685 cpuTime=1.66 mem=5M399
3.02
3.02 search
3.02 run=2 nbConstraintChecks=5006237 nbAssignments=30000
3.02 => wckTime=2.47 cpuTime=2.43 mem=5M399
3.81
3.81 search
3.81 run=3 nbConstraintChecks=6699018 nbAssignments=40000
3.81 => wckTime=3.262 cpuTime=3.21 mem=5M399
4.60
4.60 search
4.60 run=4 nbConstraintChecks=8368565 nbAssignments=50000
4.60 => wckTime=4.053 cpuTime=4.0 mem=5M399
5.38
5.38 search
5.38 run=5 nbConstraintChecks=10053610 nbAssignments=60000
5.38 => wckTime=4.836 cpuTime=4.79 mem=5M399
6.17
6.17 search
6.17 run=6 nbConstraintChecks=11721589 nbAssignments=70000
6.17 => wckTime=5.627 cpuTime=5.57 mem=5M399
6.97
6.97 search
6.97 run=7 nbConstraintChecks=13385166 nbAssignments=80000
6.97 => wckTime=6.418 cpuTime=6.34 mem=5M399
7.75
7.75 search
7.75 run=8 nbConstraintChecks=15048316 nbAssignments=90000
7.75 => wckTime=7.199 cpuTime=7.12 mem=5M399
8.54
8.54 search
8.54 run=9 nbConstraintChecks=16718376 nbAssignments=100000
8.54 => wckTime=7.99 cpuTime=7.91 mem=5M399
9.33
9.33 search
9.33 run=10 nbConstraintChecks=18386667 nbAssignments=110000
9.33 => wckTime=8.781 cpuTime=8.68 mem=5M399
10.12
10.12 search
10.12 run=11 nbConstraintChecks=20061441 nbAssignments=120000
10.12 => wckTime=9.569 cpuTime=9.47 mem=5M399
10.90
10.90 search
10.90 run=12 nbConstraintChecks=21722266 nbAssignments=130000
10.90 => wckTime=10.355 cpuTime=10.25 mem=5M399
11.70
11.70 search
11.70 run=13 nbConstraintChecks=23410130 nbAssignments=140000
11.70 => wckTime=11.15 cpuTime=11.04 mem=5M399
12.49
12.49 search
12.49 run=14 nbConstraintChecks=25070247 nbAssignments=150000
12.49 => wckTime=11.947 cpuTime=11.82 mem=5M399
13.28
13.28 search
13.28 run=15 nbConstraintChecks=26751940 nbAssignments=160000
13.28 => wckTime=12.737 cpuTime=12.61 mem=5M399
14.08
14.08 search
14.08 run=16 nbConstraintChecks=28419775 nbAssignments=170000
14.08 => wckTime=13.535 cpuTime=13.4 mem=5M399
14.88
14.88 search
14.88 run=17 nbConstraintChecks=30072778 nbAssignments=180000
14.88 => wckTime=14.331 cpuTime=14.18 mem=5M399
15.67
15.67 search
15.67 run=18 nbConstraintChecks=31737846 nbAssignments=190000
15.67 => wckTime=15.119 cpuTime=14.97 mem=5M399
16.46
16.46 search
16.46 run=19 nbConstraintChecks=33397236 nbAssignments=200000
16.46 => wckTime=15.915 cpuTime=15.76 mem=5M399
17.26
17.26 search
17.26 run=20 nbConstraintChecks=35064311 nbAssignments=210000
17.26 => wckTime=16.714 cpuTime=16.55 mem=5M399
18.06
18.06 search
18.06 run=21 nbConstraintChecks=36735771 nbAssignments=220000
18.06 => wckTime=17.508 cpuTime=17.34 mem=5M399
18.85
18.85 search
18.85 run=22 nbConstraintChecks=38393162 nbAssignments=230000
18.85 => wckTime=18.3 cpuTime=18.13 mem=5M399
19.64
19.64 search
19.64 run=23 nbConstraintChecks=40055841 nbAssignments=240000
19.64 => wckTime=19.096 cpuTime=18.91 mem=5M399
20.44
20.44 search
20.44 run=24 nbConstraintChecks=41711450 nbAssignments=250000
20.44 => wckTime=19.894 cpuTime=19.7 mem=5M399
21.23
21.23 search
21.23 run=25 nbConstraintChecks=43386786 nbAssignments=260000
21.23 => wckTime=20.684 cpuTime=20.49 mem=5M399
22.03
22.03 search
22.03 run=26 nbConstraintChecks=45053980 nbAssignments=270000
22.03 => wckTime=21.481 cpuTime=21.28 mem=5M399
22.82
22.82 search
22.82 run=27 nbConstraintChecks=46737546 nbAssignments=280000
22.82 => wckTime=22.275 cpuTime=22.06 mem=5M399
23.61
23.61 search
23.61 run=28 nbConstraintChecks=48399428 nbAssignments=290000
23.61 => wckTime=23.062 cpuTime=22.85 mem=5M399
24.40
24.40 search
24.40 run=29 nbConstraintChecks=50067724 nbAssignments=300000
24.40 => wckTime=23.85 cpuTime=23.63 mem=5M399
25.19
25.19 search
25.19 run=30 nbConstraintChecks=51725642 nbAssignments=310000
25.19 => wckTime=24.641 cpuTime=24.41 mem=5M399
25.98
25.98 search
25.98 run=31 nbConstraintChecks=53401615 nbAssignments=320000
25.98 => wckTime=25.431 cpuTime=25.19 mem=5M399
26.77
26.77 search
26.77 run=32 nbConstraintChecks=55062442 nbAssignments=330000
26.77 => wckTime=26.219 cpuTime=25.97 mem=5M399
27.56
27.56 search
27.56 run=33 nbConstraintChecks=56751643 nbAssignments=340000
27.56 => wckTime=27.014 cpuTime=26.76 mem=5M399
28.35
28.35 search
28.35 run=34 nbConstraintChecks=58415360 nbAssignments=350000
28.35 => wckTime=27.806 cpuTime=27.55 mem=5M399
29.14
29.14 search
29.14 run=35 nbConstraintChecks=60078521 nbAssignments=360000
29.14 => wckTime=28.588 cpuTime=28.32 mem=5M399
29.93
29.93 search
29.93 run=36 nbConstraintChecks=61734545 nbAssignments=370000
29.93 => wckTime=29.381 cpuTime=29.11 mem=5M399
30.72
30.72 search
30.72 run=37 nbConstraintChecks=63402897 nbAssignments=380000
30.72 => wckTime=30.175 cpuTime=29.9 mem=5M399
30.89
30.89 search
30.89 run=38 nbConstraintChecks=63743648 nbAssignments=382104
30.89 => wckTime=30.34 cpuTime=30.06 mem=5M399
30.89
30.89 global
30.89 nbConstraintChecks=63743648 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.89 solvingWckTime=30.337 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.89 globalCpuTime=30.27
30.89 => wckTime=30.574 cpuTime=30.21 mem=5M399
30.89
30.89 solver IterativeSystematicSolver being built...
31.02 => wckTime=30.707 cpuTime=30.32 mem=16M438
31.03
31.03 preprocessing
31.03 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.03 detectedInconsistency=no
31.03 => wckTime=0.0020 cpuTime=0.0 mem=16M438
31.06
31.06 search
31.06 run=0 nbConstraintChecks=6919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
31.06 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=56 nbRestartNogoods=0
31.06 => wckTime=0.036 cpuTime=0.02 mem=16M438
31.09
31.09 search
31.09 run=1 nbConstraintChecks=20989 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=96
31.09 nbFailedAssignments=35 nbBacktracks=26 nbVisitedNodes=158 nbRestartNogoods=3
31.09 => wckTime=0.068 cpuTime=0.04 mem=16M438
31.11
31.11 search
31.11 run=2 nbConstraintChecks=35360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=159
31.11 nbFailedAssignments=59 nbBacktracks=48 nbVisitedNodes=267 nbRestartNogoods=5
31.11 => wckTime=0.082 cpuTime=0.05 mem=16M438
31.12
31.12 search
31.12 run=3 nbConstraintChecks=53088 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=233
31.12 nbFailedAssignments=81 nbBacktracks=83 nbVisitedNodes=398 nbRestartNogoods=8
31.12 => wckTime=0.095 cpuTime=0.07 mem=16M438
31.15
31.15 search
31.15 run=4 nbConstraintChecks=87899 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=367
31.15 nbFailedAssignments=149 nbBacktracks=133 nbVisitedNodes=650 nbRestartNogoods=10
31.15 => wckTime=0.122 cpuTime=0.09 mem=16M438
31.17
31.17 search
31.17 run=5 nbConstraintChecks=138383 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=544
31.17 nbFailedAssignments=234 nbBacktracks=208 nbVisitedNodes=987 nbRestartNogoods=13
31.17 => wckTime=0.149 cpuTime=0.11 mem=16M438
31.20
31.20 search
31.20 run=6 nbConstraintChecks=198989 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=776
31.20 nbFailedAssignments=336 nbBacktracks=321 nbVisitedNodes=1434 nbRestartNogoods=20
31.20 => wckTime=0.181 cpuTime=0.14 mem=16M438
31.25
31.25 search
31.25 run=7 nbConstraintChecks=290660 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1123
31.25 nbFailedAssignments=496 nbBacktracks=491 nbVisitedNodes=2111 nbRestartNogoods=24
31.25 => wckTime=0.228 cpuTime=0.19 mem=16M438
31.34
31.34 search
31.34 run=8 nbConstraintChecks=444955 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1656
31.34 nbFailedAssignments=756 nbBacktracks=747 nbVisitedNodes=3160 nbRestartNogoods=30
31.34 => wckTime=0.318 cpuTime=0.26 mem=16M438
31.46
31.46 search
31.46 run=9 nbConstraintChecks=672259 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2497
31.46 nbFailedAssignments=1200 nbBacktracks=1131 nbVisitedNodes=4829 nbRestartNogoods=35
31.46 => wckTime=0.433 cpuTime=0.37 mem=16M438
31.62
31.62 search
31.62 run=10 nbConstraintChecks=993703 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3677
31.62 nbFailedAssignments=1790 nbBacktracks=1707 nbVisitedNodes=7175 nbRestartNogoods=41
31.62 => wckTime=0.592 cpuTime=0.52 mem=16M438
31.85
31.85 search
31.85 run=11 nbConstraintChecks=1501601 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5477
31.85 nbFailedAssignments=2713 nbBacktracks=2571 nbVisitedNodes=10761 nbRestartNogoods=46
31.85 => wckTime=0.823 cpuTime=0.74 mem=16M438
32.20
32.20 search
32.20 run=12 nbConstraintChecks=2261995 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8135
32.20 nbFailedAssignments=4062 nbBacktracks=3868 nbVisitedNodes=16036 nbRestartNogoods=54
32.20 => wckTime=1.172 cpuTime=1.09 mem=16M438
32.74
32.74 search
32.74 run=13 nbConstraintChecks=3430718 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12131
32.74 nbFailedAssignments=6098 nbBacktracks=5814 nbVisitedNodes=23909 nbRestartNogoods=63
32.74 => wckTime=1.717 cpuTime=1.63 mem=16M438
33.49
33.49 search
33.49 run=14 nbConstraintChecks=5083004 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17806
33.49 nbFailedAssignments=8842 nbBacktracks=8733 nbVisitedNodes=34886 nbRestartNogoods=73
33.49 => wckTime=2.466 cpuTime=2.38 mem=16M438
34.50
34.50 search
34.50 run=15 nbConstraintChecks=7358265 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25718
34.50 nbFailedAssignments=12369 nbBacktracks=13112 nbVisitedNodes=49851 nbRestartNogoods=79
34.50 => wckTime=3.477 cpuTime=3.38 mem=16M438
35.81
35.81 search
35.81 run=16 nbConstraintChecks=10247450 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36517
35.81 nbFailedAssignments=16584 nbBacktracks=19682 nbVisitedNodes=70310 nbRestartNogoods=82
35.81 => wckTime=4.783 cpuTime=4.67 mem=16M438
37.76
37.76 search
37.76 run=17 nbConstraintChecks=14451060 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53476
37.76 nbFailedAssignments=23681 nbBacktracks=29534 nbVisitedNodes=100427 nbRestartNogoods=92
37.76 => wckTime=6.734 cpuTime=6.6 mem=16M438
40.79
40.79 search
40.79 run=18 nbConstraintChecks=20420060 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76836
40.79 nbFailedAssignments=32249 nbBacktracks=44315 nbVisitedNodes=142680 nbRestartNogoods=101
40.79 => wckTime=9.763 cpuTime=9.6 mem=16M438
45.05
45.05 search
45.05 run=19 nbConstraintChecks=28949673 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112515
45.05 nbFailedAssignments=45749 nbBacktracks=66485 nbVisitedNodes=205261 nbRestartNogoods=111
45.05 => wckTime=14.03 cpuTime=13.83 mem=16M438
51.88
51.88 search
51.88 run=20 nbConstraintChecks=42407588 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=165110
51.88 nbFailedAssignments=65078 nbBacktracks=99738 nbVisitedNodes=300373 nbRestartNogoods=120
51.88 => wckTime=20.858 cpuTime=20.6 mem=16M438
61.75
61.75 search
61.75 run=21 nbConstraintChecks=60893235 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=245353
61.75 nbFailedAssignments=95433 nbBacktracks=149617 nbVisitedNodes=442466 nbRestartNogoods=134
61.75 => wckTime=30.731 cpuTime=30.39 mem=16M438
76.20
76.20 search
76.20 run=22 nbConstraintChecks=86838489 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=363441
76.20 nbFailedAssignments=138694 nbBacktracks=224437 nbVisitedNodes=650531 nbRestartNogoods=141
76.20 => wckTime=45.173 cpuTime=44.71 mem=16M438
88.04
88.04 search
88.04 run=23 nbConstraintChecks=107623425 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=458367
88.04 nbFailedAssignments=173299 nbBacktracks=284759 nbVisitedNodes=817460 nbRestartNogoods=148
88.04 => wckTime=57.013 cpuTime=56.45 mem=16M438
88.04
88.04 global
88.04 nbConstraintChecks=107623425 nbRestartNogoods=148 solvingWckTime=57.014 solvingCpuTime=56.45 expiredTime=no
88.04 totalExploration=yes nbFoundSolutions=0 globalCpuTime=86.83
88.04 => wckTime=87.722 cpuTime=86.77 mem=16M438
88.04
88.04 s OPTIMUM FOUND
88.04 v 1 2 2 0 0 0 1 2 0 2 2 0 2 1 1 2 1 1 2 1 1 1 0 0 0 2 0 0 1 0
88.04
88.04 totalWckTime=87.804 totalCpuTime=86.84
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-282998-1169325048 -o ROOT/results/node19/solver-282998-1169325048 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282998-1169325048/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.95 2.00 1.99 4/87 30619
/proc/meminfo: memFree=1097912/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=18540 CPUtime=0
/proc/30618/stat : 30618 (runsolver) R 30616 30618 29912 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 280899471 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30618/statm: 4635 279 244 17 0 2626 0
[startup+0.107793 s]
/proc/loadavg: 1.95 2.00 1.99 4/87 30619
/proc/meminfo: memFree=1097912/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=914988 CPUtime=0.09
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 2988 0 1 0 7 2 0 0 17 0 8 0 280899471 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515868 s]
/proc/loadavg: 1.95 2.00 1.99 4/87 30619
/proc/meminfo: memFree=1097912/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=0.49
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6660 0 1 0 45 4 0 0 18 0 8 0 280899471 937299968 6398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154579536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6398 2286 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33702 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1081024/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=1.3
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6879 0 1 0 89 41 0 0 25 0 8 0 280899471 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073601326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6617 2476 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 314 0 0 0 9 0 0 0 16 0 8 0 280899479 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 6617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 6617 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.98133 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1081024/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=2.93
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6882 0 1 0 172 121 0 0 25 0 8 0 280899471 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6619 2476 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915332
[startup+6.27095 s]
/proc/loadavg: 1.95 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1080960/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=6.2
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6882 0 1 0 333 287 0 0 25 0 8 0 280899471 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073601185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6619 2476 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 316 0 0 0 9 0 0 0 16 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 6619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915332
[startup+12.7492 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1081024/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915336 CPUtime=12.61
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6883 0 1 0 656 605 0 0 25 0 8 0 280899471 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228834 6620 2476 14 0 215304 0
[pid=30618/tid=30620] ppid=30616 vsize=915336 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915336 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 280899479 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915336 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937304064 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915336
[startup+25.6086 s]
/proc/loadavg: 1.97 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1081088/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=25.37
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 6883 0 1 0 1287 1250 0 0 25 0 8 0 280899471 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7695666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 6620 2476 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 128 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.09
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 317 0 0 0 9 0 0 0 16 0 8 0 280899479 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 6620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915332
[startup+51.2144 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 30626
/proc/meminfo: memFree=1072896/2055920 swapFree=4171264/4192956
[pid=30618] ppid=30616 vsize=915332 CPUtime=50.75
/proc/30618/stat : 30618 (java) R 30616 30618 29912 0 -1 0 9001 0 1 0 3554 1521 0 0 25 0 8 0 280899471 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30618/statm: 228833 8735 2527 14 0 215303 0
[pid=30618/tid=30620] ppid=30616 vsize=915332 CPUtime=0.02
/proc/30618/task/30620/stat : 30620 (java) S 30616 30618 29912 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 280899475 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30621] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30621/stat : 30621 (java) S 30616 30618 29912 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280899476 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30622] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30622/stat : 30622 (java) S 30616 30618 29912 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280899476 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30623] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30623/stat : 30623 (java) S 30616 30618 29912 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 280899479 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30624] ppid=30616 vsize=915332 CPUtime=0.2
/proc/30618/task/30624/stat : 30624 (java) S 30616 30618 29912 0 -1 64 371 0 0 0 19 1 0 0 16 0 8 0 280899479 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30625] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30625/stat : 30625 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280899479 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30618/tid=30626] ppid=30616 vsize=915332 CPUtime=0
/proc/30618/task/30626/stat : 30626 (java) S 30616 30618 29912 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280899479 937299968 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915332
Child status: 0
Real time (s): 88.0964
CPU time (s): 87.2847
CPU user time (s): 72.061
CPU system time (s): 15.2237
CPU usage (%): 99.0787
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.061
system time used= 15.2237
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9106
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= 2781
involuntary context switches= 5028
runsolver used 0.119981 s user time and 0.285956 s system time
The end
Begin job on node19 on Sat Jan 20 20:30:48 UTC 2007
IDJOB= 282998
IDBENCH= 12975
IDSOLVER= 69
FILE ID= node19/282998-1169325048
PBS_JOBID= 3610082
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/geom-30a-3-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282998-1169325048/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-282998-1169325048 -o ROOT/results/node19/solver-282998-1169325048 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282998-1169325048/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 988fc81fbaf808399fb7936f353f616c
RANDOM SEED= 295117179
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.260
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.260
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: 1098392 kB
Buffers: 65496 kB
Cached: 717928 kB
SwapCached: 11088 kB
Active: 412412 kB
Inactive: 463192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1098392 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 102156 kB
Slab: 66460 kB
Committed_AS: 8535816 kB
PageTables: 2492 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= 66560 MiB
End job on node19 on Sat Jan 20 20:32:17 UTC 2007