0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/226985-1168080748/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.41 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.50
0.50 constraints being loaded...
0.67 nbConstraints=751 nbRelationTypes=751 nbExtensionStructures=750 nbSharedExtensionStructures=1
0.67 nbConflictsStructures=750 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11867 maxDegree=39
0.67 maxArity=2
0.67 => wckTime=0.356 cpuTime=0.24 mem=11M848
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.545 cpuTime=0.36 mem=14M14
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.011 cpuTime=0.0 mem=14M14
0.91
0.91 search
0.91 run=0 nbConstraintChecks=9320 nbPropagations=300 nbRevisions=2715 nbUselessRevisions=2273 nbAssignments=21
0.91 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=29 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.044 cpuTime=0.03 mem=15M6
0.93
0.93 search
0.93 run=1 nbConstraintChecks=30205 nbPropagations=1040 nbRevisions=11909 nbUselessRevisions=9984 nbAssignments=52
0.93 nbFailedAssignments=13 nbBacktracks=27 nbVisitedNodes=76 nbRestartNogoods=1 mapSize=20 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.073 cpuTime=0.04 mem=15M6
0.95
0.95 search
0.95 run=2 nbConstraintChecks=58990 nbPropagations=2391 nbRevisions=30312 nbUselessRevisions=25439 nbAssignments=94
0.95 nbFailedAssignments=25 nbBacktracks=51 nbVisitedNodes=146 nbRestartNogoods=2 mapSize=43 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.092 cpuTime=0.06 mem=15M6
0.97
0.97 search
0.97 run=3 nbConstraintChecks=103036 nbPropagations=4621 nbRevisions=62780 nbUselessRevisions=52919
0.98 nbAssignments=154 nbFailedAssignments=41 nbBacktracks=86 nbVisitedNodes=246 nbRestartNogoods=3 mapSize=76
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.113 cpuTime=0.07 mem=15M6
1.00
1.00 search
1.00 run=4 nbConstraintChecks=151647 nbPropagations=7833 nbRevisions=110728 nbUselessRevisions=93636
1.00 nbAssignments=232 nbFailedAssignments=62 nbBacktracks=136 nbVisitedNodes=366 nbRestartNogoods=8 mapSize=113
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.134 cpuTime=0.1 mem=15M6
1.03
1.03 search
1.03 run=5 nbConstraintChecks=232787 nbPropagations=12633 nbRevisions=184767 nbUselessRevisions=156587
1.03 nbAssignments=349 nbFailedAssignments=96 nbBacktracks=213 nbVisitedNodes=556 nbRestartNogoods=10 mapSize=177
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.171 cpuTime=0.13 mem=15M6
1.08
1.08 search
1.08 run=6 nbConstraintChecks=350666 nbPropagations=19661 nbRevisions=295821 nbUselessRevisions=250985
1.08 nbAssignments=522 nbFailedAssignments=148 nbBacktracks=328 nbVisitedNodes=837 nbRestartNogoods=13 mapSize=269
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.216 cpuTime=0.17 mem=15M6
1.15
1.15 search
1.15 run=7 nbConstraintChecks=526195 nbPropagations=30003 nbRevisions=463689 nbUselessRevisions=393916
1.15 nbAssignments=784 nbFailedAssignments=231 nbBacktracks=500 nbVisitedNodes=1262 nbRestartNogoods=17 mapSize=409
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.287 cpuTime=0.24 mem=15M6
1.25
1.25 search
1.25 run=8 nbConstraintChecks=783441 nbPropagations=45147 nbRevisions=715590 nbUselessRevisions=608315
1.25 nbAssignments=1171 nbFailedAssignments=352 nbBacktracks=757 nbVisitedNodes=1896 nbRestartNogoods=23
1.25 mapSize=623 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.384 cpuTime=0.33 mem=15M6
1.39
1.39 search
1.39 run=9 nbConstraintChecks=1167298 nbPropagations=67454 nbRevisions=1090648 nbUselessRevisions=927629
1.39 nbAssignments=1724 nbFailedAssignments=516 nbBacktracks=1142 nbVisitedNodes=2793 nbRestartNogoods=28
1.39 mapSize=935 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.528 cpuTime=0.46 mem=15M6
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M6)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=1714058 nbPropagations=100055 nbRevisions=1647440 nbUselessRevisions=1403378
1.57 nbAssignments=2554 nbFailedAssignments=759 nbBacktracks=1723 nbVisitedNodes=4124 nbRestartNogoods=32
1.57 => wckTime=0.71 cpuTime=0.63 mem=15M6
1.81
1.81 search
1.81 run=11 nbConstraintChecks=2520939 nbPropagations=147860 nbRevisions=2470389 nbUselessRevisions=2107232
1.81 nbAssignments=3772 nbFailedAssignments=1105 nbBacktracks=2587 nbVisitedNodes=6117 nbRestartNogoods=37
1.81 => wckTime=0.951 cpuTime=0.87 mem=15M6
2.19
2.19 search
2.19 run=12 nbConstraintChecks=3779294 nbPropagations=219600 nbRevisions=3701335 nbUselessRevisions=3158863
2.19 nbAssignments=5651 nbFailedAssignments=1680 nbBacktracks=3886 nbVisitedNodes=9198 nbRestartNogoods=45
2.19 => wckTime=1.328 cpuTime=1.25 mem=15M6
2.73
2.73 search
2.73 run=13 nbConstraintChecks=5606859 nbPropagations=325392 nbRevisions=5536120 nbUselessRevisions=4729188
2.73 nbAssignments=8398 nbFailedAssignments=2474 nbBacktracks=5832 nbVisitedNodes=13643 nbRestartNogoods=51
2.73 => wckTime=1.87 cpuTime=1.78 mem=15M6
3.55
3.55 search
3.55 run=14 nbConstraintChecks=8364436 nbPropagations=482660 nbRevisions=8278903 nbUselessRevisions=7079035
3.55 nbAssignments=12560 nbFailedAssignments=3709 nbBacktracks=8751 nbVisitedNodes=20399 nbRestartNogoods=58
3.55 => wckTime=2.688 cpuTime=2.6 mem=15M6
4.81
4.81 search
4.81 run=15 nbConstraintChecks=12565885 nbPropagations=719172 nbRevisions=12406354 nbUselessRevisions=10616090
4.81 nbAssignments=18865 nbFailedAssignments=5626 nbBacktracks=13130 nbVisitedNodes=30719 nbRestartNogoods=68
4.81 => wckTime=3.944 cpuTime=3.85 mem=15M6
6.67
6.67 search
6.67 run=16 nbConstraintChecks=18835609 nbPropagations=1073157 nbRevisions=18582514 nbUselessRevisions=15907778
6.67 nbAssignments=28260 nbFailedAssignments=8444 nbBacktracks=19704 nbVisitedNodes=46006 nbRestartNogoods=77
6.67 => wckTime=5.81 cpuTime=5.71 mem=15M6
9.54
9.54 search
9.54 run=17 nbConstraintChecks=28405635 nbPropagations=1605587 nbRevisions=27869693 nbUselessRevisions=23863989
9.54 nbAssignments=42379 nbFailedAssignments=12702 nbBacktracks=29557 nbVisitedNodes=68972 nbRestartNogoods=85
9.54 => wckTime=8.679 cpuTime=8.54 mem=15M6
13.84
13.84 search
13.84 run=18 nbConstraintChecks=42929687 nbPropagations=2406528 nbRevisions=41910534 nbUselessRevisions=35896245
13.84 nbAssignments=63535 nbFailedAssignments=19074 nbBacktracks=44335 nbVisitedNodes=103588 nbRestartNogoods=96
13.84 => wckTime=12.979 cpuTime=12.82 mem=15M6
20.14
20.14 search
20.14 run=19 nbConstraintChecks=64450768 nbPropagations=3605784 nbRevisions=62997429 nbUselessRevisions=53979613
20.14 nbAssignments=95226 nbFailedAssignments=28590 nbBacktracks=66503 nbVisitedNodes=155144 nbRestartNogoods=106
20.14 => wckTime=19.275 cpuTime=19.1 mem=15M6
21.02
21.02 search
21.02 run=20 nbConstraintChecks=67498836 nbPropagations=4860917 nbRevisions=85094241 nbUselessRevisions=72934197
21.02 nbAssignments=99716 nbFailedAssignments=29933 nbBacktracks=69651 nbVisitedNodes=162440 nbRestartNogoods=110
21.02 => wckTime=20.161 cpuTime=19.99 mem=15M6
21.02
21.02 global
21.02 nbConstraintChecks=67498836 nbPropagations=4860957 nbRevisions=85094241 nbUselessRevisions=72934197
21.02 nbRestartNogoods=110 solvingWckTime=20.163 solvingCpuTime=19.99 expiredTime=no totalExploration=yes
21.03 nbFoundSolutions=0 globalCpuTime=20.39
21.03 => wckTime=20.71 cpuTime=20.35 mem=15M6
21.03
21.03 s UNSATISFIABLE
21.03 d NODES 99716
21.03 d CHECKS 67498836
21.03
21.03 totalWckTime=20.786 totalCpuTime=20.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-226985-1168080748 -o ROOT/results/node72/solver-226985-1168080748 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226985-1168080748/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: 0.09 0.96 1.51 4/83 1797
/proc/meminfo: memFree=1446896/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1793 vsize=168 CPUtime=0
/proc/1796/stat : 1796 (java) R 1793 1796 1655 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 156484620 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2535723 0 0 4096 0 0 0 0 17 1 0 0
/proc/1796/statm: 42 23 18 14 0 2 0
[startup+0.105401 s]
/proc/loadavg: 0.09 0.96 1.51 4/83 1797
/proc/meminfo: memFree=1446896/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1793 vsize=913228 CPUtime=0.08
/proc/1796/stat : 1796 (java) R 1793 1796 1655 0 -1 0 2918 0 1 0 7 1 0 0 22 0 8 0 156484620 935145472 2664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1796/statm: 228307 2664 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.513438 s]
/proc/loadavg: 0.09 0.96 1.51 4/83 1797
/proc/meminfo: memFree=1446896/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1793 vsize=915328 CPUtime=0.47
/proc/1796/stat : 1796 (java) R 1793 1796 1655 0 -1 0 6372 0 1 0 43 4 0 0 24 0 8 0 156484620 937295872 6111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 228832 6111 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33451 s]
/proc/loadavg: 0.09 0.96 1.51 3/100 1818
/proc/meminfo: memFree=1399208/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1793 vsize=915584 CPUtime=1.29
/proc/1796/stat : 1796 (java) R 1793 1796 1655 0 -1 0 8664 0 1 0 122 7 0 0 25 0 8 0 156484620 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 228896 8402 2513 14 0 215366 0
[pid=1796/tid=1801] ppid=1793 vsize=915584 CPUtime=0.03
/proc/1796/task/1801/stat : 1801 (java) S 1793 1796 1655 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156484625 937558016 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1803] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1793 1796 1655 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156484626 937558016 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1804] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1804/stat : 1804 (java) S 1793 1796 1655 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156484626 937558016 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1793 1796 1655 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156484629 937558016 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1812] ppid=1793 vsize=915584 CPUtime=0.24
/proc/1796/task/1812/stat : 1812 (java) R 1793 1796 1655 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 156484629 937558016 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1813] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1813/stat : 1813 (java) S 1793 1796 1655 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156484629 937558016 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1814] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1814/stat : 1814 (java) S 1793 1796 1655 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156484629 937558016 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915584
[startup+2.97166 s]
/proc/loadavg: 0.09 0.96 1.51 3/100 1818
/proc/meminfo: memFree=1398696/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1793 vsize=915584 CPUtime=2.92
/proc/1796/stat : 1796 (java) R 1793 1796 1655 0 -1 0 8697 0 1 0 285 7 0 0 25 0 8 0 156484620 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073907793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 228896 8434 2513 14 0 215366 0
[pid=1796/tid=1801] ppid=1793 vsize=915584 CPUtime=0.03
/proc/1796/task/1801/stat : 1801 (java) S 1793 1796 1655 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156484625 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1803] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1793 1796 1655 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156484626 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1804] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1804/stat : 1804 (java) S 1793 1796 1655 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156484626 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1793 1796 1655 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156484629 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1812] ppid=1793 vsize=915584 CPUtime=0.26
/proc/1796/task/1812/stat : 1812 (java) S 1793 1796 1655 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 156484629 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1813] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1813/stat : 1813 (java) S 1793 1796 1655 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156484629 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1814] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1814/stat : 1814 (java) S 1793 1796 1655 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156484629 937558016 8434 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915584
[startup+6.26996 s]
/proc/loadavg: 0.24 0.98 1.51 4/100 1818
/proc/meminfo: memFree=1398696/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1793 vsize=915584 CPUtime=6.2
/proc/1796/stat : 1796 (java) R 1793 1796 1655 0 -1 0 8702 0 1 0 613 7 0 0 25 0 8 0 156484620 937558016 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914081 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 228896 8438 2513 14 0 215366 0
[pid=1796/tid=1801] ppid=1793 vsize=915584 CPUtime=0.03
/proc/1796/task/1801/stat : 1801 (java) S 1793 1796 1655 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156484625 937558016 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1803] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1793 1796 1655 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156484626 937558016 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1804] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1804/stat : 1804 (java) S 1793 1796 1655 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156484626 937558016 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1793 1796 1655 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156484629 937558016 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1812] ppid=1793 vsize=915584 CPUtime=0.26
/proc/1796/task/1812/stat : 1812 (java) S 1793 1796 1655 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 156484629 937558016 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1813] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1813/stat : 1813 (java) S 1793 1796 1655 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156484629 937558016 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1814] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1814/stat : 1814 (java) S 1793 1796 1655 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156484629 937558016 8438 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915584
[startup+12.7405 s]
/proc/loadavg: 0.51 1.01 1.52 3/100 1818
/proc/meminfo: memFree=1398632/2055920 swapFree=4192812/4192956
[pid=1796] ppid=1793 vsize=915584 CPUtime=12.62
/proc/1796/stat : 1796 (java) R 1793 1796 1655 0 -1 0 8707 0 1 0 1255 7 0 0 25 0 8 0 156484620 937558016 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073922654 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1796/statm: 228896 8443 2513 14 0 215366 0
[pid=1796/tid=1801] ppid=1793 vsize=915584 CPUtime=0.03
/proc/1796/task/1801/stat : 1801 (java) S 1793 1796 1655 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156484625 937558016 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1803] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1803/stat : 1803 (java) S 1793 1796 1655 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156484626 937558016 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1804] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1804/stat : 1804 (java) S 1793 1796 1655 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156484626 937558016 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1807] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1807/stat : 1807 (java) S 1793 1796 1655 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156484629 937558016 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1812] ppid=1793 vsize=915584 CPUtime=0.26
/proc/1796/task/1812/stat : 1812 (java) S 1793 1796 1655 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 156484629 937558016 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1813] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1813/stat : 1813 (java) S 1793 1796 1655 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156484629 937558016 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1796/tid=1814] ppid=1793 vsize=915584 CPUtime=0
/proc/1796/task/1814/stat : 1814 (java) S 1793 1796 1655 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156484629 937558016 8443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 21.0671
CPU time (s): 20.9138
CPU user time (s): 20.8298
CPU system time (s): 0.083987
CPU usage (%): 99.2725
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8298
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= 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= 1707
involuntary context switches= 2243
runsolver used 0.027995 s user time and 0.072988 s system time
The end
Begin job on node72 on Sat Jan 6 10:52:32 UTC 2007
IDJOB= 226985
IDBENCH= 6034
FILE ID= node72/226985-1168080748
PBS_JOBID= 3476176
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226985-1168080748/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-226985-1168080748 -o ROOT/results/node72/solver-226985-1168080748 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226985-1168080748/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 35db91cf2a5416ba505693dda26a63fb
RANDOM SEED= 256515077
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: 1447912 kB
Buffers: 42028 kB
Cached: 445872 kB
SwapCached: 0 kB
Active: 152012 kB
Inactive: 383912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1447912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3572 kB
Writeback: 0 kB
Mapped: 66948 kB
Slab: 57224 kB
Committed_AS: 2613736 kB
PageTables: 2112 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= 66550 MiB
End job on node72 on Sat Jan 6 10:52:59 UTC 2007