0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/228041-1168080848/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.39 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8241 maxDegree=26
0.58 maxArity=2
0.58 => wckTime=0.285 cpuTime=0.22 mem=10M852
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.475 cpuTime=0.34 mem=13M695
0.78
0.78 preprocessing
0.78 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78 detectedInconsistency=no
0.78 => wckTime=0.0070 cpuTime=0.01 mem=13M695
0.82
0.82 search
0.82 run=0 nbConstraintChecks=17899 nbPropagations=409 nbRevisions=4304 nbUselessRevisions=3521 nbAssignments=23
0.82 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.044 cpuTime=0.03 mem=14M670
0.84
0.84 search
0.84 run=1 nbConstraintChecks=44331 nbPropagations=1370 nbRevisions=15576 nbUselessRevisions=12754 nbAssignments=57
0.84 nbFailedAssignments=16 nbBacktracks=27 nbVisitedNodes=90 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.068 cpuTime=0.05 mem=14M670
0.86
0.86 search
0.86 run=2 nbConstraintChecks=77811 nbPropagations=2993 nbRevisions=35696 nbUselessRevisions=29284 nbAssignments=99
0.86 nbFailedAssignments=30 nbBacktracks=50 nbVisitedNodes=159 nbRestartNogoods=4 mapSize=43 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.087 cpuTime=0.06 mem=14M670
0.88
0.88 search
0.88 run=3 nbConstraintChecks=123312 nbPropagations=5521 nbRevisions=68192 nbUselessRevisions=56058
0.88 nbAssignments=158 nbFailedAssignments=49 nbBacktracks=84 nbVisitedNodes=258 nbRestartNogoods=5 mapSize=74
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.102 cpuTime=0.07 mem=14M670
0.90
0.90 search
0.90 run=4 nbConstraintChecks=192315 nbPropagations=9435 nbRevisions=119861 nbUselessRevisions=98789
0.90 nbAssignments=247 nbFailedAssignments=80 nbBacktracks=134 nbVisitedNodes=409 nbRestartNogoods=6 mapSize=119
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.123 cpuTime=0.09 mem=14M670
0.94
0.94 search
0.94 run=5 nbConstraintChecks=306428 nbPropagations=15382 nbRevisions=201534 nbUselessRevisions=166098
0.94 nbAssignments=377 nbFailedAssignments=128 nbBacktracks=209 nbVisitedNodes=627 nbRestartNogoods=8 mapSize=178
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.158 cpuTime=0.12 mem=14M670
0.97
0.97 search
0.97 run=6 nbConstraintChecks=448282 nbPropagations=24094 nbRevisions=323713 nbUselessRevisions=267126
0.98 nbAssignments=554 nbFailedAssignments=185 nbBacktracks=323 nbVisitedNodes=918 nbRestartNogoods=14 mapSize=272
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.199 cpuTime=0.16 mem=14M670
1.03
1.03 search
1.03 run=7 nbConstraintChecks=672823 nbPropagations=36961 nbRevisions=507026 nbUselessRevisions=419080
1.03 nbAssignments=828 nbFailedAssignments=279 nbBacktracks=495 nbVisitedNodes=1379 nbRestartNogoods=18 mapSize=416
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.259 cpuTime=0.22 mem=14M670
1.13
1.13 search
1.13 run=8 nbConstraintChecks=1011827 nbPropagations=55895 nbRevisions=779075 nbUselessRevisions=644379
1.13 nbAssignments=1236 nbFailedAssignments=421 nbBacktracks=753 nbVisitedNodes=2061 nbRestartNogoods=23
1.13 mapSize=622 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.349 cpuTime=0.3 mem=14M670
1.27
1.27 search
1.27 run=9 nbConstraintChecks=1530064 nbPropagations=84433 nbRevisions=1194463 nbUselessRevisions=988674
1.27 nbAssignments=1845 nbFailedAssignments=638 nbBacktracks=1138 nbVisitedNodes=3114 nbRestartNogoods=29
1.27 mapSize=954 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.495 cpuTime=0.43 mem=14M670
1.30
1.30 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=14M670)
1.44
1.44 search
1.44 run=10 nbConstraintChecks=2258741 nbPropagations=126282 nbRevisions=1812095 nbUselessRevisions=1501848
1.44 nbAssignments=2745 nbFailedAssignments=955 nbBacktracks=1717 nbVisitedNodes=4631 nbRestartNogoods=37
1.44 => wckTime=0.669 cpuTime=0.6 mem=14M670
1.68
1.68 search
1.68 run=11 nbConstraintChecks=3305365 nbPropagations=187302 nbRevisions=2715114 nbUselessRevisions=2252426
1.68 nbAssignments=4063 nbFailedAssignments=1397 nbBacktracks=2583 nbVisitedNodes=6838 nbRestartNogoods=41
1.68 => wckTime=0.901 cpuTime=0.83 mem=14M670
2.01
2.01 search
2.01 run=12 nbConstraintChecks=4784829 nbPropagations=276070 nbRevisions=4038305 nbUselessRevisions=3354399
2.01 nbAssignments=5996 nbFailedAssignments=2024 nbBacktracks=3883 nbVisitedNodes=10048 nbRestartNogoods=49
2.01 => wckTime=1.23 cpuTime=1.16 mem=14M670
2.53
2.53 search
2.53 run=13 nbConstraintChecks=7182865 nbPropagations=409260 nbRevisions=6017598 nbUselessRevisions=5002256
2.53 nbAssignments=8935 nbFailedAssignments=3006 nbBacktracks=5834 nbVisitedNodes=15004 nbRestartNogoods=53
2.53 => wckTime=1.755 cpuTime=1.68 mem=14M670
3.29
3.29 search
3.29 run=14 nbConstraintChecks=10661855 nbPropagations=606266 nbRevisions=8956628 nbUselessRevisions=7451254
3.29 nbAssignments=13264 nbFailedAssignments=4407 nbBacktracks=8754 nbVisitedNodes=22230 nbRestartNogoods=62
3.29 => wckTime=2.513 cpuTime=2.44 mem=14M670
4.52
4.52 search
4.52 run=15 nbConstraintChecks=16425812 nbPropagations=904939 nbRevisions=13430210 nbUselessRevisions=11174675
4.52 nbAssignments=19920 nbFailedAssignments=6676 nbBacktracks=13133 nbVisitedNodes=33511 nbRestartNogoods=71
4.52 => wckTime=3.746 cpuTime=3.67 mem=14M670
6.29
6.29 search
6.29 run=16 nbConstraintChecks=24555891 nbPropagations=1352071 nbRevisions=20091740 nbUselessRevisions=16711463
6.29 nbAssignments=29743 nbFailedAssignments=9923 nbBacktracks=19703 nbVisitedNodes=49933 nbRestartNogoods=79
6.29 => wckTime=5.51 cpuTime=5.43 mem=14M670
8.97
8.97 search
8.97 run=17 nbConstraintChecks=36887863 nbPropagations=2022574 nbRevisions=30109930 nbUselessRevisions=25045208
8.97 nbAssignments=44675 nbFailedAssignments=14994 nbBacktracks=29559 nbVisitedNodes=75193 nbRestartNogoods=87
8.97 => wckTime=8.196 cpuTime=8.12 mem=14M670
13.04
13.04 search
13.04 run=18 nbConstraintChecks=55735559 nbPropagations=3028731 nbRevisions=45232373 nbUselessRevisions=37634310
13.04 nbAssignments=66934 nbFailedAssignments=22466 nbBacktracks=44337 nbVisitedNodes=112596 nbRestartNogoods=95
13.04 => wckTime=12.267 cpuTime=12.19 mem=14M670
19.01
19.01 search
19.01 run=19 nbConstraintChecks=83457523 nbPropagations=4531873 nbRevisions=67802885 nbUselessRevisions=56412487
19.01 nbAssignments=99988 nbFailedAssignments=33345 nbBacktracks=66509 nbVisitedNodes=167972 nbRestartNogoods=103
19.01 => wckTime=18.238 cpuTime=18.15 mem=14M670
28.23
28.23 search
28.23 run=20 nbConstraintChecks=126628355 nbPropagations=6797864 nbRevisions=101913401 nbUselessRevisions=84786675
28.23 nbAssignments=149989 nbFailedAssignments=50086 nbBacktracks=99761 nbVisitedNodes=251977 nbRestartNogoods=113
28.23 => wckTime=27.45 cpuTime=27.36 mem=14M670
33.27
33.27 search
33.27 run=21 nbConstraintChecks=150132253 nbPropagations=9477634 nbRevisions=142297417 nbUselessRevisions=118375872
33.27 nbAssignments=177028 nbFailedAssignments=58994 nbBacktracks=117893 nbVisitedNodes=297325 nbRestartNogoods=121
33.27 => wckTime=32.493 cpuTime=32.4 mem=14M670
33.27
33.27 global
33.27 nbConstraintChecks=150132253 nbPropagations=9477674 nbRevisions=142297417 nbUselessRevisions=118375872
33.27 nbRestartNogoods=121 solvingWckTime=32.493 solvingCpuTime=32.4 expiredTime=no totalExploration=yes
33.27 nbFoundSolutions=0 globalCpuTime=32.78
33.27 => wckTime=32.971 cpuTime=32.74 mem=14M670
33.27
33.27 s UNSATISFIABLE
33.27 d NODES 177028
33.27 d CHECKS 150132253
33.27
33.27 totalWckTime=33.048 totalCpuTime=32.8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-228041-1168080848 -o ROOT/results/node1/solver-228041-1168080848 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228041-1168080848/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.56 1.29 1.68 2/81 17932
/proc/meminfo: memFree=1206592/2055920 swapFree=4165584/4192956
[pid=17931] ppid=17929 vsize=1500 CPUtime=0
/proc/17931/stat : 17931 (java) R 17929 17931 17482 0 -1 0 75 0 0 0 0 0 0 0 20 0 1 0 156481393 1536000 58 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5792934 0 0 4096 0 0 0 0 17 1 0 0
/proc/17931/statm: 375 68 55 14 0 8 0
[startup+0.10263 s]
/proc/loadavg: 0.56 1.29 1.68 2/81 17932
/proc/meminfo: memFree=1206592/2055920 swapFree=4165584/4192956
[pid=17931] ppid=17929 vsize=914988 CPUtime=0.08
/proc/17931/stat : 17931 (java) R 17929 17931 17482 0 -1 0 3024 0 1 0 7 1 0 0 16 0 8 0 156481393 936947712 2770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17931/statm: 228747 2771 1437 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510675 s]
/proc/loadavg: 0.56 1.29 1.68 2/81 17932
/proc/meminfo: memFree=1206592/2055920 swapFree=4165584/4192956
[pid=17931] ppid=17929 vsize=915328 CPUtime=0.49
/proc/17931/stat : 17931 (java) R 17929 17931 17482 0 -1 0 6529 0 1 0 45 4 0 0 16 0 8 0 156481393 937295872 6268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073550966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17931/statm: 228832 6269 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33177 s]
/proc/loadavg: 0.59 1.28 1.68 2/88 17939
/proc/meminfo: memFree=1183496/2055920 swapFree=4165584/4192956
[pid=17931] ppid=17929 vsize=915456 CPUtime=1.3
/proc/17931/stat : 17931 (java) R 17929 17931 17482 0 -1 0 8579 0 1 0 124 6 0 0 17 0 8 0 156481393 937426944 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17931/statm: 228864 8317 2513 14 0 215334 0
[pid=17931/tid=17933] ppid=17929 vsize=915456 CPUtime=0.03
/proc/17931/task/17933/stat : 17933 (java) S 17929 17931 17482 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156481397 937426944 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17931/tid=17934] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17934/stat : 17934 (java) S 17929 17931 17482 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17935/stat : 17935 (java) S 17929 17931 17482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17936] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17936/stat : 17936 (java) S 17929 17931 17482 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156481400 937426944 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17937] ppid=17929 vsize=915456 CPUtime=0.2
/proc/17931/task/17937/stat : 17937 (java) S 17929 17931 17482 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 156481400 937426944 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17938] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17938/stat : 17938 (java) S 17929 17931 17482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156481400 937426944 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17939] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17939/stat : 17939 (java) S 17929 17931 17482 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156481400 937426944 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.96896 s]
/proc/loadavg: 0.59 1.28 1.68 2/88 17939
/proc/meminfo: memFree=1183240/2055920 swapFree=4165584/4192956
[pid=17931] ppid=17929 vsize=915456 CPUtime=2.94
/proc/17931/stat : 17931 (java) R 17929 17931 17482 0 -1 0 8595 0 1 0 288 6 0 0 18 0 8 0 156481393 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17931/statm: 228864 8332 2513 14 0 215334 0
[pid=17931/tid=17933] ppid=17929 vsize=915456 CPUtime=0.03
/proc/17931/task/17933/stat : 17933 (java) S 17929 17931 17482 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156481397 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17931/tid=17934] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17934/stat : 17934 (java) S 17929 17931 17482 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17935/stat : 17935 (java) S 17929 17931 17482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17936] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17936/stat : 17936 (java) S 17929 17931 17482 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156481400 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17937] ppid=17929 vsize=915456 CPUtime=0.21
/proc/17931/task/17937/stat : 17937 (java) S 17929 17931 17482 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156481400 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17938] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17938/stat : 17938 (java) S 17929 17931 17482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156481400 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17939] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17939/stat : 17939 (java) S 17929 17931 17482 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156481400 937426944 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.27135 s]
/proc/loadavg: 0.59 1.28 1.68 2/88 17939
/proc/meminfo: memFree=1183240/2055920 swapFree=4165584/4192956
[pid=17931] ppid=17929 vsize=915456 CPUtime=6.24
/proc/17931/stat : 17931 (java) R 17929 17931 17482 0 -1 0 8600 0 1 0 618 6 0 0 20 0 8 0 156481393 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17931/statm: 228864 8337 2513 14 0 215334 0
[pid=17931/tid=17933] ppid=17929 vsize=915456 CPUtime=0.03
/proc/17931/task/17933/stat : 17933 (java) S 17929 17931 17482 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156481397 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17931/tid=17934] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17934/stat : 17934 (java) S 17929 17931 17482 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17935/stat : 17935 (java) S 17929 17931 17482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17936] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17936/stat : 17936 (java) S 17929 17931 17482 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156481400 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17937] ppid=17929 vsize=915456 CPUtime=0.21
/proc/17931/task/17937/stat : 17937 (java) S 17929 17931 17482 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156481400 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17938] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17938/stat : 17938 (java) S 17929 17931 17482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156481400 937426944 8337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17939] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17939/stat : 17939 (java) S 17929 17931 17482 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156481400 937426944 8337 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) 915456
[startup+12.7321 s]
/proc/loadavg: 0.66 1.27 1.67 2/88 17940
/proc/meminfo: memFree=1184904/2055920 swapFree=4165584/4192956
[pid=17931] ppid=17929 vsize=915456 CPUtime=12.7
/proc/17931/stat : 17931 (java) R 17929 17931 17482 0 -1 0 8605 0 1 0 1264 6 0 0 25 0 8 0 156481393 937426944 8341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17931/statm: 228864 8341 2513 14 0 215334 0
[pid=17931/tid=17933] ppid=17929 vsize=915456 CPUtime=0.03
/proc/17931/task/17933/stat : 17933 (java) S 17929 17931 17482 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156481397 937426944 8341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17931/tid=17934] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17934/stat : 17934 (java) S 17929 17931 17482 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17935/stat : 17935 (java) S 17929 17931 17482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17936] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17936/stat : 17936 (java) S 17929 17931 17482 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156481400 937426944 8341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17937] ppid=17929 vsize=915456 CPUtime=0.21
/proc/17931/task/17937/stat : 17937 (java) S 17929 17931 17482 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156481400 937426944 8341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17938] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17938/stat : 17938 (java) S 17929 17931 17482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156481400 937426944 8341 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17939] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17939/stat : 17939 (java) S 17929 17931 17482 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156481400 937426944 8341 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) 915456
[startup+25.5856 s]
/proc/loadavg: 0.71 1.26 1.66 2/88 17940
/proc/meminfo: memFree=1184968/2055920 swapFree=4165584/4192956
[pid=17931] ppid=17929 vsize=915456 CPUtime=25.55
/proc/17931/stat : 17931 (java) R 17929 17931 17482 0 -1 0 8610 0 1 0 2549 6 0 0 25 0 8 0 156481393 937426944 8346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17931/statm: 228864 8346 2513 14 0 215334 0
[pid=17931/tid=17933] ppid=17929 vsize=915456 CPUtime=0.03
/proc/17931/task/17933/stat : 17933 (java) S 17929 17931 17482 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156481397 937426944 8346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17931/tid=17934] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17934/stat : 17934 (java) S 17929 17931 17482 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17935] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17935/stat : 17935 (java) S 17929 17931 17482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156481397 937426944 8346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17936] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17936/stat : 17936 (java) S 17929 17931 17482 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156481400 937426944 8346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17937] ppid=17929 vsize=915456 CPUtime=0.21
/proc/17931/task/17937/stat : 17937 (java) S 17929 17931 17482 0 -1 64 391 0 0 0 20 1 0 0 16 0 8 0 156481400 937426944 8346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17938] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17938/stat : 17938 (java) S 17929 17931 17482 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156481400 937426944 8346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17931/tid=17939] ppid=17929 vsize=915456 CPUtime=0
/proc/17931/task/17939/stat : 17939 (java) S 17929 17931 17482 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156481400 937426944 8346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 33.3317
CPU time (s): 33.2509
CPU user time (s): 33.18
CPU system time (s): 0.070989
CPU usage (%): 99.7576
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.18
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8705
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= 1464
involuntary context switches= 740
runsolver used 0.035994 s user time and 0.092985 s system time
The end
Begin job on node1 on Sat Jan 6 10:54:11 UTC 2007
IDJOB= 228041
IDBENCH= 6147
FILE ID= node1/228041-1168080848
PBS_JOBID= 3475829
Free space on /tmp= 66302 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-79_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228041-1168080848/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-228041-1168080848 -o ROOT/results/node1/solver-228041-1168080848 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228041-1168080848/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c113bf890a9b418d28d4e86db73c4f2e
RANDOM SEED= 973870974
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.234
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.234
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: 1207264 kB
Buffers: 70080 kB
Cached: 642132 kB
SwapCached: 3692 kB
Active: 373220 kB
Inactive: 378536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1207264 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 1868 kB
Writeback: 0 kB
Mapped: 49376 kB
Slab: 81864 kB
Committed_AS: 4157404 kB
PageTables: 2172 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= 66304 MiB
End job on node1 on Sat Jan 6 10:54:55 UTC 2007