0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/199361-1168071398/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=31 nbDomainTypes=2 minDomainSize=15 maxDomainSize=16
0.43 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
0.59 nbConstraints=240 nbConvertedConstraints=225 nbConvertConstraintsChecks=4321 nbExtensionStructures=2
0.59 nbSharedExtensionStructures=223 nbConflictsStructures=3 nbSharedConflictsStructures=237
0.59 nbSharedBinaryRepresentations=31 nbEvaluationManagers=1 nbSharedEvaluationManagers=14 maxDegree=17 maxArity=3
0.59 => wckTime=0.261 cpuTime=0.21 mem=8M902
0.62
0.62 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.459 cpuTime=0.34 mem=13M419
0.79
0.79 preprocessing
0.79 nbConstraintChecks=0 nbPropagations=31 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.79 detectedInconsistency=no
0.79 => wckTime=0.0040 cpuTime=0.01 mem=13M419
0.86
0.86 search
0.86 run=0 nbConstraintChecks=34513 nbValidityChecks=3493 nbPropagations=353 nbRevisions=836 nbUselessRevisions=395
0.86 nbAssignments=24 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=32 nbRestartNogoods=0 mapSize=5
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.069 cpuTime=0.05 mem=14M394
0.89
0.89 search
0.89 run=1 nbConstraintChecks=59688 nbValidityChecks=8244 nbPropagations=1116 nbRevisions=2916
0.89 nbUselessRevisions=1357 nbAssignments=60 nbFailedAssignments=11 nbBacktracks=27 nbVisitedNodes=80
0.89 nbRestartNogoods=2 mapSize=11 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.102 cpuTime=0.07 mem=14M394
0.92
0.92 search
0.92 run=2 nbConstraintChecks=90481 nbValidityChecks=14173 nbPropagations=2520 nbRevisions=7056
0.92 nbUselessRevisions=3206 nbAssignments=106 nbFailedAssignments=24 nbBacktracks=49 nbVisitedNodes=150
0.92 nbRestartNogoods=4 mapSize=26 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.132 cpuTime=0.09 mem=14M394
0.94
0.94 search
0.94 run=3 nbConstraintChecks=132827 nbValidityChecks=21872 nbPropagations=4705 nbRevisions=14077
0.94 nbUselessRevisions=6409 nbAssignments=171 nbFailedAssignments=44 nbBacktracks=82 nbVisitedNodes=251
0.94 nbRestartNogoods=6 mapSize=48 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.158 cpuTime=0.11 mem=14M394
0.98
0.98 search
0.98 run=4 nbConstraintChecks=188080 nbValidityChecks=31730 nbPropagations=7922 nbRevisions=24751
0.98 nbUselessRevisions=11308 nbAssignments=254 nbFailedAssignments=69 nbBacktracks=132 nbVisitedNodes=377
0.98 nbRestartNogoods=10 mapSize=76 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.189 cpuTime=0.14 mem=14M394
1.02
1.02 search
1.02 run=5 nbConstraintChecks=262521 nbValidityChecks=46980 nbPropagations=12981 nbRevisions=42498
1.02 nbUselessRevisions=19586 nbAssignments=386 nbFailedAssignments=113 nbBacktracks=209 nbVisitedNodes=585
1.02 nbRestartNogoods=13 mapSize=124 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.235 cpuTime=0.18 mem=14M394
1.09
1.09 search
1.09 run=6 nbConstraintChecks=373856 nbValidityChecks=69186 nbPropagations=20631 nbRevisions=70215
1.09 nbUselessRevisions=32361 nbAssignments=592 nbFailedAssignments=194 nbBacktracks=325 nbVisitedNodes=923
1.09 nbRestartNogoods=22 mapSize=200 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.3 cpuTime=0.25 mem=14M394
1.18
1.18 search
1.18 run=7 nbConstraintChecks=526921 nbValidityChecks=98877 nbPropagations=32095 nbRevisions=112533
1.18 nbUselessRevisions=51470 nbAssignments=898 nbFailedAssignments=319 nbBacktracks=495 nbVisitedNodes=1428
1.18 nbRestartNogoods=27 mapSize=300 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.393 cpuTime=0.33 mem=14M394
1.28
1.28 search
1.28 run=8 nbConstraintChecks=665269 nbValidityChecks=130083 nbPropagations=48568 nbRevisions=172196
1.28 nbUselessRevisions=78828 nbAssignments=1329 nbFailedAssignments=478 nbBacktracks=752 nbVisitedNodes=2150
1.28 nbRestartNogoods=35 mapSize=491 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.491 cpuTime=0.43 mem=14M394
1.47
1.47 search
1.47 run=9 nbConstraintChecks=977301 nbValidityChecks=196345 nbPropagations=73797 nbRevisions=264036
1.47 nbUselessRevisions=119890 nbAssignments=1997 nbFailedAssignments=750 nbBacktracks=1137 nbVisitedNodes=3275
1.47 nbRestartNogoods=39 mapSize=741 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.685 cpuTime=0.6 mem=14M394
1.63
1.63 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=14M394)
1.68
1.68 search
1.68 run=10 nbConstraintChecks=1324122 nbValidityChecks=272087 nbPropagations=110071 nbRevisions=394395
1.68 nbUselessRevisions=177252 nbAssignments=2940 nbFailedAssignments=1108 nbBacktracks=1713 nbVisitedNodes=4851
1.68 nbRestartNogoods=44
1.68 => wckTime=0.892 cpuTime=0.79 mem=14M394
2.02
2.02 search
2.02 run=11 nbConstraintChecks=2021837 nbValidityChecks=414350 nbPropagations=165827 nbRevisions=596386
2.02 nbUselessRevisions=266110 nbAssignments=4418 nbFailedAssignments=1709 nbBacktracks=2577 nbVisitedNodes=7361
2.02 nbRestartNogoods=51
2.02 => wckTime=1.236 cpuTime=1.13 mem=14M394
2.49
2.49 search
2.49 run=12 nbConstraintChecks=2948017 nbValidityChecks=614107 nbPropagations=251103 nbRevisions=911226
2.49 nbUselessRevisions=406135 nbAssignments=6577 nbFailedAssignments=2560 nbBacktracks=3875 nbVisitedNodes=10983
2.49 nbRestartNogoods=60
2.49 => wckTime=1.7 cpuTime=1.59 mem=14M394
3.32
3.32 search
3.32 run=13 nbConstraintChecks=4641285 nbValidityChecks=982861 nbPropagations=385085 nbRevisions=1411617
3.32 nbUselessRevisions=631667 nbAssignments=9878 nbFailedAssignments=3904 nbBacktracks=5821 nbVisitedNodes=16587
3.32 nbRestartNogoods=70
3.32 => wckTime=2.534 cpuTime=2.42 mem=14M394
4.67
4.67 search
4.67 run=14 nbConstraintChecks=7555687 nbValidityChecks=1536233 nbPropagations=590614 nbRevisions=2208035
4.67 nbUselessRevisions=994170 nbAssignments=14795 nbFailedAssignments=5891 nbBacktracks=8741 nbVisitedNodes=24891
4.67 nbRestartNogoods=80
4.67 => wckTime=3.886 cpuTime=3.75 mem=14M394
6.34
6.34 search
6.34 run=15 nbConstraintChecks=10884599 nbValidityChecks=2245310 nbPropagations=899070 nbRevisions=3389401
6.34 nbUselessRevisions=1533192 nbAssignments=22166 nbFailedAssignments=8869 nbBacktracks=13123 nbVisitedNodes=37483
6.34 nbRestartNogoods=95
6.34 => wckTime=5.553 cpuTime=5.4 mem=14M394
9.03
9.03 search
9.03 run=16 nbConstraintChecks=16348491 nbValidityChecks=3447802 nbPropagations=1368915 nbRevisions=5207920
9.03 nbUselessRevisions=2371864 nbAssignments=33297 nbFailedAssignments=13416 nbBacktracks=19692
9.03 nbVisitedNodes=56310 nbRestartNogoods=105
9.03 => wckTime=8.246 cpuTime=8.08 mem=14M394
14.87
14.87 search
14.87 run=17 nbConstraintChecks=30094486 nbValidityChecks=5785962 nbPropagations=2107871 nbRevisions=8218718
14.87 nbUselessRevisions=3775539 nbAssignments=49717 nbFailedAssignments=19974 nbBacktracks=29545
14.87 nbVisitedNodes=83804 nbRestartNogoods=120
14.87 => wckTime=14.081 cpuTime=13.85 mem=14M394
22.62
22.62 search
22.62 run=18 nbConstraintChecks=47547186 nbValidityChecks=8988795 nbPropagations=3237416 nbRevisions=12913375
22.62 nbUselessRevisions=5995273 nbAssignments=74752 nbFailedAssignments=30221 nbBacktracks=44324
22.62 nbVisitedNodes=126101 nbRestartNogoods=131
22.62 => wckTime=21.833 cpuTime=21.54 mem=14M394
29.86
29.86 search
29.86 run=19 nbConstraintChecks=61507738 nbValidityChecks=12175545 nbPropagations=4838738 nbRevisions=19314235
29.86 nbUselessRevisions=8974291 nbAssignments=111273 nbFailedAssignments=44559 nbBacktracks=66498
29.86 nbVisitedNodes=188210 nbRestartNogoods=142
29.86 => wckTime=29.07 cpuTime=28.7 mem=14M394
47.61
47.61 search
47.61 run=20 nbConstraintChecks=101048171 nbValidityChecks=19708742 nbPropagations=7338383 nbRevisions=29556099
47.61 nbUselessRevisions=13818798 nbAssignments=168749 nbFailedAssignments=68773 nbBacktracks=99750
47.61 nbVisitedNodes=285665 nbRestartNogoods=158
47.61 => wckTime=46.82 cpuTime=46.29 mem=14M394
63.30
63.30 search
63.30 run=21 nbConstraintChecks=132059837 nbValidityChecks=26546751 nbPropagations=10871183 nbRevisions=43622097
63.30 nbUselessRevisions=20402706 nbAssignments=249269 nbFailedAssignments=99404 nbBacktracks=149628
63.30 nbVisitedNodes=420820 nbRestartNogoods=171
63.30 => wckTime=62.516 cpuTime=61.85 mem=14M394
84.28
84.28 search
84.28 run=22 nbConstraintChecks=173077991 nbValidityChecks=35769694 nbPropagations=15745016 nbRevisions=62740972
84.28 nbUselessRevisions=29343331 nbAssignments=352244 nbFailedAssignments=141023 nbBacktracks=210953
84.28 nbVisitedNodes=595875 nbRestartNogoods=187
84.28 => wckTime=83.495 cpuTime=82.63 mem=14M394
84.28
84.28 global
84.28 nbConstraintChecks=173077991 nbValidityChecks=35769694 nbPropagations=15745047 nbRevisions=62740972
84.28 nbUselessRevisions=29343331 nbRestartNogoods=187 solvingWckTime=83.496 solvingCpuTime=82.63 expiredTime=no
84.28 totalExploration=no nbFoundSolutions=1 globalCpuTime=83.02
84.28 => wckTime=83.958 cpuTime=82.97 mem=14M394
84.29
84.29 s SATISFIABLE
84.29 v 11 7 8 0 15 1 14 2 13 3 12 5 10 4 6 9 3 0 7 14 13 12 11 10 9 8 6 4 5 1 2
84.29 d NODES 352244
84.29 d CHECKS 173077991
84.29
84.29 totalWckTime=84.047 totalCpuTime=83.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-199361-1168071398 -o ROOT/results/node4/solver-199361-1168071398 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199361-1168071398/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: 1.90 1.96 1.91 4/93 10917
/proc/meminfo: memFree=1001152/2055920 swapFree=4191880/4192956
[pid=10916] ppid=10914 vsize=18540 CPUtime=0
/proc/10916/stat : 10916 (runsolver) R 10914 10916 10391 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155535328 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10916/statm: 4635 279 244 17 0 2626 0
[startup+0.107689 s]
/proc/loadavg: 1.90 1.96 1.91 4/93 10917
/proc/meminfo: memFree=1001152/2055920 swapFree=4191880/4192956
[pid=10916] ppid=10914 vsize=914988 CPUtime=0.09
/proc/10916/stat : 10916 (java) R 10914 10916 10391 0 -1 0 2987 0 1 0 7 2 0 0 19 0 8 0 155535328 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10916/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515728 s]
/proc/loadavg: 1.90 1.96 1.91 4/93 10917
/proc/meminfo: memFree=1001152/2055920 swapFree=4191880/4192956
[pid=10916] ppid=10914 vsize=915328 CPUtime=0.49
/proc/10916/stat : 10916 (java) R 10914 10916 10391 0 -1 0 6382 0 1 0 45 4 0 0 18 0 8 0 155535328 937295872 6121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152151072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10916/statm: 228832 6121 2152 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3398 s]
/proc/loadavg: 1.90 1.96 1.91 3/100 10924
/proc/meminfo: memFree=978056/2055920 swapFree=4191880/4192956
[pid=10916] ppid=10914 vsize=915464 CPUtime=1.3
/proc/10916/stat : 10916 (java) R 10914 10916 10391 0 -1 0 8510 0 1 0 124 6 0 0 25 0 8 0 155535328 937435136 8247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153693455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10916/statm: 228866 8247 2533 14 0 215336 0
[pid=10916/tid=10918] ppid=10914 vsize=915464 CPUtime=0.02
/proc/10916/task/10918/stat : 10918 (java) S 10914 10916 10391 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155535332 937435136 8247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10919] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10919/stat : 10919 (java) S 10914 10916 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155535332 937435136 8247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10920] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10920/stat : 10920 (java) S 10914 10916 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155535332 937435136 8247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10921] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10921/stat : 10921 (java) S 10914 10916 10391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155535336 937435136 8247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10922] ppid=10914 vsize=915464 CPUtime=0.19
/proc/10916/task/10922/stat : 10922 (java) S 10914 10916 10391 0 -1 64 368 0 0 0 19 0 0 0 16 0 8 0 155535336 937435136 8247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10923] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10923/stat : 10923 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155535336 937435136 8247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10924] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10924/stat : 10924 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155535336 937435136 8247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.99296 s]
/proc/loadavg: 1.90 1.96 1.91 3/100 10924
/proc/meminfo: memFree=977800/2055920 swapFree=4191880/4192956
[pid=10916] ppid=10914 vsize=915464 CPUtime=2.94
/proc/10916/stat : 10916 (java) R 10914 10916 10391 0 -1 0 8549 0 1 0 288 6 0 0 25 0 8 0 155535328 937435136 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073770208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10916/statm: 228866 8285 2533 14 0 215336 0
[pid=10916/tid=10918] ppid=10914 vsize=915464 CPUtime=0.02
/proc/10916/task/10918/stat : 10918 (java) S 10914 10916 10391 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155535332 937435136 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10919] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10919/stat : 10919 (java) S 10914 10916 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155535332 937435136 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10920] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10920/stat : 10920 (java) S 10914 10916 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155535332 937435136 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10921] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10921/stat : 10921 (java) S 10914 10916 10391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155535336 937435136 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10922] ppid=10914 vsize=915464 CPUtime=0.21
/proc/10916/task/10922/stat : 10922 (java) S 10914 10916 10391 0 -1 64 379 0 0 0 21 0 0 0 16 0 8 0 155535336 937435136 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10923] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10923/stat : 10923 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155535336 937435136 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10924] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10924/stat : 10924 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155535336 937435136 8285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.28227 s]
/proc/loadavg: 1.91 1.96 1.91 3/100 10924
/proc/meminfo: memFree=977672/2055920 swapFree=4191880/4192956
[pid=10916] ppid=10914 vsize=915464 CPUtime=6.19
/proc/10916/stat : 10916 (java) R 10914 10916 10391 0 -1 0 8557 0 1 0 613 6 0 0 25 0 8 0 155535328 937435136 8293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10916/statm: 228866 8293 2533 14 0 215336 0
[pid=10916/tid=10918] ppid=10914 vsize=915464 CPUtime=0.02
/proc/10916/task/10918/stat : 10918 (java) S 10914 10916 10391 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155535332 937435136 8293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10919] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10919/stat : 10919 (java) S 10914 10916 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155535332 937435136 8293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10920] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10920/stat : 10920 (java) S 10914 10916 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155535332 937435136 8293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10921] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10921/stat : 10921 (java) S 10914 10916 10391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155535336 937435136 8293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10922] ppid=10914 vsize=915464 CPUtime=0.21
/proc/10916/task/10922/stat : 10922 (java) S 10914 10916 10391 0 -1 64 381 0 0 0 21 0 0 0 15 0 8 0 155535336 937435136 8293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10923] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10923/stat : 10923 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155535336 937435136 8293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10924] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10924/stat : 10924 (java) R 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155535336 937435136 8293 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7699 s]
/proc/loadavg: 1.91 1.96 1.91 3/100 10924
/proc/meminfo: memFree=977672/2055920 swapFree=4191880/4192956
[pid=10916] ppid=10914 vsize=915464 CPUtime=12.62
/proc/10916/stat : 10916 (java) R 10914 10916 10391 0 -1 0 8563 0 1 0 1256 6 0 0 25 0 8 0 155535328 937435136 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073625098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10916/statm: 228866 8298 2533 14 0 215336 0
[pid=10916/tid=10918] ppid=10914 vsize=915464 CPUtime=0.02
/proc/10916/task/10918/stat : 10918 (java) S 10914 10916 10391 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155535332 937435136 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10919] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10919/stat : 10919 (java) S 10914 10916 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155535332 937435136 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10920] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10920/stat : 10920 (java) S 10914 10916 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155535332 937435136 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10921] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10921/stat : 10921 (java) S 10914 10916 10391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155535336 937435136 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10922] ppid=10914 vsize=915464 CPUtime=0.21
/proc/10916/task/10922/stat : 10922 (java) S 10914 10916 10391 0 -1 64 381 0 0 0 21 0 0 0 15 0 8 0 155535336 937435136 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10923] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10923/stat : 10923 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155535336 937435136 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10924] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10924/stat : 10924 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155535336 937435136 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.6051 s]
/proc/loadavg: 1.93 1.97 1.91 3/100 10924
/proc/meminfo: memFree=955208/2055920 swapFree=4191880/4192956
[pid=10916] ppid=10914 vsize=915464 CPUtime=25.34
/proc/10916/stat : 10916 (java) R 10914 10916 10391 0 -1 0 8568 0 1 0 2528 6 0 0 25 0 8 0 155535328 937435136 8303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10916/statm: 228866 8303 2533 14 0 215336 0
[pid=10916/tid=10918] ppid=10914 vsize=915464 CPUtime=0.02
/proc/10916/task/10918/stat : 10918 (java) S 10914 10916 10391 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155535332 937435136 8303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10919] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10919/stat : 10919 (java) S 10914 10916 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155535332 937435136 8303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10920] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10920/stat : 10920 (java) S 10914 10916 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155535332 937435136 8303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10921] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10921/stat : 10921 (java) S 10914 10916 10391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155535336 937435136 8303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10922] ppid=10914 vsize=915464 CPUtime=0.21
/proc/10916/task/10922/stat : 10922 (java) S 10914 10916 10391 0 -1 64 381 0 0 0 21 0 0 0 16 0 8 0 155535336 937435136 8303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10923] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10923/stat : 10923 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155535336 937435136 8303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10924] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10924/stat : 10924 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155535336 937435136 8303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915464
[startup+51.2116 s]
/proc/loadavg: 2.02 1.98 1.92 3/100 10924
/proc/meminfo: memFree=910600/2055920 swapFree=4191880/4192956
[pid=10916] ppid=10914 vsize=915464 CPUtime=50.7
/proc/10916/stat : 10916 (java) R 10914 10916 10391 0 -1 0 8575 0 1 0 5064 6 0 0 25 0 8 0 155535328 937435136 8310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10916/statm: 228866 8310 2533 14 0 215336 0
[pid=10916/tid=10918] ppid=10914 vsize=915464 CPUtime=0.02
/proc/10916/task/10918/stat : 10918 (java) S 10914 10916 10391 0 -1 64 148 0 0 0 2 0 0 0 16 0 8 0 155535332 937435136 8310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10919] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10919/stat : 10919 (java) S 10914 10916 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155535332 937435136 8310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10920] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10920/stat : 10920 (java) S 10914 10916 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155535332 937435136 8310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10921] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10921/stat : 10921 (java) S 10914 10916 10391 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155535336 937435136 8310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10922] ppid=10914 vsize=915464 CPUtime=0.22
/proc/10916/task/10922/stat : 10922 (java) S 10914 10916 10391 0 -1 64 382 0 0 0 22 0 0 0 16 0 8 0 155535336 937435136 8310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10923] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10923/stat : 10923 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155535336 937435136 8310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10916/tid=10924] ppid=10914 vsize=915464 CPUtime=0
/proc/10916/task/10924/stat : 10924 (java) S 10914 10916 10391 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155535336 937435136 8310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 84.3502
CPU time (s): 83.5003
CPU user time (s): 83.4213
CPU system time (s): 0.078987
CPU usage (%): 98.9924
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.4213
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8670
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= 2882
involuntary context switches= 7085
runsolver used 0.107983 s user time and 0.281957 s system time
The end
Begin job on node4 on Sat Jan 6 08:16:38 UTC 2007
IDJOB= 199361
IDBENCH= 3611
FILE ID= node4/199361-1168071398
PBS_JOBID= 3475715
Free space on /tmp= 66306 MiB
BENCH NAME= HOME/pub/bench/CPAI06/allIntervalSeries/series-16.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199361-1168071398/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-199361-1168071398 -o ROOT/results/node4/solver-199361-1168071398 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199361-1168071398/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7447b147e8de23753df044c6f29ad235
RANDOM SEED= 524901209
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1001632 kB
Buffers: 73524 kB
Cached: 638100 kB
SwapCached: 268 kB
Active: 609868 kB
Inactive: 348412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1001632 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1792 kB
Writeback: 0 kB
Mapped: 274972 kB
Slab: 80344 kB
Committed_AS: 4506296 kB
PageTables: 2828 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= 66306 MiB
End job on node4 on Sat Jan 6 08:18:02 UTC 2007