0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/202478-1168072577/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=338 nbRelationTypes=338 nbExtensionStructures=338 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=338 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2948 maxDegree=23
0.64 maxArity=2
0.64 => wckTime=0.323 cpuTime=0.24 mem=12M803
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.526 cpuTime=0.37 mem=13M923
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0060 cpuTime=0.0 mem=13M923
0.90
0.90 search
0.90 run=0 nbConstraintChecks=33652 nbPropagations=538 nbRevisions=5909 nbUselessRevisions=4793 nbAssignments=25
0.90 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.055 cpuTime=0.03 mem=14M898
0.92
0.92 search
0.92 run=1 nbConstraintChecks=71574 nbPropagations=1648 nbRevisions=18291 nbUselessRevisions=14961 nbAssignments=58
0.92 nbFailedAssignments=16 nbBacktracks=28 nbVisitedNodes=89 nbRestartNogoods=3 mapSize=21 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.075 cpuTime=0.04 mem=14M898
0.94
0.94 search
0.94 run=2 nbConstraintChecks=128196 nbPropagations=3554 nbRevisions=41054 nbUselessRevisions=33539
0.94 nbAssignments=103 nbFailedAssignments=32 nbBacktracks=50 nbVisitedNodes=162 nbRestartNogoods=6 mapSize=38
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.098 cpuTime=0.06 mem=14M898
0.96
0.96 search
0.96 run=3 nbConstraintChecks=211427 nbPropagations=6695 nbRevisions=80868 nbUselessRevisions=66122
0.96 nbAssignments=170 nbFailedAssignments=60 nbBacktracks=84 nbVisitedNodes=279 nbRestartNogoods=9 mapSize=70
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.118 cpuTime=0.08 mem=14M898
0.99
0.99 search
0.99 run=4 nbConstraintChecks=343870 nbPropagations=11598 nbRevisions=145007 nbUselessRevisions=118160
0.99 nbAssignments=264 nbFailedAssignments=99 nbBacktracks=135 nbVisitedNodes=443 nbRestartNogoods=10 mapSize=112
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.145 cpuTime=0.1 mem=14M898
1.03
1.03 search
1.03 run=5 nbConstraintChecks=516204 nbPropagations=18854 nbRevisions=240604 nbUselessRevisions=195214
1.03 nbAssignments=390 nbFailedAssignments=143 nbBacktracks=211 nbVisitedNodes=654 nbRestartNogoods=11 mapSize=172
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.182 cpuTime=0.14 mem=14M898
1.09
1.09 search
1.09 run=6 nbConstraintChecks=810317 nbPropagations=30275 nbRevisions=397900 nbUselessRevisions=322831
1.09 nbAssignments=607 nbFailedAssignments=237 nbBacktracks=325 nbVisitedNodes=1042 nbRestartNogoods=15 mapSize=279
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.242 cpuTime=0.19 mem=14M898
1.16
1.16 search
1.16 run=7 nbConstraintChecks=1176777 nbPropagations=46764 nbRevisions=624331 nbUselessRevisions=506520
1.16 nbAssignments=886 nbFailedAssignments=339 nbBacktracks=496 nbVisitedNodes=1517 nbRestartNogoods=20 mapSize=414
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.317 cpuTime=0.26 mem=14M898
1.28
1.28 search
1.28 run=8 nbConstraintChecks=1784113 nbPropagations=71511 nbRevisions=972921 nbUselessRevisions=790730
1.28 nbAssignments=1337 nbFailedAssignments=526 nbBacktracks=754 nbVisitedNodes=2304 nbRestartNogoods=25
1.28 mapSize=632 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.437 cpuTime=0.37 mem=14M898
1.46
1.46 search
1.46 run=9 nbConstraintChecks=2666800 nbPropagations=108855 nbRevisions=1497832 nbUselessRevisions=1217895
1.46 nbAssignments=2009 nbFailedAssignments=808 nbBacktracks=1139 nbVisitedNodes=3496 nbRestartNogoods=28
1.46 mapSize=973 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.611 cpuTime=0.54 mem=14M898
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=14M898)
1.69
1.69 search
1.69 run=10 nbConstraintChecks=4060449 nbPropagations=164586 nbRevisions=2279124 nbUselessRevisions=1851984
1.69 nbAssignments=2987 nbFailedAssignments=1201 nbBacktracks=1716 nbVisitedNodes=5198 nbRestartNogoods=34
1.69 => wckTime=0.847 cpuTime=0.77 mem=14M898
2.00
2.00 search
2.00 run=11 nbConstraintChecks=5893011 nbPropagations=246424 nbRevisions=3434590 nbUselessRevisions=2792122
2.00 nbAssignments=4446 nbFailedAssignments=1787 nbBacktracks=2583 nbVisitedNodes=7743 nbRestartNogoods=44
2.00 => wckTime=1.157 cpuTime=1.07 mem=14M898
2.49
2.49 search
2.49 run=12 nbConstraintChecks=8939872 nbPropagations=370468 nbRevisions=5169178 nbUselessRevisions=4198802
2.49 nbAssignments=6678 nbFailedAssignments=2719 nbBacktracks=3880 nbVisitedNodes=11697 nbRestartNogoods=51
2.49 => wckTime=1.642 cpuTime=1.55 mem=14M898
3.19
3.19 search
3.19 run=13 nbConstraintChecks=13233604 nbPropagations=554151 nbRevisions=7769881 nbUselessRevisions=6314175
3.19 nbAssignments=9965 nbFailedAssignments=4050 nbBacktracks=5827 nbVisitedNodes=17443 nbRestartNogoods=53
3.19 => wckTime=2.343 cpuTime=2.24 mem=14M898
4.12
4.12 search
4.12 run=14 nbConstraintChecks=18845922 nbPropagations=821246 nbRevisions=11515721 nbUselessRevisions=9360831
4.12 nbAssignments=14672 nbFailedAssignments=5828 nbBacktracks=8749 nbVisitedNodes=25548 nbRestartNogoods=61
4.12 => wckTime=3.278 cpuTime=3.17 mem=14M898
5.71
5.71 search
5.71 run=15 nbConstraintChecks=28699240 nbPropagations=1225287 nbRevisions=17145368 nbUselessRevisions=13928034
5.71 nbAssignments=22020 nbFailedAssignments=8791 nbBacktracks=13127 nbVisitedNodes=38405 nbRestartNogoods=70
5.71 => wckTime=4.865 cpuTime=4.74 mem=14M898
8.00
8.00 search
8.00 run=16 nbConstraintChecks=42705509 nbPropagations=1825810 nbRevisions=25584380 nbUselessRevisions=20784152
8.00 nbAssignments=33029 nbFailedAssignments=13223 nbBacktracks=19698 nbVisitedNodes=57594 nbRestartNogoods=80
8.00 => wckTime=7.156 cpuTime=7.01 mem=14M898
11.28
11.28 search
11.28 run=17 nbConstraintChecks=62953933 nbPropagations=2715475 nbRevisions=38051536 nbUselessRevisions=30914011
11.28 nbAssignments=49169 nbFailedAssignments=19505 nbBacktracks=29550 nbVisitedNodes=85595 nbRestartNogoods=87
11.28 => wckTime=10.437 cpuTime=10.26 mem=14M898
16.56
16.56 search
16.56 run=18 nbConstraintChecks=96120236 nbPropagations=4068359 nbRevisions=56994115 nbUselessRevisions=46293637
16.56 nbAssignments=74289 nbFailedAssignments=29839 nbBacktracks=44329 nbVisitedNodes=129607 nbRestartNogoods=97
16.56 => wckTime=15.716 cpuTime=15.49 mem=14M898
24.08
24.08 search
24.08 run=19 nbConstraintChecks=141916048 nbPropagations=6071064 nbRevisions=85246934 nbUselessRevisions=69287162
24.08 nbAssignments=110485 nbFailedAssignments=43860 nbBacktracks=66497 nbVisitedNodes=192530 nbRestartNogoods=113
24.08 => wckTime=23.231 cpuTime=22.93 mem=14M898
35.59
35.59 search
35.59 run=20 nbConstraintChecks=214159546 nbPropagations=9076102 nbRevisions=127355128 nbUselessRevisions=103477127
35.59 nbAssignments=165437 nbFailedAssignments=65552 nbBacktracks=99750 nbVisitedNodes=287911 nbRestartNogoods=122
35.59 => wckTime=34.745 cpuTime=34.34 mem=14M898
53.51
53.51 search
53.51 run=21 nbConstraintChecks=326014473 nbPropagations=13604604 nbRevisions=191491534 nbUselessRevisions=155620568
53.51 nbAssignments=248296 nbFailedAssignments=98527 nbBacktracks=149629 nbVisitedNodes=432485 nbRestartNogoods=136
53.51 => wckTime=52.668 cpuTime=52.1 mem=14M898
80.40
80.40 search
80.40 run=22 nbConstraintChecks=496034009 nbPropagations=20457168 nbRevisions=288420913 nbUselessRevisions=234395278
80.40 nbAssignments=373055 nbFailedAssignments=148460 nbBacktracks=224447 nbVisitedNodes=650787 nbRestartNogoods=144
80.40 => wckTime=79.559 cpuTime=78.73 mem=14M898
116.42
116.42 search
116.42 run=23 nbConstraintChecks=741462131 nbPropagations=30695869 nbRevisions=432764772 nbUselessRevisions=351623862
116.42 nbAssignments=557089 nbFailedAssignments=220260 nbBacktracks=336674 nbVisitedNodes=970007 nbRestartNogoods=156
116.42 => wckTime=115.579 cpuTime=114.7 mem=14M898
171.49
171.49 search
171.49 run=24 nbConstraintChecks=1122255282 nbPropagations=46084234 nbRevisions=650944269 nbUselessRevisions=528912413
171.49 nbAssignments=835304 nbFailedAssignments=330128 nbBacktracks=505015 nbVisitedNodes=1454831 nbRestartNogoods=166
171.49 => wckTime=170.645 cpuTime=169.72 mem=14M898
258.41
258.41 search
258.41 run=25 nbConstraintChecks=1724893432 nbPropagations=69519548 nbRevisions=986128116 nbUselessRevisions=801558973
258.41 nbAssignments=1261858 nbFailedAssignments=504164 nbBacktracks=757527 nbVisitedNodes=2204383
258.41 nbRestartNogoods=179
258.41 => wckTime=257.562 cpuTime=256.54 mem=14M898
280.86
280.86 search
280.86 run=26 nbConstraintChecks=1881116508 nbPropagations=95018317 nbRevisions=1351414297
280.86 nbUselessRevisions=1098727289 nbAssignments=1371491 nbFailedAssignments=548650 nbBacktracks=822675
280.86 nbVisitedNodes=2396602 nbRestartNogoods=189
280.86 => wckTime=280.016 cpuTime=278.95 mem=14M898
280.86
280.86 global
280.86 nbConstraintChecks=1881116508 nbPropagations=95018357 nbRevisions=1351414297 nbUselessRevisions=1098727289
280.86 nbRestartNogoods=189 solvingWckTime=280.017 solvingCpuTime=278.95 expiredTime=no totalExploration=yes
280.86 nbFoundSolutions=0 globalCpuTime=279.37
280.86 => wckTime=280.546 cpuTime=279.32 mem=14M898
280.87
280.87 s UNSATISFIABLE
280.87 d NODES 1371491
280.87 d CHECKS 1881116508
280.87
280.87 totalWckTime=280.629 totalCpuTime=279.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-202478-1168072577 -o ROOT/results/node19/solver-202478-1168072577 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202478-1168072577/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.65 1.88 1.94 3/93 21913
/proc/meminfo: memFree=1147176/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=18540 CPUtime=0
/proc/21912/stat : 21912 (runsolver) R 21910 21912 21531 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155652493 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21912/statm: 4635 279 244 17 0 2626 0
[startup+0.109474 s]
/proc/loadavg: 1.65 1.88 1.94 3/93 21913
/proc/meminfo: memFree=1147176/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=914988 CPUtime=0.09
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 3019 0 1 0 8 1 0 0 17 0 8 0 155652493 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21912/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.521549 s]
/proc/loadavg: 1.65 1.88 1.94 3/93 21913
/proc/meminfo: memFree=1147176/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915328 CPUtime=0.5
/proc/21912/stat : 21912 (java) S 21910 21912 21531 0 -1 0 6885 0 1 0 46 4 0 0 18 0 8 0 155652493 937295872 6624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21912/statm: 228832 6624 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3477 s]
/proc/loadavg: 1.65 1.88 1.94 4/100 21920
/proc/meminfo: memFree=1123568/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915456 CPUtime=1.31
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 8633 0 1 0 126 5 0 0 20 0 8 0 155652493 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21912/statm: 228864 8371 2513 14 0 215334 0
[pid=21912/tid=21914] ppid=21910 vsize=915456 CPUtime=0.03
/proc/21912/task/21914/stat : 21914 (java) S 21910 21912 21531 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155652497 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21915] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21915/stat : 21915 (java) S 21910 21912 21531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652498 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21916] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21916/stat : 21916 (java) S 21910 21912 21531 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652498 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21917] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21917/stat : 21917 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155652501 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21918] ppid=21910 vsize=915456 CPUtime=0.21
/proc/21912/task/21918/stat : 21918 (java) S 21910 21912 21531 0 -1 64 382 0 0 0 21 0 0 0 17 0 8 0 155652501 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21919] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21919/stat : 21919 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155652501 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21920] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21920/stat : 21920 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155652501 937426944 8371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.98501 s]
/proc/loadavg: 1.75 1.90 1.95 3/100 21920
/proc/meminfo: memFree=1123312/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915456 CPUtime=2.93
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 8668 0 1 0 288 5 0 0 25 0 8 0 155652493 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814079 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21912/statm: 228864 8405 2513 14 0 215334 0
[pid=21912/tid=21914] ppid=21910 vsize=915456 CPUtime=0.03
/proc/21912/task/21914/stat : 21914 (java) S 21910 21912 21531 0 -1 64 287 0 0 0 3 0 0 0 17 0 8 0 155652497 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21915] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21915/stat : 21915 (java) S 21910 21912 21531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652498 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21916] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21916/stat : 21916 (java) S 21910 21912 21531 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652498 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21917] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21917/stat : 21917 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155652501 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21918] ppid=21910 vsize=915456 CPUtime=0.23
/proc/21912/task/21918/stat : 21918 (java) S 21910 21912 21531 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 155652501 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21919] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21919/stat : 21919 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155652501 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21920] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21920/stat : 21920 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155652501 937426944 8405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.28163 s]
/proc/loadavg: 1.75 1.90 1.95 3/100 21920
/proc/meminfo: memFree=1123248/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915456 CPUtime=6.21
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 8676 0 1 0 615 6 0 0 25 0 8 0 155652493 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21912/statm: 228864 8412 2513 14 0 215334 0
[pid=21912/tid=21914] ppid=21910 vsize=915456 CPUtime=0.03
/proc/21912/task/21914/stat : 21914 (java) S 21910 21912 21531 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155652497 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21915] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21915/stat : 21915 (java) S 21910 21912 21531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652498 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21916] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21916/stat : 21916 (java) S 21910 21912 21531 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652498 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21917] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21917/stat : 21917 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155652501 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21918] ppid=21910 vsize=915456 CPUtime=0.23
/proc/21912/task/21918/stat : 21918 (java) S 21910 21912 21531 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 155652501 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21919] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21919/stat : 21919 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155652501 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21920] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21920/stat : 21920 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155652501 937426944 8412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456
[startup+12.7558 s]
/proc/loadavg: 1.79 1.90 1.95 3/100 21920
/proc/meminfo: memFree=1123312/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915456 CPUtime=12.62
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 8682 0 1 0 1256 6 0 0 25 0 8 0 155652493 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21912/statm: 228864 8417 2513 14 0 215334 0
[pid=21912/tid=21914] ppid=21910 vsize=915456 CPUtime=0.03
/proc/21912/task/21914/stat : 21914 (java) S 21910 21912 21531 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155652497 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21915] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21915/stat : 21915 (java) S 21910 21912 21531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652498 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21916] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21916/stat : 21916 (java) S 21910 21912 21531 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652498 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21917] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21917/stat : 21917 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155652501 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21918] ppid=21910 vsize=915456 CPUtime=0.23
/proc/21912/task/21918/stat : 21918 (java) S 21910 21912 21531 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 155652501 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21919] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21919/stat : 21919 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155652501 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21920] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21920/stat : 21920 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155652501 937426944 8417 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456
[startup+25.6103 s]
/proc/loadavg: 1.82 1.91 1.95 3/100 21920
/proc/meminfo: memFree=1123312/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915456 CPUtime=25.36
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 8688 0 1 0 2530 6 0 0 25 0 8 0 155652493 937426944 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21912/statm: 228864 8423 2513 14 0 215334 0
[pid=21912/tid=21914] ppid=21910 vsize=915456 CPUtime=0.03
/proc/21912/task/21914/stat : 21914 (java) S 21910 21912 21531 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155652497 937426944 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21915] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21915/stat : 21915 (java) S 21910 21912 21531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652498 937426944 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21916] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21916/stat : 21916 (java) S 21910 21912 21531 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652498 937426944 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21917] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21917/stat : 21917 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155652501 937426944 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21918] ppid=21910 vsize=915456 CPUtime=0.23
/proc/21912/task/21918/stat : 21918 (java) S 21910 21912 21531 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 155652501 937426944 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21919] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21919/stat : 21919 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155652501 937426944 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21920] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21920/stat : 21920 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155652501 937426944 8423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915456
[startup+51.2201 s]
/proc/loadavg: 1.88 1.91 1.95 3/100 21920
/proc/meminfo: memFree=1123376/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915456 CPUtime=50.72
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 8690 0 1 0 5066 6 0 0 25 0 8 0 155652493 937426944 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21912/statm: 228864 8425 2513 14 0 215334 0
[pid=21912/tid=21914] ppid=21910 vsize=915456 CPUtime=0.03
/proc/21912/task/21914/stat : 21914 (java) S 21910 21912 21531 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155652497 937426944 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21915] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21915/stat : 21915 (java) S 21910 21912 21531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652498 937426944 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21916] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21916/stat : 21916 (java) S 21910 21912 21531 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652498 937426944 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21917] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21917/stat : 21917 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155652501 937426944 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21918] ppid=21910 vsize=915456 CPUtime=0.23
/proc/21912/task/21918/stat : 21918 (java) S 21910 21912 21531 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 155652501 937426944 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21919] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21919/stat : 21919 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155652501 937426944 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21920] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21920/stat : 21920 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155652501 937426944 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915456
[startup+102.432 s]
/proc/loadavg: 1.89 1.91 1.94 3/100 21976
/proc/meminfo: memFree=1241456/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915456 CPUtime=101.61
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 8695 0 1 0 10154 7 0 0 25 0 8 0 155652493 937426944 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21912/statm: 228864 8430 2513 14 0 215334 0
[pid=21912/tid=21914] ppid=21910 vsize=915456 CPUtime=0.03
/proc/21912/task/21914/stat : 21914 (java) S 21910 21912 21531 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155652497 937426944 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21915] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21915/stat : 21915 (java) S 21910 21912 21531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652498 937426944 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21916] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21916/stat : 21916 (java) S 21910 21912 21531 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652498 937426944 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21917] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21917/stat : 21917 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155652501 937426944 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21918] ppid=21910 vsize=915456 CPUtime=0.23
/proc/21912/task/21918/stat : 21918 (java) S 21910 21912 21531 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 155652501 937426944 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21919] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21919/stat : 21919 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155652501 937426944 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21920] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21920/stat : 21920 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155652501 937426944 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 915456
[startup+162.474 s]
/proc/loadavg: 1.96 1.92 1.94 3/100 21976
/proc/meminfo: memFree=1241520/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915456 CPUtime=161.6
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 8697 0 1 0 16153 7 0 0 25 0 8 0 155652493 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806631 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21912/statm: 228864 8432 2513 14 0 215334 0
[pid=21912/tid=21914] ppid=21910 vsize=915456 CPUtime=0.03
/proc/21912/task/21914/stat : 21914 (java) S 21910 21912 21531 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155652497 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21915] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21915/stat : 21915 (java) S 21910 21912 21531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652498 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21916] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21916/stat : 21916 (java) S 21910 21912 21531 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652498 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21917] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21917/stat : 21917 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155652501 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21918] ppid=21910 vsize=915456 CPUtime=0.23
/proc/21912/task/21918/stat : 21918 (java) S 21910 21912 21531 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 155652501 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21919] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21919/stat : 21919 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155652501 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21920] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21920/stat : 21920 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155652501 937426944 8432 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.6
Current children cumulated vsize (KiB) 915456
[startup+222.521 s]
/proc/loadavg: 2.02 1.95 1.95 3/100 21976
/proc/meminfo: memFree=1241456/2055920 swapFree=4171232/4192956
[pid=21912] ppid=21910 vsize=915456 CPUtime=221.6
/proc/21912/stat : 21912 (java) R 21910 21912 21531 0 -1 0 8700 0 1 0 22152 8 0 0 25 0 8 0 155652493 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21912/statm: 228864 8435 2513 14 0 215334 0
[pid=21912/tid=21914] ppid=21910 vsize=915456 CPUtime=0.03
/proc/21912/task/21914/stat : 21914 (java) S 21910 21912 21531 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155652497 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21915] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21915/stat : 21915 (java) S 21910 21912 21531 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155652498 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21916] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21916/stat : 21916 (java) S 21910 21912 21531 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155652498 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21917] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21917/stat : 21917 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155652501 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21918] ppid=21910 vsize=915456 CPUtime=0.23
/proc/21912/task/21918/stat : 21918 (java) S 21910 21912 21531 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 155652501 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21919] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21919/stat : 21919 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155652501 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21912/tid=21920] ppid=21910 vsize=915456 CPUtime=0
/proc/21912/task/21920/stat : 21920 (java) S 21910 21912 21531 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155652501 937426944 8435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.6
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 280.902
CPU time (s): 279.873
CPU user time (s): 279.785
CPU system time (s): 0.087986
CPU usage (%): 99.6337
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 279.785
system time used= 0.087986
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= 6510
involuntary context switches= 11331
runsolver used 0.339948 s user time and 0.91686 s system time
The end
Begin job on node19 on Sat Jan 6 08:36:17 UTC 2007
IDJOB= 202478
IDBENCH= 3860
FILE ID= node19/202478-1168072577
PBS_JOBID= 3475746
Free space on /tmp= 66307 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202478-1168072577/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-202478-1168072577 -o ROOT/results/node19/solver-202478-1168072577 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202478-1168072577/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 88f7b2436b540d3b866e9a5fd2fd8d7c
RANDOM SEED= 729463047
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.260
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.260
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1147656 kB
Buffers: 70008 kB
Cached: 562624 kB
SwapCached: 10036 kB
Active: 411120 kB
Inactive: 396152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1147656 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 194044 kB
Slab: 85260 kB
Committed_AS: 4354612 kB
PageTables: 2692 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= 66310 MiB
End job on node19 on Sat Jan 6 08:41:00 UTC 2007