0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/228916-1168302017/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1346 maxDegree=17
0.61 maxArity=2
0.61 => wckTime=0.294 cpuTime=0.2 mem=11M828
0.65
0.65 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.504 cpuTime=0.35 mem=14M826
0.87
0.87 preprocessing
0.87 nbConstraintChecks=55768 nbPropagations=850 nbRevisions=6078 nbUselessRevisions=4792 nbSingletonTests=56
0.87 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.051 cpuTime=0.03 mem=14M826
0.89
0.89 search
0.89 run=0 nbConstraintChecks=23495 nbPropagations=1268 nbRevisions=9953 nbUselessRevisions=7758 nbAssignments=24
0.89 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=7 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.072 cpuTime=0.04 mem=14M826
0.91
0.91 search
0.91 run=1 nbConstraintChecks=51675 nbPropagations=3030 nbRevisions=24899 nbUselessRevisions=19340 nbAssignments=53
0.91 nbFailedAssignments=16 nbBacktracks=26 nbVisitedNodes=84 nbRestartNogoods=2 mapSize=19 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.09 cpuTime=0.05 mem=14M826
0.93
0.93 search
0.93 run=2 nbConstraintChecks=111851 nbPropagations=5841 nbRevisions=50670 nbUselessRevisions=39156
0.93 nbAssignments=103 nbFailedAssignments=37 nbBacktracks=49 nbVisitedNodes=172 nbRestartNogoods=3 mapSize=40
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.108 cpuTime=0.07 mem=14M826
0.94
0.94 search
0.94 run=3 nbConstraintChecks=166464 nbPropagations=9632 nbRevisions=86090 nbUselessRevisions=66429
0.94 nbAssignments=160 nbFailedAssignments=56 nbBacktracks=83 nbVisitedNodes=266 nbRestartNogoods=6 mapSize=65
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.122 cpuTime=0.08 mem=14M826
0.97
0.97 search
0.97 run=4 nbConstraintChecks=260156 nbPropagations=14933 nbRevisions=137851 nbUselessRevisions=106131
0.97 nbAssignments=249 nbFailedAssignments=90 nbBacktracks=133 nbVisitedNodes=412 nbRestartNogoods=7 mapSize=98
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.144 cpuTime=0.1 mem=14M826
1.00
1.00 search
1.00 run=5 nbConstraintChecks=382073 nbPropagations=22608 nbRevisions=213629 nbUselessRevisions=164146
1.00 nbAssignments=375 nbFailedAssignments=135 nbBacktracks=208 nbVisitedNodes=623 nbRestartNogoods=12 mapSize=156
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.176 cpuTime=0.12 mem=14M826
1.05
1.05 search
1.05 run=6 nbConstraintChecks=648810 nbPropagations=34760 nbRevisions=337309 nbUselessRevisions=258421
1.05 nbAssignments=602 nbFailedAssignments=230 nbBacktracks=321 nbVisitedNodes=1003 nbRestartNogoods=21 mapSize=256
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.229 cpuTime=0.17 mem=14M826
1.12
1.12 search
1.12 run=7 nbConstraintChecks=985810 nbPropagations=52602 nbRevisions=519936 nbUselessRevisions=397550
1.12 nbAssignments=912 nbFailedAssignments=353 nbBacktracks=491 nbVisitedNodes=1516 nbRestartNogoods=28 mapSize=404
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.296 cpuTime=0.24 mem=14M826
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1407092 nbPropagations=78188 nbRevisions=784210 nbUselessRevisions=599026
1.21 nbAssignments=1345 nbFailedAssignments=524 nbBacktracks=747 nbVisitedNodes=2251 nbRestartNogoods=34
1.21 mapSize=608 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.393 cpuTime=0.32 mem=14M826
1.35
1.35 search
1.35 run=9 nbConstraintChecks=2043144 nbPropagations=115137 nbRevisions=1164911 nbUselessRevisions=888298
1.35 nbAssignments=1972 nbFailedAssignments=762 nbBacktracks=1131 nbVisitedNodes=3320 nbRestartNogoods=40
1.35 mapSize=924 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.528 cpuTime=0.44 mem=14M826
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=14M826)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=3072110 nbPropagations=169575 nbRevisions=1734400 nbUselessRevisions=1320959
1.54 nbAssignments=2952 nbFailedAssignments=1161 nbBacktracks=1709 nbVisitedNodes=5004 nbRestartNogoods=46
1.54 => wckTime=0.717 cpuTime=0.62 mem=14M826
1.80
1.80 search
1.80 run=11 nbConstraintChecks=4593686 nbPropagations=250501 nbRevisions=2591720 nbUselessRevisions=1974096
1.80 nbAssignments=4392 nbFailedAssignments=1731 nbBacktracks=2573 nbVisitedNodes=7509 nbRestartNogoods=50
1.80 => wckTime=0.977 cpuTime=0.87 mem=14M826
2.15
2.15 search
2.15 run=12 nbConstraintChecks=6683609 nbPropagations=369513 nbRevisions=3851606 nbUselessRevisions=2935902
2.15 nbAssignments=6497 nbFailedAssignments=2531 nbBacktracks=3874 nbVisitedNodes=11101 nbRestartNogoods=58
2.15 => wckTime=1.328 cpuTime=1.22 mem=14M826
2.74
2.75 search
2.75 run=13 nbConstraintChecks=10316548 nbPropagations=551213 nbRevisions=5789988 nbUselessRevisions=4414736
2.75 nbAssignments=9761 nbFailedAssignments=3843 nbBacktracks=5821 nbVisitedNodes=16813 nbRestartNogoods=67
2.75 => wckTime=1.924 cpuTime=1.81 mem=14M826
3.59
3.59 search
3.59 run=14 nbConstraintChecks=15327093 nbPropagations=823006 nbRevisions=8683682 nbUselessRevisions=6623205
3.59 nbAssignments=14527 nbFailedAssignments=5682 nbBacktracks=8742 nbVisitedNodes=25021 nbRestartNogoods=80
3.59 => wckTime=2.769 cpuTime=2.65 mem=14M826
4.87
4.87 search
4.87 run=15 nbConstraintChecks=23265571 nbPropagations=1229379 nbRevisions=13018678 nbUselessRevisions=9926685
4.87 nbAssignments=21769 nbFailedAssignments=8539 nbBacktracks=13120 nbVisitedNodes=37553 nbRestartNogoods=90
4.87 => wckTime=4.054 cpuTime=3.92 mem=14M826
6.76
6.76 search
6.76 run=16 nbConstraintChecks=34481439 nbPropagations=1836937 nbRevisions=19504414 nbUselessRevisions=14876541
6.76 nbAssignments=32621 nbFailedAssignments=12817 nbBacktracks=19689 nbVisitedNodes=56405 nbRestartNogoods=103
6.76 => wckTime=5.942 cpuTime=5.8 mem=14M826
9.67
9.67 search
9.67 run=17 nbConstraintChecks=51773078 nbPropagations=2754876 nbRevisions=29329477 nbUselessRevisions=22385465
9.67 nbAssignments=49181 nbFailedAssignments=19520 nbBacktracks=29541 nbVisitedNodes=85318 nbRestartNogoods=108
9.67 => wckTime=8.852 cpuTime=8.68 mem=14M826
13.99
13.99 search
13.99 run=18 nbConstraintChecks=77849833 nbPropagations=4122799 nbRevisions=43996132 nbUselessRevisions=33589392
13.99 nbAssignments=73428 nbFailedAssignments=28983 nbBacktracks=44320 nbVisitedNodes=127184 nbRestartNogoods=116
13.99 => wckTime=13.167 cpuTime=12.95 mem=14M826
20.65
20.65 search
20.65 run=19 nbConstraintChecks=118510233 nbPropagations=6183475 nbRevisions=66154578 nbUselessRevisions=50510229
20.65 nbAssignments=109832 nbFailedAssignments=43214 nbBacktracks=66488 nbVisitedNodes=190412 nbRestartNogoods=122
20.65 => wckTime=19.824 cpuTime=19.55 mem=14M826
27.50
27.50 search
27.50 run=20 nbConstraintChecks=160796559 nbPropagations=8959128 nbRevisions=96108755 nbUselessRevisions=73381712
27.50 nbAssignments=146873 nbFailedAssignments=58333 nbBacktracks=88411 nbVisitedNodes=255316 nbRestartNogoods=133
27.50 => wckTime=26.678 cpuTime=26.34 mem=14M826
27.50
27.50 global
27.50 nbConstraintChecks=160852327 nbPropagations=8959978 nbRevisions=96114833 nbUselessRevisions=73386504
27.50 nbRestartNogoods=133 solvingWckTime=26.679 solvingCpuTime=26.34 expiredTime=no totalExploration=yes
27.50 nbFoundSolutions=0 globalCpuTime=26.75
27.50 => wckTime=27.186 cpuTime=26.69 mem=15M801
27.50
27.50 s UNSATISFIABLE
27.50 d NODES 146873
27.50 d CHECKS 160852327
27.50
27.50 totalWckTime=27.27 totalCpuTime=26.75
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-228916-1168302017 -o ROOT/results/node13/solver-228916-1168302017 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228916-1168302017/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.87 1.76 4/95 22153
/proc/meminfo: memFree=1354192/2055920 swapFree=4192812/4192956
[pid=22152] ppid=22150 vsize=47416 CPUtime=0
/proc/22152/stat : 22152 (java) D 22150 22152 21883 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 178596660 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/22152/statm: 11854 960 760 14 0 1707 0
[startup+0.104208 s]
/proc/loadavg: 2.00 1.87 1.76 4/95 22153
/proc/meminfo: memFree=1354192/2055920 swapFree=4192812/4192956
[pid=22152] ppid=22150 vsize=914988 CPUtime=0.09
/proc/22152/stat : 22152 (java) R 22150 22152 21883 0 -1 0 3000 0 1 0 8 1 0 0 17 0 8 0 178596660 936947712 2746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22152/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512263 s]
/proc/loadavg: 2.00 1.87 1.76 4/95 22153
/proc/meminfo: memFree=1354192/2055920 swapFree=4192812/4192956
[pid=22152] ppid=22150 vsize=915328 CPUtime=0.49
/proc/22152/stat : 22152 (java) R 22150 22152 21883 0 -1 0 6667 0 1 0 45 4 0 0 18 0 8 0 178596660 937295872 6406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22152/statm: 228832 6406 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33337 s]
/proc/loadavg: 2.00 1.87 1.76 3/102 22160
/proc/meminfo: memFree=1330456/2055920 swapFree=4192812/4192956
[pid=22152] ppid=22150 vsize=915452 CPUtime=1.31
/proc/22152/stat : 22152 (java) R 22150 22152 21883 0 -1 0 8686 0 1 0 124 7 0 0 24 0 8 0 178596660 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22152/statm: 228863 8424 2524 14 0 215333 0
[pid=22152/tid=22154] ppid=22150 vsize=915452 CPUtime=0.03
/proc/22152/task/22154/stat : 22154 (java) S 22150 22152 21883 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178596664 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22155] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22155/stat : 22155 (java) S 22150 22152 21883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178596665 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22156] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22156/stat : 22156 (java) S 22150 22152 21883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178596665 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22157] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22157/stat : 22157 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178596668 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22158] ppid=22150 vsize=915452 CPUtime=0.22
/proc/22152/task/22158/stat : 22158 (java) S 22150 22152 21883 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 178596668 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22159] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22159/stat : 22159 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178596668 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22160] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22160/stat : 22160 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178596668 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.97459 s]
/proc/loadavg: 2.00 1.87 1.76 3/102 22160
/proc/meminfo: memFree=1330200/2055920 swapFree=4192812/4192956
[pid=22152] ppid=22150 vsize=915452 CPUtime=2.93
/proc/22152/stat : 22152 (java) R 22150 22152 21883 0 -1 0 8712 0 1 0 286 7 0 0 25 0 8 0 178596660 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22152/statm: 228863 8449 2524 14 0 215333 0
[pid=22152/tid=22154] ppid=22150 vsize=915452 CPUtime=0.03
/proc/22152/task/22154/stat : 22154 (java) S 22150 22152 21883 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178596664 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22155] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22155/stat : 22155 (java) S 22150 22152 21883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178596665 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22156] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22156/stat : 22156 (java) S 22150 22152 21883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178596665 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22157] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22157/stat : 22157 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178596668 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22158] ppid=22150 vsize=915452 CPUtime=0.24
/proc/22152/task/22158/stat : 22158 (java) S 22150 22152 21883 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 178596668 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22159] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22159/stat : 22159 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178596668 937422848 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22160] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22160/stat : 22160 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178596668 937422848 8449 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) 915452
[startup+6.18201 s]
/proc/loadavg: 2.00 1.87 1.76 3/102 22160
/proc/meminfo: memFree=1330072/2055920 swapFree=4192812/4192956
[pid=22152] ppid=22150 vsize=915452 CPUtime=6.11
/proc/22152/stat : 22152 (java) R 22150 22152 21883 0 -1 0 8719 0 1 0 604 7 0 0 25 0 8 0 178596660 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22152/statm: 228863 8455 2524 14 0 215333 0
[pid=22152/tid=22154] ppid=22150 vsize=915452 CPUtime=0.03
/proc/22152/task/22154/stat : 22154 (java) S 22150 22152 21883 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178596664 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22155] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22155/stat : 22155 (java) S 22150 22152 21883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178596665 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22156] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22156/stat : 22156 (java) S 22150 22152 21883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178596665 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22157] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22157/stat : 22157 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178596668 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22158] ppid=22150 vsize=915452 CPUtime=0.24
/proc/22152/task/22158/stat : 22158 (java) S 22150 22152 21883 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 178596668 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22159] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22159/stat : 22159 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178596668 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22160] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22160/stat : 22160 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178596668 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.11
Current children cumulated vsize (KiB) 915452
[startup+12.6519 s]
/proc/loadavg: 2.00 1.87 1.76 3/102 22160
/proc/meminfo: memFree=1330008/2055920 swapFree=4192812/4192956
[pid=22152] ppid=22150 vsize=915452 CPUtime=12.51
/proc/22152/stat : 22152 (java) R 22150 22152 21883 0 -1 0 8724 0 1 0 1244 7 0 0 25 0 8 0 178596660 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22152/statm: 228863 8460 2524 14 0 215333 0
[pid=22152/tid=22154] ppid=22150 vsize=915452 CPUtime=0.03
/proc/22152/task/22154/stat : 22154 (java) S 22150 22152 21883 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178596664 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22155] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22155/stat : 22155 (java) S 22150 22152 21883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178596665 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22156] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22156/stat : 22156 (java) S 22150 22152 21883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178596665 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22157] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22157/stat : 22157 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178596668 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22158] ppid=22150 vsize=915452 CPUtime=0.24
/proc/22152/task/22158/stat : 22158 (java) S 22150 22152 21883 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 178596668 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22159] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22159/stat : 22159 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178596668 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22160] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22160/stat : 22160 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178596668 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.51
Current children cumulated vsize (KiB) 915452
[startup+25.5076 s]
/proc/loadavg: 2.00 1.88 1.76 3/102 22160
/proc/meminfo: memFree=1330072/2055920 swapFree=4192812/4192956
[pid=22152] ppid=22150 vsize=915452 CPUtime=25.25
/proc/22152/stat : 22152 (java) R 22150 22152 21883 0 -1 0 8729 0 1 0 2518 7 0 0 25 0 8 0 178596660 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22152/statm: 228863 8465 2524 14 0 215333 0
[pid=22152/tid=22154] ppid=22150 vsize=915452 CPUtime=0.03
/proc/22152/task/22154/stat : 22154 (java) S 22150 22152 21883 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178596664 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22155] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22155/stat : 22155 (java) S 22150 22152 21883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178596665 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22156] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22156/stat : 22156 (java) S 22150 22152 21883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178596665 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22157] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22157/stat : 22157 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178596668 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22158] ppid=22150 vsize=915452 CPUtime=0.24
/proc/22152/task/22158/stat : 22158 (java) S 22150 22152 21883 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 178596668 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22159] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22159/stat : 22159 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178596668 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22152/tid=22160] ppid=22150 vsize=915452 CPUtime=0
/proc/22152/task/22160/stat : 22160 (java) S 22150 22152 21883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178596668 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.25
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 27.5223
CPU time (s): 27.2519
CPU user time (s): 27.1679
CPU system time (s): 0.083987
CPU usage (%): 99.0174
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.1679
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8820
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= 1617
involuntary context switches= 3058
runsolver used 0.033994 s user time and 0.101984 s system time
The end
Begin job on node13 on Tue Jan 9 00:20:17 UTC 2007
IDJOB= 228916
IDBENCH= 6245
FILE ID= node13/228916-1168302017
PBS_JOBID= 3502211
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228916-1168302017/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-228916-1168302017 -o ROOT/results/node13/solver-228916-1168302017 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228916-1168302017/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fb918c21c0e825a3a0479fc37910380a
RANDOM SEED= 893289618
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.247
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.247
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: 1354672 kB
Buffers: 88156 kB
Cached: 446188 kB
SwapCached: 0 kB
Active: 373040 kB
Inactive: 265620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1354672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5360 kB
Writeback: 0 kB
Mapped: 132168 kB
Slab: 47032 kB
Committed_AS: 5579608 kB
PageTables: 2600 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= 66324 MiB
End job on node13 on Tue Jan 9 00:20:44 UTC 2007