0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/229444-1168306268/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.44 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1333 maxDegree=17
0.63 maxArity=2
0.63 => wckTime=0.29 cpuTime=0.21 mem=11M893
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.501 cpuTime=0.35 mem=14M826
0.89
0.89 preprocessing
0.89 nbConstraintChecks=43986 nbPropagations=675 nbRevisions=4899 nbUselessRevisions=3977 nbSingletonTests=47
0.89 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.048 cpuTime=0.03 mem=14M826
0.91
0.91 search
0.91 run=0 nbConstraintChecks=28493 nbPropagations=1189 nbRevisions=9881 nbUselessRevisions=7871 nbAssignments=27
0.91 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.07 cpuTime=0.05 mem=14M826
0.93
0.93 search
0.93 run=1 nbConstraintChecks=57703 nbPropagations=2909 nbRevisions=24748 nbUselessRevisions=19637 nbAssignments=58
0.93 nbFailedAssignments=15 nbBacktracks=26 nbVisitedNodes=88 nbRestartNogoods=3 mapSize=17 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.089 cpuTime=0.06 mem=14M826
0.96
0.96 search
0.96 run=2 nbConstraintChecks=116308 nbPropagations=5765 nbRevisions=49927 nbUselessRevisions=39469
0.96 nbAssignments=119 nbFailedAssignments=33 nbBacktracks=48 nbVisitedNodes=167 nbRestartNogoods=6 mapSize=37
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.114 cpuTime=0.07 mem=14M826
0.97
0.97 search
0.97 run=3 nbConstraintChecks=173456 nbPropagations=9679 nbRevisions=85815 nbUselessRevisions=67463
0.97 nbAssignments=175 nbFailedAssignments=52 nbBacktracks=81 nbVisitedNodes=263 nbRestartNogoods=10 mapSize=67
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.128 cpuTime=0.09 mem=14M826
0.99
0.99 search
0.99 run=4 nbConstraintChecks=268324 nbPropagations=15256 nbRevisions=138521 nbUselessRevisions=108173
0.99 nbAssignments=261 nbFailedAssignments=81 nbBacktracks=131 nbVisitedNodes=412 nbRestartNogoods=11 mapSize=113
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.15 cpuTime=0.1 mem=14M826
1.02
1.02 search
1.02 run=5 nbConstraintChecks=384111 nbPropagations=22871 nbRevisions=212001 nbUselessRevisions=164823
1.02 nbAssignments=386 nbFailedAssignments=125 nbBacktracks=208 nbVisitedNodes=620 nbRestartNogoods=14 mapSize=177
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.18 cpuTime=0.13 mem=14M826
1.06
1.06 search
1.06 run=6 nbConstraintChecks=574628 nbPropagations=33882 nbRevisions=321243 nbUselessRevisions=249089
1.06 nbAssignments=569 nbFailedAssignments=188 nbBacktracks=321 nbVisitedNodes=935 nbRestartNogoods=15 mapSize=270
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.221 cpuTime=0.17 mem=14M826
1.13
1.13 search
1.13 run=7 nbConstraintChecks=872757 nbPropagations=50302 nbRevisions=488261 nbUselessRevisions=377650
1.13 nbAssignments=857 nbFailedAssignments=299 nbBacktracks=491 nbVisitedNodes=1435 nbRestartNogoods=20 mapSize=414
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.289 cpuTime=0.23 mem=14M826
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1305353 nbPropagations=74797 nbRevisions=740887 nbUselessRevisions=571844
1.23 nbAssignments=1298 nbFailedAssignments=476 nbBacktracks=748 nbVisitedNodes=2213 nbRestartNogoods=25
1.23 mapSize=633 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.384 cpuTime=0.32 mem=14M826
1.37
1.37 search
1.37 run=9 nbConstraintChecks=1944533 nbPropagations=110960 nbRevisions=1117957 nbUselessRevisions=860532
1.37 nbAssignments=1952 nbFailedAssignments=740 nbBacktracks=1132 nbVisitedNodes=3339 nbRestartNogoods=29
1.37 mapSize=945 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.526 cpuTime=0.44 mem=14M826
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1046, nbTooLargekeys=0, mem=14M826)
1.55
1.55 search
1.55 run=10 nbConstraintChecks=2867460 nbPropagations=165200 nbRevisions=1685387 nbUselessRevisions=1295456
1.55 nbAssignments=2947 nbFailedAssignments=1151 nbBacktracks=1708 nbVisitedNodes=5089 nbRestartNogoods=34
1.55 => wckTime=0.71 cpuTime=0.61 mem=14M826
1.80
1.80 search
1.80 run=11 nbConstraintChecks=4273593 nbPropagations=245753 nbRevisions=2534050 nbUselessRevisions=1946232
1.80 nbAssignments=4395 nbFailedAssignments=1727 nbBacktracks=2575 nbVisitedNodes=7600 nbRestartNogoods=47
1.80 => wckTime=0.958 cpuTime=0.85 mem=14M826
2.17
2.17 search
2.17 run=12 nbConstraintChecks=6374119 nbPropagations=365756 nbRevisions=3798828 nbUselessRevisions=2916381
2.17 nbAssignments=6530 nbFailedAssignments=2557 nbBacktracks=3875 nbVisitedNodes=11334 nbRestartNogoods=54
2.17 => wckTime=1.327 cpuTime=1.22 mem=14M826
2.71
2.71 search
2.71 run=13 nbConstraintChecks=9502959 nbPropagations=543811 nbRevisions=5681161 nbUselessRevisions=4362015
2.71 nbAssignments=9686 nbFailedAssignments=3760 nbBacktracks=5822 nbVisitedNodes=16810 nbRestartNogoods=58
2.71 => wckTime=1.866 cpuTime=1.75 mem=14M826
3.51
3.51 search
3.51 run=14 nbConstraintChecks=14165942 nbPropagations=806252 nbRevisions=8444455 nbUselessRevisions=6476768
3.51 nbAssignments=14378 nbFailedAssignments=5525 nbBacktracks=8741 nbVisitedNodes=24874 nbRestartNogoods=67
3.51 => wckTime=2.663 cpuTime=2.54 mem=14M826
4.82
4.82 search
4.82 run=15 nbConstraintChecks=21777334 nbPropagations=1207727 nbRevisions=12748497 nbUselessRevisions=9786061
4.82 nbAssignments=21874 nbFailedAssignments=8636 nbBacktracks=13120 nbVisitedNodes=38157 nbRestartNogoods=78
4.82 => wckTime=3.978 cpuTime=3.84 mem=14M826
6.59
6.59 search
6.59 run=16 nbConstraintChecks=32096368 nbPropagations=1800133 nbRevisions=19071816 nbUselessRevisions=14642666
6.59 nbAssignments=32462 nbFailedAssignments=12651 nbBacktracks=19688 nbVisitedNodes=56455 nbRestartNogoods=85
6.59 => wckTime=5.749 cpuTime=5.6 mem=14M826
9.41
9.41 search
9.41 run=17 nbConstraintChecks=48668782 nbPropagations=2690015 nbRevisions=28560482 nbUselessRevisions=21919102
9.41 nbAssignments=48702 nbFailedAssignments=19035 nbBacktracks=29541 nbVisitedNodes=84674 nbRestartNogoods=98
9.41 => wckTime=8.563 cpuTime=8.39 mem=14M826
13.67
13.67 search
13.67 run=18 nbConstraintChecks=73816056 nbPropagations=4041801 nbRevisions=43024093 nbUselessRevisions=33037548
13.67 nbAssignments=73350 nbFailedAssignments=28901 nbBacktracks=44319 nbVisitedNodes=127988 nbRestartNogoods=110
13.67 => wckTime=12.825 cpuTime=12.62 mem=14M826
19.99
19.99 search
19.99 run=19 nbConstraintChecks=111503627 nbPropagations=6069231 nbRevisions=64703356 nbUselessRevisions=49684206
19.99 nbAssignments=110053 nbFailedAssignments=43432 nbBacktracks=66487 nbVisitedNodes=191786 nbRestartNogoods=122
19.99 => wckTime=19.146 cpuTime=18.88 mem=14M826
29.77
29.77 search
29.77 run=20 nbConstraintChecks=170127987 nbPropagations=9121611 nbRevisions=97460472 nbUselessRevisions=74834498
29.77 nbAssignments=165603 nbFailedAssignments=65725 nbBacktracks=99740 nbVisitedNodes=288784 nbRestartNogoods=139
29.77 => wckTime=28.923 cpuTime=28.57 mem=14M826
44.51
44.51 search
44.51 run=21 nbConstraintChecks=259865048 nbPropagations=13716088 nbRevisions=146865016 nbUselessRevisions=112714179
44.51 nbAssignments=248691 nbFailedAssignments=98930 nbBacktracks=149619 nbVisitedNodes=433576 nbRestartNogoods=148
44.51 => wckTime=43.671 cpuTime=43.17 mem=15M802
44.67
44.67 search
44.67 run=22 nbConstraintChecks=260846894 nbPropagations=18325811 nbRevisions=196433303 nbUselessRevisions=150717377
44.67 nbAssignments=249479 nbFailedAssignments=99250 nbBacktracks=150088 nbVisitedNodes=434950 nbRestartNogoods=159
44.67 => wckTime=43.825 cpuTime=43.33 mem=15M802
44.67
44.67 global
44.67 nbConstraintChecks=260890880 nbPropagations=18326486 nbRevisions=196438202 nbUselessRevisions=150721354
44.67 nbRestartNogoods=159 solvingWckTime=43.827 solvingCpuTime=43.33 expiredTime=no totalExploration=yes
44.67 nbFoundSolutions=0 globalCpuTime=43.73
44.67 => wckTime=44.331 cpuTime=43.68 mem=15M802
44.67
44.67 s UNSATISFIABLE
44.67 d NODES 249479
44.67 d CHECKS 260890880
44.67
44.67 totalWckTime=44.414 totalCpuTime=43.73
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-229444-1168306268 -o ROOT/results/node14/solver-229444-1168306268 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229444-1168306268/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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 1.49 1.34 4/98 12115
/proc/meminfo: memFree=1595904/2055920 swapFree=4163780/4192956
[pid=12114] ppid=12112 vsize=172 CPUtime=0
/proc/12114/stat : 12114 (java) R 12112 12114 11485 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 179021760 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 0 0 0
/proc/12114/statm: 43 24 18 14 0 3 0
[startup+0.10764 s]
/proc/loadavg: 2.00 1.49 1.34 4/98 12115
/proc/meminfo: memFree=1595904/2055920 swapFree=4163780/4192956
[pid=12114] ppid=12112 vsize=911488 CPUtime=0.07
/proc/12114/stat : 12114 (java) R 12112 12114 11485 0 -1 0 2636 0 1 0 5 2 0 0 18 0 8 0 179021760 933363712 2383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12114/statm: 227872 2383 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.515681 s]
/proc/loadavg: 2.00 1.49 1.34 4/98 12115
/proc/meminfo: memFree=1595904/2055920 swapFree=4163780/4192956
[pid=12114] ppid=12112 vsize=915328 CPUtime=0.48
/proc/12114/stat : 12114 (java) R 12112 12114 11485 0 -1 0 6534 0 1 0 42 6 0 0 18 0 8 0 179021760 937295872 6273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12114/statm: 228832 6273 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33675 s]
/proc/loadavg: 2.00 1.49 1.34 3/105 12122
/proc/meminfo: memFree=1572168/2055920 swapFree=4163780/4192956
[pid=12114] ppid=12112 vsize=915452 CPUtime=1.28
/proc/12114/stat : 12114 (java) R 12112 12114 11485 0 -1 0 8683 0 1 0 120 8 0 0 24 0 8 0 179021760 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12114/statm: 228863 8421 2524 14 0 215333 0
[pid=12114/tid=12116] ppid=12112 vsize=915452 CPUtime=0.03
/proc/12114/task/12116/stat : 12116 (java) S 12112 12114 11485 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 179021764 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12117] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12117/stat : 12117 (java) S 12112 12114 11485 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179021765 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12118] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12118/stat : 12118 (java) S 12112 12114 11485 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179021765 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12119] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12119/stat : 12119 (java) S 12112 12114 11485 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 179021770 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12120] ppid=12112 vsize=915452 CPUtime=0.22
/proc/12114/task/12120/stat : 12120 (java) S 12112 12114 11485 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 179021770 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12121] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12121/stat : 12121 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179021770 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12122] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12122/stat : 12122 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179021770 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915452
[startup+2.97691 s]
/proc/loadavg: 2.00 1.50 1.34 3/105 12122
/proc/meminfo: memFree=1571912/2055920 swapFree=4163780/4192956
[pid=12114] ppid=12112 vsize=915452 CPUtime=2.91
/proc/12114/stat : 12114 (java) R 12112 12114 11485 0 -1 0 8711 0 1 0 283 8 0 0 25 0 8 0 179021760 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12114/statm: 228863 8448 2524 14 0 215333 0
[pid=12114/tid=12116] ppid=12112 vsize=915452 CPUtime=0.03
/proc/12114/task/12116/stat : 12116 (java) S 12112 12114 11485 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 179021764 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12117] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12117/stat : 12117 (java) S 12112 12114 11485 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179021765 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12118] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12118/stat : 12118 (java) S 12112 12114 11485 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179021765 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12119] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12119/stat : 12119 (java) S 12112 12114 11485 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 179021770 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12120] ppid=12112 vsize=915452 CPUtime=0.24
/proc/12114/task/12120/stat : 12120 (java) S 12112 12114 11485 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 179021770 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12121] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12121/stat : 12121 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179021770 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12122] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12122/stat : 12122 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179021770 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915452
[startup+6.18421 s]
/proc/loadavg: 2.00 1.50 1.34 3/105 12122
/proc/meminfo: memFree=1571784/2055920 swapFree=4163780/4192956
[pid=12114] ppid=12112 vsize=915452 CPUtime=6.09
/proc/12114/stat : 12114 (java) R 12112 12114 11485 0 -1 0 8719 0 1 0 601 8 0 0 25 0 8 0 179021760 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12114/statm: 228863 8455 2524 14 0 215333 0
[pid=12114/tid=12116] ppid=12112 vsize=915452 CPUtime=0.03
/proc/12114/task/12116/stat : 12116 (java) S 12112 12114 11485 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 179021764 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12117] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12117/stat : 12117 (java) S 12112 12114 11485 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179021765 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12118] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12118/stat : 12118 (java) S 12112 12114 11485 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179021765 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12119] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12119/stat : 12119 (java) S 12112 12114 11485 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 179021770 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12120] ppid=12112 vsize=915452 CPUtime=0.24
/proc/12114/task/12120/stat : 12120 (java) S 12112 12114 11485 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 179021770 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12121] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12121/stat : 12121 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179021770 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12122] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12122/stat : 12122 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179021770 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915452
[startup+12.6498 s]
/proc/loadavg: 2.00 1.52 1.35 3/105 12122
/proc/meminfo: memFree=1571784/2055920 swapFree=4163780/4192956
[pid=12114] ppid=12112 vsize=915452 CPUtime=12.49
/proc/12114/stat : 12114 (java) R 12112 12114 11485 0 -1 0 8724 0 1 0 1241 8 0 0 25 0 8 0 179021760 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12114/statm: 228863 8460 2524 14 0 215333 0
[pid=12114/tid=12116] ppid=12112 vsize=915452 CPUtime=0.03
/proc/12114/task/12116/stat : 12116 (java) S 12112 12114 11485 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 179021764 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12117] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12117/stat : 12117 (java) S 12112 12114 11485 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179021765 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12118] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12118/stat : 12118 (java) S 12112 12114 11485 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179021765 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12119] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12119/stat : 12119 (java) S 12112 12114 11485 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 179021770 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12120] ppid=12112 vsize=915452 CPUtime=0.24
/proc/12114/task/12120/stat : 12120 (java) S 12112 12114 11485 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 179021770 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12121] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12121/stat : 12121 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179021770 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12122] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12122/stat : 12122 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179021770 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915452
[startup+25.507 s]
/proc/loadavg: 2.00 1.53 1.35 3/105 12122
/proc/meminfo: memFree=1571784/2055920 swapFree=4163780/4192956
[pid=12114] ppid=12112 vsize=915452 CPUtime=25.23
/proc/12114/stat : 12114 (java) R 12112 12114 11485 0 -1 0 8729 0 1 0 2515 8 0 0 25 0 8 0 179021760 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12114/statm: 228863 8465 2524 14 0 215333 0
[pid=12114/tid=12116] ppid=12112 vsize=915452 CPUtime=0.03
/proc/12114/task/12116/stat : 12116 (java) S 12112 12114 11485 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 179021764 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12117] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12117/stat : 12117 (java) S 12112 12114 11485 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 179021765 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12118] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12118/stat : 12118 (java) S 12112 12114 11485 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 179021765 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12119] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12119/stat : 12119 (java) S 12112 12114 11485 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 179021770 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12120] ppid=12112 vsize=915452 CPUtime=0.24
/proc/12114/task/12120/stat : 12120 (java) S 12112 12114 11485 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 179021770 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12121] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12121/stat : 12121 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 179021770 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12114/tid=12122] ppid=12112 vsize=915452 CPUtime=0
/proc/12114/task/12122/stat : 12122 (java) S 12112 12114 11485 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 179021770 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 44.7167
CPU time (s): 44.2403
CPU user time (s): 44.1423
CPU system time (s): 0.097985
CPU usage (%): 98.9346
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.1423
system time used= 0.097985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8826
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= 2001
involuntary context switches= 3932
runsolver used 0.06099 s user time and 0.153976 s system time
The end
Begin job on node14 on Tue Jan 9 01:31:08 UTC 2007
IDJOB= 229444
IDBENCH= 6306
FILE ID= node14/229444-1168306268
PBS_JOBID= 3502293
Free space on /tmp= 66342 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229444-1168306268/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-229444-1168306268 -o ROOT/results/node14/solver-229444-1168306268 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229444-1168306268/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 762b5d8b4017d76eb2729f0843724689
RANDOM SEED= 763766594
TIME LIMIT= 1800 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.227
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.227
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: 1596320 kB
Buffers: 44640 kB
Cached: 232484 kB
SwapCached: 4056 kB
Active: 281400 kB
Inactive: 138312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1596320 kB
SwapTotal: 4192956 kB
SwapFree: 4163780 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 161136 kB
Slab: 24360 kB
Committed_AS: 6736364 kB
PageTables: 2432 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= 66342 MiB
End job on node14 on Tue Jan 9 01:31:53 UTC 2007