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/223971-1168080483/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.39 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.59 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=14 maxArity=2
0.59 => wckTime=0.293 cpuTime=0.22 mem=13M810
0.62
0.62 solver IterativeSystematicSolver being built...
0.77 => wckTime=0.48 cpuTime=0.35 mem=13M749
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.0030 cpuTime=0.0 mem=13M749
0.83
0.83 search
0.83 run=0 nbConstraintChecks=46491 nbPropagations=748 nbRevisions=5883 nbUselessRevisions=4123 nbAssignments=34
0.83 nbFailedAssignments=18 nbBacktracks=11 nbVisitedNodes=61 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.053 cpuTime=0.03 mem=14M724
0.85
0.85 search
0.85 run=1 nbConstraintChecks=100184 nbPropagations=2293 nbRevisions=17984 nbUselessRevisions=12545
0.85 nbAssignments=73 nbFailedAssignments=37 nbBacktracks=27 nbVisitedNodes=131 nbRestartNogoods=1 mapSize=25
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.073 cpuTime=0.04 mem=14M724
0.87
0.87 search
0.87 run=2 nbConstraintChecks=195057 nbPropagations=5249 nbRevisions=41506 nbUselessRevisions=28905
0.87 nbAssignments=134 nbFailedAssignments=69 nbBacktracks=50 nbVisitedNodes=241 nbRestartNogoods=2 mapSize=48
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.096 cpuTime=0.06 mem=14M724
0.89
0.89 search
0.89 run=3 nbConstraintChecks=316936 nbPropagations=10066 nbRevisions=80084 nbUselessRevisions=55571
0.89 nbAssignments=218 nbFailedAssignments=116 nbBacktracks=84 nbVisitedNodes=396 nbRestartNogoods=4 mapSize=82
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.118 cpuTime=0.08 mem=14M724
0.92
0.92 search
0.92 run=4 nbConstraintChecks=481354 nbPropagations=17467 nbRevisions=139500 nbUselessRevisions=96798
0.92 nbAssignments=343 nbFailedAssignments=184 nbBacktracks=134 nbVisitedNodes=627 nbRestartNogoods=6 mapSize=128
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.149 cpuTime=0.11 mem=14M724
0.96
0.96 search
0.96 run=5 nbConstraintChecks=703391 nbPropagations=28500 nbRevisions=227718 nbUselessRevisions=157936
0.96 nbAssignments=507 nbFailedAssignments=267 nbBacktracks=209 nbVisitedNodes=925 nbRestartNogoods=19 mapSize=200
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.186 cpuTime=0.15 mem=14M724
1.02
1.02 search
1.02 run=6 nbConstraintChecks=1026408 nbPropagations=44619 nbRevisions=356958 nbUselessRevisions=247277
1.02 nbAssignments=739 nbFailedAssignments=379 nbBacktracks=323 nbVisitedNodes=1346 nbRestartNogoods=24 mapSize=302
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.241 cpuTime=0.2 mem=14M724
1.11
1.11 search
1.11 run=7 nbConstraintChecks=1644986 nbPropagations=69968 nbRevisions=562544 nbUselessRevisions=388912
1.11 nbAssignments=1134 nbFailedAssignments=600 nbBacktracks=493 nbVisitedNodes=2091 nbRestartNogoods=34
1.11 mapSize=462 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.338 cpuTime=0.3 mem=14M724
1.26
1.26 search
1.26 run=8 nbConstraintChecks=2569138 nbPropagations=108880 nbRevisions=880956 nbUselessRevisions=608443
1.26 nbAssignments=1734 nbFailedAssignments=939 nbBacktracks=749 nbVisitedNodes=3211 nbRestartNogoods=40
1.26 mapSize=701 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.483 cpuTime=0.42 mem=14M724
1.42
1.42 search
1.42 run=9 nbConstraintChecks=3684690 nbPropagations=164156 nbRevisions=1333429 nbUselessRevisions=920474
1.42 nbAssignments=2476 nbFailedAssignments=1292 nbBacktracks=1133 nbVisitedNodes=4535 nbRestartNogoods=45
1.42 mapSize=1024 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.641 cpuTime=0.57 mem=14M724
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=14M724)
1.66
1.66 search
1.66 run=10 nbConstraintChecks=5387699 nbPropagations=245866 nbRevisions=2004488 nbUselessRevisions=1384309
1.66 nbAssignments=3648 nbFailedAssignments=1883 nbBacktracks=1711 nbVisitedNodes=6683 nbRestartNogoods=48
1.66 => wckTime=0.88 cpuTime=0.8 mem=14M724
2.00
2.00 search
2.00 run=11 nbConstraintChecks=8047218 nbPropagations=367858 nbRevisions=3003743 nbUselessRevisions=2073869
2.00 nbAssignments=5404 nbFailedAssignments=2770 nbBacktracks=2575 nbVisitedNodes=9901 nbRestartNogoods=53
2.00 => wckTime=1.225 cpuTime=1.15 mem=14M724
2.46
2.46 search
2.46 run=12 nbConstraintChecks=11598464 nbPropagations=545251 nbRevisions=4455880 nbUselessRevisions=3077664
2.46 nbAssignments=7862 nbFailedAssignments=3926 nbBacktracks=3872 nbVisitedNodes=14356 nbRestartNogoods=60
2.46 => wckTime=1.681 cpuTime=1.6 mem=14M724
3.18
3.18 search
3.18 run=13 nbConstraintChecks=17688674 nbPropagations=813738 nbRevisions=6664098 nbUselessRevisions=4603983
3.18 nbAssignments=11812 nbFailedAssignments=5925 nbBacktracks=5820 nbVisitedNodes=21639 nbRestartNogoods=70
3.18 => wckTime=2.405 cpuTime=2.32 mem=14M724
4.10
4.10 search
4.10 run=14 nbConstraintChecks=25277224 nbPropagations=1200674 nbRevisions=9831959 nbUselessRevisions=6795556
4.10 nbAssignments=17323 nbFailedAssignments=8509 nbBacktracks=8739 nbVisitedNodes=31550 nbRestartNogoods=83
4.10 => wckTime=3.324 cpuTime=3.24 mem=14M724
5.61
5.61 search
5.61 run=15 nbConstraintChecks=37964711 nbPropagations=1778496 nbRevisions=14585995 nbUselessRevisions=10089902
5.61 nbAssignments=25965 nbFailedAssignments=12767 nbBacktracks=13119 nbVisitedNodes=47268 nbRestartNogoods=89
5.61 => wckTime=4.836 cpuTime=4.75 mem=14M724
7.95
7.95 search
7.95 run=16 nbConstraintChecks=57588166 nbPropagations=2655261 nbRevisions=21807110 nbUselessRevisions=15098822
7.95 nbAssignments=38848 nbFailedAssignments=19076 nbBacktracks=19689 nbVisitedNodes=70806 nbRestartNogoods=95
7.95 => wckTime=7.17 cpuTime=7.09 mem=14M724
11.52
11.52 search
11.52 run=17 nbConstraintChecks=87104181 nbPropagations=3978085 nbRevisions=32697368 nbUselessRevisions=22648709
11.52 nbAssignments=58195 nbFailedAssignments=28568 nbBacktracks=29541 nbVisitedNodes=106130 nbRestartNogoods=107
11.52 => wckTime=10.745 cpuTime=10.66 mem=14M724
16.11
16.11 search
16.11 run=18 nbConstraintChecks=125001341 nbPropagations=5866827 nbRevisions=48231769 nbUselessRevisions=33398912
16.11 nbAssignments=82711 nbFailedAssignments=41127 nbBacktracks=41499 nbVisitedNodes=151065 nbRestartNogoods=115
16.11 => wckTime=15.339 cpuTime=15.24 mem=14M724
16.12
16.12 global
16.12 nbConstraintChecks=125001341 nbPropagations=5866867 nbRevisions=48231769 nbUselessRevisions=33398912
16.12 nbRestartNogoods=115 solvingWckTime=15.34 solvingCpuTime=15.24 expiredTime=no totalExploration=yes
16.12 nbFoundSolutions=0 globalCpuTime=15.64
16.12 => wckTime=15.823 cpuTime=15.59 mem=14M724
16.12
16.12 s UNSATISFIABLE
16.12 d NODES 82711
16.12 d CHECKS 125001341
16.12
16.12 totalWckTime=15.898 totalCpuTime=15.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-223971-1168080483 -o ROOT/results/node56/solver-223971-1168080483 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223971-1168080483/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 0.90 0.96 3/68 7918
/proc/meminfo: memFree=1646608/2055920 swapFree=4184772/4192956
[pid=7917] ppid=7915 vsize=172 CPUtime=0
/proc/7917/stat : 7917 (java) R 7915 7917 7509 0 -1 0 217 0 0 0 0 0 0 0 20 0 1 0 156446771 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0
/proc/7917/statm: 43 24 18 14 0 3 0
[startup+0.105415 s]
/proc/loadavg: 0.56 0.90 0.96 3/68 7918
/proc/meminfo: memFree=1646608/2055920 swapFree=4184772/4192956
[pid=7917] ppid=7915 vsize=914988 CPUtime=0.08
/proc/7917/stat : 7917 (java) R 7915 7917 7509 0 -1 0 3088 0 1 0 7 1 0 0 16 0 8 0 156446771 936947712 2834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154109055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 228747 2834 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513454 s]
/proc/loadavg: 0.56 0.90 0.96 3/68 7918
/proc/meminfo: memFree=1646608/2055920 swapFree=4184772/4192956
[pid=7917] ppid=7915 vsize=915328 CPUtime=0.5
/proc/7917/stat : 7917 (java) R 7915 7917 7509 0 -1 0 7368 0 1 0 46 4 0 0 16 0 8 0 156446771 937295872 7107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 228832 7107 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33453 s]
/proc/loadavg: 0.56 0.90 0.96 2/75 7925
/proc/meminfo: memFree=1622872/2055920 swapFree=4184772/4192956
[pid=7917] ppid=7915 vsize=915452 CPUtime=1.31
/proc/7917/stat : 7917 (java) R 7915 7917 7509 0 -1 0 8646 0 1 0 126 5 0 0 17 0 8 0 156446771 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7917/statm: 228863 8384 2513 14 0 215333 0
[pid=7917/tid=7919] ppid=7915 vsize=915452 CPUtime=0.03
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7509 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156446774 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7920] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156446774 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156446774 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7509 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156446777 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=915452 CPUtime=0.19
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7509 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 156446777 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7509 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156446777 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156446777 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.98569 s]
/proc/loadavg: 0.60 0.90 0.96 2/75 7925
/proc/meminfo: memFree=1622872/2055920 swapFree=4184772/4192956
[pid=7917] ppid=7915 vsize=915452 CPUtime=2.96
/proc/7917/stat : 7917 (java) R 7915 7917 7509 0 -1 0 8652 0 1 0 291 5 0 0 18 0 8 0 156446771 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7917/statm: 228863 8389 2513 14 0 215333 0
[pid=7917/tid=7919] ppid=7915 vsize=915452 CPUtime=0.03
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7509 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156446774 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7920] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156446774 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156446774 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7509 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=915452 CPUtime=0.2
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7509 0 -1 64 386 0 0 0 20 0 0 0 16 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7509 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915452
[startup+6.28101 s]
/proc/loadavg: 0.60 0.90 0.96 2/75 7926
/proc/meminfo: memFree=1624536/2055920 swapFree=4184772/4192956
[pid=7917] ppid=7915 vsize=915452 CPUtime=6.25
/proc/7917/stat : 7917 (java) R 7915 7917 7509 0 -1 0 8653 0 1 0 620 5 0 0 20 0 8 0 156446771 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7917/statm: 228863 8389 2513 14 0 215333 0
[pid=7917/tid=7919] ppid=7915 vsize=915452 CPUtime=0.03
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7509 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156446774 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7920] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156446774 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156446774 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7509 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=915452 CPUtime=0.2
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7509 0 -1 64 386 0 0 0 20 0 0 0 16 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7509 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915452
[startup+12.7576 s]
/proc/loadavg: 0.66 0.91 0.96 2/75 7928
/proc/meminfo: memFree=1624536/2055920 swapFree=4184772/4192956
[pid=7917] ppid=7915 vsize=915452 CPUtime=12.71
/proc/7917/stat : 7917 (java) R 7915 7917 7509 0 -1 0 8653 0 1 0 1266 5 0 0 25 0 8 0 156446771 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7917/statm: 228863 8389 2513 14 0 215333 0
[pid=7917/tid=7919] ppid=7915 vsize=915452 CPUtime=0.03
/proc/7917/task/7919/stat : 7919 (java) S 7915 7917 7509 0 -1 64 245 0 0 0 3 0 0 0 16 0 8 0 156446774 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7917/tid=7920] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7920/stat : 7920 (java) S 7915 7917 7509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156446774 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7921] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7921/stat : 7921 (java) S 7915 7917 7509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156446774 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7922] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7922/stat : 7922 (java) S 7915 7917 7509 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7923] ppid=7915 vsize=915452 CPUtime=0.2
/proc/7917/task/7923/stat : 7923 (java) S 7915 7917 7509 0 -1 64 386 0 0 0 20 0 0 0 16 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7924] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7924/stat : 7924 (java) S 7915 7917 7509 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7917/tid=7925] ppid=7915 vsize=915452 CPUtime=0
/proc/7917/task/7925/stat : 7925 (java) S 7915 7917 7509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156446777 937422848 8389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 16.1531
CPU time (s): 16.0916
CPU user time (s): 16.0226
CPU system time (s): 0.068989
CPU usage (%): 99.6189
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0226
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8730
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= 1074
involuntary context switches= 522
runsolver used 0.023996 s user time and 0.048992 s system time
The end
Begin job on node56 on Sat Jan 6 10:48:04 UTC 2007
IDJOB= 223971
IDBENCH= 5698
FILE ID= node56/223971-1168080483
PBS_JOBID= 3476163
Free space on /tmp= 66519 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223971-1168080483/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-223971-1168080483 -o ROOT/results/node56/solver-223971-1168080483 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223971-1168080483/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9f16b09dae26e5d27f7de4811a1d5d84
RANDOM SEED= 547368859
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.232
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.232
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: 1647024 kB
Buffers: 30108 kB
Cached: 297564 kB
SwapCached: 2060 kB
Active: 65212 kB
Inactive: 276700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647024 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 4072 kB
Writeback: 0 kB
Mapped: 21112 kB
Slab: 52648 kB
Committed_AS: 2752752 kB
PageTables: 1692 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= 66519 MiB
End job on node56 on Sat Jan 6 10:48:24 UTC 2007