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/281540-1169312940/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.46
0.46 constraints being loaded...
0.50 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.50 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1059 maxDegree=10
0.50 maxArity=2
0.50 => wckTime=0.185 cpuTime=0.14 mem=7M950
0.54
0.54 solver LocalSearchSolver being built...
0.59 => wckTime=0.269 cpuTime=0.18 mem=5M428
0.59
0.59 s SATISFIABLE
0.59 o 10
0.59 c 53
0.59 o 13
0.59 c 50
0.59 o 15
0.60 c 48
0.60 o 17
0.60 c 46
0.60 o 19
0.60 c 44
0.60 o 22
0.60 c 41
0.60 o 24
0.60 c 39
0.60 o 26
0.60 c 37
0.60 o 27
0.60 c 36
0.60 o 29
0.60 c 34
0.60 o 30
0.60 c 33
0.60 o 31
0.60 c 32
0.60 o 33
0.60 c 30
0.60 o 34
0.61 c 29
0.61 o 35
0.61 c 28
0.61 o 36
0.61 c 27
0.61 o 37
0.61 c 26
0.61 o 38
0.61 c 25
0.61 o 39
0.61 c 24
0.62 o 40
0.62 c 23
0.62 o 41
0.62 c 22
0.62 o 42
0.62 c 21
0.62 o 43
0.62 c 20
0.62 o 44
0.62 c 19
0.62 o 45
0.62 c 18
0.62 o 46
0.62 c 17
1.96
1.96 search
1.96 run=0 nbConstraintChecks=6455544 nbAssignments=10000
1.96 => wckTime=1.375 cpuTime=1.35 mem=5M428
3.27
3.27 search
3.27 run=1 nbConstraintChecks=12804149 nbAssignments=20000
3.27 => wckTime=2.684 cpuTime=2.64 mem=5M428
4.59
4.59 search
4.59 run=2 nbConstraintChecks=19154227 nbAssignments=30000
4.59 => wckTime=4.002 cpuTime=3.94 mem=5M428
5.90
5.90 search
5.90 run=3 nbConstraintChecks=25510469 nbAssignments=40000
5.90 => wckTime=5.317 cpuTime=5.24 mem=5M428
7.22
7.22 search
7.22 run=4 nbConstraintChecks=31858829 nbAssignments=50000
7.22 => wckTime=6.631 cpuTime=6.55 mem=5M428
8.53
8.53 search
8.53 run=5 nbConstraintChecks=38282280 nbAssignments=60000
8.53 => wckTime=7.942 cpuTime=7.85 mem=5M428
9.83
9.83 search
9.83 run=6 nbConstraintChecks=44616251 nbAssignments=70000
9.83 => wckTime=9.248 cpuTime=9.14 mem=5M428
11.15
11.15 search
11.15 run=7 nbConstraintChecks=51112844 nbAssignments=80000
11.15 => wckTime=10.562 cpuTime=10.45 mem=5M428
12.47
12.47 search
12.47 run=8 nbConstraintChecks=57541337 nbAssignments=90000
12.47 => wckTime=11.883 cpuTime=11.75 mem=5M428
13.77
13.77 search
13.77 run=9 nbConstraintChecks=63887534 nbAssignments=100000
13.77 => wckTime=13.183 cpuTime=13.04 mem=5M428
15.07
15.07 search
15.07 run=10 nbConstraintChecks=70227717 nbAssignments=110000
15.07 => wckTime=14.486 cpuTime=14.34 mem=5M428
16.38
16.38 search
16.38 run=11 nbConstraintChecks=76611699 nbAssignments=120000
16.38 => wckTime=15.799 cpuTime=15.64 mem=5M428
17.70
17.70 search
17.70 run=12 nbConstraintChecks=82984051 nbAssignments=130000
17.70 => wckTime=17.112 cpuTime=16.94 mem=5M428
19.03
19.03 search
19.03 run=13 nbConstraintChecks=89522409 nbAssignments=140000
19.03 => wckTime=18.448 cpuTime=18.27 mem=5M428
20.36
20.36 search
20.36 run=14 nbConstraintChecks=95899461 nbAssignments=150000
20.36 => wckTime=19.771 cpuTime=19.57 mem=5M428
21.70
21.70 search
21.70 run=15 nbConstraintChecks=102453493 nbAssignments=160000
21.70 => wckTime=21.113 cpuTime=20.9 mem=5M428
23.01
23.01 search
23.01 run=16 nbConstraintChecks=108795924 nbAssignments=170000
23.01 => wckTime=22.428 cpuTime=22.2 mem=5M428
24.34
24.34 search
24.34 run=17 nbConstraintChecks=115274648 nbAssignments=180000
24.34 => wckTime=23.758 cpuTime=23.53 mem=5M428
25.66
25.66 search
25.66 run=18 nbConstraintChecks=121638006 nbAssignments=190000
25.66 => wckTime=25.078 cpuTime=24.84 mem=5M428
26.97
26.97 search
26.97 run=19 nbConstraintChecks=127935603 nbAssignments=200000
26.97 => wckTime=26.388 cpuTime=26.13 mem=5M428
28.29
28.29 search
28.29 run=20 nbConstraintChecks=134306599 nbAssignments=210000
28.29 => wckTime=27.705 cpuTime=27.43 mem=5M428
29.61
29.61 search
29.61 run=21 nbConstraintChecks=140748508 nbAssignments=220000
29.61 => wckTime=29.022 cpuTime=28.74 mem=5M428
30.90
30.90 search
30.90 run=22 nbConstraintChecks=147084403 nbAssignments=229841
30.90 => wckTime=30.315 cpuTime=30.03 mem=5M428
30.90
30.90 global
30.90 nbConstraintChecks=147084403 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.90 solvingWckTime=30.313 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.90 globalCpuTime=30.27
30.90 => wckTime=30.584 cpuTime=30.21 mem=5M428
30.90
30.90 solver IterativeSystematicSolver being built...
31.03 => wckTime=30.717 cpuTime=30.31 mem=16M434
31.04
31.04 preprocessing
31.04 nbConstraintChecks=1170 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.04 detectedInconsistency=no
31.04 => wckTime=0.0050 cpuTime=0.01 mem=16M434
31.11
31.11 search
31.11 run=0 nbConstraintChecks=104488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66
31.11 nbFailedAssignments=51 nbBacktracks=11 nbVisitedNodes=129 nbRestartNogoods=0
31.11 => wckTime=0.073 cpuTime=0.06 mem=16M434
31.17
31.17 search
31.17 run=1 nbConstraintChecks=253851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=150
31.17 nbFailedAssignments=112 nbBacktracks=26 nbVisitedNodes=289 nbRestartNogoods=3
31.17 => wckTime=0.135 cpuTime=0.1 mem=16M434
31.22
31.22 search
31.22 run=2 nbConstraintChecks=422138 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=238
31.22 nbFailedAssignments=176 nbBacktracks=49 nbVisitedNodes=464 nbRestartNogoods=18
31.22 => wckTime=0.186 cpuTime=0.15 mem=16M434
31.26
31.26 search
31.26 run=3 nbConstraintChecks=585072 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=328
31.26 nbFailedAssignments=229 nbBacktracks=82 nbVisitedNodes=638 nbRestartNogoods=19
31.26 => wckTime=0.228 cpuTime=0.19 mem=16M434
31.35
31.35 search
31.35 run=4 nbConstraintChecks=856452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=490
31.35 nbFailedAssignments=338 nbBacktracks=132 nbVisitedNodes=957 nbRestartNogoods=29
31.35 => wckTime=0.311 cpuTime=0.28 mem=16M434
31.46
31.46 search
31.46 run=5 nbConstraintChecks=1265497 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=720
31.46 nbFailedAssignments=485 nbBacktracks=207 nbVisitedNodes=1405 nbRestartNogoods=33
31.46 => wckTime=0.426 cpuTime=0.39 mem=16M434
31.64
31.64 search
31.64 run=6 nbConstraintChecks=1887149 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1085
31.64 nbFailedAssignments=733 nbBacktracks=320 nbVisitedNodes=2129 nbRestartNogoods=44
31.64 => wckTime=0.608 cpuTime=0.56 mem=16M434
31.92
31.92 search
31.92 run=7 nbConstraintChecks=2856886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1592
31.92 nbFailedAssignments=1064 nbBacktracks=490 nbVisitedNodes=3128 nbRestartNogoods=49
31.92 => wckTime=0.883 cpuTime=0.81 mem=16M434
32.30
32.30 search
32.30 run=8 nbConstraintChecks=4190758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2487
32.30 nbFailedAssignments=1696 nbBacktracks=746 nbVisitedNodes=4907 nbRestartNogoods=58
32.30 => wckTime=1.264 cpuTime=1.19 mem=16M434
32.80
32.80 search
32.80 run=9 nbConstraintChecks=5942518 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3689
32.80 nbFailedAssignments=2506 nbBacktracks=1130 nbVisitedNodes=7303 nbRestartNogoods=71
32.80 => wckTime=1.767 cpuTime=1.69 mem=16M434
33.67
33.67 search
33.67 run=10 nbConstraintChecks=9665806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5728
33.67 nbFailedAssignments=3961 nbBacktracks=1706 nbVisitedNodes=11336 nbRestartNogoods=80
33.67 => wckTime=2.638 cpuTime=2.55 mem=16M434
34.79
34.79 search
34.79 run=11 nbConstraintChecks=13996900 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8546
34.79 nbFailedAssignments=5909 nbBacktracks=2570 nbVisitedNodes=16954 nbRestartNogoods=104
34.79 => wckTime=3.756 cpuTime=3.65 mem=16M434
36.75
36.75 search
36.75 run=12 nbConstraintChecks=21818058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12698
36.75 nbFailedAssignments=8756 nbBacktracks=3867 nbVisitedNodes=25208 nbRestartNogoods=129
36.75 => wckTime=5.716 cpuTime=5.59 mem=16M434
39.46
39.46 search
39.46 run=13 nbConstraintChecks=32047845 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18590
39.46 nbFailedAssignments=12699 nbBacktracks=5813 nbVisitedNodes=36909 nbRestartNogoods=146
39.46 => wckTime=8.423 cpuTime=8.28 mem=16M434
44.76
44.76 search
44.76 run=14 nbConstraintChecks=51069366 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30587
44.76 nbFailedAssignments=21771 nbBacktracks=8733 nbVisitedNodes=60731 nbRestartNogoods=160
44.76 => wckTime=13.726 cpuTime=13.54 mem=16M434
52.55
52.55 search
52.55 run=15 nbConstraintChecks=81676395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48185
52.55 nbFailedAssignments=34985 nbBacktracks=13111 nbVisitedNodes=95578 nbRestartNogoods=170
52.55 => wckTime=21.519 cpuTime=21.26 mem=16M434
61.33
61.33 search
61.33 run=16 nbConstraintChecks=114947458 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68179
61.33 nbFailedAssignments=48407 nbBacktracks=19679 nbVisitedNodes=135264 nbRestartNogoods=190
61.33 => wckTime=30.296 cpuTime=29.96 mem=16M434
78.04
78.05 search
78.05 run=17 nbConstraintChecks=179124774 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=106009
78.05 nbFailedAssignments=76381 nbBacktracks=29531 nbVisitedNodes=210306 nbRestartNogoods=201
78.05 => wckTime=47.009 cpuTime=46.53 mem=16M434
97.97
97.97 search
97.97 run=18 nbConstraintChecks=252716225 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=149642
97.97 nbFailedAssignments=106047 nbBacktracks=43499 nbVisitedNodes=296314 nbRestartNogoods=218
97.97 => wckTime=66.932 cpuTime=66.29 mem=16M434
97.97
97.97 global
97.97 nbConstraintChecks=252717395 nbRestartNogoods=218 solvingWckTime=66.933 solvingCpuTime=66.29 expiredTime=no
97.97 totalExploration=yes nbFoundSolutions=0 globalCpuTime=96.66
97.97 => wckTime=97.652 cpuTime=96.6 mem=16M434
97.97
97.97 s OPTIMUM FOUND
97.97 v 5 8 7 8 6 7 4 1 2 1 7 0 9 3 9 4 9 7 6 1 9 1 5 3 9
97.97
97.97 totalWckTime=97.733 totalCpuTime=96.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-281540-1169312940 -o ROOT/results/node10/solver-281540-1169312940 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281540-1169312940/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.92 1.98 1.99 4/87 25500
/proc/meminfo: memFree=1213072/2055920 swapFree=4178232/4192956
[pid=25499] ppid=25497 vsize=18540 CPUtime=0
/proc/25499/stat : 25499 (runsolver) R 25497 25499 25383 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279689153 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25499/statm: 4635 279 244 17 0 2626 0
[startup+0.107021 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 25500
/proc/meminfo: memFree=1213072/2055920 swapFree=4178232/4192956
[pid=25499] ppid=25497 vsize=914988 CPUtime=0.09
/proc/25499/stat : 25499 (java) R 25497 25499 25383 0 -1 0 2981 0 1 0 7 2 0 0 17 0 8 0 279689153 936947712 2727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154160102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25499/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515073 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 25500
/proc/meminfo: memFree=1213072/2055920 swapFree=4178232/4192956
[pid=25499] ppid=25497 vsize=915332 CPUtime=0.49
/proc/25499/stat : 25499 (java) R 25497 25499 25383 0 -1 0 6469 0 1 0 44 5 0 0 18 0 8 0 279689153 937299968 6207 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25499/statm: 228833 6207 2160 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33618 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 25507
/proc/meminfo: memFree=1195928/2055920 swapFree=4178232/4192956
[pid=25499] ppid=25497 vsize=915440 CPUtime=1.3
/proc/25499/stat : 25499 (java) R 25497 25499 25383 0 -1 0 6950 0 1 0 104 26 0 0 25 0 8 0 279689153 937410560 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25499/statm: 228860 6688 2476 14 0 215330 0
[pid=25499/tid=25501] ppid=25497 vsize=915440 CPUtime=0.02
/proc/25499/task/25501/stat : 25501 (java) S 25497 25499 25383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279689157 937410560 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25502] ppid=25497 vsize=915440 CPUtime=0
/proc/25499/task/25502/stat : 25502 (java) S 25497 25499 25383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279689157 937410560 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25503] ppid=25497 vsize=915440 CPUtime=0
/proc/25499/task/25503/stat : 25503 (java) S 25497 25499 25383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279689157 937410560 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25504] ppid=25497 vsize=915440 CPUtime=0
/proc/25499/task/25504/stat : 25504 (java) S 25497 25499 25383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279689161 937410560 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25505] ppid=25497 vsize=915440 CPUtime=0.1
/proc/25499/task/25505/stat : 25505 (java) S 25497 25499 25383 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 279689161 937410560 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25506] ppid=25497 vsize=915440 CPUtime=0
/proc/25499/task/25506/stat : 25506 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279689161 937410560 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25507] ppid=25497 vsize=915440 CPUtime=0
/proc/25499/task/25507/stat : 25507 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279689161 937410560 6688 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) 915440
[startup+2.9884 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 25507
/proc/meminfo: memFree=1195864/2055920 swapFree=4178232/4192956
[pid=25499] ppid=25497 vsize=915436 CPUtime=2.94
/proc/25499/stat : 25499 (java) R 25497 25499 25383 0 -1 0 6953 0 1 0 217 77 0 0 25 0 8 0 279689153 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25499/statm: 228859 6690 2476 14 0 215329 0
[pid=25499/tid=25501] ppid=25497 vsize=915436 CPUtime=0.02
/proc/25499/task/25501/stat : 25501 (java) S 25497 25499 25383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279689157 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25502] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25502/stat : 25502 (java) S 25497 25499 25383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279689157 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25503] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25503/stat : 25503 (java) S 25497 25499 25383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279689157 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25504] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25504/stat : 25504 (java) S 25497 25499 25383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25505] ppid=25497 vsize=915436 CPUtime=0.1
/proc/25499/task/25505/stat : 25505 (java) S 25497 25499 25383 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25506] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25506/stat : 25506 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25507] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25507/stat : 25507 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915436
[startup+6.28485 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 25507
/proc/meminfo: memFree=1195864/2055920 swapFree=4178232/4192956
[pid=25499] ppid=25497 vsize=915436 CPUtime=6.21
/proc/25499/stat : 25499 (java) R 25497 25499 25383 0 -1 0 6953 0 1 0 448 173 0 0 25 0 8 0 279689153 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073646774 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25499/statm: 228859 6690 2476 14 0 215329 0
[pid=25499/tid=25501] ppid=25497 vsize=915436 CPUtime=0.02
/proc/25499/task/25501/stat : 25501 (java) S 25497 25499 25383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279689157 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25502] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25502/stat : 25502 (java) S 25497 25499 25383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279689157 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25503] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25503/stat : 25503 (java) S 25497 25499 25383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279689157 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25504] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25504/stat : 25504 (java) S 25497 25499 25383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25505] ppid=25497 vsize=915436 CPUtime=0.1
/proc/25499/task/25505/stat : 25505 (java) S 25497 25499 25383 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25506] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25506/stat : 25506 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25507] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25507/stat : 25507 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915436
[startup+12.7707 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 25507
/proc/meminfo: memFree=1195928/2055920 swapFree=4178232/4192956
[pid=25499] ppid=25497 vsize=915436 CPUtime=12.63
/proc/25499/stat : 25499 (java) R 25497 25499 25383 0 -1 0 6953 0 1 0 897 366 0 0 25 0 8 0 279689153 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649779 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25499/statm: 228859 6690 2476 14 0 215329 0
[pid=25499/tid=25501] ppid=25497 vsize=915436 CPUtime=0.02
/proc/25499/task/25501/stat : 25501 (java) S 25497 25499 25383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279689157 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25502] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25502/stat : 25502 (java) S 25497 25499 25383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279689157 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25503] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25503/stat : 25503 (java) S 25497 25499 25383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279689157 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25504] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25504/stat : 25504 (java) S 25497 25499 25383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25505] ppid=25497 vsize=915436 CPUtime=0.1
/proc/25499/task/25505/stat : 25505 (java) S 25497 25499 25383 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25506] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25506/stat : 25506 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25507] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25507/stat : 25507 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279689161 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915436
[startup+25.6135 s]
/proc/loadavg: 2.10 2.02 2.00 3/94 25507
/proc/meminfo: memFree=1196056/2055920 swapFree=4178232/4192956
[pid=25499] ppid=25497 vsize=915436 CPUtime=25.36
/proc/25499/stat : 25499 (java) R 25497 25499 25383 0 -1 0 6955 0 1 0 1776 760 0 0 25 0 8 0 279689153 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25499/statm: 228859 6691 2476 14 0 215329 0
[pid=25499/tid=25501] ppid=25497 vsize=915436 CPUtime=0.02
/proc/25499/task/25501/stat : 25501 (java) S 25497 25499 25383 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279689157 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25502] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25502/stat : 25502 (java) S 25497 25499 25383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279689157 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25503] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25503/stat : 25503 (java) S 25497 25499 25383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279689157 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25504] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25504/stat : 25504 (java) S 25497 25499 25383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279689161 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25505] ppid=25497 vsize=915436 CPUtime=0.11
/proc/25499/task/25505/stat : 25505 (java) S 25497 25499 25383 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279689161 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25506] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25506/stat : 25506 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279689161 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25507] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25507/stat : 25507 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279689161 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915436
[startup+51.228 s]
/proc/loadavg: 2.07 2.01 2.00 4/94 25507
/proc/meminfo: memFree=1188120/2055920 swapFree=4178232/4192956
[pid=25499] ppid=25497 vsize=915436 CPUtime=50.75
/proc/25499/stat : 25499 (java) R 25497 25499 25383 0 -1 0 8994 0 1 0 4151 924 0 0 25 0 8 0 279689153 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25499/statm: 228859 8726 2527 14 0 215329 0
[pid=25499/tid=25501] ppid=25497 vsize=915436 CPUtime=0.02
/proc/25499/task/25501/stat : 25501 (java) S 25497 25499 25383 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279689157 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25502] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25502/stat : 25502 (java) S 25497 25499 25383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279689157 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25503] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25503/stat : 25503 (java) S 25497 25499 25383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279689157 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25504] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25504/stat : 25504 (java) S 25497 25499 25383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279689161 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25505] ppid=25497 vsize=915436 CPUtime=0.21
/proc/25499/task/25505/stat : 25505 (java) S 25497 25499 25383 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 279689161 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25506] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25506/stat : 25506 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279689161 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25499/tid=25507] ppid=25497 vsize=915436 CPUtime=0
/proc/25499/task/25507/stat : 25507 (java) S 25497 25499 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279689161 937406464 8726 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) 915436
Child status: 0
Real time (s): 97.9973
CPU time (s): 97.1262
CPU user time (s): 87.8706
CPU system time (s): 9.25559
CPU usage (%): 99.1112
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.8706
system time used= 9.25559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9099
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= 3023
involuntary context switches= 7188
runsolver used 0.114982 s user time and 0.342947 s system time
The end
Begin job on node10 on Sat Jan 20 17:09:00 UTC 2007
IDJOB= 281540
IDBENCH= 12202
IDSOLVER= 69
FILE ID= node10/281540-1169312940
PBS_JOBID= 3609998
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281540-1169312940/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-281540-1169312940 -o ROOT/results/node10/solver-281540-1169312940 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281540-1169312940/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e1a4f58ce2ce965128e681ea6bce983c
RANDOM SEED= 139239780
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.232
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.232
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: 1213488 kB
Buffers: 61744 kB
Cached: 605900 kB
SwapCached: 2904 kB
Active: 272200 kB
Inactive: 492372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1213488 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 2132 kB
Writeback: 0 kB
Mapped: 107248 kB
Slab: 62516 kB
Committed_AS: 7925124 kB
PageTables: 2336 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 node10 on Sat Jan 20 17:10:38 UTC 2007