0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/247438-1168392513/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.43 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
4.19
4.19 INFO : Contraction of relations, mem = 103M178
6.69
6.69 constraints being loaded...
11.00 nbConstraints=18 nbRelationTypes=18 nbExtensionStructures=18 nbSharedExtensionStructures=0
11.00 nbConflictsStructures=18 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=8
11.00 => wckTime=10.669 cpuTime=8.44 mem=228M187
12.23
12.23 solver IterativeSystematicSolver being built...
12.42 => wckTime=12.086 cpuTime=8.6 mem=143M347
12.48
12.48 preprocessing
12.48 nbConstraintChecks=4476 nbValidityChecks=8322 nbPropagations=60 nbRevisions=1077 nbUselessRevisions=1035
12.48 nbSingletonTests=24 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
12.48 => wckTime=0.059 cpuTime=0.04 mem=143M347
12.54
12.54 search
12.54 run=0 nbConstraintChecks=10924 nbValidityChecks=18863 nbPropagations=232 nbRevisions=3686
12.54 nbUselessRevisions=3271 nbAssignments=33 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=55
12.54 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
12.54 => wckTime=0.121 cpuTime=0.09 mem=144M108
12.59
12.59 search
12.59 run=1 nbConstraintChecks=20626 nbValidityChecks=37239 nbPropagations=661 nbRevisions=10080
12.59 nbUselessRevisions=8861 nbAssignments=70 nbFailedAssignments=26 nbBacktracks=27 nbVisitedNodes=116
12.59 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
12.59 => wckTime=0.172 cpuTime=0.13 mem=144M108
12.67
12.67 search
12.67 run=2 nbConstraintChecks=39779 nbValidityChecks=70125 nbPropagations=1374 nbRevisions=20967
12.67 nbUselessRevisions=18250 nbAssignments=127 nbFailedAssignments=52 nbBacktracks=49 nbVisitedNodes=214
12.67 nbRestartNogoods=4 mapSize=43 nbInferences=0 nbTooLargeKeys=0
12.67 => wckTime=0.253 cpuTime=0.2 mem=144M108
12.78
12.78 search
12.78 run=3 nbConstraintChecks=68086 nbValidityChecks=121164 nbPropagations=2556 nbRevisions=39265
12.78 nbUselessRevisions=33945 nbAssignments=212 nbFailedAssignments=94 nbBacktracks=83 nbVisitedNodes=364
12.78 nbRestartNogoods=10 mapSize=72 nbInferences=0 nbTooLargeKeys=0
12.78 => wckTime=0.361 cpuTime=0.3 mem=144M108
12.90
12.90 search
12.90 run=4 nbConstraintChecks=104133 nbValidityChecks=185196 nbPropagations=4353 nbRevisions=66759
12.90 nbUselessRevisions=57605 nbAssignments=314 nbFailedAssignments=138 nbBacktracks=133 nbVisitedNodes=538
12.90 nbRestartNogoods=15 mapSize=113 nbInferences=0 nbTooLargeKeys=0
12.90 => wckTime=0.48 cpuTime=0.41 mem=144M108
13.02
13.02 search
13.02 run=5 nbConstraintChecks=144397 nbValidityChecks=255911 nbPropagations=6868 nbRevisions=104439
13.02 nbUselessRevisions=89864 nbAssignments=454 nbFailedAssignments=197 nbBacktracks=208 nbVisitedNodes=775
13.02 nbRestartNogoods=19 mapSize=173 nbInferences=0 nbTooLargeKeys=0
13.03 => wckTime=0.607 cpuTime=0.54 mem=144M108
13.24
13.24 search
13.24 run=6 nbConstraintChecks=217476 nbValidityChecks=380030 nbPropagations=10585 nbRevisions=159541
13.24 nbUselessRevisions=136702 nbAssignments=677 nbFailedAssignments=299 nbBacktracks=322 nbVisitedNodes=1160
13.24 nbRestartNogoods=21 mapSize=269 nbInferences=0 nbTooLargeKeys=0
13.24 => wckTime=0.824 cpuTime=0.75 mem=144M108
13.62
13.62 search
13.62 run=7 nbConstraintChecks=349235 nbValidityChecks=597244 nbPropagations=16251 nbRevisions=244001
13.62 nbUselessRevisions=208477 nbAssignments=1021 nbFailedAssignments=464 nbBacktracks=492 nbVisitedNodes=1781
13.62 nbRestartNogoods=26 mapSize=423 nbInferences=0 nbTooLargeKeys=0
13.62 => wckTime=1.2 cpuTime=1.12 mem=144M108
14.23
14.23 search
14.23 run=8 nbConstraintChecks=560889 nbValidityChecks=944510 nbPropagations=25100 nbRevisions=375272
14.23 nbUselessRevisions=319579 nbAssignments=1564 nbFailedAssignments=742 nbBacktracks=750 nbVisitedNodes=2774
14.23 nbRestartNogoods=30 mapSize=661 nbInferences=0 nbTooLargeKeys=0
14.23 => wckTime=1.815 cpuTime=1.71 mem=144M108
15.15
15.15 search
15.15 run=9 nbConstraintChecks=858215 nbValidityChecks=1469524 nbPropagations=39033 nbRevisions=582608
15.15 nbUselessRevisions=495133 nbAssignments=2380 nbFailedAssignments=1166 nbBacktracks=1134 nbVisitedNodes=4263
15.15 nbRestartNogoods=35 mapSize=1022 nbInferences=0 nbTooLargeKeys=0
15.15 => wckTime=2.73 cpuTime=2.61 mem=144M108
15.20
15.20 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=144M108)
16.33
16.33 search
16.33 run=10 nbConstraintChecks=1238174 nbValidityChecks=2141737 nbPropagations=59802 nbRevisions=888750
16.33 nbUselessRevisions=753836 nbAssignments=3544 nbFailedAssignments=1729 nbBacktracks=1710 nbVisitedNodes=6336
16.33 nbRestartNogoods=44
16.33 => wckTime=3.908 cpuTime=3.78 mem=144M108
17.90
17.90 search
17.90 run=11 nbConstraintChecks=1807366 nbValidityChecks=3124991 nbPropagations=90975 nbRevisions=1335665
17.90 nbUselessRevisions=1128934 nbAssignments=5392 nbFailedAssignments=2704 nbBacktracks=2575 nbVisitedNodes=9689
17.90 nbRestartNogoods=54
17.90 => wckTime=5.484 cpuTime=5.35 mem=144M108
20.33
20.33 search
20.33 run=12 nbConstraintChecks=2669065 nbValidityChecks=4603175 nbPropagations=137078 nbRevisions=1992064
20.33 nbUselessRevisions=1678611 nbAssignments=8028 nbFailedAssignments=4034 nbBacktracks=3872 nbVisitedNodes=14459
20.33 nbRestartNogoods=68
20.33 => wckTime=7.91 cpuTime=7.76 mem=144M108
24.02
24.02 search
24.02 run=13 nbConstraintChecks=3985526 nbValidityChecks=6886168 nbPropagations=206708 nbRevisions=2977250
24.02 nbUselessRevisions=2500356 nbAssignments=12339 nbFailedAssignments=6371 nbBacktracks=5820 nbVisitedNodes=22285
24.02 nbRestartNogoods=75
24.02 => wckTime=11.598 cpuTime=11.43 mem=144M108
29.28
29.28 search
29.28 run=14 nbConstraintChecks=5888927 nbValidityChecks=10141084 nbPropagations=309670 nbRevisions=4426138
29.28 nbUselessRevisions=3707558 nbAssignments=18251 nbFailedAssignments=9355 nbBacktracks=8739 nbVisitedNodes=32945
29.28 nbRestartNogoods=84
29.28 => wckTime=16.86 cpuTime=16.67 mem=144M108
37.29
37.30 search
37.30 run=15 nbConstraintChecks=8803230 nbValidityChecks=15135027 nbPropagations=463637 nbRevisions=6582753
37.30 nbUselessRevisions=5501576 nbAssignments=27383 nbFailedAssignments=14100 nbBacktracks=13117
37.30 nbVisitedNodes=49520 nbRestartNogoods=93
37.30 => wckTime=24.877 cpuTime=24.64 mem=144M108
49.28
49.28 search
49.28 run=16 nbConstraintChecks=13177172 nbValidityChecks=22580668 nbPropagations=693639 nbRevisions=9793124
49.28 nbUselessRevisions=8170416 nbAssignments=40838 nbFailedAssignments=20962 nbBacktracks=19686
49.28 nbVisitedNodes=73801 nbRestartNogoods=100
49.28 => wckTime=36.865 cpuTime=36.55 mem=144M108
67.01
67.01 search
67.01 run=17 nbConstraintChecks=19628784 nbValidityChecks=33544725 nbPropagations=1034157 nbRevisions=14547752
67.01 nbUselessRevisions=12124659 nbAssignments=60689 nbFailedAssignments=30951 nbBacktracks=29540
67.01 nbVisitedNodes=109532 nbRestartNogoods=108
67.01 => wckTime=54.589 cpuTime=54.19 mem=144M108
91.82
91.82 search
91.82 run=18 nbConstraintChecks=29269176 nbValidityChecks=49965341 nbPropagations=1539415 nbRevisions=21615625
91.82 nbUselessRevisions=18006463 nbAssignments=90334 nbFailedAssignments=45810 nbBacktracks=44318
91.82 nbVisitedNodes=162807 nbRestartNogoods=117
91.82 => wckTime=79.401 cpuTime=78.82 mem=144M108
129.49
129.49 search
129.49 run=19 nbConstraintChecks=43600610 nbValidityChecks=74358970 nbPropagations=2288327 nbRevisions=32115475
129.50 nbUselessRevisions=26744898 nbAssignments=135098 nbFailedAssignments=68398 nbBacktracks=66488
129.50 nbVisitedNodes=243170 nbRestartNogoods=127
129.50 => wckTime=117.077 cpuTime=114.98 mem=144M108
183.73
183.73 search
183.73 run=20 nbConstraintChecks=65125691 nbValidityChecks=110975807 nbPropagations=3405525 nbRevisions=47778294
183.73 nbUselessRevisions=39780183 nbAssignments=201749 nbFailedAssignments=101787 nbBacktracks=99741
183.73 nbVisitedNodes=362860 nbRestartNogoods=139
183.73 => wckTime=171.31 cpuTime=169.08 mem=144M108
256.88
256.88 search
256.88 run=21 nbConstraintChecks=93964271 nbValidityChecks=159778248 nbPropagations=5009880 nbRevisions=70257400
256.88 nbUselessRevisions=58482741 nbAssignments=290693 nbFailedAssignments=147104 nbBacktracks=143348
256.88 nbVisitedNodes=522655 nbRestartNogoods=152
256.88 => wckTime=244.458 cpuTime=242.21 mem=144M108
256.88
256.88 global
256.88 nbConstraintChecks=93968747 nbValidityChecks=159786570 nbPropagations=5009940 nbRevisions=70258477
256.88 nbUselessRevisions=58483776 nbRestartNogoods=152 solvingWckTime=244.459 solvingCpuTime=242.21 expiredTime=no
256.88 totalExploration=no nbFoundSolutions=1 globalCpuTime=250.87
256.88 => wckTime=256.548 cpuTime=250.81 mem=144M108
256.88
256.88 s SATISFIABLE
256.88 v 0 3 2 3 2 4 4 0 3 4 0 4 3 0 4 4 4 0 2 2
256.88 d NODES 290693
256.88 d CHECKS 93968747
256.88
256.88 totalWckTime=256.631 totalCpuTime=250.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-247438-1168392513 -o ROOT/results/node15/solver-247438-1168392513 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247438-1168392513/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.10 2.07 2.01 5/94 18021
/proc/meminfo: memFree=981240/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=18540 CPUtime=0
/proc/18020/stat : 18020 (runsolver) R 18018 18020 17678 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 187646199 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18020/statm: 4635 279 244 17 0 2626 0
[startup+0.102992 s]
/proc/loadavg: 2.10 2.07 2.01 5/94 18021
/proc/meminfo: memFree=981240/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=912760 CPUtime=0.08
/proc/18020/stat : 18020 (java) S 18018 18020 17678 0 -1 0 2783 0 1 0 7 1 0 0 18 0 8 0 187646199 934666240 2529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228190 2529 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912760
[startup+0.511065 s]
/proc/loadavg: 2.10 2.07 2.01 5/94 18021
/proc/meminfo: memFree=981240/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915328 CPUtime=0.48
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 9274 0 1 0 43 5 0 0 18 0 8 0 187646199 937295872 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228832 9013 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.3332 s]
/proc/loadavg: 2.10 2.07 2.01 3/101 18028
/proc/meminfo: memFree=913152/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915328 CPUtime=1.3
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 19907 0 1 0 118 12 0 0 25 0 8 0 187646199 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228832 19645 2147 14 0 215302 0
[pid=18020/tid=18022] ppid=18018 vsize=915328 CPUtime=0.04
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 3497 0 0 0 3 1 0 0 16 0 8 0 187646203 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187646204 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187646204 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915328 CPUtime=0.07
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 303 0 0 0 7 0 0 0 16 0 8 0 187646207 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937295872 19645 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937295872 19645 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) 915328
[startup+2.9835 s]
/proc/loadavg: 2.10 2.07 2.01 3/101 18028
/proc/meminfo: memFree=887552/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915328 CPUtime=2.95
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 28360 0 1 0 278 17 0 0 25 0 8 0 187646199 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228832 28095 2147 14 0 215302 0
[pid=18020/tid=18022] ppid=18018 vsize=915328 CPUtime=0.21
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 11945 0 0 0 15 6 0 0 16 0 8 0 187646203 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 187646204 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 187646204 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915328 CPUtime=0.07
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 305 0 0 0 7 0 0 0 16 0 8 0 187646207 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937295872 28095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915328 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937295872 28095 18446744073709551615 134512640 134570532 4294956464 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) 915328
[startup+6.27705 s]
/proc/loadavg: 2.09 2.07 2.01 3/101 18028
/proc/meminfo: memFree=849024/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=6.22
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 40257 0 1 0 595 27 0 0 25 0 8 0 187646199 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 38412 2153 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=1.11
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 23829 0 0 0 98 13 0 0 22 0 8 0 187646203 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.08
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 187646207 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 38412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915400
[startup+12.7722 s]
/proc/loadavg: 2.08 2.06 2.01 3/101 18028
/proc/meminfo: memFree=741632/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=12.68
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64210 0 1 0 1227 41 0 0 25 0 8 0 187646199 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62358 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 25 0 8 0 187646203 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.19
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 365 0 0 0 18 1 0 0 15 0 8 0 187646207 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915400
[startup+25.6454 s]
/proc/loadavg: 2.13 2.08 2.02 3/101 18028
/proc/meminfo: memFree=741632/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=25.5
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 2508 42 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915400
[startup+51.2888 s]
/proc/loadavg: 2.08 2.07 2.01 3/101 18028
/proc/meminfo: memFree=741504/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=50.99
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 5057 42 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915400
[startup+102.574 s]
/proc/loadavg: 2.09 2.07 2.01 3/104 18079
/proc/meminfo: memFree=765032/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=100.7
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 10026 44 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.7
Current children cumulated vsize (KiB) 915400
[startup+162.643 s]
/proc/loadavg: 1.78 1.99 1.99 2/85 18152
/proc/meminfo: memFree=1485912/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=160.45
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 15986 59 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073765040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.45
Current children cumulated vsize (KiB) 915400
[startup+222.734 s]
/proc/loadavg: 1.28 1.81 1.92 2/85 18152
/proc/meminfo: memFree=1485912/2055920 swapFree=4174172/4192956
[pid=18020] ppid=18018 vsize=915400 CPUtime=220.51
/proc/18020/stat : 18020 (java) R 18018 18020 17678 0 -1 0 64236 0 1 0 21992 59 0 0 25 0 8 0 187646199 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18020/statm: 228850 62380 2532 14 0 215320 0
[pid=18020/tid=18022] ppid=18018 vsize=915400 CPUtime=3.32
/proc/18020/task/18022/stat : 18022 (java) S 18018 18020 17678 0 -1 64 47252 0 0 0 306 26 0 0 16 0 8 0 187646203 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18023] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18023/stat : 18023 (java) S 18018 18020 17678 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18024] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18024/stat : 18024 (java) S 18018 18020 17678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 187646204 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18025] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18025/stat : 18025 (java) S 18018 18020 17678 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18026] ppid=18018 vsize=915400 CPUtime=0.24
/proc/18020/task/18026/stat : 18026 (java) S 18018 18020 17678 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 187646207 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18027] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18027/stat : 18027 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18020/tid=18028] ppid=18018 vsize=915400 CPUtime=0
/proc/18020/task/18028/stat : 18028 (java) S 18018 18020 17678 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 187646208 937369600 62380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.51
Current children cumulated vsize (KiB) 915400
Child status: 0
Real time (s): 256.963
CPU time (s): 254.706
CPU user time (s): 254.068
CPU system time (s): 0.637903
CPU usage (%): 99.1218
Max. virtual memory (cumulated for all children) (KiB): 919404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.068
system time used= 0.637903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64242
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= 6399
involuntary context switches= 10607
runsolver used 0.273958 s user time and 0.795879 s system time
The end
Begin job on node15 on Wed Jan 10 01:28:33 UTC 2007
IDJOB= 247438
IDBENCH= 11126
FILE ID= node15/247438-1168392513
PBS_JOBID= 3522782
Free space on /tmp= 66517 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-8-20-5/rand-8-20-5-18-800-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247438-1168392513/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-247438-1168392513 -o ROOT/results/node15/solver-247438-1168392513 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/247438-1168392513/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fd92d74890c9fc650983ee8569f494ff
RANDOM SEED= 256427053
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.276
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.276
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: 981656 kB
Buffers: 39924 kB
Cached: 207476 kB
SwapCached: 5900 kB
Active: 915356 kB
Inactive: 101488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 981656 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 23740 kB
Writeback: 0 kB
Mapped: 788192 kB
Slab: 40416 kB
Committed_AS: 7178612 kB
PageTables: 4020 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= 66541 MiB
End job on node15 on Wed Jan 10 01:32:51 UTC 2007