0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/213859-1168077509/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.47 nbVariables=698 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.48 => wckTime=0.155 cpuTime=0.13 mem=8M25
0.48
0.48 predicates being loaded...
0.48
0.48 constraints being loaded...
0.92 nbConstraints=1741 nbConvertedConstraints=471 nbConvertConstraintsChecks=56 nbExtensionStructures=2
0.92 nbSharedExtensionStructures=469 nbConflictsStructures=8 nbSharedConflictsStructures=1733
0.92 nbSharedBinaryRepresentations=5 nbEvaluationManagers=6 nbSharedEvaluationManagers=1264 maxDegree=43 maxArity=3
0.92 => wckTime=0.598 cpuTime=0.45 mem=18M752
0.97
0.97 solver IterativeSystematicSolver being built...
1.21 => wckTime=0.893 cpuTime=0.64 mem=24M340
1.23
1.24 preprocessing
1.24 nbConstraintChecks=0 nbPropagations=698 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.24 detectedInconsistency=no
1.24 => wckTime=0.017 cpuTime=0.01 mem=24M340
1.35
1.35 search
1.35 run=0 nbConstraintChecks=6681 nbValidityChecks=4147 nbPropagations=2911 nbRevisions=9335
1.35 nbUselessRevisions=7113 nbAssignments=41 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=49
1.35 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.128 cpuTime=0.07 mem=25M348
1.38
1.38 search
1.38 run=1 nbConstraintChecks=13389 nbValidityChecks=10276 nbPropagations=8292 nbRevisions=29600
1.38 nbUselessRevisions=22669 nbAssignments=84 nbFailedAssignments=6 nbBacktracks=26 nbVisitedNodes=100
1.38 nbRestartNogoods=2 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.165 cpuTime=0.1 mem=25M348
1.42
1.42 search
1.42 run=2 nbConstraintChecks=23326 nbValidityChecks=19434 nbPropagations=17314 nbRevisions=65620
1.42 nbUselessRevisions=50323 nbAssignments=141 nbFailedAssignments=13 nbBacktracks=48 nbVisitedNodes=170
1.42 nbRestartNogoods=4 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.201 cpuTime=0.14 mem=25M348
1.47
1.47 search
1.47 run=3 nbConstraintChecks=37067 nbValidityChecks=32009 nbPropagations=31308 nbRevisions=123225
1.47 nbUselessRevisions=94555 nbAssignments=213 nbFailedAssignments=23 nbBacktracks=86 nbVisitedNodes=259
1.47 nbRestartNogoods=8 mapSize=35 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.253 cpuTime=0.2 mem=25M348
1.54
1.54 search
1.54 run=4 nbConstraintChecks=58563 nbValidityChecks=51615 nbPropagations=53043 nbRevisions=214473
1.54 nbUselessRevisions=164611 nbAssignments=308 nbFailedAssignments=37 nbBacktracks=138 nbVisitedNodes=381
1.54 nbRestartNogoods=10 mapSize=59 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.325 cpuTime=0.27 mem=25M348
1.63
1.63 search
1.63 run=5 nbConstraintChecks=82144 nbValidityChecks=73114 nbPropagations=83269 nbRevisions=342511
1.63 nbUselessRevisions=262885 nbAssignments=428 nbFailedAssignments=53 nbBacktracks=214 nbVisitedNodes=531
1.63 nbRestartNogoods=13 mapSize=86 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.413 cpuTime=0.35 mem=25M348
1.74
1.74 search
1.74 run=6 nbConstraintChecks=113270 nbValidityChecks=101130 nbPropagations=124604 nbRevisions=518848
1.74 nbUselessRevisions=398211 nbAssignments=585 nbFailedAssignments=72 nbBacktracks=328 nbVisitedNodes=733
1.74 nbRestartNogoods=16 mapSize=128 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.523 cpuTime=0.46 mem=25M348
1.87
1.87 search
1.87 run=7 nbConstraintChecks=140695 nbValidityChecks=124994 nbPropagations=175228 nbRevisions=738345
1.87 nbUselessRevisions=567110 nbAssignments=827 nbFailedAssignments=108 nbBacktracks=516 nbVisitedNodes=1042
1.87 nbRestartNogoods=19 mapSize=193 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.653 cpuTime=0.59 mem=25M348
2.10
2.10 search
2.10 run=8 nbConstraintChecks=202034 nbValidityChecks=182331 nbPropagations=247605 nbRevisions=1061212
2.10 nbUselessRevisions=816485 nbAssignments=1164 nbFailedAssignments=168 nbBacktracks=773 nbVisitedNodes=1489
2.10 nbRestartNogoods=21 mapSize=299 nbInferences=0 nbTooLargeKeys=0
2.10 => wckTime=0.881 cpuTime=0.82 mem=25M348
2.44
2.44 search
2.44 run=9 nbConstraintChecks=283187 nbValidityChecks=257253 nbPropagations=348567 nbRevisions=1518692
2.44 nbUselessRevisions=1170553 nbAssignments=1649 nbFailedAssignments=243 nbBacktracks=1159 nbVisitedNodes=2121
2.44 nbRestartNogoods=25 mapSize=443 nbInferences=0 nbTooLargeKeys=0
2.44 => wckTime=1.219 cpuTime=1.13 mem=25M348
2.95
2.95 search
2.95 run=10 nbConstraintChecks=414187 nbValidityChecks=380311 nbPropagations=494373 nbRevisions=2189569
2.95 nbUselessRevisions=1691572 nbAssignments=2365 nbFailedAssignments=351 nbBacktracks=1747 nbVisitedNodes=3066
2.95 nbRestartNogoods=28 mapSize=669 nbInferences=0 nbTooLargeKeys=0
2.95 => wckTime=1.735 cpuTime=1.62 mem=25M348
3.65
3.65 search
3.65 run=11 nbConstraintChecks=602820 nbValidityChecks=563809 nbPropagations=708156 nbRevisions=3174470
3.65 nbUselessRevisions=2456220 nbAssignments=3407 nbFailedAssignments=493 nbBacktracks=2622 nbVisitedNodes=4399
3.65 nbRestartNogoods=31 mapSize=955 nbInferences=0 nbTooLargeKeys=0
3.65 => wckTime=2.431 cpuTime=2.31 mem=26M323
3.75
3.75 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=26M323)
4.32
4.32 search
4.32 run=12 nbConstraintChecks=843760 nbValidityChecks=789214 nbPropagations=1007093 nbRevisions=4558134
4.32 nbUselessRevisions=3530250 nbAssignments=4922 nbFailedAssignments=695 nbBacktracks=3921 nbVisitedNodes=6322
4.32 nbRestartNogoods=36
4.32 => wckTime=3.101 cpuTime=2.98 mem=26M323
5.31
5.31 search
5.31 run=13 nbConstraintChecks=1195306 nbValidityChecks=1129126 nbPropagations=1428817 nbRevisions=6528202
5.31 nbUselessRevisions=5060814 nbAssignments=7209 nbFailedAssignments=998 nbBacktracks=5886 nbVisitedNodes=9209
5.31 nbRestartNogoods=37
5.31 => wckTime=4.094 cpuTime=3.96 mem=26M323
6.57
6.57 search
6.57 run=14 nbConstraintChecks=1581959 nbValidityChecks=1525654 nbPropagations=1988361 nbRevisions=9189905
6.57 nbUselessRevisions=7135767 nbAssignments=10540 nbFailedAssignments=1360 nbBacktracks=8805 nbVisitedNodes=13345
6.57 nbRestartNogoods=40
6.57 => wckTime=5.35 cpuTime=5.2 mem=26M323
8.53
8.53 search
8.53 run=15 nbConstraintChecks=2174170 nbValidityChecks=2156137 nbPropagations=2752065 nbRevisions=12899100
8.53 nbUselessRevisions=10035492 nbAssignments=15710 nbFailedAssignments=2117 nbBacktracks=13184
8.53 nbVisitedNodes=20007 nbRestartNogoods=45
8.53 => wckTime=7.318 cpuTime=7.15 mem=26M323
11.50
11.50 search
11.50 run=16 nbConstraintChecks=3181945 nbValidityChecks=3087913 nbPropagations=3867139 nbRevisions=18295752
11.50 nbUselessRevisions=14252374 nbAssignments=23210 nbFailedAssignments=3019 nbBacktracks=19755
11.50 nbVisitedNodes=29377 nbRestartNogoods=50
11.50 => wckTime=10.279 cpuTime=10.08 mem=26M323
16.57
16.57 search
16.57 run=17 nbConstraintChecks=4976531 nbValidityChecks=4853279 nbPropagations=5605714 nbRevisions=26736649
16.57 nbUselessRevisions=20850596 nbAssignments=34608 nbFailedAssignments=4529 nbBacktracks=29613
16.57 nbVisitedNodes=43842 nbRestartNogoods=56
16.57 => wckTime=15.357 cpuTime=15.11 mem=26M323
24.03
24.03 search
24.03 run=18 nbConstraintChecks=7685368 nbValidityChecks=7477346 nbPropagations=8316513 nbRevisions=39816811
24.03 nbUselessRevisions=31061866 nbAssignments=51368 nbFailedAssignments=6474 nbBacktracks=44402
24.03 nbVisitedNodes=64625 nbRestartNogoods=61
24.03 => wckTime=22.812 cpuTime=22.5 mem=26M323
33.77
33.77 search
33.77 run=19 nbConstraintChecks=10944544 nbValidityChecks=10623053 nbPropagations=12193176 nbRevisions=58434886
33.77 nbUselessRevisions=45577279 nbAssignments=75971 nbFailedAssignments=8849 nbBacktracks=66604
33.77 nbVisitedNodes=94210 nbRestartNogoods=67
33.77 => wckTime=32.557 cpuTime=32.16 mem=26M323
46.59
46.59 search
46.59 run=20 nbConstraintChecks=15056720 nbValidityChecks=14580965 nbPropagations=17592892 nbRevisions=84230060
46.59 nbUselessRevisions=65652804 nbAssignments=112984 nbFailedAssignments=12581 nbBacktracks=99856
46.59 nbVisitedNodes=138535 nbRestartNogoods=71
46.59 => wckTime=45.375 cpuTime=44.85 mem=26M323
65.86
65.86 search
65.86 run=21 nbConstraintChecks=21072085 nbValidityChecks=20426854 nbPropagations=25160666 nbRevisions=120470035
65.86 nbUselessRevisions=93852342 nbAssignments=168413 nbFailedAssignments=18085 nbBacktracks=149748
65.86 nbVisitedNodes=205020 nbRestartNogoods=76
65.86 => wckTime=64.639 cpuTime=63.94 mem=26M323
81.35
81.35 search
81.35 run=22 nbConstraintChecks=26154634 nbValidityChecks=25222519 nbPropagations=34564385 nbRevisions=165281175
81.35 nbUselessRevisions=128679710 nbAssignments=212172 nbFailedAssignments=22389 nbBacktracks=188505
81.35 nbVisitedNodes=257308 nbRestartNogoods=83
81.35 => wckTime=80.133 cpuTime=79.29 mem=26M323
81.35
81.35 global
81.35 nbConstraintChecks=26154634 nbValidityChecks=25222519 nbPropagations=34565083 nbRevisions=165281175
81.35 nbUselessRevisions=128679710 nbRestartNogoods=83 solvingWckTime=80.134 solvingCpuTime=79.29 expiredTime=no
81.35 totalExploration=no nbFoundSolutions=1 globalCpuTime=79.98
81.35 => wckTime=81.032 cpuTime=79.93 mem=26M323
81.35
81.35 s SATISFIABLE
81.36 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 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 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 0 1 0 1 1 0 0 1 0 1 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 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 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 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 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 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 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 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 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1
81.36 d NODES 212172
81.36 d CHECKS 26154634
81.36
81.36 totalWckTime=81.115 totalCpuTime=79.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-213859-1168077509 -o ROOT/results/node7/solver-213859-1168077509 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213859-1168077509/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.51 1.88 1.90 4/93 18660
/proc/meminfo: memFree=1176224/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=1784 CPUtime=0
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 156146456 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/18659/statm: 446 140 106 14 0 91 0
[startup+0.104939 s]
/proc/loadavg: 1.51 1.88 1.90 4/93 18660
/proc/meminfo: memFree=1176224/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=914988 CPUtime=0.09
/proc/18659/stat : 18659 (java) S 18657 18659 18536 0 -1 0 2998 0 1 0 7 2 0 0 17 0 8 0 156146456 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51298 s]
/proc/loadavg: 1.51 1.88 1.90 4/93 18660
/proc/meminfo: memFree=1176224/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915328 CPUtime=0.49
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 6354 0 1 0 45 4 0 0 18 0 8 0 156146456 937295872 6093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072943724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228832 6093 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33407 s]
/proc/loadavg: 1.51 1.88 1.90 4/100 18667
/proc/meminfo: memFree=1147176/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=1.3
/proc/18659/stat : 18659 (java) S 18657 18659 18536 0 -1 0 11184 0 1 0 115 15 0 0 17 0 8 0 156146456 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 10922 2530 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 426 0 0 0 4 0 0 0 17 0 8 0 156146460 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.29
/proc/18659/task/18665/stat : 18665 (java) R 18657 18659 18536 0 -1 64 480 0 0 0 28 1 0 0 20 0 8 0 156146464 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153940584 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 10922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 10922 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) 915764
[startup+2.97224 s]
/proc/loadavg: 1.63 1.89 1.90 3/100 18667
/proc/meminfo: memFree=1141864/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=2.92
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11390 0 1 0 276 16 0 0 25 0 8 0 156146456 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11126 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 17 0 8 0 156146460 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.34
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 505 0 0 0 33 1 0 0 16 0 8 0 156146464 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915764
[startup+6.17858 s]
/proc/loadavg: 1.63 1.89 1.90 3/100 18667
/proc/meminfo: memFree=1141160/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=6.1
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11470 0 1 0 594 16 0 0 25 0 8 0 156146456 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073987683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11204 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 17 0 8 0 156146460 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.35
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 156146464 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915764
[startup+12.6533 s]
/proc/loadavg: 1.69 1.90 1.91 3/100 18667
/proc/meminfo: memFree=1141096/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=12.51
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11481 0 1 0 1235 16 0 0 25 0 8 0 156146456 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073983533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11214 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 16 0 8 0 156146460 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.35
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 509 0 0 0 33 2 0 0 17 0 8 0 156146464 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11214 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) 915764
[startup+25.5236 s]
/proc/loadavg: 1.74 1.90 1.91 3/100 18667
/proc/meminfo: memFree=1141224/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=25.27
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11486 0 1 0 2510 17 0 0 25 0 8 0 156146456 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11219 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 16 0 8 0 156146460 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.35
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 509 0 0 0 33 2 0 0 17 0 8 0 156146464 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915764
[startup+51.1493 s]
/proc/loadavg: 1.83 1.91 1.91 3/100 18667
/proc/meminfo: memFree=1141160/2055920 swapFree=4192812/4192956
[pid=18659] ppid=18657 vsize=915764 CPUtime=50.65
/proc/18659/stat : 18659 (java) R 18657 18659 18536 0 -1 0 11491 0 1 0 5048 17 0 0 25 0 8 0 156146456 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18659/statm: 228941 11224 2533 14 0 215411 0
[pid=18659/tid=18661] ppid=18657 vsize=915764 CPUtime=0.04
/proc/18659/task/18661/stat : 18661 (java) S 18657 18659 18536 0 -1 64 427 0 0 0 4 0 0 0 16 0 8 0 156146460 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18662] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18662/stat : 18662 (java) S 18657 18659 18536 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18663] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18663/stat : 18663 (java) S 18657 18659 18536 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156146461 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18664] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18664/stat : 18664 (java) S 18657 18659 18536 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156146464 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18665] ppid=18657 vsize=915764 CPUtime=0.35
/proc/18659/task/18665/stat : 18665 (java) S 18657 18659 18536 0 -1 64 509 0 0 0 33 2 0 0 16 0 8 0 156146464 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18666] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18666/stat : 18666 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156146464 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18659/tid=18667] ppid=18657 vsize=915764 CPUtime=0
/proc/18659/task/18667/stat : 18667 (java) S 18657 18659 18536 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156146464 937742336 11224 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915764
Child status: 0
Real time (s): 81.3767
CPU time (s): 80.6147
CPU user time (s): 80.4248
CPU system time (s): 0.189971
CPU usage (%): 99.0637
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.4248
system time used= 0.189971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11588
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= 2765
involuntary context switches= 4872
runsolver used 0.122981 s user time and 0.246962 s system time
The end
Begin job on node7 on Sat Jan 6 09:58:29 UTC 2007
IDJOB= 213859
IDBENCH= 4880
FILE ID= node7/213859-1168077509
PBS_JOBID= 3475818
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-2-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213859-1168077509/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-213859-1168077509 -o ROOT/results/node7/solver-213859-1168077509 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213859-1168077509/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b4d2a5b19a1ec98e70988177619dc187
RANDOM SEED= 443035344
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: 1176640 kB
Buffers: 78808 kB
Cached: 427860 kB
SwapCached: 0 kB
Active: 526216 kB
Inactive: 249724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1176640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2228 kB
Writeback: 0 kB
Mapped: 297384 kB
Slab: 87568 kB
Committed_AS: 5069624 kB
PageTables: 2812 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= 66545 MiB
End job on node7 on Sat Jan 6 09:59:52 UTC 2007