0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/214002-1168077560/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.43 nbVariables=682 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.142 cpuTime=0.1 mem=8M25
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
0.84 nbConstraints=1701 nbConvertedConstraints=463 nbConvertConstraintsChecks=56 nbExtensionStructures=2
0.84 nbSharedExtensionStructures=461 nbConflictsStructures=8 nbSharedConflictsStructures=1693
0.84 nbSharedBinaryRepresentations=5 nbEvaluationManagers=6 nbSharedEvaluationManagers=1232 maxDegree=47 maxArity=3
0.84 => wckTime=0.546 cpuTime=0.41 mem=18M760
0.89
0.89 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.813 cpuTime=0.58 mem=24M313
1.12
1.12 preprocessing
1.12 nbConstraintChecks=0 nbPropagations=682 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.12 detectedInconsistency=no
1.12 => wckTime=0.016 cpuTime=0.01 mem=24M313
1.22
1.22 search
1.22 run=0 nbConstraintChecks=6926 nbValidityChecks=4635 nbPropagations=3064 nbRevisions=9814
1.22 nbUselessRevisions=7428 nbAssignments=42 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=51
1.22 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.113 cpuTime=0.07 mem=24M313
1.25
1.25 search
1.25 run=1 nbConstraintChecks=13142 nbValidityChecks=10339 nbPropagations=8496 nbRevisions=29332
1.25 nbUselessRevisions=22188 nbAssignments=85 nbFailedAssignments=8 nbBacktracks=31 nbVisitedNodes=102
1.25 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.145 cpuTime=0.1 mem=24M313
1.28
1.28 search
1.28 run=2 nbConstraintChecks=22348 nbValidityChecks=18706 nbPropagations=17370 nbRevisions=62999
1.28 nbUselessRevisions=47643 nbAssignments=139 nbFailedAssignments=14 nbBacktracks=53 nbVisitedNodes=168
1.28 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.177 cpuTime=0.13 mem=24M313
1.32
1.32 search
1.32 run=3 nbConstraintChecks=33542 nbValidityChecks=28960 nbPropagations=30420 nbRevisions=113915
1.33 nbUselessRevisions=86158 nbAssignments=208 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=251
1.33 nbRestartNogoods=4 mapSize=35 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.218 cpuTime=0.17 mem=24M313
1.38
1.38 search
1.38 run=4 nbConstraintChecks=48800 nbValidityChecks=43051 nbPropagations=49202 nbRevisions=188462
1.38 nbUselessRevisions=142545 nbAssignments=298 nbFailedAssignments=31 nbBacktracks=137 nbVisitedNodes=361
1.38 nbRestartNogoods=7 mapSize=51 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.272 cpuTime=0.23 mem=24M313
1.45
1.45 search
1.45 run=5 nbConstraintChecks=68028 nbValidityChecks=60611 nbPropagations=74987 nbRevisions=292986
1.45 nbUselessRevisions=221858 nbAssignments=416 nbFailedAssignments=44 nbBacktracks=213 nbVisitedNodes=505
1.45 nbRestartNogoods=11 mapSize=73 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.347 cpuTime=0.3 mem=24M313
1.53
1.53 search
1.53 run=6 nbConstraintChecks=83960 nbValidityChecks=75027 nbPropagations=106382 nbRevisions=423117
1.53 nbUselessRevisions=321041 nbAssignments=573 nbFailedAssignments=63 nbBacktracks=335 nbVisitedNodes=700
1.53 nbRestartNogoods=15 mapSize=110 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.422 cpuTime=0.37 mem=25M288
1.66
1.66 search
1.66 run=7 nbConstraintChecks=117306 nbValidityChecks=106006 nbPropagations=149791 nbRevisions=606943
1.66 nbUselessRevisions=461676 nbAssignments=791 nbFailedAssignments=92 nbBacktracks=506 nbVisitedNodes=979
1.66 nbRestartNogoods=16 mapSize=170 nbInferences=0 nbTooLargeKeys=0
1.66 => wckTime=0.549 cpuTime=0.49 mem=25M288
1.83
1.83 search
1.83 run=8 nbConstraintChecks=165779 nbValidityChecks=148615 nbPropagations=209914 nbRevisions=867263
1.83 nbUselessRevisions=661395 nbAssignments=1104 nbFailedAssignments=124 nbBacktracks=763 nbVisitedNodes=1394
1.83 nbRestartNogoods=17 mapSize=268 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.721 cpuTime=0.66 mem=25M288
2.11
2.11 search
2.11 run=9 nbConstraintChecks=239458 nbValidityChecks=216582 nbPropagations=296090 nbRevisions=1248527
2.11 nbUselessRevisions=954958 nbAssignments=1584 nbFailedAssignments=195 nbBacktracks=1148 nbVisitedNodes=2028
2.11 nbRestartNogoods=21 mapSize=418 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=1.002 cpuTime=0.93 mem=25M288
2.54
2.54 search
2.54 run=10 nbConstraintChecks=370258 nbValidityChecks=332423 nbPropagations=426007 nbRevisions=1841588
2.54 nbUselessRevisions=1414482 nbAssignments=2335 nbFailedAssignments=340 nbBacktracks=1724 nbVisitedNodes=3081
2.54 nbRestartNogoods=25 mapSize=713 nbInferences=0 nbTooLargeKeys=0
2.54 => wckTime=1.429 cpuTime=1.34 mem=25M288
3.03
3.03 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=25M288)
3.10
3.10 search
3.10 run=11 nbConstraintChecks=574033 nbValidityChecks=526621 nbPropagations=630753 nbRevisions=2776398
3.10 nbUselessRevisions=2137361 nbAssignments=3394 nbFailedAssignments=501 nbBacktracks=2589 nbVisitedNodes=4491
3.10 nbRestartNogoods=32
3.10 => wckTime=1.989 cpuTime=1.9 mem=25M288
3.59
3.60 search
3.60 run=12 nbConstraintChecks=756496 nbValidityChecks=700724 nbPropagations=901060 nbRevisions=4014574
3.60 nbUselessRevisions=3094727 nbAssignments=4883 nbFailedAssignments=657 nbBacktracks=3899 nbVisitedNodes=6319
3.60 nbRestartNogoods=37
3.60 => wckTime=2.488 cpuTime=2.4 mem=25M288
4.39
4.39 search
4.39 run=13 nbConstraintChecks=1053665 nbValidityChecks=991664 nbPropagations=1281635 nbRevisions=5765222
4.39 nbUselessRevisions=4448481 nbAssignments=7098 nbFailedAssignments=892 nbBacktracks=5866 nbVisitedNodes=9013
4.39 nbRestartNogoods=41
4.39 => wckTime=3.285 cpuTime=3.2 mem=25M288
5.67
5.67 search
5.67 run=14 nbConstraintChecks=1483827 nbValidityChecks=1474529 nbPropagations=1827549 nbRevisions=8310758
5.67 nbUselessRevisions=6418885 nbAssignments=10515 nbFailedAssignments=1354 nbBacktracks=8788 nbVisitedNodes=13372
5.67 nbRestartNogoods=42
5.67 => wckTime=4.565 cpuTime=4.47 mem=25M288
7.71
7.71 search
7.71 run=15 nbConstraintChecks=2266206 nbValidityChecks=2257103 nbPropagations=2661112 nbRevisions=12225568
7.71 nbUselessRevisions=9454405 nbAssignments=15684 nbFailedAssignments=2112 nbBacktracks=13167 nbVisitedNodes=20022
7.71 nbRestartNogoods=46
7.71 => wckTime=6.604 cpuTime=6.51 mem=25M288
10.53
10.53 search
10.53 run=16 nbConstraintChecks=3258205 nbValidityChecks=3281065 nbPropagations=3849648 nbRevisions=17849149
10.53 nbUselessRevisions=13821275 nbAssignments=23256 nbFailedAssignments=3081 nbBacktracks=19736
10.53 nbVisitedNodes=29534 nbRestartNogoods=52
10.54 => wckTime=9.428 cpuTime=9.33 mem=25M288
14.13
14.13 search
14.13 run=17 nbConstraintChecks=4509683 nbValidityChecks=4505944 nbPropagations=5495602 nbRevisions=25628971
14.13 nbUselessRevisions=19862195 nbAssignments=34291 nbFailedAssignments=4237 nbBacktracks=29591
14.13 nbVisitedNodes=42857 nbRestartNogoods=58
14.13 => wckTime=13.022 cpuTime=12.92 mem=25M288
20.22
20.22 search
20.22 run=18 nbConstraintChecks=6721836 nbValidityChecks=6686926 nbPropagations=7946018 nbRevisions=37242247
20.22 nbUselessRevisions=28889937 nbAssignments=50978 nbFailedAssignments=6124 nbBacktracks=44376
20.22 nbVisitedNodes=63255 nbRestartNogoods=64
20.22 => wckTime=19.11 cpuTime=19.02 mem=25M288
30.36
30.36 search
30.36 run=19 nbConstraintChecks=10656464 nbValidityChecks=10530534 nbPropagations=11838278 nbRevisions=55599703
30.36 nbUselessRevisions=43143895 nbAssignments=76229 nbFailedAssignments=9186 nbBacktracks=66544
30.36 nbVisitedNodes=94803 nbRestartNogoods=68
30.36 => wckTime=29.256 cpuTime=29.14 mem=25M288
45.15
45.15 search
45.15 run=20 nbConstraintChecks=16230615 nbValidityChecks=16078604 nbPropagations=17764109 nbRevisions=83596313
45.15 nbUselessRevisions=64886323 nbAssignments=113908 nbFailedAssignments=13581 nbBacktracks=99812
45.15 nbVisitedNodes=142008 nbRestartNogoods=74
45.15 => wckTime=44.043 cpuTime=43.92 mem=25M288
67.74
67.74 search
67.74 run=21 nbConstraintChecks=24799794 nbValidityChecks=24573127 nbPropagations=26829963 nbRevisions=126349199
67.74 nbUselessRevisions=98072990 nbAssignments=170868 nbFailedAssignments=20632 nbBacktracks=149696
67.74 nbVisitedNodes=213155 nbRestartNogoods=78
67.74 => wckTime=66.634 cpuTime=66.5 mem=25M288
78.44
78.44 search
78.44 run=22 nbConstraintChecks=28866129 nbValidityChecks=28590624 nbPropagations=37411141 nbRevisions=176119940
78.44 nbUselessRevisions=136672835 nbAssignments=198673 nbFailedAssignments=23983 nbBacktracks=173468
78.44 nbVisitedNodes=247531 nbRestartNogoods=83
78.44 => wckTime=77.331 cpuTime=77.17 mem=25M288
78.44
78.44 global
78.44 nbConstraintChecks=28866129 nbValidityChecks=28590624 nbPropagations=37411823 nbRevisions=176119940
78.44 nbUselessRevisions=136672835 nbRestartNogoods=83 solvingWckTime=77.332 solvingCpuTime=77.18 expiredTime=no
78.44 totalExploration=no nbFoundSolutions=1 globalCpuTime=77.82
78.44 => wckTime=78.149 cpuTime=77.76 mem=25M288
78.44
78.44 s SATISFIABLE
78.44 v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0
78.44 d NODES 198673
78.44 d CHECKS 28866129
78.44
78.44 totalWckTime=78.225 totalCpuTime=77.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-214002-1168077560 -o ROOT/results/node16/solver-214002-1168077560 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214002-1168077560/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: 1.95 1.99 1.96 4/93 21917
/proc/meminfo: memFree=1279896/2055920 swapFree=4191880/4192956
[pid=21916] ppid=21914 vsize=1500 CPUtime=0
/proc/21916/stat : 21916 (java) R 21914 21916 21849 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 156150834 1536000 69 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7173814 0 0 4096 0 0 0 0 17 0 0 0
/proc/21916/statm: 363 70 54 14 0 8 0
[startup+0.106599 s]
/proc/loadavg: 1.95 1.99 1.96 4/93 21917
/proc/meminfo: memFree=1279896/2055920 swapFree=4191880/4192956
[pid=21916] ppid=21914 vsize=914988 CPUtime=0.09
/proc/21916/stat : 21916 (java) R 21914 21916 21849 0 -1 0 3070 0 1 0 8 1 0 0 24 0 8 0 156150834 936947712 2816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21916/statm: 228747 2817 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515914 s]
/proc/loadavg: 1.95 1.99 1.96 4/93 21917
/proc/meminfo: memFree=1279896/2055920 swapFree=4191880/4192956
[pid=21916] ppid=21914 vsize=915328 CPUtime=0.5
/proc/21916/stat : 21916 (java) R 21914 21916 21849 0 -1 0 6672 0 1 0 47 3 0 0 25 0 8 0 156150834 937295872 6411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21916/statm: 228832 6411 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33738 s]
/proc/loadavg: 1.95 1.99 1.96 3/100 21924
/proc/meminfo: memFree=1246752/2055920 swapFree=4191880/4192956
[pid=21916] ppid=21914 vsize=915764 CPUtime=1.32
/proc/21916/stat : 21916 (java) R 21914 21916 21849 0 -1 0 11150 0 1 0 119 13 0 0 25 0 8 0 156150834 937742336 10887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074069937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21916/statm: 228941 10887 2533 14 0 215411 0
[pid=21916/tid=21918] ppid=21914 vsize=915764 CPUtime=0.04
/proc/21916/task/21918/stat : 21918 (java) S 21914 21916 21849 0 -1 64 419 0 0 0 4 0 0 0 16 0 8 0 156150838 937742336 10887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 21849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 10887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 21849 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 10887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 21849 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150841 937742336 10887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=915764 CPUtime=0.26
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 21849 0 -1 64 484 0 0 0 26 0 0 0 15 0 8 0 156150841 937742336 10887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156150841 937742336 10887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150841 937742336 10887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915764
[startup+2.97408 s]
/proc/loadavg: 1.95 1.99 1.96 3/100 21924
/proc/meminfo: memFree=1245600/2055920 swapFree=4191880/4192956
[pid=21916] ppid=21914 vsize=915764 CPUtime=2.95
/proc/21916/stat : 21916 (java) R 21914 21916 21849 0 -1 0 11347 0 1 0 282 13 0 0 25 0 8 0 156150834 937742336 11083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21916/statm: 228941 11083 2533 14 0 215411 0
[pid=21916/tid=21918] ppid=21914 vsize=915764 CPUtime=0.04
/proc/21916/task/21918/stat : 21918 (java) S 21914 21916 21849 0 -1 64 419 0 0 0 4 0 0 0 17 0 8 0 156150838 937742336 11083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 21849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 21849 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 21849 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150841 937742336 11083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=915764 CPUtime=0.3
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 21849 0 -1 64 505 0 0 0 29 1 0 0 16 0 8 0 156150841 937742336 11083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156150841 937742336 11083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150841 937742336 11083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915764
[startup+6.1805 s]
/proc/loadavg: 1.95 1.99 1.96 3/100 21924
/proc/meminfo: memFree=1245288/2055920 swapFree=4191880/4192956
[pid=21916] ppid=21914 vsize=915764 CPUtime=6.16
/proc/21916/stat : 21916 (java) R 21914 21916 21849 0 -1 0 11366 0 1 0 602 14 0 0 25 0 8 0 156150834 937742336 11100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997947 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21916/statm: 228941 11100 2533 14 0 215411 0
[pid=21916/tid=21918] ppid=21914 vsize=915764 CPUtime=0.04
/proc/21916/task/21918/stat : 21918 (java) S 21914 21916 21849 0 -1 64 419 0 0 0 4 0 0 0 16 0 8 0 156150838 937742336 11100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 21849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 21849 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 21849 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150841 937742336 11100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=915764 CPUtime=0.31
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 21849 0 -1 64 506 0 0 0 30 1 0 0 17 0 8 0 156150841 937742336 11100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156150841 937742336 11100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150841 937742336 11100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915764
[startup+12.6453 s]
/proc/loadavg: 1.96 1.99 1.96 3/100 21924
/proc/meminfo: memFree=1245288/2055920 swapFree=4191880/4192956
[pid=21916] ppid=21914 vsize=915764 CPUtime=12.63
/proc/21916/stat : 21916 (java) R 21914 21916 21849 0 -1 0 11372 0 1 0 1249 14 0 0 25 0 8 0 156150834 937742336 11106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21916/statm: 228941 11106 2533 14 0 215411 0
[pid=21916/tid=21918] ppid=21914 vsize=915764 CPUtime=0.04
/proc/21916/task/21918/stat : 21918 (java) S 21914 21916 21849 0 -1 64 419 0 0 0 4 0 0 0 16 0 8 0 156150838 937742336 11106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 21849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 21849 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 21849 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150841 937742336 11106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=915764 CPUtime=0.31
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 21849 0 -1 64 507 0 0 0 30 1 0 0 16 0 8 0 156150841 937742336 11106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156150841 937742336 11106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150841 937742336 11106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915764
[startup+25.502 s]
/proc/loadavg: 1.97 1.99 1.96 4/100 21924
/proc/meminfo: memFree=1245288/2055920 swapFree=4191880/4192956
[pid=21916] ppid=21914 vsize=915764 CPUtime=25.45
/proc/21916/stat : 21916 (java) R 21914 21916 21849 0 -1 0 11378 0 1 0 2531 14 0 0 25 0 8 0 156150834 937742336 11112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997994 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21916/statm: 228941 11112 2533 14 0 215411 0
[pid=21916/tid=21918] ppid=21914 vsize=915764 CPUtime=0.04
/proc/21916/task/21918/stat : 21918 (java) S 21914 21916 21849 0 -1 64 419 0 0 0 4 0 0 0 16 0 8 0 156150838 937742336 11112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 21849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 21849 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 21849 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150841 937742336 11112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=915764 CPUtime=0.31
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 21849 0 -1 64 508 0 0 0 30 1 0 0 16 0 8 0 156150841 937742336 11112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156150841 937742336 11112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150841 937742336 11112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915764
[startup+51.1063 s]
/proc/loadavg: 1.98 1.99 1.96 3/100 21924
/proc/meminfo: memFree=1245288/2055920 swapFree=4191880/4192956
[pid=21916] ppid=21914 vsize=915764 CPUtime=51.05
/proc/21916/stat : 21916 (java) R 21914 21916 21849 0 -1 0 11383 0 1 0 5091 14 0 0 25 0 8 0 156150834 937742336 11117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033101 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21916/statm: 228941 11117 2533 14 0 215411 0
[pid=21916/tid=21918] ppid=21914 vsize=915764 CPUtime=0.04
/proc/21916/task/21918/stat : 21918 (java) S 21914 21916 21849 0 -1 64 419 0 0 0 4 0 0 0 16 0 8 0 156150838 937742336 11117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21919] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21919/stat : 21919 (java) S 21914 21916 21849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21920] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21920/stat : 21920 (java) S 21914 21916 21849 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156150838 937742336 11117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21921] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21921/stat : 21921 (java) S 21914 21916 21849 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156150841 937742336 11117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21922] ppid=21914 vsize=915764 CPUtime=0.31
/proc/21916/task/21922/stat : 21922 (java) S 21914 21916 21849 0 -1 64 508 0 0 0 30 1 0 0 16 0 8 0 156150841 937742336 11117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21923] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21923/stat : 21923 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156150841 937742336 11117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21916/tid=21924] ppid=21914 vsize=915764 CPUtime=0
/proc/21916/task/21924/stat : 21924 (java) S 21914 21916 21849 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156150841 937742336 11117 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915764
Child status: 0
Real time (s): 78.4668
CPU time (s): 78.3721
CPU user time (s): 78.2111
CPU system time (s): 0.160975
CPU usage (%): 99.8792
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.2111
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11481
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= 3136
involuntary context switches= 5391
runsolver used 0.096985 s user time and 0.268959 s system time
The end
Begin job on node16 on Sat Jan 6 09:59:20 UTC 2007
IDJOB= 214002
IDBENCH= 4891
FILE ID= node16/214002-1168077560
PBS_JOBID= 3475820
Free space on /tmp= 66500 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-5-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214002-1168077560/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-214002-1168077560 -o ROOT/results/node16/solver-214002-1168077560 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214002-1168077560/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9a191ad3472ce44d5e746725097d36bd
RANDOM SEED= 18076091
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.220
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.220
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: 1280376 kB
Buffers: 64216 kB
Cached: 481828 kB
SwapCached: 268 kB
Active: 279424 kB
Inactive: 398444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1280376 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2076 kB
Writeback: 0 kB
Mapped: 160284 kB
Slab: 82224 kB
Committed_AS: 4667264 kB
PageTables: 2572 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= 66500 MiB
End job on node16 on Sat Jan 6 10:00:39 UTC 2007