0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.34 name=pfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/276824-1169247370/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.43 => wckTime=0.097 cpuTime=0.08 mem=6M910
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.69 nbConstraints=753 nbRelationTypes=752 nbExtensionStructures=752 nbSharedExtensionStructures=1
0.69 nbConflictsStructures=752 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11896 maxDegree=39
0.69 maxArity=2
0.69 => wckTime=0.355 cpuTime=0.23 mem=11M851
0.74
0.74 solver LocalSearchSolver being built...
0.78 => wckTime=0.441 cpuTime=0.27 mem=6M109
0.78
0.78 s SATISFIABLE
0.78 o 681
0.78 c 72
0.79 o 686
0.79 c 67
0.79 o 690
0.79 c 63
0.79 o 694
0.79 c 59
0.79 o 698
0.79 c 55
0.79 o 705
0.79 c 48
0.79 o 709
0.79 c 44
0.79 o 713
0.79 c 40
0.79 o 716
0.79 c 37
0.79 o 717
0.79 c 36
0.79 o 720
0.79 c 33
0.79 o 723
0.79 c 30
0.79 o 726
0.79 c 27
0.79 o 727
0.79 c 26
0.79 o 729
0.79 c 24
0.79 o 731
0.80 c 22
0.80 o 733
0.80 c 20
0.80 o 735
0.80 c 18
0.80 o 737
0.80 c 16
0.80 o 739
0.80 c 14
0.80 o 740
0.80 c 13
0.80 o 741
0.80 c 12
0.80 o 742
0.80 c 11
0.81 o 743
0.81 c 10
0.81 o 744
0.81 c 9
0.83 o 745
0.83 c 8
0.85 o 746
0.85 c 7
0.85 o 747
0.85 c 6
0.85 o 749
0.85 c 4
0.87 o 751
0.87 c 2
1.20 o 752
1.20 c 1
1.20
1.20 search
1.20 run=0 nbConstraintChecks=2456231 nbAssignments=1669
1.20 => wckTime=0.421 cpuTime=0.41 mem=6M109
1.20
1.20 global
1.20 nbConstraintChecks=2456231 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.20 solvingWckTime=0.42 solvingCpuTime=0.41 expiredTime=no totalExploration=no nbFoundSolutions=0
1.20 globalCpuTime=0.72
1.20 => wckTime=0.863 cpuTime=0.68 mem=6M109
1.20
1.20 solver IterativeSystematicSolver being built...
1.32 => wckTime=0.983 cpuTime=0.77 mem=17M115
1.33
1.33 preprocessing
1.33 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.33 detectedInconsistency=no
1.33 => wckTime=0.0090 cpuTime=0.01 mem=17M115
1.41
1.41 search
1.41 run=0 nbConstraintChecks=111340 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32
1.41 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=59 nbRestartNogoods=0
1.41 => wckTime=0.091 cpuTime=0.08 mem=17M115
1.51
1.51 search
1.51 run=1 nbConstraintChecks=307141 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
1.51 nbFailedAssignments=47 nbBacktracks=25 nbVisitedNodes=159 nbRestartNogoods=11
1.51 => wckTime=0.184 cpuTime=0.15 mem=17M115
1.59
1.59 search
1.59 run=2 nbConstraintChecks=542644 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151
1.59 nbFailedAssignments=82 nbBacktracks=47 nbVisitedNodes=281 nbRestartNogoods=25
1.59 => wckTime=0.27 cpuTime=0.23 mem=17M115
1.75
1.75 search
1.75 run=3 nbConstraintChecks=952116 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=255
1.75 nbFailedAssignments=147 nbBacktracks=80 nbVisitedNodes=481 nbRestartNogoods=34
1.75 => wckTime=0.425 cpuTime=0.39 mem=17M115
1.95
1.95 search
1.95 run=4 nbConstraintChecks=1546788 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=406
1.95 nbFailedAssignments=242 nbBacktracks=130 nbVisitedNodes=777 nbRestartNogoods=41
1.95 => wckTime=0.629 cpuTime=0.59 mem=17M115
2.27
2.27 search
2.27 run=5 nbConstraintChecks=2427935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=628
2.27 nbFailedAssignments=380 nbBacktracks=206 nbVisitedNodes=1212 nbRestartNogoods=45
2.27 => wckTime=0.945 cpuTime=0.9 mem=17M115
2.74
2.74 search
2.74 run=6 nbConstraintChecks=3739308 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=950
2.74 nbFailedAssignments=582 nbBacktracks=319 nbVisitedNodes=1849 nbRestartNogoods=57
2.74 => wckTime=1.414 cpuTime=1.37 mem=17M115
3.37
3.37 search
3.37 run=7 nbConstraintChecks=5582687 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1400
3.37 nbFailedAssignments=854 nbBacktracks=489 nbVisitedNodes=2738 nbRestartNogoods=63
3.37 => wckTime=2.053 cpuTime=2.0 mem=17M115
4.30
4.30 search
4.30 run=8 nbConstraintChecks=8294249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2070
4.30 nbFailedAssignments=1261 nbBacktracks=745 nbVisitedNodes=4046 nbRestartNogoods=81
4.30 => wckTime=2.977 cpuTime=2.91 mem=17M115
5.55
5.55 search
5.55 run=9 nbConstraintChecks=11996353 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3014
5.55 nbFailedAssignments=1812 nbBacktracks=1129 nbVisitedNodes=5870 nbRestartNogoods=91
5.55 => wckTime=4.224 cpuTime=4.15 mem=17M115
7.02
7.02 search
7.02 run=10 nbConstraintChecks=16196942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4178
7.03 nbFailedAssignments=2394 nbBacktracks=1706 nbVisitedNodes=7935 nbRestartNogoods=99
7.03 => wckTime=5.704 cpuTime=5.63 mem=17M115
9.14
9.14 search
9.14 run=11 nbConstraintChecks=22041681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5888
9.14 nbFailedAssignments=3233 nbBacktracks=2571 nbVisitedNodes=10856 nbRestartNogoods=107
9.14 => wckTime=7.815 cpuTime=7.72 mem=17M115
11.80
11.80 search
11.80 run=12 nbConstraintChecks=29293770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8193
11.80 nbFailedAssignments=4233 nbBacktracks=3868 nbVisitedNodes=14528 nbRestartNogoods=120
11.80 => wckTime=10.483 cpuTime=10.38 mem=17M115
15.53
15.53 search
15.53 run=13 nbConstraintChecks=39640730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11559
15.53 nbFailedAssignments=5644 nbBacktracks=5814 nbVisitedNodes=19767 nbRestartNogoods=132
15.53 => wckTime=14.213 cpuTime=14.11 mem=17M115
20.79
20.79 search
20.79 run=14 nbConstraintChecks=53868194 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16398
20.79 nbFailedAssignments=7555 nbBacktracks=8736 nbVisitedNodes=27137 nbRestartNogoods=139
20.79 => wckTime=19.47 cpuTime=19.36 mem=17M115
27.74
27.74 search
27.74 run=15 nbConstraintChecks=73266326 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23205
27.74 nbFailedAssignments=9978 nbBacktracks=13115 nbVisitedNodes=36989 nbRestartNogoods=145
27.74 => wckTime=26.417 cpuTime=26.3 mem=17M115
37.96
37.96 search
37.96 run=16 nbConstraintChecks=101189985 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33329
37.96 nbFailedAssignments=13525 nbBacktracks=19685 nbVisitedNodes=51502 nbRestartNogoods=152
37.96 => wckTime=36.642 cpuTime=36.52 mem=17M115
53.49
53.49 search
53.49 run=17 nbConstraintChecks=143206342 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48576
53.49 nbFailedAssignments=18914 nbBacktracks=29537 nbVisitedNodes=73487 nbRestartNogoods=166
53.49 => wckTime=52.165 cpuTime=52.02 mem=17M115
75.90
75.90 search
75.90 run=18 nbConstraintChecks=204895226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71087
75.90 nbFailedAssignments=26635 nbBacktracks=44317 nbVisitedNodes=105485 nbRestartNogoods=174
75.90 => wckTime=74.583 cpuTime=74.42 mem=17M115
109.22
109.22 search
109.22 run=19 nbConstraintChecks=296946831 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=104724
109.22 nbFailedAssignments=38096 nbBacktracks=66486 nbVisitedNodes=153243 nbRestartNogoods=182
109.22 => wckTime=107.895 cpuTime=107.68 mem=17M115
159.60
159.60 search
159.60 run=20 nbConstraintChecks=433688826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=155183
159.60 nbFailedAssignments=55297 nbBacktracks=99739 nbVisitedNodes=224727 nbRestartNogoods=191
159.60 => wckTime=158.28 cpuTime=158.01 mem=17M115
192.09
192.09 search
192.09 run=21 nbConstraintChecks=522590536 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=187972
192.09 nbFailedAssignments=66356 nbBacktracks=121470 nbVisitedNodes=271087 nbRestartNogoods=200
192.09 => wckTime=190.769 cpuTime=190.46 mem=17M115
192.09
192.09 global
192.09 nbConstraintChecks=522590536 nbRestartNogoods=200 solvingWckTime=190.769 solvingCpuTime=190.46 expiredTime=no
192.09 totalExploration=yes nbFoundSolutions=0 globalCpuTime=191.28
192.09 => wckTime=191.754 cpuTime=191.24 mem=17M115
192.09
192.09 s OPTIMUM FOUND
192.09 v 1 6 3 0 0 0 5 5 0 3 3 3 3 7 7 1 6 0 2 6 7 2 7 7 3 2 1 6 1 5 0 7 7 3 5 7 7 7 2 4
192.09
192.09 totalWckTime=191.829 totalCpuTime=191.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-276824-1169247370 -o ROOT/results/node23/solver-276824-1169247370 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276824-1169247370/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.01 2.01 1.91 4/86 7285
/proc/meminfo: memFree=1336856/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=172 CPUtime=0
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 273131421 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2495268 0 0 4096 0 0 0 0 17 0 0 0
/proc/7284/statm: 43 24 18 14 0 3 0
[startup+0.107245 s]
/proc/loadavg: 2.01 2.01 1.91 4/86 7285
/proc/meminfo: memFree=1336856/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=907808 CPUtime=0.05
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 2429 0 1 0 4 1 0 0 20 0 4 0 273131421 929595392 2176 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582161 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 226952 2177 1201 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.515323 s]
/proc/loadavg: 2.01 2.01 1.91 4/86 7285
/proc/meminfo: memFree=1336856/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=915332 CPUtime=0.44
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 6255 0 1 0 41 3 0 0 25 0 8 0 273131421 937299968 5994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 228833 5994 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332
[startup+1.33648 s]
/proc/loadavg: 2.01 2.01 1.91 3/93 7292
/proc/meminfo: memFree=1315168/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=915580 CPUtime=1.26
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 9091 0 1 0 115 11 0 0 25 0 8 0 273131421 937553920 8829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 228895 8829 2524 14 0 215365 0
[pid=7284/tid=7286] ppid=7282 vsize=915580 CPUtime=0.03
/proc/7284/task/7286/stat : 7286 (java) S 7282 7284 6763 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273131429 937553920 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7287] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7287/stat : 7287 (java) S 7282 7284 6763 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131429 937553920 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7288] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7288/stat : 7288 (java) S 7282 7284 6763 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131429 937553920 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7289] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7289/stat : 7289 (java) S 7282 7284 6763 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273131433 937553920 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7290] ppid=7282 vsize=915580 CPUtime=0.2
/proc/7284/task/7290/stat : 7290 (java) S 7282 7284 6763 0 -1 64 391 0 0 0 20 0 0 0 15 0 8 0 273131433 937553920 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7291] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7291/stat : 7291 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 273131433 937553920 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7292] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7292/stat : 7292 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131433 937553920 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915580
[startup+2.9808 s]
/proc/loadavg: 2.01 2.01 1.91 3/93 7292
/proc/meminfo: memFree=1310880/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=915580 CPUtime=2.91
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 9221 0 1 0 279 12 0 0 25 0 8 0 273131421 937553920 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073940950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 228895 8957 2527 14 0 215365 0
[pid=7284/tid=7286] ppid=7282 vsize=915580 CPUtime=0.03
/proc/7284/task/7286/stat : 7286 (java) S 7282 7284 6763 0 -1 64 308 0 0 0 3 0 0 0 17 0 8 0 273131429 937553920 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7287] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7287/stat : 7287 (java) S 7282 7284 6763 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131429 937553920 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7288] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7288/stat : 7288 (java) S 7282 7284 6763 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131429 937553920 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7289] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7289/stat : 7289 (java) S 7282 7284 6763 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273131433 937553920 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7290] ppid=7282 vsize=915580 CPUtime=0.25
/proc/7284/task/7290/stat : 7290 (java) S 7282 7284 6763 0 -1 64 417 0 0 0 25 0 0 0 15 0 8 0 273131433 937553920 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7291] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7291/stat : 7291 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 273131433 937553920 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7292] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7292/stat : 7292 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131433 937553920 8957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915580
[startup+6.27243 s]
/proc/loadavg: 2.01 2.01 1.91 3/93 7292
/proc/meminfo: memFree=1310760/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=915580 CPUtime=6.2
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 9240 0 1 0 608 12 0 0 25 0 8 0 273131421 937553920 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 228895 8974 2527 14 0 215365 0
[pid=7284/tid=7286] ppid=7282 vsize=915580 CPUtime=0.03
/proc/7284/task/7286/stat : 7286 (java) S 7282 7284 6763 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131429 937553920 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7287] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7287/stat : 7287 (java) S 7282 7284 6763 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131429 937553920 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7288] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7288/stat : 7288 (java) S 7282 7284 6763 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131429 937553920 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7289] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7289/stat : 7289 (java) S 7282 7284 6763 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273131433 937553920 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7290] ppid=7282 vsize=915580 CPUtime=0.26
/proc/7284/task/7290/stat : 7290 (java) S 7282 7284 6763 0 -1 64 429 0 0 0 26 0 0 0 16 0 8 0 273131433 937553920 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7291] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7291/stat : 7291 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 273131433 937553920 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7292] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7292/stat : 7292 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131433 937553920 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915580
[startup+12.7517 s]
/proc/loadavg: 2.01 2.01 1.91 3/93 7292
/proc/meminfo: memFree=1310696/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=915580 CPUtime=12.65
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 9249 0 1 0 1253 12 0 0 25 0 8 0 273131421 937553920 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851110 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 228895 8982 2527 14 0 215365 0
[pid=7284/tid=7286] ppid=7282 vsize=915580 CPUtime=0.03
/proc/7284/task/7286/stat : 7286 (java) S 7282 7284 6763 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131429 937553920 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7287] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7287/stat : 7287 (java) S 7282 7284 6763 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131429 937553920 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7288] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7288/stat : 7288 (java) S 7282 7284 6763 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131429 937553920 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7289] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7289/stat : 7289 (java) S 7282 7284 6763 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273131433 937553920 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7290] ppid=7282 vsize=915580 CPUtime=0.27
/proc/7284/task/7290/stat : 7290 (java) S 7282 7284 6763 0 -1 64 431 0 0 0 27 0 0 0 16 0 8 0 273131433 937553920 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7291] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7291/stat : 7291 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 273131433 937553920 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7292] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7292/stat : 7292 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131433 937553920 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915580
[startup+25.6112 s]
/proc/loadavg: 2.00 2.01 1.91 3/93 7292
/proc/meminfo: memFree=1310696/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=915580 CPUtime=25.5
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 9253 0 1 0 2538 12 0 0 25 0 8 0 273131421 937553920 8986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987946 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 228895 8986 2527 14 0 215365 0
[pid=7284/tid=7286] ppid=7282 vsize=915580 CPUtime=0.03
/proc/7284/task/7286/stat : 7286 (java) S 7282 7284 6763 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131429 937553920 8986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7287] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7287/stat : 7287 (java) S 7282 7284 6763 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131429 937553920 8986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7288] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7288/stat : 7288 (java) S 7282 7284 6763 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131429 937553920 8986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7289] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7289/stat : 7289 (java) S 7282 7284 6763 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273131433 937553920 8986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7290] ppid=7282 vsize=915580 CPUtime=0.27
/proc/7284/task/7290/stat : 7290 (java) S 7282 7284 6763 0 -1 64 431 0 0 0 27 0 0 0 16 0 8 0 273131433 937553920 8986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7291] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7291/stat : 7291 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 273131433 937553920 8986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7292] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7292/stat : 7292 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131433 937553920 8986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915580
[startup+51.2231 s]
/proc/loadavg: 2.00 2.01 1.91 3/93 7292
/proc/meminfo: memFree=1310696/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=915580 CPUtime=51.1
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 9259 0 1 0 5098 12 0 0 25 0 8 0 273131421 937553920 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073961540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 228895 8992 2527 14 0 215365 0
[pid=7284/tid=7286] ppid=7282 vsize=915580 CPUtime=0.03
/proc/7284/task/7286/stat : 7286 (java) S 7282 7284 6763 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131429 937553920 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7287] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7287/stat : 7287 (java) S 7282 7284 6763 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131429 937553920 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7288] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7288/stat : 7288 (java) S 7282 7284 6763 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131429 937553920 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7289] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7289/stat : 7289 (java) S 7282 7284 6763 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273131433 937553920 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7290] ppid=7282 vsize=915580 CPUtime=0.27
/proc/7284/task/7290/stat : 7290 (java) S 7282 7284 6763 0 -1 64 432 0 0 0 27 0 0 0 16 0 8 0 273131433 937553920 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7291] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7291/stat : 7291 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 273131433 937553920 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7292] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7292/stat : 7292 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131433 937553920 8992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915580
[startup+102.443 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 7292
/proc/meminfo: memFree=1310696/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=915580 CPUtime=102.24
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 9266 0 1 0 10212 12 0 0 25 0 8 0 273131421 937553920 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 228895 8997 2527 14 0 215365 0
[pid=7284/tid=7286] ppid=7282 vsize=915580 CPUtime=0.03
/proc/7284/task/7286/stat : 7286 (java) S 7282 7284 6763 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131429 937553920 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7287] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7287/stat : 7287 (java) S 7282 7284 6763 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131429 937553920 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7288] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7288/stat : 7288 (java) S 7282 7284 6763 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131429 937553920 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7289] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7289/stat : 7289 (java) S 7282 7284 6763 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273131433 937553920 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7290] ppid=7282 vsize=915580 CPUtime=0.27
/proc/7284/task/7290/stat : 7290 (java) S 7282 7284 6763 0 -1 64 432 0 0 0 27 0 0 0 16 0 8 0 273131433 937553920 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7291] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7291/stat : 7291 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 273131433 937553920 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7292] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7292/stat : 7292 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131433 937553920 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 915580
[startup+162.518 s]
/proc/loadavg: 1.96 1.99 1.91 3/100 7353
/proc/meminfo: memFree=1289328/2055920 swapFree=4156060/4192956
[pid=7284] ppid=7282 vsize=915580 CPUtime=162.25
/proc/7284/stat : 7284 (java) R 7282 7284 6763 0 -1 0 9270 0 1 0 16211 14 0 0 25 0 8 0 273131421 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7284/statm: 228895 9001 2527 14 0 215365 0
[pid=7284/tid=7286] ppid=7282 vsize=915580 CPUtime=0.03
/proc/7284/task/7286/stat : 7286 (java) S 7282 7284 6763 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131429 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7287] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7287/stat : 7287 (java) S 7282 7284 6763 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131429 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7288] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7288/stat : 7288 (java) S 7282 7284 6763 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131429 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7289] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7289/stat : 7289 (java) S 7282 7284 6763 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273131433 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7290] ppid=7282 vsize=915580 CPUtime=0.27
/proc/7284/task/7290/stat : 7290 (java) S 7282 7284 6763 0 -1 64 432 0 0 0 27 0 0 0 16 0 8 0 273131433 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7291] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7291/stat : 7291 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 273131433 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7284/tid=7292] ppid=7282 vsize=915580 CPUtime=0
/proc/7284/task/7292/stat : 7292 (java) S 7282 7284 6763 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131433 937553920 9001 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 192.13
CPU time (s): 191.809
CPU user time (s): 191.662
CPU system time (s): 0.146977
CPU usage (%): 99.8327
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 191.662
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9366
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= 5258
involuntary context switches= 6829
runsolver used 0.240963 s user time and 0.624905 s system time
The end
Begin job on node23 on Fri Jan 19 22:56:10 UTC 2007
IDJOB= 276824
IDBENCH= 6043
IDSOLVER= 69
FILE ID= node23/276824-1169247370
PBS_JOBID= 3589337
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276824-1169247370/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-276824-1169247370 -o ROOT/results/node23/solver-276824-1169247370 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276824-1169247370/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bbc5696eb0d541204e78162136ebccd9
RANDOM SEED= 807063924
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.265
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.265
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: 1337272 kB
Buffers: 38768 kB
Cached: 576816 kB
SwapCached: 7840 kB
Active: 181384 kB
Inactive: 470416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1337272 kB
SwapTotal: 4192956 kB
SwapFree: 4156060 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 52412 kB
Slab: 51696 kB
Committed_AS: 4719608 kB
PageTables: 2240 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 node23 on Fri Jan 19 22:59:23 UTC 2007