0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/208540-1168074732/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.50 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.50 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.50
0.50 relations being loaded...
0.61
0.61 constraints being loaded...
0.72 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3202 maxDegree=24
0.72 maxArity=2
0.72 => wckTime=0.327 cpuTime=0.25 mem=13M779
0.77
0.77 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.53 cpuTime=0.36 mem=13M937
0.93
0.93 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.94 => wckTime=0.0050 cpuTime=0.0 mem=13M937
0.98
0.98 search
0.98 run=0 nbConstraintChecks=27712 nbPropagations=466 nbRevisions=4645 nbUselessRevisions=3846 nbAssignments=24
0.98 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.052 cpuTime=0.03 mem=14M912
1.00
1.00 search
1.00 run=1 nbConstraintChecks=65905 nbPropagations=1488 nbRevisions=16129 nbUselessRevisions=13209 nbAssignments=55
1.00 nbFailedAssignments=13 nbBacktracks=25 nbVisitedNodes=83 nbRestartNogoods=2 mapSize=18 nbInferences=0
1.00 nbTooLargeKeys=0
1.00 => wckTime=0.073 cpuTime=0.04 mem=14M912
1.03
1.03 search
1.03 run=2 nbConstraintChecks=124068 nbPropagations=3359 nbRevisions=38402 nbUselessRevisions=31269
1.03 nbAssignments=107 nbFailedAssignments=33 nbBacktracks=49 nbVisitedNodes=168 nbRestartNogoods=7 mapSize=37
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.097 cpuTime=0.06 mem=14M912
1.05
1.05 search
1.05 run=3 nbConstraintChecks=225476 nbPropagations=6546 nbRevisions=78764 nbUselessRevisions=63874
1.05 nbAssignments=176 nbFailedAssignments=60 nbBacktracks=83 nbVisitedNodes=286 nbRestartNogoods=10 mapSize=67
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.119 cpuTime=0.08 mem=14M912
1.07
1.07 search
1.07 run=4 nbConstraintChecks=337917 nbPropagations=11410 nbRevisions=140111 nbUselessRevisions=113240
1.07 nbAssignments=273 nbFailedAssignments=97 nbBacktracks=134 nbVisitedNodes=443 nbRestartNogoods=13 mapSize=104
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.144 cpuTime=0.1 mem=14M912
1.11
1.11 search
1.11 run=5 nbConstraintChecks=503406 nbPropagations=18632 nbRevisions=234331 nbUselessRevisions=189271
1.11 nbAssignments=408 nbFailedAssignments=151 nbBacktracks=209 nbVisitedNodes=671 nbRestartNogoods=17 mapSize=164
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.182 cpuTime=0.14 mem=14M912
1.16
1.16 search
1.16 run=6 nbConstraintChecks=733114 nbPropagations=29142 nbRevisions=373247 nbUselessRevisions=301705
1.16 nbAssignments=603 nbFailedAssignments=224 nbBacktracks=322 nbVisitedNodes=1003 nbRestartNogoods=22 mapSize=262
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.234 cpuTime=0.19 mem=14M912
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1098195 nbPropagations=44808 nbRevisions=585068 nbUselessRevisions=473849
1.24 nbAssignments=889 nbFailedAssignments=331 nbBacktracks=495 nbVisitedNodes=1497 nbRestartNogoods=28 mapSize=412
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.308 cpuTime=0.26 mem=14M912
1.35
1.35 search
1.35 run=8 nbConstraintChecks=1636429 nbPropagations=68252 nbRevisions=905762 nbUselessRevisions=734487
1.35 nbAssignments=1332 nbFailedAssignments=511 nbBacktracks=751 nbVisitedNodes=2264 nbRestartNogoods=31
1.35 mapSize=632 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.42 cpuTime=0.36 mem=14M912
1.50
1.50 search
1.50 run=9 nbConstraintChecks=2407986 nbPropagations=102598 nbRevisions=1377479 nbUselessRevisions=1117150
1.51 nbAssignments=1951 nbFailedAssignments=736 nbBacktracks=1136 nbVisitedNodes=3325 nbRestartNogoods=37
1.51 mapSize=959 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.575 cpuTime=0.5 mem=14M912
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=14M912)
1.71
1.71 search
1.71 run=10 nbConstraintChecks=3566881 nbPropagations=153325 nbRevisions=2083066 nbUselessRevisions=1690372
1.71 nbAssignments=2884 nbFailedAssignments=1086 nbBacktracks=1712 nbVisitedNodes=4927 nbRestartNogoods=44
1.71 => wckTime=0.784 cpuTime=0.7 mem=14M912
2.05
2.05 search
2.05 run=11 nbConstraintChecks=5676951 nbPropagations=231798 nbRevisions=3192643 nbUselessRevisions=2591423
2.05 nbAssignments=4381 nbFailedAssignments=1711 nbBacktracks=2577 nbVisitedNodes=7572 nbRestartNogoods=51
2.05 => wckTime=1.124 cpuTime=1.03 mem=14M912
2.50
2.50 search
2.50 run=12 nbConstraintChecks=8481183 nbPropagations=348923 nbRevisions=4833248 nbUselessRevisions=3919110
2.50 nbAssignments=6494 nbFailedAssignments=2517 nbBacktracks=3875 nbVisitedNodes=11225 nbRestartNogoods=59
2.50 => wckTime=1.575 cpuTime=1.48 mem=14M912
3.19
3.19 search
3.19 run=13 nbConstraintChecks=12673088 nbPropagations=524718 nbRevisions=7304231 nbUselessRevisions=5919746
3.19 nbAssignments=9787 nbFailedAssignments=3856 nbBacktracks=5821 nbVisitedNodes=16955 nbRestartNogoods=69
3.19 => wckTime=2.264 cpuTime=2.16 mem=14M912
4.19
4.19 search
4.19 run=14 nbConstraintChecks=18718045 nbPropagations=787361 nbRevisions=10980398 nbUselessRevisions=8896783
4.19 nbAssignments=14665 nbFailedAssignments=5808 nbBacktracks=8740 nbVisitedNodes=25463 nbRestartNogoods=79
4.19 => wckTime=3.262 cpuTime=3.15 mem=14M912
5.68
5.68 search
5.68 run=15 nbConstraintChecks=27758827 nbPropagations=1177065 nbRevisions=16476742 nbUselessRevisions=13357218
5.68 nbAssignments=21831 nbFailedAssignments=8588 nbBacktracks=13122 nbVisitedNodes=37862 nbRestartNogoods=89
5.68 => wckTime=4.751 cpuTime=4.62 mem=14M912
7.98
7.98 search
7.98 run=16 nbConstraintChecks=41920550 nbPropagations=1762598 nbRevisions=24798094 nbUselessRevisions=20123305
7.98 nbAssignments=32614 nbFailedAssignments=12795 nbBacktracks=19693 nbVisitedNodes=56702 nbRestartNogoods=96
7.98 => wckTime=7.047 cpuTime=6.89 mem=14M912
11.46
11.46 search
11.46 run=17 nbConstraintChecks=63351074 nbPropagations=2640860 nbRevisions=37304439 nbUselessRevisions=30290343
11.46 nbAssignments=48734 nbFailedAssignments=19055 nbBacktracks=29547 nbVisitedNodes=84707 nbRestartNogoods=103
11.46 => wckTime=10.53 cpuTime=10.35 mem=14M912
16.65
16.65 search
16.65 run=18 nbConstraintChecks=95605963 nbPropagations=3950904 nbRevisions=56027985 nbUselessRevisions=45506415
16.65 nbAssignments=72757 nbFailedAssignments=28290 nbBacktracks=44325 nbVisitedNodes=126197 nbRestartNogoods=116
16.65 => wckTime=15.718 cpuTime=15.49 mem=14M912
24.62
24.62 search
24.62 run=19 nbConstraintChecks=145458440 nbPropagations=5938895 nbRevisions=84326641 nbUselessRevisions=68475027
24.62 nbAssignments=109535 nbFailedAssignments=42892 nbBacktracks=66493 nbVisitedNodes=190232 nbRestartNogoods=130
24.62 => wckTime=23.687 cpuTime=23.38 mem=14M912
36.53
36.53 search
36.53 run=20 nbConstraintChecks=219532809 nbPropagations=8924748 nbRevisions=127066783 nbUselessRevisions=103204664
36.53 nbAssignments=164351 nbFailedAssignments=64449 nbBacktracks=99748 nbVisitedNodes=285557 nbRestartNogoods=145
36.53 => wckTime=35.604 cpuTime=35.19 mem=14M912
53.63
53.63 search
53.63 run=21 nbConstraintChecks=324454993 nbPropagations=13363423 nbRevisions=190700895 nbUselessRevisions=154976291
53.63 nbAssignments=246005 nbFailedAssignments=96215 nbBacktracks=149626 nbVisitedNodes=427117 nbRestartNogoods=156
53.63 => wckTime=52.705 cpuTime=52.14 mem=14M912
80.76
80.76 search
80.76 run=22 nbConstraintChecks=494040734 nbPropagations=20081464 nbRevisions=287074770 nbUselessRevisions=233345318
80.76 nbAssignments=369948 nbFailedAssignments=145333 nbBacktracks=224446 nbVisitedNodes=643262 nbRestartNogoods=167
80.76 => wckTime=79.834 cpuTime=79.02 mem=14M912
120.86
120.86 search
120.86 run=23 nbConstraintChecks=743233966 nbPropagations=30175999 nbRevisions=431998693 nbUselessRevisions=351221623
120.86 nbAssignments=554701 nbFailedAssignments=217849 nbBacktracks=336675 nbVisitedNodes=964816 nbRestartNogoods=176
120.86 => wckTime=119.932 cpuTime=118.74 mem=14M912
181.12
181.12 search
181.12 run=24 nbConstraintChecks=1117419515 nbPropagations=45348247 nbRevisions=650574197 nbUselessRevisions=529194044
181.12 nbAssignments=833231 nbFailedAssignments=328030 nbBacktracks=505016 nbVisitedNodes=1450303 nbRestartNogoods=186
181.12 => wckTime=180.191 cpuTime=178.44 mem=14M912
245.71
245.71 search
245.71 run=25 nbConstraintChecks=1525088587 nbPropagations=65892243 nbRevisions=947304171 nbUselessRevisions=770729440
245.71 nbAssignments=1125784 nbFailedAssignments=442793 nbBacktracks=682766 nbVisitedNodes=1959083
245.71 nbRestartNogoods=197
245.71 => wckTime=244.784 cpuTime=242.45 mem=14M912
245.71
245.71 global
245.71 nbConstraintChecks=1525088587 nbPropagations=65892283 nbRevisions=947304171 nbUselessRevisions=770729440
245.72 nbRestartNogoods=197 solvingWckTime=244.785 solvingCpuTime=242.45 expiredTime=no totalExploration=no
245.72 nbFoundSolutions=1 globalCpuTime=242.87
245.72 => wckTime=245.319 cpuTime=242.82 mem=14M912
245.72
245.72 s SATISFIABLE
245.72 v 18 10 5 1 0 12 15 8 7 1 7 18 1 7 14 14 13 18 2 13 4 1 14 18 13 11 1 13 1 14 14 2 7 5 15 8 12 5 14 2
245.72 d NODES 1125784
245.72 d CHECKS 1525088587
245.72
245.72 totalWckTime=245.402 totalCpuTime=242.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-208540-1168074732 -o ROOT/results/node2/solver-208540-1168074732 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208540-1168074732/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.00 2.00 1.93 4/93 4479
/proc/meminfo: memFree=995168/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=18540 CPUtime=0
/proc/4478/stat : 4478 (runsolver) R 4476 4478 4411 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155868833 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4478/statm: 4635 279 244 17 0 2626 0
[startup+0.107527 s]
/proc/loadavg: 2.00 2.00 1.93 4/93 4479
/proc/meminfo: memFree=995168/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=907808 CPUtime=0.06
/proc/4478/stat : 4478 (java) D 4476 4478 4411 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 155868833 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.515603 s]
/proc/loadavg: 2.00 2.00 1.93 4/93 4479
/proc/meminfo: memFree=995168/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915328 CPUtime=0.42
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 6136 0 1 0 38 4 0 0 18 0 8 0 155868833 937295872 5875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228832 5875 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.33676 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4486
/proc/meminfo: memFree=971560/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915456 CPUtime=1.22
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 8622 0 1 0 116 6 0 0 23 0 8 0 155868833 937426944 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228864 8360 2513 14 0 215334 0
[pid=4478/tid=4480] ppid=4476 vsize=915456 CPUtime=0.03
/proc/4478/task/4480/stat : 4480 (java) S 4476 4478 4411 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155868837 937426944 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4481] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4481/stat : 4481 (java) S 4476 4478 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868838 937426944 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4482] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4482/stat : 4482 (java) S 4476 4478 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868838 937426944 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4483] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4483/stat : 4483 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155868849 937426944 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4484] ppid=4476 vsize=915456 CPUtime=0.22
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 4411 0 -1 64 377 0 0 0 21 1 0 0 16 0 8 0 155868849 937426944 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4485] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155868849 937426944 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4486] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868849 937426944 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915456
[startup+2.98305 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4486
/proc/meminfo: memFree=971240/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915456 CPUtime=2.85
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 8671 0 1 0 279 6 0 0 25 0 8 0 155868833 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228864 8408 2513 14 0 215334 0
[pid=4478/tid=4480] ppid=4476 vsize=915456 CPUtime=0.03
/proc/4478/task/4480/stat : 4480 (java) S 4476 4478 4411 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155868837 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4481] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4481/stat : 4481 (java) S 4476 4478 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868838 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4482] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4482/stat : 4482 (java) S 4476 4478 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868838 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4483] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4483/stat : 4483 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155868849 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4484] ppid=4476 vsize=915456 CPUtime=0.24
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 4411 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 155868849 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4485] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155868849 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4486] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868849 937426944 8408 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915456
[startup+6.27366 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4486
/proc/meminfo: memFree=971184/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915456 CPUtime=6.11
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 8678 0 1 0 605 6 0 0 25 0 8 0 155868833 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228864 8415 2513 14 0 215334 0
[pid=4478/tid=4480] ppid=4476 vsize=915456 CPUtime=0.03
/proc/4478/task/4480/stat : 4480 (java) S 4476 4478 4411 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155868837 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4481] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4481/stat : 4481 (java) S 4476 4478 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868838 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4482] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4482/stat : 4482 (java) S 4476 4478 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868838 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4483] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4483/stat : 4483 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155868849 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4484] ppid=4476 vsize=915456 CPUtime=0.24
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 4411 0 -1 64 392 0 0 0 23 1 0 0 15 0 8 0 155868849 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4485] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155868849 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4486] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868849 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915456
[startup+12.7518 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4486
/proc/meminfo: memFree=971184/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915456 CPUtime=12.53
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 8685 0 1 0 1247 6 0 0 25 0 8 0 155868833 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228864 8421 2513 14 0 215334 0
[pid=4478/tid=4480] ppid=4476 vsize=915456 CPUtime=0.03
/proc/4478/task/4480/stat : 4480 (java) S 4476 4478 4411 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155868837 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4481] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4481/stat : 4481 (java) S 4476 4478 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868838 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4482] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4482/stat : 4482 (java) S 4476 4478 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868838 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4483] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4483/stat : 4483 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155868849 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4484] ppid=4476 vsize=915456 CPUtime=0.24
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 4411 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155868849 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4485] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155868849 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4486] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868849 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915456
[startup+25.6082 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4486
/proc/meminfo: memFree=971248/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915456 CPUtime=25.28
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 8690 0 1 0 2521 7 0 0 25 0 8 0 155868833 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228864 8426 2513 14 0 215334 0
[pid=4478/tid=4480] ppid=4476 vsize=915456 CPUtime=0.03
/proc/4478/task/4480/stat : 4480 (java) S 4476 4478 4411 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155868837 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4481] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4481/stat : 4481 (java) S 4476 4478 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868838 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4482] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4482/stat : 4482 (java) S 4476 4478 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868838 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4483] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4483/stat : 4483 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155868849 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4484] ppid=4476 vsize=915456 CPUtime=0.24
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 4411 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155868849 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4485] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155868849 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4486] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868849 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915456
[startup+51.2129 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4486
/proc/meminfo: memFree=971248/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915456 CPUtime=50.64
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 8692 0 1 0 5057 7 0 0 25 0 8 0 155868833 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228864 8428 2513 14 0 215334 0
[pid=4478/tid=4480] ppid=4476 vsize=915456 CPUtime=0.03
/proc/4478/task/4480/stat : 4480 (java) S 4476 4478 4411 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155868837 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4481] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4481/stat : 4481 (java) S 4476 4478 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868838 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4482] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4482/stat : 4482 (java) S 4476 4478 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868838 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4483] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4483/stat : 4483 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155868849 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4484] ppid=4476 vsize=915456 CPUtime=0.24
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 4411 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155868849 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4485] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155868849 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4486] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868849 937426944 8428 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915456
[startup+102.421 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4486
/proc/meminfo: memFree=971248/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915456 CPUtime=101.37
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 8697 0 1 0 10130 7 0 0 25 0 8 0 155868833 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868213 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228864 8433 2513 14 0 215334 0
[pid=4478/tid=4480] ppid=4476 vsize=915456 CPUtime=0.03
/proc/4478/task/4480/stat : 4480 (java) S 4476 4478 4411 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155868837 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4481] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4481/stat : 4481 (java) S 4476 4478 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868838 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4482] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4482/stat : 4482 (java) S 4476 4478 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868838 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4483] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4483/stat : 4483 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155868849 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4484] ppid=4476 vsize=915456 CPUtime=0.24
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 4411 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155868849 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4485] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155868849 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4486] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868849 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 915456
[startup+162.474 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4486
/proc/meminfo: memFree=971248/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915456 CPUtime=160.88
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 8700 0 1 0 16080 8 0 0 25 0 8 0 155868833 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228864 8436 2513 14 0 215334 0
[pid=4478/tid=4480] ppid=4476 vsize=915456 CPUtime=0.03
/proc/4478/task/4480/stat : 4480 (java) S 4476 4478 4411 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155868837 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4481] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4481/stat : 4481 (java) S 4476 4478 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868838 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4482] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4482/stat : 4482 (java) S 4476 4478 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868838 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4483] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4483/stat : 4483 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155868849 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4484] ppid=4476 vsize=915456 CPUtime=0.24
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 4411 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155868849 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4485] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155868849 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4486] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868849 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 915456
[startup+222.529 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4486
/proc/meminfo: memFree=971184/2055920 swapFree=4191880/4192956
[pid=4478] ppid=4476 vsize=915456 CPUtime=220.38
/proc/4478/stat : 4478 (java) R 4476 4478 4411 0 -1 0 8702 0 1 0 22029 9 0 0 25 0 8 0 155868833 937426944 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814991 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4478/statm: 228864 8438 2513 14 0 215334 0
[pid=4478/tid=4480] ppid=4476 vsize=915456 CPUtime=0.03
/proc/4478/task/4480/stat : 4480 (java) S 4476 4478 4411 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155868837 937426944 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4481] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4481/stat : 4481 (java) S 4476 4478 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155868838 937426944 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4482] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4482/stat : 4482 (java) S 4476 4478 4411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155868838 937426944 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4483] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4483/stat : 4483 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155868849 937426944 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4484] ppid=4476 vsize=915456 CPUtime=0.24
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 4411 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155868849 937426944 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4485] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155868849 937426944 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4478/tid=4486] ppid=4476 vsize=915456 CPUtime=0
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155868849 937426944 8438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.38
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 245.737
CPU time (s): 243.374
CPU user time (s): 243.272
CPU system time (s): 0.101984
CPU usage (%): 99.0386
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.272
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8794
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= 6078
involuntary context switches= 11537
runsolver used 0.313952 s user time and 0.78788 s system time
The end
Begin job on node2 on Sat Jan 6 09:12:12 UTC 2007
IDJOB= 208540
IDBENCH= 4402
FILE ID= node2/208540-1168074732
PBS_JOBID= 3475784
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208540-1168074732/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-208540-1168074732 -o ROOT/results/node2/solver-208540-1168074732 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208540-1168074732/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9a6de96e80d1982c64c90c12ab5a78ea
RANDOM SEED= 978591062
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.259
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 : 5931.00
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.259
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: 995648 kB
Buffers: 73708 kB
Cached: 709180 kB
SwapCached: 268 kB
Active: 428608 kB
Inactive: 534336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 995648 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 208384 kB
Slab: 81752 kB
Committed_AS: 4276304 kB
PageTables: 2660 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= 66318 MiB
End job on node2 on Sat Jan 6 09:16:22 UTC 2007