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/229445-1168080964/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1333 maxDegree=17
0.57 maxArity=2
0.57 => wckTime=0.271 cpuTime=0.2 mem=11M893
0.61
0.61 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.459 cpuTime=0.33 mem=13M736
0.76
0.76 preprocessing
0.76 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.76 detectedInconsistency=no
0.76 => wckTime=0.0030 cpuTime=0.0 mem=13M736
0.81
0.81 search
0.81 run=0 nbConstraintChecks=24970 nbPropagations=500 nbRevisions=4346 nbUselessRevisions=3368 nbAssignments=26
0.81 nbFailedAssignments=6 nbBacktracks=13 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.048 cpuTime=0.02 mem=14M711
0.82
0.82 search
0.82 run=1 nbConstraintChecks=59428 nbPropagations=1646 nbRevisions=14897 nbUselessRevisions=11510 nbAssignments=61
0.82 nbFailedAssignments=19 nbBacktracks=28 nbVisitedNodes=102 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.066 cpuTime=0.04 mem=14M711
0.84
0.84 search
0.84 run=2 nbConstraintChecks=105083 nbPropagations=3591 nbRevisions=33589 nbUselessRevisions=25900
0.84 nbAssignments=106 nbFailedAssignments=34 nbBacktracks=51 nbVisitedNodes=174 nbRestartNogoods=5 mapSize=42
0.84 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.085 cpuTime=0.05 mem=14M711
0.86
0.86 search
0.86 run=3 nbConstraintChecks=163283 nbPropagations=6633 nbRevisions=63404 nbUselessRevisions=49006
0.86 nbAssignments=166 nbFailedAssignments=54 nbBacktracks=86 nbVisitedNodes=274 nbRestartNogoods=9 mapSize=69
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.099 cpuTime=0.06 mem=14M711
0.88
0.88 search
0.88 run=4 nbConstraintChecks=246266 nbPropagations=11326 nbRevisions=110200 nbUselessRevisions=85109
0.88 nbAssignments=261 nbFailedAssignments=94 nbBacktracks=137 nbVisitedNodes=438 nbRestartNogoods=12 mapSize=113
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.12 cpuTime=0.08 mem=14M711
0.91
0.91 search
0.91 run=5 nbConstraintChecks=365249 nbPropagations=18279 nbRevisions=179483 nbUselessRevisions=138376
0.91 nbAssignments=396 nbFailedAssignments=144 nbBacktracks=213 nbVisitedNodes=663 nbRestartNogoods=14 mapSize=175
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.148 cpuTime=0.11 mem=14M711
0.95
0.95 search
0.95 run=6 nbConstraintChecks=563934 nbPropagations=28739 nbRevisions=286831 nbUselessRevisions=220924
0.95 nbAssignments=594 nbFailedAssignments=220 nbBacktracks=326 nbVisitedNodes=1002 nbRestartNogoods=16 mapSize=273
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.19 cpuTime=0.15 mem=14M711
1.01
1.01 search
1.01 run=7 nbConstraintChecks=857053 nbPropagations=44501 nbRevisions=450724 nbUselessRevisions=346594
1.01 nbAssignments=890 nbFailedAssignments=341 nbBacktracks=496 nbVisitedNodes=1514 nbRestartNogoods=20 mapSize=417
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.25 cpuTime=0.21 mem=14M711
1.10
1.10 search
1.10 run=8 nbConstraintChecks=1259849 nbPropagations=68576 nbRevisions=700178 nbUselessRevisions=537829
1.10 nbAssignments=1343 nbFailedAssignments=530 nbBacktracks=753 nbVisitedNodes=2312 nbRestartNogoods=26
1.10 mapSize=641 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.341 cpuTime=0.29 mem=14M711
1.23
1.23 search
1.23 run=9 nbConstraintChecks=1849996 nbPropagations=103597 nbRevisions=1065091 nbUselessRevisions=817256
1.23 nbAssignments=1964 nbFailedAssignments=759 nbBacktracks=1137 nbVisitedNodes=3378 nbRestartNogoods=32
1.23 mapSize=955 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.469 cpuTime=0.4 mem=14M711
1.25
1.25 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M711)
1.38
1.38 search
1.38 run=10 nbConstraintChecks=2765902 nbPropagations=155572 nbRevisions=1605721 nbUselessRevisions=1230233
1.38 nbAssignments=2905 nbFailedAssignments=1117 nbBacktracks=1714 nbVisitedNodes=5000 nbRestartNogoods=37
1.38 => wckTime=0.628 cpuTime=0.55 mem=14M711
1.62
1.62 search
1.62 run=11 nbConstraintChecks=4255864 nbPropagations=235054 nbRevisions=2437673 nbUselessRevisions=1865950
1.62 nbAssignments=4370 nbFailedAssignments=1712 nbBacktracks=2578 nbVisitedNodes=7561 nbRestartNogoods=39
1.62 => wckTime=0.863 cpuTime=0.78 mem=14M711
1.94
1.94 search
1.94 run=12 nbConstraintChecks=6369750 nbPropagations=353256 nbRevisions=3677862 nbUselessRevisions=2813965
1.94 nbAssignments=6506 nbFailedAssignments=2544 nbBacktracks=3876 nbVisitedNodes=11241 nbRestartNogoods=47
1.94 => wckTime=1.188 cpuTime=1.11 mem=14M711
2.45
2.45 search
2.45 run=13 nbConstraintChecks=9456686 nbPropagations=530920 nbRevisions=5546889 nbUselessRevisions=4247905
2.45 nbAssignments=9740 nbFailedAssignments=3825 nbBacktracks=5822 nbVisitedNodes=16908 nbRestartNogoods=52
2.45 => wckTime=1.692 cpuTime=1.61 mem=14M711
3.22
3.23 search
3.23 run=14 nbConstraintChecks=14098367 nbPropagations=795115 nbRevisions=8341327 nbUselessRevisions=6394409
3.23 nbAssignments=14530 nbFailedAssignments=5688 nbBacktracks=8743 nbVisitedNodes=25252 nbRestartNogoods=58
3.23 => wckTime=2.468 cpuTime=2.38 mem=14M711
4.41
4.41 search
4.41 run=15 nbConstraintChecks=21378604 nbPropagations=1190529 nbRevisions=12529153 nbUselessRevisions=9606451
4.41 nbAssignments=21721 nbFailedAssignments=8497 nbBacktracks=13121 nbVisitedNodes=37746 nbRestartNogoods=71
4.41 => wckTime=3.658 cpuTime=3.57 mem=14M711
6.22
6.22 search
6.22 run=16 nbConstraintChecks=32352212 nbPropagations=1786729 nbRevisions=18869529 nbUselessRevisions=14475147
6.22 nbAssignments=32568 nbFailedAssignments=12771 nbBacktracks=19690 nbVisitedNodes=56693 nbRestartNogoods=79
6.22 => wckTime=5.459 cpuTime=5.37 mem=14M711
8.89
8.89 search
8.89 run=17 nbConstraintChecks=48638804 nbPropagations=2681378 nbRevisions=28409567 nbUselessRevisions=21802945
8.89 nbAssignments=48762 nbFailedAssignments=19105 nbBacktracks=29542 nbVisitedNodes=84908 nbRestartNogoods=86
8.89 => wckTime=8.136 cpuTime=8.05 mem=14M711
12.87
12.87 search
12.87 run=18 nbConstraintChecks=73195874 nbPropagations=4018788 nbRevisions=42687330 nbUselessRevisions=32763374
12.87 nbAssignments=73180 nbFailedAssignments=28739 nbBacktracks=44321 nbVisitedNodes=127342 nbRestartNogoods=99
12.87 => wckTime=12.113 cpuTime=12.02 mem=14M711
19.01
19.01 search
19.01 run=19 nbConstraintChecks=111180437 nbPropagations=6034734 nbRevisions=64258114 nbUselessRevisions=49324027
19.01 nbAssignments=109577 nbFailedAssignments=42962 nbBacktracks=66489 nbVisitedNodes=190849 nbRestartNogoods=107
19.01 => wckTime=18.25 cpuTime=18.16 mem=14M711
28.38
28.38 search
28.38 run=20 nbConstraintChecks=169543516 nbPropagations=9073325 nbRevisions=96868580 nbUselessRevisions=74341443
28.38 nbAssignments=164152 nbFailedAssignments=64278 nbBacktracks=99741 nbVisitedNodes=285900 nbRestartNogoods=115
28.38 => wckTime=27.627 cpuTime=27.53 mem=14M711
40.28
40.28 search
40.28 run=21 nbConstraintChecks=245048453 nbPropagations=13401112 nbRevisions=143384066 nbUselessRevisions=109961725
40.28 nbAssignments=233196 nbFailedAssignments=91065 nbBacktracks=141999 nbVisitedNodes=405636 nbRestartNogoods=121
40.28 => wckTime=39.52 cpuTime=39.42 mem=14M711
40.28
40.28 global
40.28 nbConstraintChecks=245048453 nbPropagations=13401152 nbRevisions=143384066 nbUselessRevisions=109961725
40.28 nbRestartNogoods=121 solvingWckTime=39.521 solvingCpuTime=39.42 expiredTime=no totalExploration=yes
40.28 nbFoundSolutions=0 globalCpuTime=39.8
40.28 => wckTime=39.983 cpuTime=39.75 mem=14M711
40.28
40.28 s UNSATISFIABLE
40.28 d NODES 233196
40.28 d CHECKS 245048453
40.28
40.28 totalWckTime=40.058 totalCpuTime=39.8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-229445-1168080964 -o ROOT/results/node14/solver-229445-1168080964 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229445-1168080964/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.74 1.54 1.83 2/81 26353
/proc/meminfo: memFree=1458976/2055920 swapFree=4182236/4192956
[pid=26352] ppid=26350 vsize=1788 CPUtime=0
/proc/26352/stat : 26352 (java) R 26350 26352 26161 0 -1 0 191 0 0 0 0 0 0 0 20 0 1 0 156492699 1830912 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26352/statm: 447 159 123 14 0 92 0
[startup+0.102549 s]
/proc/loadavg: 0.74 1.54 1.83 2/81 26353
/proc/meminfo: memFree=1458976/2055920 swapFree=4182236/4192956
[pid=26352] ppid=26350 vsize=914988 CPUtime=0.08
/proc/26352/stat : 26352 (java) R 26350 26352 26161 0 -1 0 3058 0 1 0 7 1 0 0 16 0 8 0 156492699 936947712 2804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26352/statm: 228747 2804 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510584 s]
/proc/loadavg: 0.74 1.54 1.83 2/81 26353
/proc/meminfo: memFree=1458976/2055920 swapFree=4182236/4192956
[pid=26352] ppid=26350 vsize=915328 CPUtime=0.5
/proc/26352/stat : 26352 (java) S 26350 26352 26161 0 -1 0 6821 0 1 0 46 4 0 0 16 0 8 0 156492699 937295872 6560 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26352/statm: 228832 6560 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33266 s]
/proc/loadavg: 0.74 1.54 1.83 2/88 26360
/proc/meminfo: memFree=1435624/2055920 swapFree=4182236/4192956
[pid=26352] ppid=26350 vsize=915452 CPUtime=1.32
/proc/26352/stat : 26352 (java) S 26350 26352 26161 0 -1 0 8593 0 1 0 126 6 0 0 16 0 8 0 156492699 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26352/statm: 228863 8331 2513 14 0 215333 0
[pid=26352/tid=26354] ppid=26350 vsize=915452 CPUtime=0.03
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 26161 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156492702 937422848 8331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26355] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156492706 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=915452 CPUtime=0.21
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 26161 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 156492706 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26359] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156492706 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156492706 937422848 8332 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
[startup+2.98482 s]
/proc/loadavg: 0.74 1.54 1.83 2/88 26360
/proc/meminfo: memFree=1435432/2055920 swapFree=4182236/4192956
[pid=26352] ppid=26350 vsize=915452 CPUtime=2.97
/proc/26352/stat : 26352 (java) R 26350 26352 26161 0 -1 0 8606 0 1 0 291 6 0 0 18 0 8 0 156492699 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26352/statm: 228863 8343 2513 14 0 215333 0
[pid=26352/tid=26354] ppid=26350 vsize=915452 CPUtime=0.03
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 26161 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156492702 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26355] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156492706 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=915452 CPUtime=0.21
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 26161 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 156492706 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26359] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156492706 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156492706 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915452
[startup+6.26113 s]
/proc/loadavg: 0.76 1.53 1.82 2/88 26360
/proc/meminfo: memFree=1435368/2055920 swapFree=4182236/4192956
[pid=26352] ppid=26350 vsize=915452 CPUtime=6.24
/proc/26352/stat : 26352 (java) R 26350 26352 26161 0 -1 0 8615 0 1 0 618 6 0 0 25 0 8 0 156492699 937422848 8351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26352/statm: 228863 8351 2513 14 0 215333 0
[pid=26352/tid=26354] ppid=26350 vsize=915452 CPUtime=0.03
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 26161 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156492702 937422848 8351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26355] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156492706 937422848 8351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=915452 CPUtime=0.21
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 26161 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156492706 937422848 8351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26359] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156492706 937422848 8351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156492706 937422848 8351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452
[startup+12.7437 s]
/proc/loadavg: 0.80 1.51 1.81 2/88 26360
/proc/meminfo: memFree=1435368/2055920 swapFree=4182236/4192956
[pid=26352] ppid=26350 vsize=915452 CPUtime=12.72
/proc/26352/stat : 26352 (java) R 26350 26352 26161 0 -1 0 8618 0 1 0 1266 6 0 0 25 0 8 0 156492699 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26352/statm: 228863 8354 2513 14 0 215333 0
[pid=26352/tid=26354] ppid=26350 vsize=915452 CPUtime=0.03
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 26161 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156492702 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26355] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156492706 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=915452 CPUtime=0.21
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 26161 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156492706 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26359] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156492706 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156492706 937422848 8354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915452
[startup+25.573 s]
/proc/loadavg: 0.83 1.49 1.80 2/88 26360
/proc/meminfo: memFree=1435368/2055920 swapFree=4182236/4192956
[pid=26352] ppid=26350 vsize=915452 CPUtime=25.55
/proc/26352/stat : 26352 (java) R 26350 26352 26161 0 -1 0 8622 0 1 0 2549 6 0 0 25 0 8 0 156492699 937422848 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26352/statm: 228863 8358 2513 14 0 215333 0
[pid=26352/tid=26354] ppid=26350 vsize=915452 CPUtime=0.03
/proc/26352/task/26354/stat : 26354 (java) S 26350 26352 26161 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156492702 937422848 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26355] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26355/stat : 26355 (java) S 26350 26352 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26356] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26356/stat : 26356 (java) S 26350 26352 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156492703 937422848 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26357] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26357/stat : 26357 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156492706 937422848 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26358] ppid=26350 vsize=915452 CPUtime=0.21
/proc/26352/task/26358/stat : 26358 (java) S 26350 26352 26161 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156492706 937422848 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26352/tid=26359] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26359/stat : 26359 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156492706 937422848 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26352/tid=26360] ppid=26350 vsize=915452 CPUtime=0
/proc/26352/task/26360/stat : 26360 (java) S 26350 26352 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156492706 937422848 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 40.2955
CPU time (s): 40.2689
CPU user time (s): 40.1979
CPU system time (s): 0.070989
CPU usage (%): 99.934
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.1979
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= 8713
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= 1582
involuntary context switches= 1013
runsolver used 0.046992 s user time and 0.110983 s system time
The end
Begin job on node14 on Sat Jan 6 10:56:09 UTC 2007
IDJOB= 229445
IDBENCH= 6306
FILE ID= node14/229445-1168080964
PBS_JOBID= 3475832
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229445-1168080964/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-229445-1168080964 -o ROOT/results/node14/solver-229445-1168080964 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229445-1168080964/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 762b5d8b4017d76eb2729f0843724689
RANDOM SEED= 381986649
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.227
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.227
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: 1459448 kB
Buffers: 57988 kB
Cached: 385416 kB
SwapCached: 3696 kB
Active: 141368 kB
Inactive: 355780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1459448 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 63076 kB
Slab: 84548 kB
Committed_AS: 4687860 kB
PageTables: 2016 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= 66330 MiB
End job on node14 on Sat Jan 6 10:57:02 UTC 2007