0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/207829-1168183451/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.44 => wckTime=0.115 cpuTime=0.1 mem=7M931
0.44
0.44 relations being loaded...
0.49
0.49 constraints being loaded...
0.68 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.68 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.68 nbSharedBinaryRepresentations=25493 maxDegree=25 maxArity=3
0.68 => wckTime=0.355 cpuTime=0.27 mem=17M138
0.73
0.73 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.583 cpuTime=0.42 mem=19M679
1.62
1.62 preprocessing
1.62 nbConstraintChecks=1197939 nbValidityChecks=1237196 nbPropagations=7520 nbRevisions=16669
1.62 nbUselessRevisions=6715 nbSingletonTests=174 nbEffectiveSingletonTests=13 nbESACBranches=16
1.62 nbRemovedValues=26396 detectedInconsistency=no
1.62 => wckTime=0.709 cpuTime=0.66 mem=19M679
1.73
1.73 search
1.73 run=0 nbConstraintChecks=138244 nbValidityChecks=147981 nbPropagations=10175 nbRevisions=22661
1.73 nbUselessRevisions=9398 nbAssignments=40 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=65
1.73 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.819 cpuTime=0.75 mem=19M679
2.27
2.27 search
2.27 run=1 nbConstraintChecks=1083949 nbValidityChecks=1357918 nbPropagations=35288 nbRevisions=72890
2.27 nbUselessRevisions=29867 nbAssignments=229 nbFailedAssignments=45 nbBacktracks=25 nbVisitedNodes=148
2.27 nbRestartNogoods=14 mapSize=18 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=1.364 cpuTime=1.29 mem=19M679
2.58
2.58 search
2.58 run=2 nbConstraintChecks=1662044 nbValidityChecks=1995693 nbPropagations=67479 nbRevisions=137855
2.58 nbUselessRevisions=56737 nbAssignments=333 nbFailedAssignments=70 nbBacktracks=48 nbVisitedNodes=234
2.58 nbRestartNogoods=24 mapSize=34 nbInferences=0 nbTooLargeKeys=0
2.58 => wckTime=1.671 cpuTime=1.6 mem=19M679
2.71
2.71 search
2.71 run=3 nbConstraintChecks=1878585 nbValidityChecks=2219088 nbPropagations=104441 nbRevisions=215120
2.71 nbUselessRevisions=89928 nbAssignments=404 nbFailedAssignments=99 nbBacktracks=81 nbVisitedNodes=350
2.71 nbRestartNogoods=26 mapSize=56 nbInferences=0 nbTooLargeKeys=0
2.71 => wckTime=1.801 cpuTime=1.72 mem=20M654
3.01
3.02 search
3.02 run=4 nbConstraintChecks=2418076 nbValidityChecks=2782456 nbPropagations=150972 nbRevisions=316395
3.02 nbUselessRevisions=135216 nbAssignments=553 nbFailedAssignments=159 nbBacktracks=132 nbVisitedNodes=554
3.02 nbRestartNogoods=32 mapSize=94 nbInferences=0 nbTooLargeKeys=0
3.02 => wckTime=2.104 cpuTime=2.03 mem=20M654
3.32
3.33 search
3.33 run=5 nbConstraintChecks=2948336 nbValidityChecks=3374511 nbPropagations=207161 nbRevisions=441058
3.33 nbUselessRevisions=192045 nbAssignments=722 nbFailedAssignments=215 nbBacktracks=207 nbVisitedNodes=782
3.33 nbRestartNogoods=41 mapSize=144 nbInferences=0 nbTooLargeKeys=0
3.33 => wckTime=2.416 cpuTime=2.33 mem=20M654
3.89
3.89 search
3.89 run=6 nbConstraintChecks=3933782 nbValidityChecks=4462026 nbPropagations=281636 nbRevisions=608917
3.89 nbUselessRevisions=269745 nbAssignments=991 nbFailedAssignments=302 nbBacktracks=322 nbVisitedNodes=1139
3.89 nbRestartNogoods=51 mapSize=211 nbInferences=0 nbTooLargeKeys=0
3.89 => wckTime=2.983 cpuTime=2.89 mem=21M629
4.46
4.46 search
4.46 run=7 nbConstraintChecks=4909632 nbValidityChecks=5481475 nbPropagations=376645 nbRevisions=829910
4.46 nbUselessRevisions=375380 nbAssignments=1318 nbFailedAssignments=408 nbBacktracks=492 nbVisitedNodes=1597
4.46 nbRestartNogoods=63 mapSize=303 nbInferences=0 nbTooLargeKeys=0
4.46 => wckTime=3.554 cpuTime=3.46 mem=21M629
5.03
5.03 search
5.03 run=8 nbConstraintChecks=5773606 nbValidityChecks=6411029 nbPropagations=494414 nbRevisions=1109437
5.03 nbUselessRevisions=511268 nbAssignments=1745 nbFailedAssignments=531 nbBacktracks=748 nbVisitedNodes=2213
5.03 nbRestartNogoods=76 mapSize=433 nbInferences=0 nbTooLargeKeys=0
5.03 => wckTime=4.121 cpuTime=4.01 mem=22M604
6.37
6.37 search
6.37 run=9 nbConstraintChecks=8097356 nbValidityChecks=8803673 nbPropagations=665974 nbRevisions=1521956
6.37 nbUselessRevisions=714949 nbAssignments=2584 nbFailedAssignments=856 nbBacktracks=1136 nbVisitedNodes=3462
6.37 nbRestartNogoods=93 mapSize=667 nbInferences=0 nbTooLargeKeys=0
6.37 => wckTime=5.457 cpuTime=5.33 mem=24M555
7.55
7.55 search
7.55 run=10 nbConstraintChecks=9910916 nbValidityChecks=10772443 nbPropagations=896429 nbRevisions=2089608
7.55 nbUselessRevisions=1000899 nbAssignments=3541 nbFailedAssignments=1162 nbBacktracks=1714 nbVisitedNodes=4929
7.55 nbRestartNogoods=102 mapSize=999 nbInferences=0 nbTooLargeKeys=0
7.55 => wckTime=6.641 cpuTime=6.49 mem=26M505
7.67
7.67 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=26M505)
9.10
9.10 search
9.10 run=11 nbConstraintChecks=12461945 nbValidityChecks=13539446 nbPropagations=1222091 nbRevisions=2901732
9.10 nbUselessRevisions=1412473 nbAssignments=4990 nbFailedAssignments=1725 nbBacktracks=2580 nbVisitedNodes=7376
9.10 nbRestartNogoods=110
9.10 => wckTime=8.188 cpuTime=8.03 mem=26M505
11.07
11.07 search
11.07 run=12 nbConstraintChecks=15826797 nbValidityChecks=17304945 nbPropagations=1669424 nbRevisions=4019688
11.07 nbUselessRevisions=1978776 nbAssignments=7091 nbFailedAssignments=2450 nbBacktracks=3878 nbVisitedNodes=10782
11.07 nbRestartNogoods=121
11.07 => wckTime=10.157 cpuTime=9.99 mem=26M505
15.63
15.63 search
15.63 run=13 nbConstraintChecks=24341235 nbValidityChecks=26319779 nbPropagations=2355314 nbRevisions=5722598
15.63 nbUselessRevisions=2830309 nbAssignments=10598 nbFailedAssignments=3939 nbBacktracks=5825 nbVisitedNodes=16746
15.63 nbRestartNogoods=134
15.63 => wckTime=14.719 cpuTime=14.52 mem=26M505
19.25
19.25 search
19.25 run=14 nbConstraintChecks=30338964 nbValidityChecks=32948169 nbPropagations=3266374 nbRevisions=7974441
19.25 nbUselessRevisions=3950884 nbAssignments=15095 nbFailedAssignments=5494 nbBacktracks=8745 nbVisitedNodes=24055
19.25 nbRestartNogoods=135
19.25 => wckTime=18.343 cpuTime=18.12 mem=26M505
28.94
28.94 search
28.94 run=15 nbConstraintChecks=47048455 nbValidityChecks=50369245 nbPropagations=4696264 nbRevisions=11540218
28.94 nbUselessRevisions=5741342 nbAssignments=22741 nbFailedAssignments=8541 nbBacktracks=13132 nbVisitedNodes=36924
28.94 nbRestartNogoods=158
28.94 => wckTime=28.034 cpuTime=27.76 mem=26M505
36.75
36.75 search
36.75 run=16 nbConstraintChecks=59449983 nbValidityChecks=63946981 nbPropagations=6605641 nbRevisions=16326100
36.75 nbUselessRevisions=8157222 nbAssignments=32570 nbFailedAssignments=11718 nbBacktracks=19702
36.75 nbVisitedNodes=52680 nbRestartNogoods=168
36.75 => wckTime=35.836 cpuTime=35.52 mem=26M505
52.90
52.90 search
52.90 run=17 nbConstraintChecks=87135368 nbValidityChecks=92419647 nbPropagations=9447890 nbRevisions=23656134
52.90 nbUselessRevisions=11956033 nbAssignments=48135 nbFailedAssignments=17289 nbBacktracks=29557
52.90 nbVisitedNodes=78631 nbRestartNogoods=183
52.90 => wckTime=51.995 cpuTime=51.34 mem=26M505
77.44
77.44 search
77.44 run=18 nbConstraintChecks=131319627 nbValidityChecks=138196409 nbPropagations=13771500 nbRevisions=34882704
77.44 nbUselessRevisions=17825569 nbAssignments=72406 nbFailedAssignments=26522 nbBacktracks=44336
77.44 nbVisitedNodes=119567 nbRestartNogoods=210
77.44 => wckTime=76.533 cpuTime=75.57 mem=26M505
114.42
114.42 search
114.42 run=19 nbConstraintChecks=195979177 nbValidityChecks=203964768 nbPropagations=20313097 nbRevisions=52230067
114.42 nbUselessRevisions=27023463 nbAssignments=107644 nbFailedAssignments=39558 nbBacktracks=66504
114.42 nbVisitedNodes=179873 nbRestartNogoods=228
114.42 => wckTime=113.512 cpuTime=112.05 mem=27M480
157.30
157.30 search
157.30 run=20 nbConstraintChecks=268101421 nbValidityChecks=283693505 nbPropagations=29679435 nbRevisions=76594986
157.30 nbUselessRevisions=39748233 nbAssignments=157418 nbFailedAssignments=56060 nbBacktracks=99757
157.30 nbVisitedNodes=263320 nbRestartNogoods=250
157.30 => wckTime=156.39 cpuTime=154.62 mem=27M480
224.75
224.75 search
224.75 run=21 nbConstraintChecks=386210931 nbValidityChecks=408578215 nbPropagations=43440493 nbRevisions=112630517
224.75 nbUselessRevisions=58737360 nbAssignments=234485 nbFailedAssignments=83107 nbBacktracks=149640
224.75 nbVisitedNodes=392047 nbRestartNogoods=277
224.75 => wckTime=223.838 cpuTime=222.0 mem=27M480
236.26
236.26 search
236.26 run=22 nbConstraintChecks=406770482 nbValidityChecks=429835978 nbPropagations=57886995 nbRevisions=150507889
236.26 nbUselessRevisions=78702591 nbAssignments=247452 nbFailedAssignments=87682 nbBacktracks=157853
236.26 nbVisitedNodes=412898 nbRestartNogoods=313
236.26 => wckTime=235.354 cpuTime=233.49 mem=27M480
236.26
236.26 global
236.26 nbConstraintChecks=407968421 nbValidityChecks=431073174 nbPropagations=57894515 nbRevisions=150524558
236.26 nbUselessRevisions=78709306 nbRestartNogoods=313 solvingWckTime=235.356 solvingCpuTime=233.49 expiredTime=no
236.27 totalExploration=no nbFoundSolutions=1 globalCpuTime=233.96
236.27 => wckTime=235.944 cpuTime=233.91 mem=27M480
236.27
236.27 s SATISFIABLE
236.27 v 22 3 24 0 17 1 23 1 1 15 16 2 2 14 9 0 13 14 4 7 15 7 25 4 5 10 6 4 8 1 11 10 10 11 12 3 21 26 19 22 18 9 3 6 20 2 7 12 14 1 3 4 5 20 22 36 36 50 57 64 68 78 82 83 93 104 107 133 155 164 170 172 184 185 185 0
236.27 d NODES 247452
236.27 d CHECKS 407968421
236.27
236.27 totalWckTime=236.027 totalCpuTime=233.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-207829-1168183451 -o ROOT/results/node22/solver-207829-1168183451 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207829-1168183451/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: 2.16 2.08 1.92 4/97 7879
/proc/meminfo: memFree=966728/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=18540 CPUtime=0
/proc/7878/stat : 7878 (runsolver) R 7876 7878 6937 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 166739666 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 272467815719 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7878/statm: 4635 279 244 17 0 2626 0
[startup+0.103031 s]
/proc/loadavg: 2.16 2.08 1.92 4/97 7879
/proc/meminfo: memFree=966728/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=914988 CPUtime=0.09
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 2958 0 1 0 7 2 0 0 19 0 8 0 166739666 936947712 2704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155184969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7878/statm: 228747 2704 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511091 s]
/proc/loadavg: 2.16 2.08 1.92 4/97 7879
/proc/meminfo: memFree=966728/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915328 CPUtime=0.49
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 7197 0 1 0 44 5 0 0 18 0 8 0 166739666 937295872 6936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7878/statm: 228832 6936 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33422 s]
/proc/loadavg: 2.16 2.08 1.92 3/104 7886
/proc/meminfo: memFree=937104/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915460 CPUtime=1.31
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 10134 0 1 0 124 7 0 0 24 0 8 0 166739666 937431040 9872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7878/statm: 228865 9872 2527 14 0 215335 0
[pid=7878/tid=7880] ppid=7876 vsize=915460 CPUtime=0.03
/proc/7878/task/7880/stat : 7880 (java) S 7876 7878 6937 0 -1 64 925 0 0 0 3 0 0 0 16 0 8 0 166739670 937431040 9872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7881] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7881/stat : 7881 (java) S 7876 7878 6937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166739671 937431040 9872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7882] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7882/stat : 7882 (java) S 7876 7878 6937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166739671 937431040 9872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7883] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7883/stat : 7883 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166739674 937431040 9872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7884] ppid=7876 vsize=915460 CPUtime=0.22
/proc/7878/task/7884/stat : 7884 (java) S 7876 7878 6937 0 -1 64 379 0 0 0 21 1 0 0 15 0 8 0 166739674 937431040 9872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7885] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7885/stat : 7885 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166739674 937431040 9872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7886] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7886/stat : 7886 (java) S 7876 7878 6937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166739674 937431040 9872 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98747 s]
/proc/loadavg: 2.15 2.08 1.92 3/104 7886
/proc/meminfo: memFree=936912/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915460 CPUtime=2.95
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 10147 0 1 0 288 7 0 0 25 0 8 0 166739666 937431040 9883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7878/statm: 228865 9883 2527 14 0 215335 0
[pid=7878/tid=7880] ppid=7876 vsize=915460 CPUtime=0.03
/proc/7878/task/7880/stat : 7880 (java) S 7876 7878 6937 0 -1 64 925 0 0 0 3 0 0 0 17 0 8 0 166739670 937431040 9883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7881] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7881/stat : 7881 (java) S 7876 7878 6937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166739671 937431040 9883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7882] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7882/stat : 7882 (java) S 7876 7878 6937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166739671 937431040 9883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7883] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7883/stat : 7883 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166739674 937431040 9883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7884] ppid=7876 vsize=915460 CPUtime=0.24
/proc/7878/task/7884/stat : 7884 (java) S 7876 7878 6937 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 166739674 937431040 9883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7885] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7885/stat : 7885 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166739674 937431040 9883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7886] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7886/stat : 7886 (java) S 7876 7878 6937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166739674 937431040 9883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.26997 s]
/proc/loadavg: 2.15 2.08 1.92 3/104 7886
/proc/meminfo: memFree=934416/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915460 CPUtime=6.23
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 10957 0 1 0 615 8 0 0 25 0 8 0 166739666 937431040 10690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7878/statm: 228865 10690 2527 14 0 215335 0
[pid=7878/tid=7880] ppid=7876 vsize=915460 CPUtime=0.03
/proc/7878/task/7880/stat : 7880 (java) S 7876 7878 6937 0 -1 64 925 0 0 0 3 0 0 0 17 0 8 0 166739670 937431040 10690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7881] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7881/stat : 7881 (java) S 7876 7878 6937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166739671 937431040 10690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7882] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7882/stat : 7882 (java) S 7876 7878 6937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166739671 937431040 10690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7883] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7883/stat : 7883 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166739674 937431040 10690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7884] ppid=7876 vsize=915460 CPUtime=0.27
/proc/7878/task/7884/stat : 7884 (java) S 7876 7878 6937 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 166739674 937431040 10690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7885] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7885/stat : 7885 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166739674 937431040 10690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7886] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7886/stat : 7886 (java) S 7876 7878 6937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166739674 937431040 10690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.758 s]
/proc/loadavg: 2.12 2.08 1.92 5/104 7886
/proc/meminfo: memFree=931088/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915460 CPUtime=12.67
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 11605 0 1 0 1259 8 0 0 25 0 8 0 166739666 937431040 11336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7878/statm: 228865 11336 2527 14 0 215335 0
[pid=7878/tid=7880] ppid=7876 vsize=915460 CPUtime=0.03
/proc/7878/task/7880/stat : 7880 (java) S 7876 7878 6937 0 -1 64 925 0 0 0 3 0 0 0 16 0 8 0 166739670 937431040 11336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7881/stat : 7881 (java) S 7876 7878 6937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166739671 937431040 11336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7882] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7882/stat : 7882 (java) S 7876 7878 6937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166739671 937431040 11336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7883] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7883/stat : 7883 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166739674 937431040 11336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7884] ppid=7876 vsize=915460 CPUtime=0.29
/proc/7878/task/7884/stat : 7884 (java) S 7876 7878 6937 0 -1 64 412 0 0 0 28 1 0 0 16 0 8 0 166739674 937431040 11336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7885] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7885/stat : 7885 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166739674 937431040 11336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7886] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7886/stat : 7886 (java) S 7876 7878 6937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166739674 937431040 11336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915460
[startup+25.6079 s]
/proc/loadavg: 2.10 2.07 1.92 3/104 7886
/proc/meminfo: memFree=934672/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915460 CPUtime=25.45
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 11610 0 1 0 2537 8 0 0 25 0 8 0 166739666 937431040 11341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7878/statm: 228865 11341 2527 14 0 215335 0
[pid=7878/tid=7880] ppid=7876 vsize=915460 CPUtime=0.03
/proc/7878/task/7880/stat : 7880 (java) S 7876 7878 6937 0 -1 64 925 0 0 0 3 0 0 0 16 0 8 0 166739670 937431040 11341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7881/stat : 7881 (java) S 7876 7878 6937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166739671 937431040 11341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7882] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7882/stat : 7882 (java) S 7876 7878 6937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166739671 937431040 11341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7883] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7883/stat : 7883 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166739674 937431040 11341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7884] ppid=7876 vsize=915460 CPUtime=0.29
/proc/7878/task/7884/stat : 7884 (java) S 7876 7878 6937 0 -1 64 412 0 0 0 28 1 0 0 16 0 8 0 166739674 937431040 11341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7885] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7885/stat : 7885 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166739674 937431040 11341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7886] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7886/stat : 7886 (java) S 7876 7878 6937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166739674 937431040 11341 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915460
[startup+51.2219 s]
/proc/loadavg: 2.07 2.07 1.92 3/104 7886
/proc/meminfo: memFree=892624/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915460 CPUtime=50.71
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 11618 0 1 0 5063 8 0 0 25 0 8 0 166739666 937431040 11349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819851 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7878/statm: 228865 11349 2527 14 0 215335 0
[pid=7878/tid=7880] ppid=7876 vsize=915460 CPUtime=0.03
/proc/7878/task/7880/stat : 7880 (java) S 7876 7878 6937 0 -1 64 925 0 0 0 3 0 0 0 16 0 8 0 166739670 937431040 11349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7881/stat : 7881 (java) S 7876 7878 6937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166739671 937431040 11349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7882] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7882/stat : 7882 (java) S 7876 7878 6937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166739671 937431040 11349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7883] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7883/stat : 7883 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166739674 937431040 11349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7884] ppid=7876 vsize=915460 CPUtime=0.29
/proc/7878/task/7884/stat : 7884 (java) S 7876 7878 6937 0 -1 64 414 0 0 0 28 1 0 0 16 0 8 0 166739674 937431040 11349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7885] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7885/stat : 7885 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166739674 937431040 11349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7886] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7886/stat : 7886 (java) S 7876 7878 6937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166739674 937431040 11349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915460
[startup+102.434 s]
/proc/loadavg: 2.20 2.10 1.94 3/104 7886
/proc/meminfo: memFree=682576/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915460 CPUtime=101.17
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 11627 0 1 0 10108 9 0 0 25 0 8 0 166739666 937431040 11356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073872079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7878/statm: 228865 11356 2527 14 0 215335 0
[pid=7878/tid=7880] ppid=7876 vsize=915460 CPUtime=0.03
/proc/7878/task/7880/stat : 7880 (java) S 7876 7878 6937 0 -1 64 925 0 0 0 3 0 0 0 16 0 8 0 166739670 937431040 11356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7881/stat : 7881 (java) S 7876 7878 6937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166739671 937431040 11356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7882] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7882/stat : 7882 (java) S 7876 7878 6937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166739671 937431040 11356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7883] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7883/stat : 7883 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166739674 937431040 11356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7884] ppid=7876 vsize=915460 CPUtime=0.3
/proc/7878/task/7884/stat : 7884 (java) S 7876 7878 6937 0 -1 64 415 0 0 0 29 1 0 0 16 0 8 0 166739674 937431040 11356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7885] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7885/stat : 7885 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166739674 937431040 11356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7886] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7886/stat : 7886 (java) S 7876 7878 6937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166739674 937431040 11356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 915460
[startup+162.438 s]
/proc/loadavg: 2.37 2.16 1.96 3/101 7960
/proc/meminfo: memFree=633960/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915460 CPUtime=160.78
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 11636 0 1 0 16068 10 0 0 25 0 8 0 166739666 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870006 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7878/statm: 228865 11363 2527 14 0 215335 0
[pid=7878/tid=7880] ppid=7876 vsize=915460 CPUtime=0.03
/proc/7878/task/7880/stat : 7880 (java) S 7876 7878 6937 0 -1 64 925 0 0 0 3 0 0 0 16 0 8 0 166739670 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7881/stat : 7881 (java) S 7876 7878 6937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166739671 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7882] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7882/stat : 7882 (java) S 7876 7878 6937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166739671 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7883] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7883/stat : 7883 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166739674 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7884] ppid=7876 vsize=915460 CPUtime=0.3
/proc/7878/task/7884/stat : 7884 (java) S 7876 7878 6937 0 -1 64 416 0 0 0 29 1 0 0 16 0 8 0 166739674 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7885] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7885/stat : 7885 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166739674 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7886] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7886/stat : 7886 (java) S 7876 7878 6937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166739674 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 915460
[startup+222.466 s]
/proc/loadavg: 2.13 2.12 1.96 3/101 7960
/proc/meminfo: memFree=634088/2055920 swapFree=4157532/4192956
[pid=7878] ppid=7876 vsize=915460 CPUtime=220.74
/proc/7878/stat : 7878 (java) R 7876 7878 6937 0 -1 0 11636 0 1 0 22064 10 0 0 25 0 8 0 166739666 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7878/statm: 228865 11363 2527 14 0 215335 0
[pid=7878/tid=7880] ppid=7876 vsize=915460 CPUtime=0.03
/proc/7878/task/7880/stat : 7880 (java) S 7876 7878 6937 0 -1 64 925 0 0 0 3 0 0 0 16 0 8 0 166739670 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7881/stat : 7881 (java) S 7876 7878 6937 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166739671 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7882] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7882/stat : 7882 (java) S 7876 7878 6937 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166739671 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7883] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7883/stat : 7883 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166739674 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7884] ppid=7876 vsize=915460 CPUtime=0.3
/proc/7878/task/7884/stat : 7884 (java) S 7876 7878 6937 0 -1 64 416 0 0 0 29 1 0 0 16 0 8 0 166739674 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7878/tid=7885] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7885/stat : 7885 (java) S 7876 7878 6937 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166739674 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7878/tid=7886] ppid=7876 vsize=915460 CPUtime=0
/proc/7878/task/7886/stat : 7886 (java) S 7876 7878 6937 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166739674 937431040 11363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.74
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 236.311
CPU time (s): 234.533
CPU user time (s): 234.414
CPU system time (s): 0.118981
CPU usage (%): 99.2479
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 234.414
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11730
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= 6123
involuntary context switches= 6470
runsolver used 0.26096 s user time and 0.812876 s system time
The end
Begin job on node22 on Sun Jan 7 15:24:12 UTC 2007
IDJOB= 207829
IDBENCH= 4337
FILE ID= node22/207829-1168183451
PBS_JOBID= 3479159
Free space on /tmp= 66551 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-48_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207829-1168183451/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-207829-1168183451 -o ROOT/results/node22/solver-207829-1168183451 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207829-1168183451/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 52e15dbdfc86e7400506f523ef70995d
RANDOM SEED= 212246367
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.279
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.279
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: 967144 kB
Buffers: 45924 kB
Cached: 491272 kB
SwapCached: 11496 kB
Active: 564860 kB
Inactive: 448644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 967144 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 503640 kB
Slab: 59100 kB
Committed_AS: 3772140 kB
PageTables: 3172 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= 66553 MiB
End job on node22 on Sun Jan 7 15:28:09 UTC 2007