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/227466-1168080792/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.39 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.65 nbConstraints=753 nbRelationTypes=751 nbExtensionStructures=751 nbSharedExtensionStructures=2
0.65 nbConflictsStructures=751 nbSharedConflictsStructures=2 nbSharedBinaryRepresentations=11873 maxDegree=39
0.65 maxArity=2
0.65 => wckTime=0.356 cpuTime=0.24 mem=11M947
0.69
0.69 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.544 cpuTime=0.36 mem=14M16
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.011 cpuTime=0.01 mem=14M16
0.88
0.88 search
0.88 run=0 nbConstraintChecks=13896 nbPropagations=374 nbRevisions=4043 nbUselessRevisions=3361 nbAssignments=22
0.88 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.046 cpuTime=0.04 mem=15M7
0.91
0.91 search
0.91 run=1 nbConstraintChecks=33179 nbPropagations=1175 nbRevisions=13610 nbUselessRevisions=11320 nbAssignments=54
0.91 nbFailedAssignments=14 nbBacktracks=27 nbVisitedNodes=82 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.074 cpuTime=0.05 mem=15M7
0.93
0.93 search
0.93 run=2 nbConstraintChecks=62486 nbPropagations=2570 nbRevisions=32368 nbUselessRevisions=27063 nbAssignments=94
0.93 nbFailedAssignments=24 nbBacktracks=50 nbVisitedNodes=147 nbRestartNogoods=5 mapSize=43 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.092 cpuTime=0.07 mem=15M7
0.95
0.95 search
0.95 run=3 nbConstraintChecks=97757 nbPropagations=4678 nbRevisions=62509 nbUselessRevisions=52450
0.95 nbAssignments=147 nbFailedAssignments=37 nbBacktracks=84 nbVisitedNodes=234 nbRestartNogoods=7 mapSize=70
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.109 cpuTime=0.08 mem=15M7
0.97
0.97 search
0.97 run=4 nbConstraintChecks=149885 nbPropagations=7808 nbRevisions=108890 nbUselessRevisions=91663
0.97 nbAssignments=226 nbFailedAssignments=57 nbBacktracks=136 nbVisitedNodes=360 nbRestartNogoods=9 mapSize=112
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.13 cpuTime=0.1 mem=15M7
1.00
1.00 search
1.00 run=5 nbConstraintChecks=224763 nbPropagations=12419 nbRevisions=179946 nbUselessRevisions=152157
1.00 nbAssignments=338 nbFailedAssignments=85 nbBacktracks=213 nbVisitedNodes=541 nbRestartNogoods=12 mapSize=175
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.16 cpuTime=0.13 mem=15M7
1.04
1.04 search
1.04 run=6 nbConstraintChecks=343041 nbPropagations=19271 nbRevisions=288183 nbUselessRevisions=244443
1.04 nbAssignments=514 nbFailedAssignments=138 nbBacktracks=329 nbVisitedNodes=827 nbRestartNogoods=15 mapSize=270
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.208 cpuTime=0.18 mem=15M7
1.10
1.10 search
1.10 run=7 nbConstraintChecks=511052 nbPropagations=29309 nbRevisions=449804 nbUselessRevisions=382192
1.10 nbAssignments=764 nbFailedAssignments=204 nbBacktracks=502 nbVisitedNodes=1235 nbRestartNogoods=18 mapSize=409
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.268 cpuTime=0.23 mem=15M7
1.20
1.20 search
1.20 run=8 nbConstraintChecks=788534 nbPropagations=44480 nbRevisions=700529 nbUselessRevisions=595867
1.20 nbAssignments=1152 nbFailedAssignments=329 nbBacktracks=760 nbVisitedNodes=1864 nbRestartNogoods=22
1.20 mapSize=623 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.364 cpuTime=0.33 mem=15M7
1.36
1.36 search
1.36 run=9 nbConstraintChecks=1193091 nbPropagations=67089 nbRevisions=1081909 nbUselessRevisions=921435
1.36 nbAssignments=1703 nbFailedAssignments=492 nbBacktracks=1144 nbVisitedNodes=2768 nbRestartNogoods=25
1.36 mapSize=933 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.52 cpuTime=0.47 mem=15M7
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=15M7)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=1760231 nbPropagations=100120 nbRevisions=1648201 nbUselessRevisions=1405768
1.54 nbAssignments=2526 nbFailedAssignments=731 nbBacktracks=1721 nbVisitedNodes=4093 nbRestartNogoods=28
1.54 => wckTime=0.705 cpuTime=0.64 mem=15M7
1.78
1.78 search
1.78 run=11 nbConstraintChecks=2567849 nbPropagations=148300 nbRevisions=2486341 nbUselessRevisions=2125234
1.78 nbAssignments=3762 nbFailedAssignments=1096 nbBacktracks=2586 nbVisitedNodes=6105 nbRestartNogoods=33
1.78 => wckTime=0.945 cpuTime=0.88 mem=15M7
2.15
2.15 search
2.15 run=12 nbConstraintChecks=3834728 nbPropagations=219576 nbRevisions=3748159 nbUselessRevisions=3210570
2.15 nbAssignments=5603 nbFailedAssignments=1635 nbBacktracks=3883 nbVisitedNodes=9123 nbRestartNogoods=40
2.15 => wckTime=1.315 cpuTime=1.25 mem=15M7
2.71
2.71 search
2.71 run=13 nbConstraintChecks=5736518 nbPropagations=326353 nbRevisions=5638733 nbUselessRevisions=4835770
2.71 nbAssignments=8387 nbFailedAssignments=2465 nbBacktracks=5829 nbVisitedNodes=13691 nbRestartNogoods=49
2.71 => wckTime=1.871 cpuTime=1.8 mem=15M7
3.55
3.55 search
3.55 run=14 nbConstraintChecks=8633000 nbPropagations=486605 nbRevisions=8478960 nbUselessRevisions=7276402
3.55 nbAssignments=12501 nbFailedAssignments=3651 nbBacktracks=8748 nbVisitedNodes=20471 nbRestartNogoods=59
3.55 => wckTime=2.713 cpuTime=2.65 mem=15M7
4.82
4.82 search
4.82 run=15 nbConstraintChecks=12973284 nbPropagations=727635 nbRevisions=12736766 nbUselessRevisions=10931932
4.82 nbAssignments=18774 nbFailedAssignments=5539 nbBacktracks=13128 nbVisitedNodes=30780 nbRestartNogoods=69
4.82 => wckTime=3.98 cpuTime=3.91 mem=15M7
6.72
6.72 search
6.72 run=16 nbConstraintChecks=19514040 nbPropagations=1089405 nbRevisions=19143395 nbUselessRevisions=16431979
6.72 nbAssignments=28202 nbFailedAssignments=8390 nbBacktracks=19698 nbVisitedNodes=46263 nbRestartNogoods=75
6.72 => wckTime=5.881 cpuTime=5.81 mem=15M7
9.66
9.66 search
9.66 run=17 nbConstraintChecks=29588189 nbPropagations=1635610 nbRevisions=28804095 nbUselessRevisions=24718683
9.66 nbAssignments=42386 nbFailedAssignments=12714 nbBacktracks=29551 nbVisitedNodes=69668 nbRestartNogoods=86
9.66 => wckTime=8.827 cpuTime=8.75 mem=15M7
14.10
14.10 search
14.10 run=18 nbConstraintChecks=44743933 nbPropagations=2458537 nbRevisions=43349440 nbUselessRevisions=37189835
14.10 nbAssignments=63678 nbFailedAssignments=19222 nbBacktracks=44331 nbVisitedNodes=104645 nbRestartNogoods=94
14.10 => wckTime=13.267 cpuTime=13.16 mem=15M7
16.06
16.06 search
16.06 run=19 nbConstraintChecks=51510094 nbPropagations=3403397 nbRevisions=60059629 nbUselessRevisions=51512647
16.06 nbAssignments=72840 nbFailedAssignments=22041 nbBacktracks=50675 nbVisitedNodes=119759 nbRestartNogoods=100
16.06 => wckTime=15.228 cpuTime=15.12 mem=15M7
16.07
16.07 global
16.07 nbConstraintChecks=51510094 nbPropagations=3403437 nbRevisions=60059629 nbUselessRevisions=51512647
16.07 nbRestartNogoods=100 solvingWckTime=15.229 solvingCpuTime=15.12 expiredTime=no totalExploration=yes
16.07 nbFoundSolutions=0 globalCpuTime=15.52
16.07 => wckTime=15.775 cpuTime=15.48 mem=15M7
16.07
16.07 s UNSATISFIABLE
16.07 d NODES 72840
16.07 d CHECKS 51510094
16.07
16.07 totalWckTime=15.85 totalCpuTime=15.53
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-227466-1168080792 -o ROOT/results/node4/solver-227466-1168080792 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227466-1168080792/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.47 1.86 1.95 4/93 12963
/proc/meminfo: memFree=1112504/2055920 swapFree=4191880/4192956
[pid=12962] ppid=12960 vsize=172 CPUtime=0
/proc/12962/stat : 12962 (java) R 12960 12962 12463 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156475743 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/12962/statm: 43 24 18 14 0 3 0
[startup+0.108165 s]
/proc/loadavg: 1.47 1.86 1.95 4/93 12963
/proc/meminfo: memFree=1112504/2055920 swapFree=4191880/4192956
[pid=12962] ppid=12960 vsize=914988 CPUtime=0.09
/proc/12962/stat : 12962 (java) R 12960 12962 12463 0 -1 0 3082 0 1 0 8 1 0 0 22 0 8 0 156475743 936947712 2828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12962/statm: 228747 2829 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516204 s]
/proc/loadavg: 1.47 1.86 1.95 4/93 12963
/proc/meminfo: memFree=1112504/2055920 swapFree=4191880/4192956
[pid=12962] ppid=12960 vsize=915328 CPUtime=0.49
/proc/12962/stat : 12962 (java) R 12960 12962 12463 0 -1 0 6520 0 1 0 46 3 0 0 25 0 8 0 156475743 937295872 6259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073550966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12962/statm: 228832 6260 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33828 s]
/proc/loadavg: 1.47 1.86 1.95 3/100 12970
/proc/meminfo: memFree=1088896/2055920 swapFree=4191880/4192956
[pid=12962] ppid=12960 vsize=915584 CPUtime=1.32
/proc/12962/stat : 12962 (java) R 12960 12962 12463 0 -1 0 8673 0 1 0 126 6 0 0 25 0 8 0 156475743 937558016 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073958782 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12962/statm: 228896 8411 2513 14 0 215366 0
[pid=12962/tid=12964] ppid=12960 vsize=915584 CPUtime=0.03
/proc/12962/task/12964/stat : 12964 (java) S 12960 12962 12463 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475746 937558016 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12965] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12965/stat : 12965 (java) S 12960 12962 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475747 937558016 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12966] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12966/stat : 12966 (java) S 12960 12962 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475747 937558016 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12967] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12967/stat : 12967 (java) S 12960 12962 12463 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156475750 937558016 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12968] ppid=12960 vsize=915584 CPUtime=0.24
/proc/12962/task/12968/stat : 12968 (java) S 12960 12962 12463 0 -1 64 411 0 0 0 23 1 0 0 16 0 8 0 156475750 937558016 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12969] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12969/stat : 12969 (java) S 12960 12962 12463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156475750 937558016 8411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12970] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12970/stat : 12970 (java) S 12960 12962 12463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156475750 937558016 8411 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) 915584
[startup+2.99045 s]
/proc/loadavg: 1.47 1.86 1.95 3/100 12970
/proc/meminfo: memFree=1088704/2055920 swapFree=4191880/4192956
[pid=12962] ppid=12960 vsize=915584 CPUtime=2.97
/proc/12962/stat : 12962 (java) R 12960 12962 12463 0 -1 0 8697 0 1 0 291 6 0 0 25 0 8 0 156475743 937558016 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073908275 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12962/statm: 228896 8434 2513 14 0 215366 0
[pid=12962/tid=12964] ppid=12960 vsize=915584 CPUtime=0.03
/proc/12962/task/12964/stat : 12964 (java) S 12960 12962 12463 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475746 937558016 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12965] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12965/stat : 12965 (java) S 12960 12962 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475747 937558016 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12966] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12966/stat : 12966 (java) S 12960 12962 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475747 937558016 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12967] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12967/stat : 12967 (java) S 12960 12962 12463 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156475750 937558016 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12968] ppid=12960 vsize=915584 CPUtime=0.25
/proc/12962/task/12968/stat : 12968 (java) S 12960 12962 12463 0 -1 64 417 0 0 0 24 1 0 0 16 0 8 0 156475750 937558016 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12969] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12969/stat : 12969 (java) S 12960 12962 12463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156475750 937558016 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12970] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12970/stat : 12970 (java) S 12960 12962 12463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156475750 937558016 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915584
[startup+6.26975 s]
/proc/loadavg: 1.51 1.86 1.95 3/100 12970
/proc/meminfo: memFree=1088704/2055920 swapFree=4191880/4192956
[pid=12962] ppid=12960 vsize=915584 CPUtime=6.24
/proc/12962/stat : 12962 (java) R 12960 12962 12463 0 -1 0 8704 0 1 0 618 6 0 0 25 0 8 0 156475743 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12962/statm: 228896 8440 2513 14 0 215366 0
[pid=12962/tid=12964] ppid=12960 vsize=915584 CPUtime=0.03
/proc/12962/task/12964/stat : 12964 (java) S 12960 12962 12463 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475746 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12965] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12965/stat : 12965 (java) S 12960 12962 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475747 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12966] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12966/stat : 12966 (java) S 12960 12962 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475747 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12967] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12967/stat : 12967 (java) S 12960 12962 12463 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156475750 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12968] ppid=12960 vsize=915584 CPUtime=0.26
/proc/12962/task/12968/stat : 12968 (java) S 12960 12962 12463 0 -1 64 418 0 0 0 25 1 0 0 15 0 8 0 156475750 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12969] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12969/stat : 12969 (java) S 12960 12962 12463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156475750 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12970] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12970/stat : 12970 (java) S 12960 12962 12463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156475750 937558016 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915584
[startup+12.7574 s]
/proc/loadavg: 1.55 1.86 1.95 3/100 12970
/proc/meminfo: memFree=1088704/2055920 swapFree=4191880/4192956
[pid=12962] ppid=12960 vsize=915584 CPUtime=12.7
/proc/12962/stat : 12962 (java) R 12960 12962 12463 0 -1 0 8709 0 1 0 1264 6 0 0 25 0 8 0 156475743 937558016 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073923797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12962/statm: 228896 8445 2513 14 0 215366 0
[pid=12962/tid=12964] ppid=12960 vsize=915584 CPUtime=0.03
/proc/12962/task/12964/stat : 12964 (java) S 12960 12962 12463 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156475746 937558016 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12965] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12965/stat : 12965 (java) S 12960 12962 12463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156475747 937558016 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12966] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12966/stat : 12966 (java) S 12960 12962 12463 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156475747 937558016 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12967] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12967/stat : 12967 (java) S 12960 12962 12463 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156475750 937558016 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12968] ppid=12960 vsize=915584 CPUtime=0.26
/proc/12962/task/12968/stat : 12968 (java) S 12960 12962 12463 0 -1 64 418 0 0 0 25 1 0 0 15 0 8 0 156475750 937558016 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12969] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12969/stat : 12969 (java) S 12960 12962 12463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156475750 937558016 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12962/tid=12970] ppid=12960 vsize=915584 CPUtime=0
/proc/12962/task/12970/stat : 12970 (java) S 12960 12962 12463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156475750 937558016 8445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 16.1035
CPU time (s): 16.0346
CPU user time (s): 15.9596
CPU system time (s): 0.074988
CPU usage (%): 99.5718
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9596
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8804
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= 1618
involuntary context switches= 2220
runsolver used 0.019996 s user time and 0.06099 s system time
The end
Begin job on node4 on Sat Jan 6 10:53:15 UTC 2007
IDJOB= 227466
IDBENCH= 6083
FILE ID= node4/227466-1168080792
PBS_JOBID= 3475809
Free space on /tmp= 66307 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227466-1168080792/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-227466-1168080792 -o ROOT/results/node4/solver-227466-1168080792 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227466-1168080792/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 86ad9a26e4029d79eb85d82259d59efc
RANDOM SEED= 719883770
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.223
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.223
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: 1113048 kB
Buffers: 73964 kB
Cached: 681996 kB
SwapCached: 268 kB
Active: 470704 kB
Inactive: 375980 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1113048 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1844 kB
Writeback: 0 kB
Mapped: 119068 kB
Slab: 80528 kB
Committed_AS: 4564992 kB
PageTables: 2532 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= 66307 MiB
End job on node4 on Sat Jan 6 10:53:42 UTC 2007