0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/280910-1169308455/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.52 nbConstraints=109 nbRelationTypes=109 nbDisconnectedVariables=1 nbExtensionStructures=109
0.52 nbSharedExtensionStructures=0 nbConflictsStructures=109 nbSharedConflictsStructures=0
0.52 nbSharedBinaryRepresentations=1277 maxDegree=12 maxArity=2
0.52 => wckTime=0.211 cpuTime=0.16 mem=8M893
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.294 cpuTime=0.2 mem=5M497
0.61
0.61 s SATISFIABLE
0.61 o 68
0.61 c 41
0.61 o 71
0.61 c 38
0.61 o 73
0.61 c 36
0.61 o 74
0.61 c 35
0.61 o 77
0.61 c 32
0.61 o 79
0.61 c 30
0.61 o 81
0.61 c 28
0.61 o 83
0.61 c 26
0.62 o 85
0.62 c 24
0.62 o 87
0.62 c 22
0.62 o 88
0.62 c 21
0.62 o 89
0.62 c 20
0.62 o 91
0.62 c 18
0.62 o 92
0.62 c 17
0.62 o 93
0.62 c 16
0.62 o 95
0.62 c 14
0.62 o 96
0.62 c 13
0.62 o 98
0.62 c 11
0.62 o 99
0.62 c 10
0.63 o 100
0.63 c 9
0.63 o 101
0.63 c 8
0.63 o 102
0.63 c 7
0.65 o 103
0.65 c 6
0.65 o 104
0.65 c 5
0.68 o 105
0.68 c 4
0.95 o 106
0.95 c 3
2.00
2.00 search
2.00 run=0 nbConstraintChecks=6076128 nbAssignments=10000
2.00 => wckTime=1.395 cpuTime=1.37 mem=5M497
3.37
3.37 search
3.37 run=1 nbConstraintChecks=12589711 nbAssignments=20000
3.37 => wckTime=2.772 cpuTime=2.73 mem=5M497
4.68
4.68 search
4.68 run=2 nbConstraintChecks=18604727 nbAssignments=30000
4.68 => wckTime=4.08 cpuTime=4.03 mem=5M497
6.04
6.04 search
6.04 run=3 nbConstraintChecks=24982295 nbAssignments=40000
6.04 => wckTime=5.435 cpuTime=5.38 mem=5M497
7.34
7.34 search
7.34 run=4 nbConstraintChecks=30901203 nbAssignments=50000
7.34 => wckTime=6.736 cpuTime=6.68 mem=5M497
8.70
8.70 search
8.70 run=5 nbConstraintChecks=37310131 nbAssignments=60000
8.70 => wckTime=8.1 cpuTime=8.03 mem=5M497
10.03
10.03 search
10.03 run=6 nbConstraintChecks=43457359 nbAssignments=70000
10.03 => wckTime=9.433 cpuTime=9.36 mem=5M497
11.38
11.38 search
11.38 run=7 nbConstraintChecks=49549241 nbAssignments=80000
11.38 => wckTime=10.777 cpuTime=10.69 mem=5M497
12.71
12.71 search
12.71 run=8 nbConstraintChecks=55563774 nbAssignments=90000
12.71 => wckTime=12.105 cpuTime=12.02 mem=5M497
14.07
14.07 search
14.07 run=9 nbConstraintChecks=61838815 nbAssignments=100000
14.07 => wckTime=13.465 cpuTime=13.37 mem=5M497
15.39
15.39 search
15.39 run=10 nbConstraintChecks=67836901 nbAssignments=110000
15.39 => wckTime=14.788 cpuTime=14.68 mem=5M497
16.77
16.77 search
16.77 run=11 nbConstraintChecks=74326722 nbAssignments=120000
16.77 => wckTime=16.165 cpuTime=16.06 mem=5M497
18.08
18.08 search
18.08 run=12 nbConstraintChecks=80236869 nbAssignments=130000
18.08 => wckTime=17.477 cpuTime=17.37 mem=5M497
19.47
19.47 search
19.47 run=13 nbConstraintChecks=86713640 nbAssignments=140000
19.47 => wckTime=18.867 cpuTime=18.75 mem=5M497
20.78
20.78 search
20.78 run=14 nbConstraintChecks=92670256 nbAssignments=150000
20.78 => wckTime=20.174 cpuTime=20.05 mem=5M497
22.13
22.13 search
22.13 run=15 nbConstraintChecks=99002162 nbAssignments=160000
22.13 => wckTime=21.531 cpuTime=21.4 mem=5M497
23.44
23.44 search
23.44 run=16 nbConstraintChecks=104953460 nbAssignments=170000
23.44 => wckTime=22.836 cpuTime=22.69 mem=5M497
24.79
24.79 search
24.79 run=17 nbConstraintChecks=111308858 nbAssignments=180000
24.79 => wckTime=24.192 cpuTime=24.05 mem=5M497
26.14
26.14 search
26.14 run=18 nbConstraintChecks=117512604 nbAssignments=190000
26.14 => wckTime=25.535 cpuTime=25.38 mem=5M497
27.50
27.50 search
27.50 run=19 nbConstraintChecks=123886307 nbAssignments=200000
27.50 => wckTime=26.894 cpuTime=26.73 mem=5M497
28.79
28.79 search
28.79 run=20 nbConstraintChecks=129723888 nbAssignments=210000
28.79 => wckTime=28.19 cpuTime=28.02 mem=5M497
30.13
30.13 search
30.13 run=21 nbConstraintChecks=135876229 nbAssignments=220000
30.13 => wckTime=29.527 cpuTime=29.36 mem=5M497
31.10
31.10 search
31.10 run=22 nbConstraintChecks=140274194 nbAssignments=227394
31.10 => wckTime=30.502 cpuTime=30.33 mem=5M497
31.11
31.11 global
31.11 nbConstraintChecks=140274194 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.11 solvingWckTime=30.5 solvingCpuTime=30.33 expiredTime=no totalExploration=no nbFoundSolutions=0
31.11 globalCpuTime=30.58
31.11 => wckTime=30.796 cpuTime=30.53 mem=5M497
31.11
31.11 solver IterativeSystematicSolver being built...
31.24 => wckTime=30.928 cpuTime=30.63 mem=16M519
31.24
31.24 preprocessing
31.24 nbConstraintChecks=10 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.24 detectedInconsistency=no
31.24 => wckTime=0.0040 cpuTime=0.0 mem=16M519
31.31
31.32 search
31.32 run=0 nbConstraintChecks=83561 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57
31.32 nbFailedAssignments=41 nbBacktracks=11 nbVisitedNodes=110 nbRestartNogoods=0
31.32 => wckTime=0.076 cpuTime=0.05 mem=16M519
31.37
31.37 search
31.37 run=1 nbConstraintChecks=219165 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=141
31.37 nbFailedAssignments=102 nbBacktracks=26 nbVisitedNodes=270 nbRestartNogoods=9
31.37 => wckTime=0.133 cpuTime=0.1 mem=16M519
31.44
31.44 search
31.44 run=2 nbConstraintChecks=433847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=304
31.44 nbFailedAssignments=234 nbBacktracks=48 nbVisitedNodes=587 nbRestartNogoods=37
31.44 => wckTime=0.201 cpuTime=0.17 mem=16M519
31.49
31.49 search
31.49 run=3 nbConstraintChecks=586852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=392
31.49 nbFailedAssignments=280 nbBacktracks=81 nbVisitedNodes=754 nbRestartNogoods=57
31.49 => wckTime=0.256 cpuTime=0.22 mem=16M519
31.57
31.57 search
31.57 run=4 nbConstraintChecks=808636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=518
31.57 nbFailedAssignments=346 nbBacktracks=131 nbVisitedNodes=996 nbRestartNogoods=63
31.57 => wckTime=0.335 cpuTime=0.3 mem=16M519
31.73
31.73 search
31.73 run=5 nbConstraintChecks=1292816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=797
31.73 nbFailedAssignments=544 nbBacktracks=206 nbVisitedNodes=1547 nbRestartNogoods=74
31.73 => wckTime=0.492 cpuTime=0.45 mem=16M519
31.92
31.92 search
31.92 run=6 nbConstraintChecks=1996766 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1294
31.92 nbFailedAssignments=918 nbBacktracks=319 nbVisitedNodes=2528 nbRestartNogoods=83
31.92 => wckTime=0.678 cpuTime=0.64 mem=16M519
32.31
32.31 search
32.31 run=7 nbConstraintChecks=3503818 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2167
32.31 nbFailedAssignments=1614 nbBacktracks=490 nbVisitedNodes=4264 nbRestartNogoods=104
32.31 => wckTime=1.07 cpuTime=1.01 mem=16M519
32.59
32.59 search
32.59 run=8 nbConstraintChecks=4624313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2908
32.59 nbFailedAssignments=2090 nbBacktracks=746 nbVisitedNodes=5729 nbRestartNogoods=113
32.59 => wckTime=1.35 cpuTime=1.29 mem=16M519
33.30
33.30 search
33.30 run=9 nbConstraintChecks=7272032 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4488
33.30 nbFailedAssignments=3276 nbBacktracks=1130 nbVisitedNodes=8869 nbRestartNogoods=130
33.30 => wckTime=2.064 cpuTime=2.0 mem=16M519
34.31
34.31 search
34.31 run=10 nbConstraintChecks=11238393 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6997
34.31 nbFailedAssignments=5200 nbBacktracks=1706 nbVisitedNodes=13864 nbRestartNogoods=150
34.31 => wckTime=3.071 cpuTime=2.99 mem=16M519
35.54
35.54 search
35.54 run=11 nbConstraintChecks=16267125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10129
35.54 nbFailedAssignments=7460 nbBacktracks=2570 nbVisitedNodes=20062 nbRestartNogoods=183
35.54 => wckTime=4.306 cpuTime=4.22 mem=16M519
37.10
37.10 search
37.10 run=12 nbConstraintChecks=21964281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14157
37.10 nbFailedAssignments=10182 nbBacktracks=3867 nbVisitedNodes=28023 nbRestartNogoods=199
37.10 => wckTime=5.858 cpuTime=5.77 mem=16M519
39.51
39.51 search
39.51 run=13 nbConstraintChecks=29553814 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19606
39.51 nbFailedAssignments=13680 nbBacktracks=5813 nbVisitedNodes=38802 nbRestartNogoods=224
39.51 => wckTime=8.275 cpuTime=8.17 mem=16M519
43.08
43.08 search
43.08 run=14 nbConstraintChecks=40367307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27389
43.08 nbFailedAssignments=18536 nbBacktracks=8734 nbVisitedNodes=54239 nbRestartNogoods=243
43.08 => wckTime=11.842 cpuTime=11.72 mem=16M519
47.44
47.44 search
47.44 run=15 nbConstraintChecks=52966915 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37500
47.44 nbFailedAssignments=24263 nbBacktracks=13114 nbVisitedNodes=74058 nbRestartNogoods=262
47.44 => wckTime=16.203 cpuTime=16.06 mem=16M519
54.64
54.64 search
54.64 run=16 nbConstraintChecks=73272341 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52581
54.64 nbFailedAssignments=32771 nbBacktracks=19682 nbVisitedNodes=103645 nbRestartNogoods=267
54.64 => wckTime=23.406 cpuTime=23.23 mem=16M519
65.97
65.97 search
65.97 run=17 nbConstraintChecks=104108446 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74754
65.97 nbFailedAssignments=45085 nbBacktracks=29535 nbVisitedNodes=147189 nbRestartNogoods=286
65.97 => wckTime=34.73 cpuTime=34.5 mem=16M519
69.05
69.05 search
69.05 run=18 nbConstraintChecks=112871080 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=81077
69.05 nbFailedAssignments=48687 nbBacktracks=32257 nbVisitedNodes=159680 nbRestartNogoods=299
69.05 => wckTime=37.815 cpuTime=37.57 mem=16M519
69.05
69.05 global
69.05 nbConstraintChecks=112871090 nbRestartNogoods=299 solvingWckTime=37.816 solvingCpuTime=37.57 expiredTime=no
69.05 totalExploration=yes nbFoundSolutions=0 globalCpuTime=68.25
69.05 => wckTime=68.746 cpuTime=68.2 mem=16M519
69.06
69.06 s OPTIMUM FOUND
69.06 v 4 2 1 3 5 5 1 5 5 5 0 7 3 6 8 0 7 7 1 6 6 2 2 0 3 8 3 3 3 0
69.06
69.06 totalWckTime=68.825 totalCpuTime=68.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-280910-1169308455 -o ROOT/results/node70/solver-280910-1169308455 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280910-1169308455/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.72 1.24 1.30 5/81 11706
/proc/meminfo: memFree=1414336/2055920 swapFree=4192812/4192956
[pid=11705] ppid=11703 vsize=1784 CPUtime=0
/proc/11705/stat : 11705 (java) D 11703 11705 11219 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 78342447 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8413988 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/11705/statm: 446 163 128 14 0 91 0
[startup+0.10659 s]
/proc/loadavg: 1.72 1.24 1.30 5/81 11706
/proc/meminfo: memFree=1414336/2055920 swapFree=4192812/4192956
[pid=11705] ppid=11703 vsize=914988 CPUtime=0.08
/proc/11705/stat : 11705 (java) R 11703 11705 11219 0 -1 0 3001 0 1 0 7 1 0 0 19 0 8 0 78342447 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073443176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11705/statm: 228747 2747 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514631 s]
/proc/loadavg: 1.72 1.24 1.30 5/81 11706
/proc/meminfo: memFree=1414336/2055920 swapFree=4192812/4192956
[pid=11705] ppid=11703 vsize=915332 CPUtime=0.49
/proc/11705/stat : 11705 (java) R 11703 11705 11219 0 -1 0 6568 0 1 0 45 4 0 0 18 0 8 0 78342447 937299968 6307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11705/statm: 228833 6307 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33571 s]
/proc/loadavg: 1.72 1.24 1.30 3/88 11713
/proc/meminfo: memFree=1396424/2055920 swapFree=4192812/4192956
[pid=11705] ppid=11703 vsize=915444 CPUtime=1.3
/proc/11705/stat : 11705 (java) R 11703 11705 11219 0 -1 0 7130 0 1 0 107 23 0 0 25 0 8 0 78342447 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11705/statm: 228861 6868 2476 14 0 215331 0
[pid=11705/tid=11707] ppid=11703 vsize=915444 CPUtime=0.02
/proc/11705/task/11707/stat : 11707 (java) S 11703 11705 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78342451 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11708] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11703 11705 11219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78342451 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11709] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11703 11705 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78342451 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11710] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11703 11705 11219 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78342454 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11711] ppid=11703 vsize=915444 CPUtime=0.11
/proc/11705/task/11711/stat : 11711 (java) S 11703 11705 11219 0 -1 64 332 0 0 0 11 0 0 0 16 0 8 0 78342454 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11712] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11712/stat : 11712 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78342454 937414656 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11713] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78342454 937414656 6868 18446744073709551615 134512640 134570532 4294956480 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) 915444
[startup+2.97287 s]
/proc/loadavg: 1.72 1.24 1.30 3/88 11713
/proc/meminfo: memFree=1396424/2055920 swapFree=4192812/4192956
[pid=11705] ppid=11703 vsize=915444 CPUtime=2.94
/proc/11705/stat : 11705 (java) R 11703 11705 11219 0 -1 0 7133 0 1 0 225 69 0 0 25 0 8 0 78342447 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11705/statm: 228861 6870 2476 14 0 215331 0
[pid=11705/tid=11707] ppid=11703 vsize=915444 CPUtime=0.02
/proc/11705/task/11707/stat : 11707 (java) S 11703 11705 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78342451 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11708] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11703 11705 11219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78342451 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11709] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11703 11705 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78342451 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11710] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11703 11705 11219 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11711] ppid=11703 vsize=915444 CPUtime=0.12
/proc/11705/task/11711/stat : 11711 (java) S 11703 11705 11219 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11712] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11712/stat : 11712 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11713] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 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) 915444
[startup+6.2652 s]
/proc/loadavg: 1.75 1.26 1.30 3/88 11713
/proc/meminfo: memFree=1396360/2055920 swapFree=4192812/4192956
[pid=11705] ppid=11703 vsize=915444 CPUtime=6.21
/proc/11705/stat : 11705 (java) R 11703 11705 11219 0 -1 0 7133 0 1 0 459 162 0 0 25 0 8 0 78342447 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073676308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11705/statm: 228861 6870 2476 14 0 215331 0
[pid=11705/tid=11707] ppid=11703 vsize=915444 CPUtime=0.02
/proc/11705/task/11707/stat : 11707 (java) S 11703 11705 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78342451 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11708] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11703 11705 11219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78342451 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11709] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11703 11705 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78342451 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11710] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11703 11705 11219 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11711] ppid=11703 vsize=915444 CPUtime=0.12
/proc/11705/task/11711/stat : 11711 (java) S 11703 11705 11219 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11712] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11712/stat : 11712 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11713] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 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) 915444
[startup+12.7389 s]
/proc/loadavg: 1.77 1.27 1.31 3/88 11713
/proc/meminfo: memFree=1396296/2055920 swapFree=4192812/4192956
[pid=11705] ppid=11703 vsize=915444 CPUtime=12.65
/proc/11705/stat : 11705 (java) R 11703 11705 11219 0 -1 0 7133 0 1 0 914 351 0 0 25 0 8 0 78342447 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11705/statm: 228861 6870 2476 14 0 215331 0
[pid=11705/tid=11707] ppid=11703 vsize=915444 CPUtime=0.02
/proc/11705/task/11707/stat : 11707 (java) S 11703 11705 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78342451 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11708] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11703 11705 11219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78342451 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11709] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11703 11705 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78342451 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11710] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11703 11705 11219 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11711] ppid=11703 vsize=915444 CPUtime=0.12
/proc/11705/task/11711/stat : 11711 (java) S 11703 11705 11219 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11712] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11712/stat : 11712 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11713] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78342454 937414656 6870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915444
[startup+25.6041 s]
/proc/loadavg: 1.82 1.30 1.32 3/88 11713
/proc/meminfo: memFree=1396304/2055920 swapFree=4192812/4192956
[pid=11705] ppid=11703 vsize=915444 CPUtime=25.46
/proc/11705/stat : 11705 (java) R 11703 11705 11219 0 -1 0 7134 0 1 0 1821 725 0 0 25 0 8 0 78342447 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11705/statm: 228861 6871 2476 14 0 215331 0
[pid=11705/tid=11707] ppid=11703 vsize=915444 CPUtime=0.02
/proc/11705/task/11707/stat : 11707 (java) S 11703 11705 11219 0 -1 64 153 0 0 0 2 0 0 0 16 0 8 0 78342451 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11708] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11703 11705 11219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78342451 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11709] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11703 11705 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78342451 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11710] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11703 11705 11219 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78342454 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11711] ppid=11703 vsize=915444 CPUtime=0.12
/proc/11705/task/11711/stat : 11711 (java) S 11703 11705 11219 0 -1 64 335 0 0 0 12 0 0 0 16 0 8 0 78342454 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11712] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11712/stat : 11712 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78342454 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11713] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78342454 937414656 6871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915444
[startup+51.2077 s]
/proc/loadavg: 1.88 1.36 1.33 3/88 11713
/proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956
[pid=11705] ppid=11703 vsize=915444 CPUtime=50.94
/proc/11705/stat : 11705 (java) R 11703 11705 11219 0 -1 0 9031 0 1 0 4199 895 0 0 25 0 8 0 78342447 937414656 8763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11705/statm: 228861 8763 2527 14 0 215331 0
[pid=11705/tid=11707] ppid=11703 vsize=915444 CPUtime=0.02
/proc/11705/task/11707/stat : 11707 (java) S 11703 11705 11219 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 78342451 937414656 8763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11708] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11708/stat : 11708 (java) S 11703 11705 11219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78342451 937414656 8763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11709] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11709/stat : 11709 (java) S 11703 11705 11219 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78342451 937414656 8763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11710] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11710/stat : 11710 (java) S 11703 11705 11219 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78342454 937414656 8763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11711] ppid=11703 vsize=915444 CPUtime=0.21
/proc/11705/task/11711/stat : 11711 (java) S 11703 11705 11219 0 -1 64 389 0 0 0 21 0 0 0 16 0 8 0 78342454 937414656 8763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11712] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11712/stat : 11712 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78342454 937414656 8763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11705/tid=11713] ppid=11703 vsize=915444 CPUtime=0
/proc/11705/task/11713/stat : 11713 (java) S 11703 11705 11219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78342454 937414656 8763 18446744073709551615 134512640 134570532 4294956480 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) 915444
Child status: 0
Real time (s): 69.0883
CPU time (s): 68.7196
CPU user time (s): 59.7619
CPU system time (s): 8.95764
CPU usage (%): 99.4663
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.7619
system time used= 8.95764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9134
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= 2531
involuntary context switches= 4612
runsolver used 0.087986 s user time and 0.238963 s system time
The end
Begin job on node70 on Sat Jan 20 15:54:15 UTC 2007
IDJOB= 280910
IDBENCH= 11989
IDSOLVER= 69
FILE ID= node70/280910-1169308455
PBS_JOBID= 3610204
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseLoose/vcsp-30-10-25-48-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280910-1169308455/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-280910-1169308455 -o ROOT/results/node70/solver-280910-1169308455 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280910-1169308455/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6a23201799764f9ab5945e86632e379a
RANDOM SEED= 460838304
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.234
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.234
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: 1414816 kB
Buffers: 45732 kB
Cached: 495472 kB
SwapCached: 144 kB
Active: 148660 kB
Inactive: 421140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1414816 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 46212 kB
Slab: 56692 kB
Committed_AS: 1149500 kB
PageTables: 1844 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 node70 on Sat Jan 20 15:55:24 UTC 2007