0.43
0.43 Abscon 109 (November, 2006)
0.43
0.43 configuration
0.43 name=esac.xml
0.47
0.47 instance
0.47 name=/tmp/evaluation/233458-1168326341/unknown.xml
0.50
0.50 domains being loaded...
0.55
0.55 variables being loaded...
0.62 nbVariables=225 nbDomainTypes=225 minDomainSize=861 maxDomainSize=959
0.62 => wckTime=0.181 cpuTime=0.15 mem=12M769
0.62
0.62 predicates being loaded...
0.62
0.62 constraints being loaded...
204.96
204.96 INFO : Stopping converting binary constraints (cpu=200.06, mem = 247M681)
205.23 nbConstraints=3150 nbConvertedConstraints=955 nbConvertConstraintsChecks=793058760 nbExtensionStructures=955
205.23 nbSharedExtensionStructures=0 nbConflictsStructures=955 nbSharedConflictsStructures=0
205.23 nbSharedBinaryRepresentations=537009 nbEvaluationManagers=2195 nbSharedEvaluationManagers=0 maxDegree=28
205.23 maxArity=2
205.23 => wckTime=204.792 cpuTime=200.26 mem=263M874
205.85
205.85 solver IterativeSystematicSolver being built...
206.09 => wckTime=205.651 cpuTime=200.46 mem=272M681
243.50
243.50 preprocessing
243.50 nbConstraintChecks=96338870 nbValidityChecks=39673773 nbPropagations=4314 nbRevisions=70215
243.50 nbUselessRevisions=66246 nbSingletonTests=231 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0
243.50 detectedInconsistency=no
243.50 => wckTime=37.403 cpuTime=36.68 mem=272M681
256.01
256.01 search
256.01 run=0 nbConstraintChecks=37608400 nbValidityChecks=42802132 nbPropagations=8514 nbRevisions=150249
256.01 nbUselessRevisions=135322 nbAssignments=330 nbFailedAssignments=268 nbBacktracks=10 nbVisitedNodes=609
256.01 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
256.01 => wckTime=49.909 cpuTime=49.11 mem=275M599
276.53
276.53 search
276.53 run=1 nbConstraintChecks=86039435 nbValidityChecks=91614031 nbPropagations=23149 nbRevisions=401729
276.53 nbUselessRevisions=356653 nbAssignments=830 nbFailedAssignments=588 nbBacktracks=25 nbVisitedNodes=1386
276.53 nbRestartNogoods=11 mapSize=25 nbInferences=0 nbTooLargeKeys=0
276.53 => wckTime=70.426 cpuTime=69.45 mem=256M470
289.39
289.39 search
289.39 run=2 nbConstraintChecks=118856986 nbValidityChecks=116180952 nbPropagations=42083 nbRevisions=714727
289.39 nbUselessRevisions=630665 nbAssignments=1249 nbFailedAssignments=865 nbBacktracks=47 nbVisitedNodes=2104
289.39 nbRestartNogoods=18 mapSize=47 nbInferences=0 nbTooLargeKeys=0
289.39 => wckTime=83.288 cpuTime=82.25 mem=259M351
374.19
374.19 search
374.19 run=3 nbConstraintChecks=222995788 nbValidityChecks=992185458 nbPropagations=152345 nbRevisions=2539100
374.19 nbUselessRevisions=2319523 nbAssignments=6372 nbFailedAssignments=1089 nbBacktracks=80 nbVisitedNodes=2700
374.19 nbRestartNogoods=47 mapSize=80 nbInferences=0 nbTooLargeKeys=0
374.19 => wckTime=168.086 cpuTime=166.62 mem=261M272
384.19
384.19 search
384.19 run=4 nbConstraintChecks=247507745 nbValidityChecks=1015235575 nbPropagations=265768 nbRevisions=4408344
384.19 nbUselessRevisions=4050007 nbAssignments=6601 nbFailedAssignments=1093 nbBacktracks=80 nbVisitedNodes=2933
384.19 nbRestartNogoods=79 mapSize=80 nbInferences=0 nbTooLargeKeys=0
384.19 => wckTime=178.092 cpuTime=176.57 mem=264M304
384.20
384.20 global
384.20 nbConstraintChecks=343846615 nbValidityChecks=1054909348 nbPropagations=270082 nbRevisions=4478559
384.20 nbUselessRevisions=4116253 nbRestartNogoods=79 solvingWckTime=178.095 solvingCpuTime=176.57 expiredTime=no
384.20 totalExploration=no nbFoundSolutions=1 globalCpuTime=377.09
384.20 => wckTime=383.758 cpuTime=377.04 mem=264M304
384.20
384.20 s SATISFIABLE
384.20 v 760 253 57 441 68 213 549 932 220 0 70 134 38 301 861 15 57 168 258 194 0 483 246 823 93 725 896 638 220 374 639 42 852 216 0 932 738 692 807 301 573 141 473 97 402 273 192 134 168 289 213 87 486 387 831 639 0 301 550 415 785 555 493 825 877 709 207 634 433 742 208 86 171 0 353 196 645 871 369 454 545 329 736 436 818 288 88 0 188 591 235 779 836 493 933 806 669 32 172 592 405 738 109 0 307 608 164 0 88 109 274 235 213 581 775 690 498 379 465 818 32 779 549 0 158 21 690 606 267 400 486 850 213 295 251 426 860 182 797 70 319 818 0 169 662 606 251 515 681 385 508 209 240 70 307 465 72 682 590 880 400 0 186 160 824 515 638 580 946 319 194 363 274 847 0 97 370 775 715 441 387 758 531 449 264 885 669 356 329 74 192 860 592 48 0 295 0 709 172 861 563 727 196 483 192 89 682 648 387 405 888 339 0 436 267 289 48 742 555 807 580 385 171 661 852
384.20 d NODES 6601
384.20 d CHECKS 343846615
384.20
384.20 totalWckTime=383.846 totalCpuTime=377.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-233458-1168326341 -o ROOT/results/node24/solver-233458-1168326341 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233458-1168326341/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.71 2.59 2.32 4/94 24168
/proc/meminfo: memFree=1332392/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=18540 CPUtime=0
/proc/24167/stat : 24167 (runsolver) R 24165 24167 23842 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181029330 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24167/statm: 4635 279 244 17 0 2626 0
[startup+0.10323 s]
/proc/loadavg: 2.71 2.59 2.32 4/94 24168
/proc/meminfo: memFree=1332392/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=47976 CPUtime=0
/proc/24167/stat : 24167 (java) D 24165 24167 23842 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 181029330 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/24167/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.511275 s]
/proc/loadavg: 2.71 2.59 2.32 4/94 24168
/proc/meminfo: memFree=1332392/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915328 CPUtime=0.38
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 5828 0 2 0 34 4 0 0 18 0 8 0 181029330 937295872 5568 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153984993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228832 5568 2102 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328
[startup+1.33436 s]
/proc/loadavg: 2.71 2.59 2.32 4/101 24175
/proc/meminfo: memFree=1285744/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=1.2
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 12596 0 2 0 111 9 0 0 23 0 8 0 181029330 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 12335 2167 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181029345 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181029345 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181029345 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.15
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 181029349 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 12335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915632
[startup+2.98754 s]
/proc/loadavg: 2.71 2.59 2.32 3/101 24175
/proc/meminfo: memFree=1278320/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=2.85
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 13288 0 2 0 275 10 0 0 25 0 8 0 181029330 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 13026 2167 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181029345 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181029345 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181029345 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.15
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 181029349 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 13026 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915632
[startup+6.27489 s]
/proc/loadavg: 2.74 2.60 2.32 3/101 24175
/proc/meminfo: memFree=1268280/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=6.12
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 14476 0 2 0 602 10 0 0 25 0 8 0 181029330 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 14214 2167 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181029345 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181029345 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.16
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 411 0 0 0 16 0 0 0 17 0 8 0 181029349 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 14214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915632
[startup+12.7656 s]
/proc/loadavg: 2.68 2.58 2.32 3/101 24175
/proc/meminfo: memFree=1225920/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=12.58
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 20867 0 2 0 1245 13 0 0 25 0 8 0 181029330 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 20604 2178 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0.11
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 4273 0 0 0 10 1 0 0 18 0 8 0 181029345 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.16
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 412 0 0 0 16 0 0 0 16 0 8 0 181029349 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 20604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915632
[startup+25.609 s]
/proc/loadavg: 2.67 2.59 2.33 4/101 24175
/proc/meminfo: memFree=1187904/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=25.37
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 20870 0 2 0 2523 14 0 0 25 0 8 0 181029330 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 20607 2178 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0.11
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 4273 0 0 0 10 1 0 0 16 0 8 0 181029345 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.16
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 414 0 0 0 16 0 0 0 17 0 8 0 181029349 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 20607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915632
[startup+51.2358 s]
/proc/loadavg: 2.78 2.62 2.34 3/101 24175
/proc/meminfo: memFree=1058560/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=50.86
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 31390 0 2 0 5068 18 0 0 25 0 8 0 181029330 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 31125 2179 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0.52
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 14773 0 0 0 47 5 0 0 16 0 8 0 181029345 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.18
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 429 0 0 0 18 0 0 0 16 0 8 0 181029349 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 31125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915632
[startup+102.481 s]
/proc/loadavg: 2.74 2.63 2.36 4/101 24175
/proc/meminfo: memFree=866752/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=101.87
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 40936 0 2 0 10162 25 0 0 25 0 8 0 181029330 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 40670 2179 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=0.99
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 24317 0 0 0 90 9 0 0 16 0 8 0 181029345 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.18
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 430 0 0 0 18 0 0 0 16 0 8 0 181029349 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 40670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 915632
[startup+162.498 s]
/proc/loadavg: 2.41 2.57 2.36 3/104 24297
/proc/meminfo: memFree=1370600/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=161.53
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 59816 0 2 0 16115 38 0 0 25 0 8 0 181029330 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 59547 2179 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=1.75
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 43189 0 0 0 156 19 0 0 16 0 8 0 181029345 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.19
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 435 0 0 0 19 0 0 0 17 0 8 0 181029349 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 59547 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 915632
[startup+222.503 s]
/proc/loadavg: 2.76 2.66 2.40 3/104 24297
/proc/meminfo: memFree=685800/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=220.28
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 77117 0 2 0 21981 47 0 0 25 0 8 0 181029330 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24167/statm: 228908 76836 2545 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=3.11
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 59992 0 0 0 286 25 0 0 16 0 8 0 181029345 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.29
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 491 0 0 0 28 1 0 0 15 0 8 0 181029349 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 76836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.28
Current children cumulated vsize (KiB) 915632
[startup+282.529 s]
/proc/loadavg: 2.39 2.58 2.38 3/104 24297
/proc/meminfo: memFree=664872/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=279.69
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 80917 0 2 0 27919 50 0 0 25 0 8 0 181029330 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 80626 2548 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=3.19
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 63763 0 0 0 292 27 0 0 16 0 8 0 181029345 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181029345 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.32
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 510 0 0 0 31 1 0 0 15 0 8 0 181029349 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 80626 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.69
Current children cumulated vsize (KiB) 915632
[startup+342.58 s]
/proc/loadavg: 2.14 2.47 2.36 3/104 24297
/proc/meminfo: memFree=664744/2055920 swapFree=4192812/4192956
[pid=24167] ppid=24165 vsize=915632 CPUtime=339.45
/proc/24167/stat : 24167 (java) R 24165 24167 23842 0 -1 0 80933 0 2 0 33895 50 0 0 25 0 8 0 181029330 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24167/statm: 228908 80634 2548 14 0 215378 0
[pid=24167/tid=24169] ppid=24165 vsize=915632 CPUtime=3.19
/proc/24167/task/24169/stat : 24169 (java) S 24165 24167 23842 0 -1 64 63763 0 0 0 292 27 0 0 16 0 8 0 181029345 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24170] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24170/stat : 24170 (java) S 24165 24167 23842 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181029345 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24171] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24171/stat : 24171 (java) S 24165 24167 23842 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181029345 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24172] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24172/stat : 24172 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181029349 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24173] ppid=24165 vsize=915632 CPUtime=0.34
/proc/24167/task/24173/stat : 24173 (java) S 24165 24167 23842 0 -1 64 522 0 0 0 33 1 0 0 16 0 8 0 181029349 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24174] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24174/stat : 24174 (java) S 24165 24167 23842 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181029349 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24167/tid=24175] ppid=24165 vsize=915632 CPUtime=0
/proc/24167/task/24175/stat : 24175 (java) S 24165 24167 23842 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181029349 937607168 80634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 384.268
CPU time (s): 380.946
CPU user time (s): 380.376
CPU system time (s): 0.569913
CPU usage (%): 99.1356
Max. virtual memory (cumulated for all children) (KiB): 915636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 380.376
system time used= 0.569913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80949
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9387
involuntary context switches= 16869
runsolver used 0.450931 s user time and 1.26381 s system time
The end
Begin job on node24 on Tue Jan 9 07:05:41 UTC 2007
IDJOB= 233458
IDBENCH= 6609
FILE ID= node24/233458-1168326341
PBS_JOBID= 3502998
Free space on /tmp= 66473 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-100-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233458-1168326341/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-233458-1168326341 -o ROOT/results/node24/solver-233458-1168326341 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233458-1168326341/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d426cad722d5bc2bb5dc5b0719d02128
RANDOM SEED= 504940749
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.234
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.234
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: 1332808 kB
Buffers: 8016 kB
Cached: 223456 kB
SwapCached: 0 kB
Active: 510668 kB
Inactive: 162072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1332808 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2096 kB
Writeback: 0 kB
Mapped: 469028 kB
Slab: 34208 kB
Committed_AS: 4611508 kB
PageTables: 3212 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= 66474 MiB
End job on node24 on Tue Jan 9 07:12:05 UTC 2007