0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=pfc.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/277112-1169256792/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.49 => wckTime=0.103 cpuTime=0.1 mem=6M910
0.49
0.49 relations being loaded...
0.58
0.58 constraints being loaded...
0.69 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1304 maxDegree=18
0.69 maxArity=2
0.69 => wckTime=0.295 cpuTime=0.22 mem=11M786
0.73
0.73 solver LocalSearchSolver being built...
0.77 => wckTime=0.383 cpuTime=0.26 mem=5M873
0.78
0.78 s SATISFIABLE
0.78 o 174
0.78 c 76
0.78 o 181
0.78 c 69
0.78 o 187
0.78 c 63
0.78 o 191
0.78 c 59
0.79 o 193
0.79 c 57
0.79 o 198
0.79 c 52
0.79 o 201
0.79 c 49
0.79 o 203
0.79 c 47
0.79 o 206
0.79 c 44
0.79 o 210
0.79 c 40
0.79 o 212
0.79 c 38
0.79 o 214
0.79 c 36
0.79 o 218
0.79 c 32
0.79 o 219
0.79 c 31
0.79 o 220
0.80 c 30
0.80 o 221
0.80 c 29
0.80 o 223
0.80 c 27
0.80 o 225
0.80 c 25
0.80 o 226
0.80 c 24
0.80 o 227
0.80 c 23
0.80 o 228
0.80 c 22
0.80 o 232
0.80 c 18
0.80 o 233
0.80 c 17
0.80 o 234
0.80 c 16
0.81 o 235
0.81 c 15
0.81 o 237
0.81 c 13
0.81 o 238
0.81 c 12
0.81 o 239
0.81 c 11
0.82 o 241
0.82 c 9
0.82 o 242
0.82 c 8
0.85 o 243
0.85 c 7
0.85 o 244
0.85 c 6
0.94 o 245
0.94 c 5
1.28 o 246
1.28 c 4
3.34
3.34 search
3.34 run=0 nbConstraintChecks=16537948 nbAssignments=10000
3.34 => wckTime=2.566 cpuTime=2.52 mem=5M873
3.47 o 247
3.47 c 3
4.27 o 248
4.27 c 2
5.58 o 249
5.58 c 1
5.58
5.58 search
5.58 run=1 nbConstraintChecks=31099022 nbAssignments=18933
5.58 => wckTime=4.808 cpuTime=4.74 mem=5M873
5.58
5.58 global
5.58 nbConstraintChecks=31099022 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.58 solvingWckTime=4.805 solvingCpuTime=4.74 expiredTime=no totalExploration=no nbFoundSolutions=0
5.58 globalCpuTime=5.04
5.58 => wckTime=5.191 cpuTime=5.0 mem=5M873
5.58
5.58 solver IterativeSystematicSolver being built...
5.72 => wckTime=5.327 cpuTime=5.1 mem=16M764
5.73
5.73 preprocessing
5.73 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
5.73 detectedInconsistency=no
5.73 => wckTime=0.0050 cpuTime=0.0 mem=16M764
5.80
5.80 search
5.80 run=0 nbConstraintChecks=95984 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27
5.80 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=50 nbRestartNogoods=0
5.80 => wckTime=0.076 cpuTime=0.05 mem=16M764
5.87
5.87 search
5.87 run=1 nbConstraintChecks=291793 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74
5.87 nbFailedAssignments=39 nbBacktracks=25 nbVisitedNodes=139 nbRestartNogoods=6
5.87 => wckTime=0.153 cpuTime=0.12 mem=16M764
5.94
5.94 search
5.94 run=2 nbConstraintChecks=527034 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131
5.94 nbFailedAssignments=69 nbBacktracks=47 nbVisitedNodes=247 nbRestartNogoods=24
5.94 => wckTime=0.22 cpuTime=0.18 mem=16M764
6.04
6.04 search
6.04 run=3 nbConstraintChecks=900160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=216
6.04 nbFailedAssignments=118 nbBacktracks=80 nbVisitedNodes=413 nbRestartNogoods=32
6.04 => wckTime=0.32 cpuTime=0.27 mem=16M764
6.16
6.16 search
6.16 run=4 nbConstraintChecks=1389185 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=351
6.16 nbFailedAssignments=198 nbBacktracks=130 nbVisitedNodes=675 nbRestartNogoods=43
6.16 => wckTime=0.44 cpuTime=0.39 mem=16M764
6.33
6.33 search
6.33 run=5 nbConstraintChecks=2044923 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=558
6.33 nbFailedAssignments=325 nbBacktracks=205 nbVisitedNodes=1084 nbRestartNogoods=46
6.33 => wckTime=0.611 cpuTime=0.56 mem=16M764
6.61
6.61 search
6.61 run=6 nbConstraintChecks=3157468 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=913
6.61 nbFailedAssignments=560 nbBacktracks=318 nbVisitedNodes=1785 nbRestartNogoods=70
6.61 => wckTime=0.893 cpuTime=0.84 mem=16M764
7.04
7.04 search
7.04 run=7 nbConstraintChecks=4845414 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1355
7.04 nbFailedAssignments=828 nbBacktracks=488 nbVisitedNodes=2653 nbRestartNogoods=90
7.04 => wckTime=1.325 cpuTime=1.26 mem=16M764
7.72
7.72 search
7.72 run=8 nbConstraintChecks=7432340 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2060
7.72 nbFailedAssignments=1271 nbBacktracks=744 nbVisitedNodes=4052 nbRestartNogoods=101
7.72 => wckTime=2.005 cpuTime=1.92 mem=16M764
8.70
8.70 search
8.70 run=9 nbConstraintChecks=11192917 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3147
8.70 nbFailedAssignments=1967 nbBacktracks=1128 nbVisitedNodes=6215 nbRestartNogoods=138
8.70 => wckTime=2.979 cpuTime=2.88 mem=16M764
10.23
10.23 search
10.23 run=10 nbConstraintChecks=17258099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4870
10.23 nbFailedAssignments=3108 nbBacktracks=1704 nbVisitedNodes=9637 nbRestartNogoods=165
10.23 => wckTime=4.505 cpuTime=4.38 mem=16M764
12.39
12.39 search
12.39 run=11 nbConstraintChecks=26023749 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7283
12.39 nbFailedAssignments=4652 nbBacktracks=2568 nbVisitedNodes=14416 nbRestartNogoods=184
12.39 => wckTime=6.67 cpuTime=6.53 mem=16M764
15.60
15.60 search
15.60 run=12 nbConstraintChecks=39471260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10775
15.60 nbFailedAssignments=6841 nbBacktracks=3865 nbVisitedNodes=21363 nbRestartNogoods=202
15.60 => wckTime=9.878 cpuTime=9.7 mem=16M764
20.51
20.51 search
20.51 run=13 nbConstraintChecks=58912440 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15955
20.51 nbFailedAssignments=10070 nbBacktracks=5811 nbVisitedNodes=31578 nbRestartNogoods=218
20.51 => wckTime=14.793 cpuTime=14.57 mem=16M764
28.80
28.80 search
28.80 run=14 nbConstraintChecks=91072458 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23771
28.80 nbFailedAssignments=14960 nbBacktracks=8730 nbVisitedNodes=46899 nbRestartNogoods=248
28.80 => wckTime=23.08 cpuTime=22.78 mem=16M764
40.26
40.26 search
40.26 run=15 nbConstraintChecks=135036862 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35003
40.26 nbFailedAssignments=21808 nbBacktracks=13108 nbVisitedNodes=68525 nbRestartNogoods=277
40.26 => wckTime=34.542 cpuTime=34.14 mem=16M764
57.04
57.04 search
57.04 run=16 nbConstraintChecks=200267691 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50350
57.04 nbFailedAssignments=30582 nbBacktracks=19676 nbVisitedNodes=97071 nbRestartNogoods=301
57.04 => wckTime=51.316 cpuTime=50.77 mem=16M764
79.40
79.40 search
79.40 run=17 nbConstraintChecks=283355319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71353
79.40 nbFailedAssignments=41730 nbBacktracks=29528 nbVisitedNodes=134470 nbRestartNogoods=312
79.40 => wckTime=73.683 cpuTime=72.92 mem=16M764
111.16
111.16 search
111.16 run=18 nbConstraintChecks=399254877 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100278
111.16 nbFailedAssignments=55871 nbBacktracks=44306 nbVisitedNodes=183189 nbRestartNogoods=324
111.16 => wckTime=105.44 cpuTime=104.38 mem=16M764
151.72
151.72 search
151.72 run=19 nbConstraintChecks=549395046 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=140511
151.72 nbFailedAssignments=73932 nbBacktracks=66474 nbVisitedNodes=247911 nbRestartNogoods=335
151.72 => wckTime=146.001 cpuTime=144.57 mem=16M764
179.26
179.26 search
179.26 run=20 nbConstraintChecks=653231490 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=169372
179.26 nbFailedAssignments=86228 nbBacktracks=83040 nbVisitedNodes=292948 nbRestartNogoods=346
179.26 => wckTime=173.543 cpuTime=171.87 mem=16M764
179.26
179.26 global
179.26 nbConstraintChecks=653231490 nbRestartNogoods=346 solvingWckTime=173.544 solvingCpuTime=171.87 expiredTime=no
179.26 totalExploration=yes nbFoundSolutions=0 globalCpuTime=177.01
179.26 => wckTime=178.872 cpuTime=176.97 mem=16M764
179.27
179.27 s OPTIMUM FOUND
179.27 v 0 14 12 4 14 9 10 15 2 3 3 13 10 10 1 3 4 15 3 14 11 3 0 0 11 9 1 14 4 6 9 13 5 11 10 1 3 10 6 0
179.27
179.27 totalWckTime=178.952 totalCpuTime=177.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-277112-1169256792 -o ROOT/results/node2/solver-277112-1169256792 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277112-1169256792/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: 2.00 2.00 1.99 4/94 16753
/proc/meminfo: memFree=1242776/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=18540 CPUtime=0
/proc/16752/stat : 16752 (runsolver) R 16750 16752 16042 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274074841 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16752/statm: 4635 279 244 17 0 2626 0
[startup+0.103467 s]
/proc/loadavg: 2.00 2.00 1.99 4/94 16753
/proc/meminfo: memFree=1242776/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=907808 CPUtime=0.06
/proc/16752/stat : 16752 (java) D 16750 16752 16042 0 -1 0 2505 0 1 0 5 1 0 0 17 0 4 0 274074841 929595392 2252 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 226952 2252 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.517542 s]
/proc/loadavg: 2.00 2.00 1.99 4/94 16753
/proc/meminfo: memFree=1242776/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=915332 CPUtime=0.4
/proc/16752/stat : 16752 (java) R 16750 16752 16042 0 -1 0 6148 0 1 0 37 3 0 0 18 0 8 0 274074841 937299968 5887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 228833 5887 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915332
[startup+1.34569 s]
/proc/loadavg: 2.00 2.00 1.99 3/101 16760
/proc/meminfo: memFree=1221792/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=915464 CPUtime=1.22
/proc/16752/stat : 16752 (java) R 16750 16752 16042 0 -1 0 7900 0 1 0 110 12 0 0 24 0 8 0 274074841 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 228866 7638 2476 14 0 215336 0
[pid=16752/tid=16754] ppid=16750 vsize=915464 CPUtime=0.03
/proc/16752/task/16754/stat : 16754 (java) S 16750 16752 16042 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 274074845 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 16042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274074846 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 16042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274074846 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274074857 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=915464 CPUtime=0.15
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 16042 0 -1 64 347 0 0 0 15 0 0 0 16 0 8 0 274074857 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274074857 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274074857 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915464
[startup+2.98699 s]
/proc/loadavg: 2.00 2.00 1.99 3/101 16760
/proc/meminfo: memFree=1221792/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=915464 CPUtime=2.85
/proc/16752/stat : 16752 (java) R 16750 16752 16042 0 -1 0 7901 0 1 0 249 36 0 0 25 0 8 0 274074841 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073729872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 228866 7638 2476 14 0 215336 0
[pid=16752/tid=16754] ppid=16750 vsize=915464 CPUtime=0.03
/proc/16752/task/16754/stat : 16754 (java) S 16750 16752 16042 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 274074845 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 16042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274074846 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 16042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274074846 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274074857 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=915464 CPUtime=0.15
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 16042 0 -1 64 347 0 0 0 15 0 0 0 16 0 8 0 274074857 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274074857 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274074857 937435136 7638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915464
[startup+6.2856 s]
/proc/loadavg: 2.00 2.00 1.99 3/101 16760
/proc/meminfo: memFree=1221600/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=915464 CPUtime=6.12
/proc/16752/stat : 16752 (java) R 16750 16752 16042 0 -1 0 9092 0 1 0 537 75 0 0 25 0 8 0 274074841 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 228866 8827 2528 14 0 215336 0
[pid=16752/tid=16754] ppid=16750 vsize=915464 CPUtime=0.03
/proc/16752/task/16754/stat : 16754 (java) S 16750 16752 16042 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274074845 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 16042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274074846 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 16042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274074846 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274074857 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=915464 CPUtime=0.22
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 16042 0 -1 64 386 0 0 0 22 0 0 0 16 0 8 0 274074857 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274074857 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274074857 937435136 8827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915464
[startup+12.7698 s]
/proc/loadavg: 2.00 2.00 1.99 3/101 16760
/proc/meminfo: memFree=1216992/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=915464 CPUtime=12.54
/proc/16752/stat : 16752 (java) R 16750 16752 16042 0 -1 0 9128 0 1 0 1179 75 0 0 25 0 8 0 274074841 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 228866 8860 2528 14 0 215336 0
[pid=16752/tid=16754] ppid=16750 vsize=915464 CPUtime=0.03
/proc/16752/task/16754/stat : 16754 (java) S 16750 16752 16042 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274074845 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 16042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274074846 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 16042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274074846 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274074857 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=915464 CPUtime=0.25
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 16042 0 -1 64 405 0 0 0 25 0 0 0 15 0 8 0 274074857 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274074857 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274074857 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915464
[startup+25.6306 s]
/proc/loadavg: 2.00 2.00 1.99 3/101 16760
/proc/meminfo: memFree=1217056/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=915464 CPUtime=25.28
/proc/16752/stat : 16752 (java) R 16750 16752 16042 0 -1 0 9133 0 1 0 2453 75 0 0 25 0 8 0 274074841 937435136 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 228866 8865 2528 14 0 215336 0
[pid=16752/tid=16754] ppid=16750 vsize=915464 CPUtime=0.03
/proc/16752/task/16754/stat : 16754 (java) S 16750 16752 16042 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274074845 937435136 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 16042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274074846 937435136 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 16042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274074846 937435136 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274074857 937435136 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=915464 CPUtime=0.25
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 16042 0 -1 64 405 0 0 0 25 0 0 0 16 0 8 0 274074857 937435136 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274074857 937435136 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274074857 937435136 8865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915464
[startup+51.2589 s]
/proc/loadavg: 2.00 2.00 1.99 4/101 16760
/proc/meminfo: memFree=1216992/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=915464 CPUtime=50.68
/proc/16752/stat : 16752 (java) R 16750 16752 16042 0 -1 0 9139 0 1 0 4992 76 0 0 25 0 8 0 274074841 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 228866 8871 2528 14 0 215336 0
[pid=16752/tid=16754] ppid=16750 vsize=915464 CPUtime=0.03
/proc/16752/task/16754/stat : 16754 (java) S 16750 16752 16042 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274074845 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 16042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274074846 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 16042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274074846 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274074857 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=915464 CPUtime=0.26
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 16042 0 -1 64 406 0 0 0 26 0 0 0 16 0 8 0 274074857 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274074857 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274074857 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915464
[startup+102.508 s]
/proc/loadavg: 2.00 2.00 1.99 3/101 16760
/proc/meminfo: memFree=1216992/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=915464 CPUtime=101.45
/proc/16752/stat : 16752 (java) R 16750 16752 16042 0 -1 0 9145 0 1 0 10069 76 0 0 25 0 8 0 274074841 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846770 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 228866 8876 2528 14 0 215336 0
[pid=16752/tid=16754] ppid=16750 vsize=915464 CPUtime=0.03
/proc/16752/task/16754/stat : 16754 (java) S 16750 16752 16042 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274074845 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 16042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274074846 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 16042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274074846 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274074857 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=915464 CPUtime=0.26
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 16042 0 -1 64 406 0 0 0 26 0 0 0 16 0 8 0 274074857 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274074857 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274074857 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915464
[startup+162.598 s]
/proc/loadavg: 2.05 2.01 2.00 3/101 16760
/proc/meminfo: memFree=1216992/2055920 swapFree=4180552/4192956
[pid=16752] ppid=16750 vsize=915464 CPUtime=160.99
/proc/16752/stat : 16752 (java) R 16750 16752 16042 0 -1 0 9151 0 1 0 16023 76 0 0 25 0 8 0 274074841 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16752/statm: 228866 8881 2528 14 0 215336 0
[pid=16752/tid=16754] ppid=16750 vsize=915464 CPUtime=0.03
/proc/16752/task/16754/stat : 16754 (java) S 16750 16752 16042 0 -1 64 246 0 0 0 3 0 0 0 16 0 8 0 274074845 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16755] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16755/stat : 16755 (java) S 16750 16752 16042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274074846 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16756] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16756/stat : 16756 (java) S 16750 16752 16042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274074846 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16757] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16757/stat : 16757 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274074857 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16758] ppid=16750 vsize=915464 CPUtime=0.26
/proc/16752/task/16758/stat : 16758 (java) S 16750 16752 16042 0 -1 64 407 0 0 0 26 0 0 0 16 0 8 0 274074857 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16759] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16759/stat : 16759 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274074857 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16752/tid=16760] ppid=16750 vsize=915464 CPUtime=0
/proc/16752/task/16760/stat : 16760 (java) S 16750 16752 16042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274074857 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.99
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 179.324
CPU time (s): 177.53
CPU user time (s): 176.753
CPU system time (s): 0.776881
CPU usage (%): 98.9995
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.753
system time used= 0.776881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9247
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= 4811
involuntary context switches= 10376
runsolver used 0.221966 s user time and 0.58991 s system time
The end
Begin job on node2 on Sat Jan 20 01:33:12 UTC 2007
IDJOB= 277112
IDBENCH= 6278
IDSOLVER= 69
FILE ID= node2/277112-1169256792
PBS_JOBID= 3589097
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277112-1169256792/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-277112-1169256792 -o ROOT/results/node2/solver-277112-1169256792 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277112-1169256792/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2304a437f976a87177b662aafeab0674
RANDOM SEED= 619084417
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.259
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 : 5931.00
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.259
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: 1243256 kB
Buffers: 46240 kB
Cached: 634232 kB
SwapCached: 548 kB
Active: 185316 kB
Inactive: 554188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1243256 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 77900 kB
Slab: 57732 kB
Committed_AS: 7251956 kB
PageTables: 2484 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 node2 on Sat Jan 20 01:36:11 UTC 2007