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/276860-1169248125/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.41 => wckTime=0.103 cpuTime=0.1 mem=6M910
0.41
0.41 relations being loaded...
0.52
0.52 constraints being loaded...
0.69 nbConstraints=751 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=751 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11884 maxDegree=39
0.69 maxArity=2
0.69 => wckTime=0.383 cpuTime=0.25 mem=11M851
0.74
0.74 solver LocalSearchSolver being built...
0.78 => wckTime=0.474 cpuTime=0.3 mem=6M107
0.79
0.79 s SATISFIABLE
0.79 o 688
0.79 c 63
0.79 o 695
0.79 c 56
0.79 o 700
0.79 c 51
0.79 o 705
0.79 c 46
0.79 o 709
0.79 c 42
0.79 o 712
0.79 c 39
0.79 o 716
0.79 c 35
0.80 o 718
0.80 c 33
0.80 o 722
0.80 c 29
0.80 o 724
0.80 c 27
0.80 o 725
0.80 c 26
0.80 o 726
0.80 c 25
0.80 o 730
0.80 c 21
0.80 o 731
0.80 c 20
0.80 o 732
0.80 c 19
0.80 o 733
0.80 c 18
0.80 o 734
0.80 c 17
0.81 o 735
0.81 c 16
0.82 o 736
0.82 c 15
0.83 o 737
0.83 c 14
0.83 o 739
0.83 c 12
0.83 o 740
0.83 c 11
0.83 o 742
0.83 c 9
0.84 o 743
0.84 c 8
0.84 o 744
0.84 c 7
0.86 o 745
0.86 c 6
0.86 o 746
0.86 c 5
0.86 o 747
0.86 c 4
0.86 o 749
0.86 c 2
1.97 o 750
1.97 c 1
1.97
1.97 search
1.97 run=0 nbConstraintChecks=7228578 nbAssignments=3942
1.97 => wckTime=1.185 cpuTime=1.16 mem=6M107
1.97
1.97 global
1.97 nbConstraintChecks=7228578 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.97 solvingWckTime=1.183 solvingCpuTime=1.15 expiredTime=no totalExploration=no nbFoundSolutions=0
1.97 globalCpuTime=1.49
1.97 => wckTime=1.659 cpuTime=1.45 mem=6M107
1.97
1.97 solver IterativeSystematicSolver being built...
2.10 => wckTime=1.788 cpuTime=1.55 mem=17M113
2.11
2.11 preprocessing
2.11 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.11 detectedInconsistency=no
2.11 => wckTime=0.0090 cpuTime=0.01 mem=17M113
2.21
2.21 search
2.21 run=0 nbConstraintChecks=134891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
2.21 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=66 nbRestartNogoods=0
2.21 => wckTime=0.107 cpuTime=0.09 mem=17M113
2.31
2.31 search
2.31 run=1 nbConstraintChecks=299223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76
2.31 nbFailedAssignments=41 nbBacktracks=25 nbVisitedNodes=143 nbRestartNogoods=16
2.31 => wckTime=0.208 cpuTime=0.17 mem=17M113
2.41
2.41 search
2.41 run=2 nbConstraintChecks=565405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142
2.41 nbFailedAssignments=81 nbBacktracks=47 nbVisitedNodes=271 nbRestartNogoods=23
2.41 => wckTime=0.309 cpuTime=0.27 mem=17M113
2.60
2.60 search
2.60 run=3 nbConstraintChecks=1083166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=276
2.60 nbFailedAssignments=173 nbBacktracks=80 nbVisitedNodes=530 nbRestartNogoods=24
2.60 => wckTime=0.496 cpuTime=0.45 mem=17M113
2.86
2.86 search
2.86 run=4 nbConstraintChecks=1787788 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=453
2.86 nbFailedAssignments=295 nbBacktracks=130 nbVisitedNodes=879 nbRestartNogoods=52
2.86 => wckTime=0.761 cpuTime=0.72 mem=17M113
3.21
3.21 search
3.21 run=5 nbConstraintChecks=2700094 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=689
3.21 nbFailedAssignments=450 nbBacktracks=205 nbVisitedNodes=1345 nbRestartNogoods=64
3.21 => wckTime=1.114 cpuTime=1.06 mem=17M113
3.70
3.70 search
3.70 run=6 nbConstraintChecks=4015648 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1010
3.70 nbFailedAssignments=652 nbBacktracks=318 nbVisitedNodes=1981 nbRestartNogoods=92
3.70 => wckTime=1.604 cpuTime=1.54 mem=17M113
4.42
4.42 search
4.42 run=7 nbConstraintChecks=5996618 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1499
4.42 nbFailedAssignments=964 nbBacktracks=488 nbVisitedNodes=2952 nbRestartNogoods=115
4.42 => wckTime=2.319 cpuTime=2.25 mem=17M113
5.56
5.56 search
5.56 run=8 nbConstraintChecks=9069252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2254
5.56 nbFailedAssignments=1456 nbBacktracks=744 nbVisitedNodes=4455 nbRestartNogoods=127
5.56 => wckTime=3.457 cpuTime=3.36 mem=17M113
7.21
7.21 search
7.21 run=9 nbConstraintChecks=13332142 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3322
7.21 nbFailedAssignments=2133 nbBacktracks=1130 nbVisitedNodes=6555 nbRestartNogoods=146
7.21 => wckTime=5.106 cpuTime=5.0 mem=17M113
9.45
9.45 search
9.45 run=10 nbConstraintChecks=19071278 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4749
9.45 nbFailedAssignments=2975 nbBacktracks=1706 nbVisitedNodes=9315 nbRestartNogoods=150
9.45 => wckTime=7.35 cpuTime=7.22 mem=17M113
12.65
12.65 search
12.65 run=11 nbConstraintChecks=27212602 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6813
12.65 nbFailedAssignments=4168 nbBacktracks=2570 nbVisitedNodes=13266 nbRestartNogoods=163
12.65 => wckTime=10.553 cpuTime=10.39 mem=17M113
16.74
16.74 search
16.74 run=12 nbConstraintChecks=37957866 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9673
16.74 nbFailedAssignments=5724 nbBacktracks=3868 nbVisitedNodes=18583 nbRestartNogoods=173
16.74 => wckTime=14.641 cpuTime=14.45 mem=17M113
21.59
21.59 search
21.59 run=13 nbConstraintChecks=50011261 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13258
21.59 nbFailedAssignments=7357 nbBacktracks=5814 nbVisitedNodes=24613 nbRestartNogoods=179
21.59 => wckTime=19.493 cpuTime=19.26 mem=17M113
27.86
27.87 search
27.87 run=14 nbConstraintChecks=65336907 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18271
27.87 nbFailedAssignments=9443 nbBacktracks=8733 nbVisitedNodes=32442 nbRestartNogoods=190
27.87 => wckTime=25.766 cpuTime=25.48 mem=17M113
36.62
36.62 search
36.62 run=15 nbConstraintChecks=86648161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25429
36.62 nbFailedAssignments=12214 nbBacktracks=13111 nbVisitedNodes=43253 nbRestartNogoods=202
36.62 => wckTime=34.516 cpuTime=34.15 mem=17M113
48.44
48.44 search
48.44 run=16 nbConstraintChecks=115928174 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35702
48.44 nbFailedAssignments=15913 nbBacktracks=19679 nbVisitedNodes=58210 nbRestartNogoods=215
48.44 => wckTime=46.335 cpuTime=45.87 mem=17M113
65.49
65.50 search
65.50 run=17 nbConstraintChecks=158158775 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50841
65.50 nbFailedAssignments=21194 nbBacktracks=29531 nbVisitedNodes=79883 nbRestartNogoods=220
65.50 => wckTime=63.395 cpuTime=62.78 mem=17M113
90.23
90.23 search
90.23 run=18 nbConstraintChecks=219781141 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73211
90.23 nbFailedAssignments=28775 nbBacktracks=44311 nbVisitedNodes=111595 nbRestartNogoods=228
90.23 => wckTime=88.13 cpuTime=87.3 mem=17M113
127.75
127.75 search
127.75 run=19 nbConstraintChecks=312364160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=106755
127.75 nbFailedAssignments=40142 nbBacktracks=66479 nbVisitedNodes=159253 nbRestartNogoods=235
127.76 => wckTime=125.655 cpuTime=124.51 mem=17M113
183.69
183.69 search
183.69 run=20 nbConstraintChecks=450370309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=157090
183.69 nbFailedAssignments=57217 nbBacktracks=99733 nbVisitedNodes=230747 nbRestartNogoods=246
183.69 => wckTime=181.592 cpuTime=179.97 mem=17M113
189.75
189.75 search
189.75 run=21 nbConstraintChecks=465094621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=162458
189.75 nbFailedAssignments=59042 nbBacktracks=103277 nbVisitedNodes=238357 nbRestartNogoods=257
189.75 => wckTime=187.646 cpuTime=185.98 mem=17M113
189.75
189.75 global
189.75 nbConstraintChecks=465094621 nbRestartNogoods=257 solvingWckTime=187.648 solvingCpuTime=185.98 expiredTime=no
189.75 totalExploration=yes nbFoundSolutions=0 globalCpuTime=187.57
189.75 => wckTime=189.436 cpuTime=187.53 mem=17M113
189.75
189.75 s OPTIMUM FOUND
189.75 v 0 7 1 0 4 1 4 3 0 1 5 6 3 0 6 5 0 0 6 2 6 5 0 3 0 1 4 0 6 3 7 6 1 7 7 4 4 3 3 2
189.75
189.75 totalWckTime=189.516 totalCpuTime=187.57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-276860-1169248125 -o ROOT/results/node15/solver-276860-1169248125 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276860-1169248125/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.94 1.99 1.99 5/86 10901
/proc/meminfo: memFree=1437656/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=9748 CPUtime=0
/proc/10900/stat : 10900 (java) D 10898 10900 10031 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 273207334 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512868 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/10900/statm: 2437 412 333 14 0 1140 0
[startup+0.104411 s]
/proc/loadavg: 1.94 1.99 1.99 5/86 10901
/proc/meminfo: memFree=1437656/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=914988 CPUtime=0.08
/proc/10900/stat : 10900 (java) D 10898 10900 10031 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 273207334 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512481 s]
/proc/loadavg: 1.94 1.99 1.99 5/86 10901
/proc/meminfo: memFree=1437656/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=915332 CPUtime=0.48
/proc/10900/stat : 10900 (java) R 10898 10900 10031 0 -1 0 6307 0 1 0 45 3 0 0 18 0 8 0 273207334 937299968 6046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228833 6046 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33562 s]
/proc/loadavg: 1.94 1.99 1.99 3/93 10908
/proc/meminfo: memFree=1415968/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=915448 CPUtime=1.3
/proc/10900/stat : 10900 (java) R 10898 10900 10031 0 -1 0 8102 0 1 0 117 13 0 0 24 0 8 0 273207334 937418752 7840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228862 7840 2476 14 0 215332 0
[pid=10900/tid=10902] ppid=10898 vsize=915448 CPUtime=0.03
/proc/10900/task/10902/stat : 10902 (java) S 10898 10900 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273207338 937418752 7840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10903] ppid=10898 vsize=915448 CPUtime=0
/proc/10900/task/10903/stat : 10903 (java) S 10898 10900 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207338 937418752 7840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10904] ppid=10898 vsize=915448 CPUtime=0
/proc/10900/task/10904/stat : 10904 (java) S 10898 10900 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207338 937418752 7840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10905] ppid=10898 vsize=915448 CPUtime=0
/proc/10900/task/10905/stat : 10905 (java) S 10898 10900 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207342 937418752 7840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10906] ppid=10898 vsize=915448 CPUtime=0.19
/proc/10900/task/10906/stat : 10906 (java) S 10898 10900 10031 0 -1 64 373 0 0 0 19 0 0 0 16 0 8 0 273207342 937418752 7840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10907] ppid=10898 vsize=915448 CPUtime=0
/proc/10900/task/10907/stat : 10907 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273207342 937418752 7840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10908] ppid=10898 vsize=915448 CPUtime=0
/proc/10900/task/10908/stat : 10908 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207342 937418752 7840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915448
[startup+2.9869 s]
/proc/loadavg: 1.95 1.99 1.99 4/93 10908
/proc/meminfo: memFree=1411680/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=915580 CPUtime=2.93
/proc/10900/stat : 10900 (java) R 10898 10900 10031 0 -1 0 9212 0 1 0 270 23 0 0 25 0 8 0 273207334 937553920 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228895 8948 2527 14 0 215365 0
[pid=10900/tid=10902] ppid=10898 vsize=915580 CPUtime=0.03
/proc/10900/task/10902/stat : 10902 (java) S 10898 10900 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207338 937553920 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10903] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10903/stat : 10903 (java) S 10898 10900 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207338 937553920 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10904] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10904/stat : 10904 (java) S 10898 10900 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207338 937553920 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10905] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10905/stat : 10905 (java) S 10898 10900 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207342 937553920 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10906] ppid=10898 vsize=915580 CPUtime=0.26
/proc/10900/task/10906/stat : 10906 (java) S 10898 10900 10031 0 -1 64 412 0 0 0 26 0 0 0 15 0 8 0 273207342 937553920 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10907] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10907/stat : 10907 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273207342 937553920 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10908] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10908/stat : 10908 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207342 937553920 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915580
[startup+6.27147 s]
/proc/loadavg: 1.95 1.99 1.99 3/93 10908
/proc/meminfo: memFree=1411488/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=915580 CPUtime=6.19
/proc/10900/stat : 10900 (java) R 10898 10900 10031 0 -1 0 9237 0 1 0 596 23 0 0 25 0 8 0 273207334 937553920 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073987563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228895 8970 2527 14 0 215365 0
[pid=10900/tid=10902] ppid=10898 vsize=915580 CPUtime=0.03
/proc/10900/task/10902/stat : 10902 (java) S 10898 10900 10031 0 -1 64 307 0 0 0 3 0 0 0 17 0 8 0 273207338 937553920 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10903] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10903/stat : 10903 (java) S 10898 10900 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207338 937553920 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10904] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10904/stat : 10904 (java) S 10898 10900 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207338 937553920 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10905] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10905/stat : 10905 (java) S 10898 10900 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207342 937553920 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10906] ppid=10898 vsize=915580 CPUtime=0.28
/proc/10900/task/10906/stat : 10906 (java) S 10898 10900 10031 0 -1 64 426 0 0 0 28 0 0 0 16 0 8 0 273207342 937553920 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10907] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10907/stat : 10907 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273207342 937553920 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10908] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10908/stat : 10908 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207342 937553920 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915580
[startup+12.7606 s]
/proc/loadavg: 1.95 1.99 1.99 3/93 10908
/proc/meminfo: memFree=1411488/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=915580 CPUtime=12.62
/proc/10900/stat : 10900 (java) R 10898 10900 10031 0 -1 0 9247 0 1 0 1239 23 0 0 25 0 8 0 273207334 937553920 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073987796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228895 8979 2527 14 0 215365 0
[pid=10900/tid=10902] ppid=10898 vsize=915580 CPUtime=0.03
/proc/10900/task/10902/stat : 10902 (java) S 10898 10900 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207338 937553920 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10903] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10903/stat : 10903 (java) S 10898 10900 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207338 937553920 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10904] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10904/stat : 10904 (java) S 10898 10900 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207338 937553920 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10905] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10905/stat : 10905 (java) S 10898 10900 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207342 937553920 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10906] ppid=10898 vsize=915580 CPUtime=0.29
/proc/10900/task/10906/stat : 10906 (java) S 10898 10900 10031 0 -1 64 428 0 0 0 29 0 0 0 16 0 8 0 273207342 937553920 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10907] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10907/stat : 10907 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273207342 937553920 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10908] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10908/stat : 10908 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207342 937553920 8979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915580
[startup+25.6068 s]
/proc/loadavg: 1.96 1.99 1.99 3/93 10908
/proc/meminfo: memFree=1411424/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=915580 CPUtime=25.36
/proc/10900/stat : 10900 (java) R 10898 10900 10031 0 -1 0 9252 0 1 0 2512 24 0 0 25 0 8 0 273207334 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228895 8984 2527 14 0 215365 0
[pid=10900/tid=10902] ppid=10898 vsize=915580 CPUtime=0.03
/proc/10900/task/10902/stat : 10902 (java) S 10898 10900 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207338 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10903] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10903/stat : 10903 (java) S 10898 10900 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207338 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10904] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10904/stat : 10904 (java) S 10898 10900 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207338 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10905] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10905/stat : 10905 (java) S 10898 10900 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207342 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10906] ppid=10898 vsize=915580 CPUtime=0.29
/proc/10900/task/10906/stat : 10906 (java) S 10898 10900 10031 0 -1 64 428 0 0 0 29 0 0 0 16 0 8 0 273207342 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10907] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10907/stat : 10907 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273207342 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10908] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10908/stat : 10908 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207342 937553920 8984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915580
[startup+51.2192 s]
/proc/loadavg: 1.97 1.99 1.99 3/93 10908
/proc/meminfo: memFree=1411488/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=915580 CPUtime=50.75
/proc/10900/stat : 10900 (java) R 10898 10900 10031 0 -1 0 9262 0 1 0 5051 24 0 0 25 0 8 0 273207334 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074012376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228895 8993 2527 14 0 215365 0
[pid=10900/tid=10902] ppid=10898 vsize=915580 CPUtime=0.03
/proc/10900/task/10902/stat : 10902 (java) S 10898 10900 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207338 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10903] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10903/stat : 10903 (java) S 10898 10900 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207338 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10904] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10904/stat : 10904 (java) S 10898 10900 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207338 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10905] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10905/stat : 10905 (java) S 10898 10900 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207342 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10906] ppid=10898 vsize=915580 CPUtime=0.29
/proc/10900/task/10906/stat : 10906 (java) S 10898 10900 10031 0 -1 64 430 0 0 0 29 0 0 0 16 0 8 0 273207342 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10907] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10907/stat : 10907 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273207342 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10908] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10908/stat : 10908 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207342 937553920 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915580
[startup+102.436 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 10908
/proc/meminfo: memFree=1411424/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=915580 CPUtime=101.54
/proc/10900/stat : 10900 (java) R 10898 10900 10031 0 -1 0 9266 0 1 0 10129 25 0 0 25 0 8 0 273207334 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961586 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228895 8997 2527 14 0 215365 0
[pid=10900/tid=10902] ppid=10898 vsize=915580 CPUtime=0.03
/proc/10900/task/10902/stat : 10902 (java) S 10898 10900 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207338 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10903] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10903/stat : 10903 (java) S 10898 10900 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207338 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10904] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10904/stat : 10904 (java) S 10898 10900 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207338 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10905] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10905/stat : 10905 (java) S 10898 10900 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207342 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10906] ppid=10898 vsize=915580 CPUtime=0.29
/proc/10900/task/10906/stat : 10906 (java) S 10898 10900 10031 0 -1 64 430 0 0 0 29 0 0 0 16 0 8 0 273207342 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10907] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10907/stat : 10907 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273207342 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10908] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10908/stat : 10908 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207342 937553920 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915580
[startup+162.501 s]
/proc/loadavg: 2.03 2.01 2.00 4/93 10908
/proc/meminfo: memFree=1411424/2055920 swapFree=4173628/4192956
[pid=10900] ppid=10898 vsize=915580 CPUtime=161.09
/proc/10900/stat : 10900 (java) R 10898 10900 10031 0 -1 0 9269 0 1 0 16084 25 0 0 25 0 8 0 273207334 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10900/statm: 228895 9000 2527 14 0 215365 0
[pid=10900/tid=10902] ppid=10898 vsize=915580 CPUtime=0.03
/proc/10900/task/10902/stat : 10902 (java) S 10898 10900 10031 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207338 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10903] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10903/stat : 10903 (java) S 10898 10900 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207338 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10904] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10904/stat : 10904 (java) S 10898 10900 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207338 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10905] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10905/stat : 10905 (java) S 10898 10900 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207342 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10906] ppid=10898 vsize=915580 CPUtime=0.29
/proc/10900/task/10906/stat : 10906 (java) S 10898 10900 10031 0 -1 64 430 0 0 0 29 0 0 0 16 0 8 0 273207342 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10907] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10907/stat : 10907 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273207342 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10900/tid=10908] ppid=10898 vsize=915580 CPUtime=0
/proc/10900/task/10908/stat : 10908 (java) S 10898 10900 10031 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207342 937553920 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.09
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 189.789
CPU time (s): 188.133
CPU user time (s): 187.868
CPU system time (s): 0.264959
CPU usage (%): 99.1275
Max. virtual memory (cumulated for all children) (KiB): 916096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.868
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9368
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= 5159
involuntary context switches= 12796
runsolver used 0.248962 s user time and 0.606907 s system time
The end
Begin job on node15 on Fri Jan 19 23:08:45 UTC 2007
IDJOB= 276860
IDBENCH= 6081
IDSOLVER= 69
FILE ID= node15/276860-1169248125
PBS_JOBID= 3589051
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276860-1169248125/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-276860-1169248125 -o ROOT/results/node15/solver-276860-1169248125 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276860-1169248125/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fd67395de66a8cf85dc6b74543f5764c
RANDOM SEED= 559005424
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.276
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.276
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: 1438136 kB
Buffers: 51940 kB
Cached: 454504 kB
SwapCached: 5936 kB
Active: 190612 kB
Inactive: 353176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1438136 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 48284 kB
Slab: 58748 kB
Committed_AS: 8297184 kB
PageTables: 2344 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 node15 on Fri Jan 19 23:11:55 UTC 2007