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/225827-1168080647/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.41 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.77
0.77 constraints being loaded...
0.91 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.91 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.91 => wckTime=0.595 cpuTime=0.54 mem=35M597
0.96
0.96 solver IterativeSystematicSolver being built...
1.12 => wckTime=0.813 cpuTime=0.68 mem=16M252
1.13
1.13 preprocessing
1.13 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.13 detectedInconsistency=no
1.13 => wckTime=0.0030 cpuTime=0.0 mem=16M252
1.21
1.21 search
1.21 run=0 nbConstraintChecks=170320 nbPropagations=689 nbRevisions=2194 nbUselessRevisions=967 nbAssignments=22
1.21 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.21 nbTooLargeKeys=0
1.21 => wckTime=0.076 cpuTime=0.04 mem=16M252
1.24
1.24 search
1.24 run=1 nbConstraintChecks=465250 nbPropagations=2646 nbRevisions=8747 nbUselessRevisions=3744 nbAssignments=54
1.24 nbFailedAssignments=21 nbBacktracks=29 nbVisitedNodes=91 nbRestartNogoods=3 mapSize=21 nbInferences=0
1.24 nbTooLargeKeys=0
1.24 => wckTime=0.111 cpuTime=0.07 mem=16M252
1.30
1.30 search
1.30 run=2 nbConstraintChecks=1471841 nbPropagations=7229 nbRevisions=25914 nbUselessRevisions=11574
1.30 nbAssignments=138 nbFailedAssignments=80 nbBacktracks=51 nbVisitedNodes=251 nbRestartNogoods=6 mapSize=41
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.175 cpuTime=0.13 mem=16M252
1.34
1.34 search
1.34 run=3 nbConstraintChecks=1929175 nbPropagations=14093 nbRevisions=50887 nbUselessRevisions=22831
1.34 nbAssignments=205 nbFailedAssignments=113 nbBacktracks=84 nbVisitedNodes=371 nbRestartNogoods=9 mapSize=66
1.34 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.211 cpuTime=0.16 mem=16M252
1.42
1.42 search
1.42 run=4 nbConstraintChecks=3151964 nbPropagations=25034 nbRevisions=90998 nbUselessRevisions=41177
1.42 nbAssignments=340 nbFailedAssignments=195 nbBacktracks=134 nbVisitedNodes=619 nbRestartNogoods=10 mapSize=104
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.287 cpuTime=0.24 mem=16M252
1.55
1.55 search
1.55 run=5 nbConstraintChecks=5476304 nbPropagations=42869 nbRevisions=158720 nbUselessRevisions=72213
1.55 nbAssignments=524 nbFailedAssignments=300 nbBacktracks=209 nbVisitedNodes=964 nbRestartNogoods=15 mapSize=165
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.421 cpuTime=0.37 mem=16M252
1.71
1.71 search
1.71 run=6 nbConstraintChecks=8060966 nbPropagations=71221 nbRevisions=264536 nbUselessRevisions=120193
1.71 nbAssignments=829 nbFailedAssignments=490 nbBacktracks=322 nbVisitedNodes=1535 nbRestartNogoods=26 mapSize=264
1.71 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.584 cpuTime=0.53 mem=16M252
2.11
2.11 search
2.11 run=7 nbConstraintChecks=14858198 nbPropagations=118553 nbRevisions=447212 nbUselessRevisions=203221
2.11 nbAssignments=1379 nbFailedAssignments=865 nbBacktracks=493 nbVisitedNodes=2591 nbRestartNogoods=30
2.11 mapSize=411 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=0.98 cpuTime=0.92 mem=17M221
2.53
2.53 search
2.53 run=8 nbConstraintChecks=21612022 nbPropagations=192156 nbRevisions=727573 nbUselessRevisions=328507
2.53 nbAssignments=2080 nbFailedAssignments=1308 nbBacktracks=749 nbVisitedNodes=3915 nbRestartNogoods=50
2.53 mapSize=633 nbInferences=0 nbTooLargeKeys=0
2.53 => wckTime=1.4 cpuTime=1.32 mem=17M221
3.07
3.08 search
3.08 run=9 nbConstraintChecks=31106009 nbPropagations=301187 nbRevisions=1135387 nbUselessRevisions=510216
3.08 nbAssignments=2998 nbFailedAssignments=1840 nbBacktracks=1133 nbVisitedNodes=5624 nbRestartNogoods=52
3.08 mapSize=960 nbInferences=0 nbTooLargeKeys=0
3.08 => wckTime=1.945 cpuTime=1.86 mem=17M221
3.22
3.22 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=17M221)
4.07
4.07 search
4.07 run=10 nbConstraintChecks=49167525 nbPropagations=464279 nbRevisions=1755671 nbUselessRevisions=789665
4.07 nbAssignments=4504 nbFailedAssignments=2766 nbBacktracks=1710 nbVisitedNodes=8444 nbRestartNogoods=71
4.07 => wckTime=2.941 cpuTime=2.84 mem=17M221
5.34
5.34 search
5.34 run=11 nbConstraintChecks=71863711 nbPropagations=709184 nbRevisions=2682623 nbUselessRevisions=1204834
5.34 nbAssignments=6704 nbFailedAssignments=4097 nbBacktracks=2575 nbVisitedNodes=12583 nbRestartNogoods=83
5.34 => wckTime=4.21 cpuTime=4.11 mem=17M221
7.20
7.20 search
7.20 run=12 nbConstraintChecks=105052739 nbPropagations=1068666 nbRevisions=4039956 nbUselessRevisions=1816166
7.20 nbAssignments=9952 nbFailedAssignments=6044 nbBacktracks=3874 nbVisitedNodes=18658 nbRestartNogoods=100
7.20 => wckTime=6.076 cpuTime=5.96 mem=17M221
10.04
10.04 search
10.04 run=13 nbConstraintChecks=155820223 nbPropagations=1605849 nbRevisions=6071498 nbUselessRevisions=2730102
10.04 nbAssignments=14789 nbFailedAssignments=8931 nbBacktracks=5823 nbVisitedNodes=27672 nbRestartNogoods=126
10.04 => wckTime=8.916 cpuTime=8.79 mem=17M221
14.66
14.66 search
14.66 run=14 nbConstraintChecks=237969304 nbPropagations=2431334 nbRevisions=9189990 nbUselessRevisions=4127456
14.66 nbAssignments=22719 nbFailedAssignments=13939 nbBacktracks=8742 nbVisitedNodes=42660 nbRestartNogoods=140
14.66 => wckTime=13.533 cpuTime=13.38 mem=17M221
21.30
21.30 search
21.30 run=15 nbConstraintChecks=356650619 nbPropagations=3669567 nbRevisions=13872197 nbUselessRevisions=6226259
21.30 nbAssignments=34251 nbFailedAssignments=21089 nbBacktracks=13120 nbVisitedNodes=64355 nbRestartNogoods=160
21.30 => wckTime=20.168 cpuTime=19.98 mem=17M221
26.47
26.48 search
26.48 run=16 nbConstraintChecks=449393382 nbPropagations=5233613 nbRevisions=19774251 nbUselessRevisions=8877260
26.48 nbAssignments=43501 nbFailedAssignments=26613 nbBacktracks=16806 nbVisitedNodes=81536 nbRestartNogoods=163
26.48 => wckTime=25.346 cpuTime=25.14 mem=17M221
26.48
26.48 global
26.48 nbConstraintChecks=449393382 nbPropagations=5233653 nbRevisions=19774251 nbUselessRevisions=8877260
26.48 nbRestartNogoods=163 solvingWckTime=25.347 solvingCpuTime=25.14 expiredTime=no totalExploration=no
26.48 nbFoundSolutions=1 globalCpuTime=25.88
26.48 => wckTime=26.165 cpuTime=25.82 mem=17M221
26.48
26.48 s SATISFIABLE
26.48 v 71 124 62 24 52 106 14 40 126 142 64 92 47 54 124 70 10 105 30 72 107 137 36 140 69 42 90 21 76 16 49 43 112 175 107 139 49 70 19 66
26.48 d NODES 43501
26.48 d CHECKS 449393382
26.48
26.48 totalWckTime=26.247 totalCpuTime=25.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-225827-1168080647 -o ROOT/results/node15/solver-225827-1168080647 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225827-1168080647/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.58 1.48 1.80 2/83 15751
/proc/meminfo: memFree=998384/2055920 swapFree=4174172/4192956
[pid=15750] ppid=15747 vsize=18540 CPUtime=0
/proc/15750/stat : 15750 (runsolver) R 15747 15750 15467 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156460245 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15750/statm: 4635 279 244 17 0 2626 0
[startup+0.102271 s]
/proc/loadavg: 0.58 1.48 1.80 2/83 15751
/proc/meminfo: memFree=998384/2055920 swapFree=4174172/4192956
[pid=15750] ppid=15747 vsize=914988 CPUtime=0.09
/proc/15750/stat : 15750 (java) R 15747 15750 15467 0 -1 0 2987 0 1 0 7 2 0 0 17 0 8 0 156460245 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155274573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15750/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51034 s]
/proc/loadavg: 0.58 1.48 1.80 2/83 15751
/proc/meminfo: memFree=998384/2055920 swapFree=4174172/4192956
[pid=15750] ppid=15747 vsize=915328 CPUtime=0.49
/proc/15750/stat : 15750 (java) R 15747 15750 15467 0 -1 0 7466 0 1 0 44 5 0 0 20 0 8 0 156460245 937295872 7205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073583761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15750/statm: 228832 7205 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33248 s]
/proc/loadavg: 0.58 1.48 1.80 3/100 15768
/proc/meminfo: memFree=904936/2055920 swapFree=4174172/4192956
[pid=15750] ppid=15747 vsize=915464 CPUtime=1.31
/proc/15750/stat : 15750 (java) R 15747 15750 15467 0 -1 0 14324 0 1 0 121 10 0 0 25 0 8 0 156460245 937435136 14062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15750/statm: 228866 14062 2513 14 0 215336 0
[pid=15750/tid=15755] ppid=15747 vsize=915464 CPUtime=0.03
/proc/15750/task/15755/stat : 15755 (java) S 15747 15750 15467 0 -1 64 611 0 0 0 3 0 0 0 17 0 8 0 156460249 937435136 14062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15757] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15757/stat : 15757 (java) S 15747 15750 15467 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15758] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15758/stat : 15758 (java) S 15747 15750 15467 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15764] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15764/stat : 15764 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156460252 937435136 14062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15765] ppid=15747 vsize=915464 CPUtime=0.16
/proc/15750/task/15765/stat : 15765 (java) S 15747 15750 15467 0 -1 64 357 0 0 0 15 1 0 0 15 0 8 0 156460252 937435136 14062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15767] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15767/stat : 15767 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156460252 937435136 14062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15768] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15768/stat : 15768 (java) S 15747 15750 15467 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14062 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.98176 s]
/proc/loadavg: 0.70 1.49 1.81 3/100 15768
/proc/meminfo: memFree=904808/2055920 swapFree=4174172/4192956
[pid=15750] ppid=15747 vsize=915464 CPUtime=2.95
/proc/15750/stat : 15750 (java) R 15747 15750 15467 0 -1 0 14341 0 1 0 285 10 0 0 25 0 8 0 156460245 937435136 14078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15750/statm: 228866 14078 2513 14 0 215336 0
[pid=15750/tid=15755] ppid=15747 vsize=915464 CPUtime=0.03
/proc/15750/task/15755/stat : 15755 (java) S 15747 15750 15467 0 -1 64 611 0 0 0 3 0 0 0 17 0 8 0 156460249 937435136 14078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15757] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15757/stat : 15757 (java) S 15747 15750 15467 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15758] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15758/stat : 15758 (java) S 15747 15750 15467 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15764] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15764/stat : 15764 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156460252 937435136 14078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15765] ppid=15747 vsize=915464 CPUtime=0.19
/proc/15750/task/15765/stat : 15765 (java) S 15747 15750 15467 0 -1 64 372 0 0 0 18 1 0 0 16 0 8 0 156460252 937435136 14078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15767] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15767/stat : 15767 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156460252 937435136 14078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15768] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15768/stat : 15768 (java) S 15747 15750 15467 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.27332 s]
/proc/loadavg: 0.70 1.49 1.81 3/100 15768
/proc/meminfo: memFree=904744/2055920 swapFree=4174172/4192956
[pid=15750] ppid=15747 vsize=915464 CPUtime=6.22
/proc/15750/stat : 15750 (java) R 15747 15750 15467 0 -1 0 14346 0 1 0 612 10 0 0 25 0 8 0 156460245 937435136 14081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753445 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15750/statm: 228866 14081 2513 14 0 215336 0
[pid=15750/tid=15755] ppid=15747 vsize=915464 CPUtime=0.03
/proc/15750/task/15755/stat : 15755 (java) S 15747 15750 15467 0 -1 64 611 0 0 0 3 0 0 0 16 0 8 0 156460249 937435136 14081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15757] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15757/stat : 15757 (java) S 15747 15750 15467 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15758] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15758/stat : 15758 (java) S 15747 15750 15467 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15764] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15764/stat : 15764 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156460252 937435136 14081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15765] ppid=15747 vsize=915464 CPUtime=0.19
/proc/15750/task/15765/stat : 15765 (java) S 15747 15750 15467 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 156460252 937435136 14081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15767] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15767/stat : 15767 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156460252 937435136 14081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15768] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15768/stat : 15768 (java) S 15747 15750 15467 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
[startup+12.7544 s]
/proc/loadavg: 0.90 1.51 1.81 3/100 15768
/proc/meminfo: memFree=904752/2055920 swapFree=4174172/4192956
[pid=15750] ppid=15747 vsize=915464 CPUtime=12.67
/proc/15750/stat : 15750 (java) R 15747 15750 15467 0 -1 0 14349 0 1 0 1257 10 0 0 25 0 8 0 156460245 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073729099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15750/statm: 228866 14083 2513 14 0 215336 0
[pid=15750/tid=15755] ppid=15747 vsize=915464 CPUtime=0.03
/proc/15750/task/15755/stat : 15755 (java) S 15747 15750 15467 0 -1 64 611 0 0 0 3 0 0 0 16 0 8 0 156460249 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15757] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15757/stat : 15757 (java) S 15747 15750 15467 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15758] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15758/stat : 15758 (java) S 15747 15750 15467 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15764] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15764/stat : 15764 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156460252 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15765] ppid=15747 vsize=915464 CPUtime=0.2
/proc/15750/task/15765/stat : 15765 (java) S 15747 15750 15467 0 -1 64 377 0 0 0 19 1 0 0 15 0 8 0 156460252 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15767] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15767/stat : 15767 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156460252 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15768] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15768/stat : 15768 (java) S 15747 15750 15467 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915464
[startup+25.6196 s]
/proc/loadavg: 1.06 1.52 1.81 3/100 15768
/proc/meminfo: memFree=904944/2055920 swapFree=4174172/4192956
[pid=15750] ppid=15747 vsize=915464 CPUtime=25.47
/proc/15750/stat : 15750 (java) R 15747 15750 15467 0 -1 0 14349 0 1 0 2537 10 0 0 25 0 8 0 156460245 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15750/statm: 228866 14083 2513 14 0 215336 0
[pid=15750/tid=15755] ppid=15747 vsize=915464 CPUtime=0.03
/proc/15750/task/15755/stat : 15755 (java) S 15747 15750 15467 0 -1 64 611 0 0 0 3 0 0 0 16 0 8 0 156460249 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15757] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15757/stat : 15757 (java) S 15747 15750 15467 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15758] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15758/stat : 15758 (java) S 15747 15750 15467 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460249 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15764] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15764/stat : 15764 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156460252 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15765] ppid=15747 vsize=915464 CPUtime=0.2
/proc/15750/task/15765/stat : 15765 (java) S 15747 15750 15467 0 -1 64 377 0 0 0 19 1 0 0 15 0 8 0 156460252 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15767] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15767/stat : 15767 (java) S 15747 15750 15467 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156460252 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15750/tid=15768] ppid=15747 vsize=915464 CPUtime=0
/proc/15750/task/15768/stat : 15768 (java) S 15747 15750 15467 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156460252 937435136 14083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 26.5468
CPU time (s): 26.355
CPU user time (s): 26.237
CPU system time (s): 0.117982
CPU usage (%): 99.2775
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.237
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14356
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= 1565
involuntary context switches= 2057
runsolver used 0.038994 s user time and 0.092985 s system time
The end
Begin job on node15 on Sat Jan 6 10:50:50 UTC 2007
IDJOB= 225827
IDBENCH= 5897
FILE ID= node15/225827-1168080647
PBS_JOBID= 3475865
Free space on /tmp= 66280 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-71_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225827-1168080647/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-225827-1168080647 -o ROOT/results/node15/solver-225827-1168080647 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225827-1168080647/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f7eb7de32df34518af0e28a9b223bfd2
RANDOM SEED= 820517729
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.276
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.276
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: 998928 kB
Buffers: 85444 kB
Cached: 830324 kB
SwapCached: 7128 kB
Active: 354672 kB
Inactive: 598600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 998928 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 6932 kB
Writeback: 0 kB
Mapped: 46120 kB
Slab: 88516 kB
Committed_AS: 4162440 kB
PageTables: 2312 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= 66280 MiB
End job on node15 on Sat Jan 6 10:51:26 UTC 2007