0.36
0.36 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/208731-1168074814/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.47 => wckTime=0.103 cpuTime=0.1 mem=6M951
0.47
0.47 relations being loaded...
0.75
0.75 constraints being loaded...
0.92 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.92 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.92 => wckTime=0.549 cpuTime=0.5 mem=43M486
1.00
1.00 solver IterativeSystematicSolver being built...
1.17 => wckTime=0.801 cpuTime=0.63 mem=21M492
1.17
1.17 preprocessing
1.17 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.17 detectedInconsistency=no
1.17 => wckTime=0.0020 cpuTime=0.0 mem=21M492
1.29
1.29 search
1.29 run=0 nbConstraintChecks=30682 nbValidityChecks=58287 nbPropagations=430 nbRevisions=4539
1.29 nbUselessRevisions=3526 nbAssignments=34 nbFailedAssignments=19 nbBacktracks=11 nbVisitedNodes=63
1.29 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.112 cpuTime=0.08 mem=21M492
1.37
1.37 search
1.37 run=1 nbConstraintChecks=80255 nbValidityChecks=161276 nbPropagations=1651 nbRevisions=17310
1.37 nbUselessRevisions=13252 nbAssignments=94 nbFailedAssignments=58 nbBacktracks=26 nbVisitedNodes=175
1.37 nbRestartNogoods=8 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.196 cpuTime=0.16 mem=21M492
1.43
1.43 search
1.43 run=2 nbConstraintChecks=115073 nbValidityChecks=239003 nbPropagations=3549 nbRevisions=36973
1.43 nbUselessRevisions=28244 nbAssignments=159 nbFailedAssignments=95 nbBacktracks=48 nbVisitedNodes=291
1.43 nbRestartNogoods=15 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.26 cpuTime=0.22 mem=21M492
1.51
1.51 search
1.51 run=3 nbConstraintChecks=164843 nbValidityChecks=341549 nbPropagations=6273 nbRevisions=65973
1.51 nbUselessRevisions=50644 nbAssignments=232 nbFailedAssignments=131 nbBacktracks=81 nbVisitedNodes=420
1.51 nbRestartNogoods=20 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.338 cpuTime=0.29 mem=21M492
1.63
1.63 search
1.63 run=4 nbConstraintChecks=248332 nbValidityChecks=525650 nbPropagations=10507 nbRevisions=110025
1.63 nbUselessRevisions=84415 nbAssignments=350 nbFailedAssignments=194 nbBacktracks=132 nbVisitedNodes=637
1.63 nbRestartNogoods=22 mapSize=121 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.46 cpuTime=0.4 mem=21M492
1.86
1.87 search
1.87 run=5 nbConstraintChecks=417648 nbValidityChecks=892341 nbPropagations=17572 nbRevisions=185816
1.87 nbUselessRevisions=143027 nbAssignments=582 nbFailedAssignments=347 nbBacktracks=207 nbVisitedNodes=1081
1.87 nbRestartNogoods=27 mapSize=196 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.693 cpuTime=0.63 mem=21M492
2.39
2.39 search
2.39 run=6 nbConstraintChecks=825114 nbValidityChecks=1694770 nbPropagations=29462 nbRevisions=321186
2.39 nbUselessRevisions=247351 nbAssignments=1056 nbFailedAssignments=703 nbBacktracks=320 nbVisitedNodes=2007
2.39 nbRestartNogoods=34 mapSize=309 nbInferences=0 nbTooLargeKeys=0
2.39 => wckTime=1.223 cpuTime=1.15 mem=21M492
2.81
2.81 search
2.82 run=7 nbConstraintChecks=1137431 nbValidityChecks=2327869 nbPropagations=46782 nbRevisions=512373
2.82 nbUselessRevisions=394942 nbAssignments=1464 nbFailedAssignments=936 nbBacktracks=491 nbVisitedNodes=2772
2.82 nbRestartNogoods=42 mapSize=470 nbInferences=0 nbTooLargeKeys=0
2.82 => wckTime=1.644 cpuTime=1.56 mem=21M492
3.45
3.45 search
3.45 run=8 nbConstraintChecks=1601615 nbValidityChecks=3311187 nbPropagations=72482 nbRevisions=792321
3.45 nbUselessRevisions=611233 nbAssignments=2144 nbFailedAssignments=1354 nbBacktracks=747 nbVisitedNodes=4054
3.45 nbRestartNogoods=46 mapSize=713 nbInferences=0 nbTooLargeKeys=0
3.45 => wckTime=2.278 cpuTime=2.17 mem=21M492
4.28
4.28 INFO : Stopping hyperNogood (mapSize=1044, nbTooLargekeys=0, mem=21M492)
4.36
4.36 search
4.36 run=9 nbConstraintChecks=2293859 nbValidityChecks=4780098 nbPropagations=109711 nbRevisions=1188275
4.36 nbUselessRevisions=914122 nbAssignments=3038 nbFailedAssignments=1859 nbBacktracks=1132 nbVisitedNodes=5718
4.36 nbRestartNogoods=63
4.36 => wckTime=3.187 cpuTime=3.07 mem=21M492
5.78
5.78 search
5.78 run=10 nbConstraintChecks=3395138 nbValidityChecks=7126863 nbPropagations=165415 nbRevisions=1776353
5.78 nbUselessRevisions=1362761 nbAssignments=4465 nbFailedAssignments=2705 nbBacktracks=1708 nbVisitedNodes=8400
5.78 nbRestartNogoods=74
5.78 => wckTime=4.606 cpuTime=4.46 mem=21M492
7.90
7.90 search
7.90 run=11 nbConstraintChecks=5048415 nbValidityChecks=10617476 nbPropagations=247776 nbRevisions=2640769
7.90 nbUselessRevisions=2020302 nbAssignments=6516 nbFailedAssignments=3887 nbBacktracks=2572 nbVisitedNodes=12233
7.90 nbRestartNogoods=89
7.90 => wckTime=6.726 cpuTime=6.57 mem=22M461
10.94
10.94 search
10.94 run=12 nbConstraintChecks=7484295 nbValidityChecks=15755167 nbPropagations=369993 nbRevisions=3951804
10.94 nbUselessRevisions=3025671 nbAssignments=10014 nbFailedAssignments=6084 nbBacktracks=3870 nbVisitedNodes=18833
10.94 nbRestartNogoods=97
10.94 => wckTime=9.769 cpuTime=9.58 mem=22M461
15.80
15.80 search
15.80 run=13 nbConstraintChecks=11349169 nbValidityChecks=23890046 nbPropagations=555366 nbRevisions=5907067
15.80 nbUselessRevisions=4513924 nbAssignments=14826 nbFailedAssignments=8946 nbBacktracks=5816 nbVisitedNodes=27893
15.80 nbRestartNogoods=105
15.80 => wckTime=14.629 cpuTime=14.39 mem=22M461
22.48
22.48 search
22.48 run=14 nbConstraintChecks=16665663 nbValidityChecks=35171385 nbPropagations=827999 nbRevisions=8783417
22.48 nbUselessRevisions=6703932 nbAssignments=21808 nbFailedAssignments=13004 nbBacktracks=8738 nbVisitedNodes=40963
22.48 nbRestartNogoods=121
22.48 => wckTime=21.307 cpuTime=21.01 mem=22M461
33.19
33.19 search
33.19 run=15 nbConstraintChecks=25072924 nbValidityChecks=53018007 nbPropagations=1237270 nbRevisions=13082103
33.19 nbUselessRevisions=9969090 nbAssignments=32308 nbFailedAssignments=19122 nbBacktracks=13116
33.19 nbVisitedNodes=60629 nbRestartNogoods=127
33.19 => wckTime=32.021 cpuTime=31.62 mem=22M461
48.86
48.86 search
48.86 run=16 nbConstraintChecks=37469775 nbValidityChecks=79483698 nbPropagations=1855263 nbRevisions=19536253
48.86 nbUselessRevisions=14867592 nbAssignments=49066 nbFailedAssignments=29306 nbBacktracks=19685
48.86 nbVisitedNodes=92107 nbRestartNogoods=149
48.86 => wckTime=47.689 cpuTime=47.14 mem=22M461
69.95
69.95 search
69.95 run=17 nbConstraintChecks=55434200 nbValidityChecks=117854690 nbPropagations=2792667 nbRevisions=29379488
69.95 nbUselessRevisions=22384353 nbAssignments=76059 nbFailedAssignments=46441 nbBacktracks=29537
69.95 nbVisitedNodes=143175 nbRestartNogoods=168
69.95 => wckTime=68.774 cpuTime=68.16 mem=22M461
100.74
100.74 search
100.74 run=18 nbConstraintChecks=82416224 nbValidityChecks=175366132 nbPropagations=4177210 nbRevisions=44116630
100.74 nbUselessRevisions=33689091 nbAssignments=113153 nbFailedAssignments=68752 nbBacktracks=44317
100.74 nbVisitedNodes=213043 nbRestartNogoods=190
100.74 => wckTime=99.567 cpuTime=98.94 mem=22M461
145.92
145.92 search
145.92 run=19 nbConstraintChecks=121489789 nbValidityChecks=258774735 nbPropagations=6222866 nbRevisions=65976311
145.92 nbUselessRevisions=50467700 nbAssignments=167619 nbFailedAssignments=101046 nbBacktracks=66486
145.92 nbVisitedNodes=314980 nbRestartNogoods=219
145.92 => wckTime=144.748 cpuTime=144.07 mem=22M461
218.98
218.98 search
218.98 run=20 nbConstraintChecks=184370738 nbValidityChecks=392144763 nbPropagations=9291678 nbRevisions=98465080
218.98 nbUselessRevisions=75277302 nbAssignments=245550 nbFailedAssignments=145720 nbBacktracks=99738
218.98 nbVisitedNodes=460731 nbRestartNogoods=227
218.98 => wckTime=217.804 cpuTime=217.03 mem=22M461
227.64
227.64 search
227.64 run=21 nbConstraintChecks=191926709 nbValidityChecks=408060679 nbPropagations=12483331 nbRevisions=132242162
227.64 nbUselessRevisions=101067391 nbAssignments=255200 nbFailedAssignments=151329 nbBacktracks=103759
227.64 nbVisitedNodes=478787 nbRestartNogoods=243
227.64 => wckTime=226.466 cpuTime=225.69 mem=22M461
227.64
227.64 global
227.64 nbConstraintChecks=191926709 nbValidityChecks=408060679 nbPropagations=12483351 nbRevisions=132242162
227.64 nbUselessRevisions=101067391 nbRestartNogoods=243 solvingWckTime=226.467 solvingCpuTime=225.7 expiredTime=no
227.64 totalExploration=no nbFoundSolutions=1 globalCpuTime=226.37
227.64 => wckTime=227.271 cpuTime=226.33 mem=22M461
227.64
227.64 s SATISFIABLE
227.64 v 17 5 4 2 5 11 19 10 13 1 15 5 0 7 8 1 14 18 18 10
227.64 d NODES 255200
227.64 d CHECKS 191926709
227.64
227.64 totalWckTime=227.352 totalCpuTime=226.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-208731-1168074814 -o ROOT/results/node19/solver-208731-1168074814 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208731-1168074814/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.92 1.96 1.97 4/93 22853
/proc/meminfo: memFree=1144920/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=18540 CPUtime=0
/proc/22852/stat : 22852 (runsolver) R 22850 22852 22561 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155876069 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22852/statm: 4635 279 244 17 0 2626 0
[startup+0.107938 s]
/proc/loadavg: 1.92 1.96 1.97 4/93 22853
/proc/meminfo: memFree=1144920/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=914988 CPUtime=0.08
/proc/22852/stat : 22852 (java) D 22850 22852 22561 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 155876069 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519015 s]
/proc/loadavg: 1.92 1.96 1.97 4/93 22853
/proc/meminfo: memFree=1144920/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915328 CPUtime=0.43
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 6548 0 1 0 40 3 0 0 18 0 8 0 155876069 937295872 6287 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 228832 6287 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.34017 s]
/proc/loadavg: 1.93 1.96 1.97 3/100 22860
/proc/meminfo: memFree=1086432/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915460 CPUtime=1.25
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 17373 0 1 0 116 9 0 0 24 0 8 0 155876069 937431040 17110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 228865 17110 2517 14 0 215335 0
[pid=22852/tid=22854] ppid=22850 vsize=915460 CPUtime=0.06
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 22561 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 155876073 937431040 17110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876077 937431040 17110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=915460 CPUtime=0.17
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 22561 0 -1 64 353 0 0 0 16 1 0 0 15 0 8 0 155876077 937431040 17110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155876077 937431040 17110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22860] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155876077 937431040 17110 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915460
[startup+2.97948 s]
/proc/loadavg: 1.93 1.96 1.97 3/100 22860
/proc/meminfo: memFree=1086176/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915460 CPUtime=2.88
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 17396 0 1 0 278 10 0 0 25 0 8 0 155876069 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736029 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 228865 17132 2517 14 0 215335 0
[pid=22852/tid=22854] ppid=22850 vsize=915460 CPUtime=0.06
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 22561 0 -1 64 1841 0 0 0 6 0 0 0 17 0 8 0 155876073 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876077 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=915460 CPUtime=0.22
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 22561 0 -1 64 375 0 0 0 21 1 0 0 16 0 8 0 155876077 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155876077 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22860] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155876077 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915460
[startup+6.18108 s]
/proc/loadavg: 1.93 1.96 1.97 3/100 22860
/proc/meminfo: memFree=1086112/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915460 CPUtime=6.05
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 17405 0 1 0 595 10 0 0 25 0 8 0 155876069 937431040 17139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073608973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 228865 17139 2517 14 0 215335 0
[pid=22852/tid=22854] ppid=22850 vsize=915460 CPUtime=0.06
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 22561 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 155876073 937431040 17139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876077 937431040 17139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=915460 CPUtime=0.24
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 22561 0 -1 64 382 0 0 0 23 1 0 0 16 0 8 0 155876077 937431040 17139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155876077 937431040 17139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22860] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155876077 937431040 17139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915460
[startup+12.6623 s]
/proc/loadavg: 1.94 1.96 1.97 3/100 22860
/proc/meminfo: memFree=1086240/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915460 CPUtime=12.47
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 17407 0 1 0 1237 10 0 0 25 0 8 0 155876069 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 228865 17140 2517 14 0 215335 0
[pid=22852/tid=22854] ppid=22850 vsize=915460 CPUtime=0.06
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 22561 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 155876073 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=915460 CPUtime=0.24
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 22561 0 -1 64 383 0 0 0 23 1 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22860] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915460
[startup+25.5387 s]
/proc/loadavg: 1.95 1.96 1.97 3/100 22860
/proc/meminfo: memFree=1086368/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915460 CPUtime=25.22
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 17407 0 1 0 2512 10 0 0 25 0 8 0 155876069 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758391 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 228865 17140 2517 14 0 215335 0
[pid=22852/tid=22854] ppid=22850 vsize=915460 CPUtime=0.06
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 22561 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 155876073 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=915460 CPUtime=0.24
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 22561 0 -1 64 383 0 0 0 23 1 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22860] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 915460
[startup+51.1756 s]
/proc/loadavg: 1.97 1.96 1.97 3/100 22860
/proc/meminfo: memFree=1086368/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915460 CPUtime=50.62
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 17407 0 1 0 5052 10 0 0 25 0 8 0 155876069 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 228865 17140 2517 14 0 215335 0
[pid=22852/tid=22854] ppid=22850 vsize=915460 CPUtime=0.06
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 22561 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 155876073 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=915460 CPUtime=0.24
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 22561 0 -1 64 383 0 0 0 23 1 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22860] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915460
[startup+102.386 s]
/proc/loadavg: 1.47 1.83 1.92 2/88 22932
/proc/meminfo: memFree=1212808/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915460 CPUtime=101.77
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 17407 0 1 0 10165 12 0 0 25 0 8 0 155876069 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22852/statm: 228865 17140 2517 14 0 215335 0
[pid=22852/tid=22854] ppid=22850 vsize=915460 CPUtime=0.06
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 22561 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 155876073 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=915460 CPUtime=0.24
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 22561 0 -1 64 383 0 0 0 23 1 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22860] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 915460
[startup+162.464 s]
/proc/loadavg: 1.64 1.80 1.91 3/100 23064
/proc/meminfo: memFree=822760/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915460 CPUtime=161.76
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 17407 0 1 0 16160 16 0 0 25 0 8 0 155876069 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22852/statm: 228865 17140 2517 14 0 215335 0
[pid=22852/tid=22854] ppid=22850 vsize=915460 CPUtime=0.06
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 22561 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 155876073 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=915460 CPUtime=0.24
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 22561 0 -1 64 383 0 0 0 23 1 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22860] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 915460
[startup+222.525 s]
/proc/loadavg: 1.71 1.80 1.90 2/88 23064
/proc/meminfo: memFree=1193672/2055920 swapFree=4171232/4192956
[pid=22852] ppid=22850 vsize=915460 CPUtime=221.77
/proc/22852/stat : 22852 (java) R 22850 22852 22561 0 -1 0 17407 0 1 0 22160 17 0 0 25 0 8 0 155876069 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22852/statm: 228865 17140 2517 14 0 215335 0
[pid=22852/tid=22854] ppid=22850 vsize=915460 CPUtime=0.06
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 22561 0 -1 64 1841 0 0 0 6 0 0 0 16 0 8 0 155876073 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22855] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 22561 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22856] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 22561 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876074 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22857] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 22561 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22858] ppid=22850 vsize=915460 CPUtime=0.24
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 22561 0 -1 64 383 0 0 0 23 1 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22859] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22852/tid=22860] ppid=22850 vsize=915460 CPUtime=0
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 22561 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155876077 937431040 17140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.77
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 227.678
CPU time (s): 226.907
CPU user time (s): 226.725
CPU system time (s): 0.182972
CPU usage (%): 99.6614
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 226.725
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17413
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= 5702
involuntary context switches= 9109
runsolver used 0.273958 s user time and 0.699893 s system time
The end
Begin job on node19 on Sat Jan 6 09:13:34 UTC 2007
IDJOB= 208731
IDBENCH= 4431
FILE ID= node19/208731-1168074814
PBS_JOBID= 3475785
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208731-1168074814/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-208731-1168074814 -o ROOT/results/node19/solver-208731-1168074814 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208731-1168074814/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 797058f4a10aa6568e5c0d6665fa4ebe
RANDOM SEED= 843823668
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.260
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.260
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: 1145400 kB
Buffers: 70156 kB
Cached: 584304 kB
SwapCached: 10036 kB
Active: 403160 kB
Inactive: 406100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1145400 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 2976 kB
Writeback: 0 kB
Mapped: 174120 kB
Slab: 85552 kB
Committed_AS: 4381332 kB
PageTables: 2652 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= 66301 MiB
End job on node19 on Sat Jan 6 09:17:26 UTC 2007