0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=esac.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/202854-1168154601/unknown.xml
0.46
0.46 domains being loaded...
0.47
0.47 variables being loaded...
0.50 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.50 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.50
0.50 relations being loaded...
0.62
0.62 constraints being loaded...
0.74 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3198 maxDegree=26
0.74 maxArity=2
0.74 => wckTime=0.338 cpuTime=0.24 mem=13M779
0.78
0.78 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.552 cpuTime=0.38 mem=15M27
1.01
1.01 preprocessing
1.01 nbConstraintChecks=70519 nbPropagations=928 nbRevisions=7252 nbUselessRevisions=6024 nbSingletonTests=53
1.01 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.01 => wckTime=0.055 cpuTime=0.04 mem=15M27
1.03
1.03 search
1.03 run=0 nbConstraintChecks=36118 nbPropagations=1471 nbRevisions=14017 nbUselessRevisions=11570 nbAssignments=26
1.03 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.082 cpuTime=0.05 mem=15M27
1.05
1.05 search
1.05 run=1 nbConstraintChecks=72531 nbPropagations=3498 nbRevisions=34641 nbUselessRevisions=28670 nbAssignments=57
1.05 nbFailedAssignments=17 nbBacktracks=25 nbVisitedNodes=90 nbRestartNogoods=4 mapSize=21 nbInferences=0
1.05 nbTooLargeKeys=0
1.05 => wckTime=0.101 cpuTime=0.06 mem=15M27
1.07
1.07 search
1.07 run=2 nbConstraintChecks=138352 nbPropagations=6498 nbRevisions=67579 nbUselessRevisions=55822
1.07 nbAssignments=106 nbFailedAssignments=35 nbBacktracks=47 nbVisitedNodes=170 nbRestartNogoods=6 mapSize=41
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.12 cpuTime=0.08 mem=15M27
1.09
1.09 search
1.09 run=3 nbConstraintChecks=217984 nbPropagations=10654 nbRevisions=115558 nbUselessRevisions=95200
1.09 nbAssignments=167 nbFailedAssignments=54 nbBacktracks=82 nbVisitedNodes=272 nbRestartNogoods=10 mapSize=69
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.138 cpuTime=0.1 mem=15M27
1.11
1.11 search
1.11 run=4 nbConstraintChecks=305110 nbPropagations=16105 nbRevisions=181480 nbUselessRevisions=149237
1.11 nbAssignments=247 nbFailedAssignments=79 nbBacktracks=133 nbVisitedNodes=402 nbRestartNogoods=14 mapSize=106
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.16 cpuTime=0.12 mem=15M27
1.16
1.16 search
1.16 run=5 nbConstraintChecks=460088 nbPropagations=23789 nbRevisions=278710 nbUselessRevisions=229095
1.16 nbAssignments=378 nbFailedAssignments=128 nbBacktracks=208 nbVisitedNodes=625 nbRestartNogoods=15 mapSize=171
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.204 cpuTime=0.15 mem=15M27
1.21
1.21 search
1.21 run=6 nbConstraintChecks=700890 nbPropagations=35079 nbRevisions=425965 nbUselessRevisions=349543
1.21 nbAssignments=587 nbFailedAssignments=215 nbBacktracks=324 nbVisitedNodes=985 nbRestartNogoods=18 mapSize=266
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.26 cpuTime=0.2 mem=15M27
1.29
1.29 search
1.29 run=7 nbConstraintChecks=1082749 nbPropagations=51588 nbRevisions=649895 nbUselessRevisions=532737
1.29 nbAssignments=896 nbFailedAssignments=345 nbBacktracks=494 nbVisitedNodes=1524 nbRestartNogoods=23 mapSize=415
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.336 cpuTime=0.27 mem=15M27
1.40
1.40 search
1.40 run=8 nbConstraintChecks=1658742 nbPropagations=75826 nbRevisions=982919 nbUselessRevisions=804172
1.40 nbAssignments=1333 nbFailedAssignments=518 nbBacktracks=750 nbVisitedNodes=2274 nbRestartNogoods=32
1.40 mapSize=621 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.449 cpuTime=0.38 mem=15M27
1.58
1.58 search
1.58 run=9 nbConstraintChecks=2530511 nbPropagations=111961 nbRevisions=1492670 nbUselessRevisions=1219788
1.58 nbAssignments=2020 nbFailedAssignments=813 nbBacktracks=1134 nbVisitedNodes=3479 nbRestartNogoods=40
1.58 mapSize=939 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.626 cpuTime=0.54 mem=15M27
1.63
1.63 INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=15M27)
1.78
1.78 search
1.78 run=10 nbConstraintChecks=3588460 nbPropagations=163740 nbRevisions=2219905 nbUselessRevisions=1813013
1.78 nbAssignments=2943 nbFailedAssignments=1152 nbBacktracks=1711 nbVisitedNodes=5039 nbRestartNogoods=47
1.78 => wckTime=0.829 cpuTime=0.74 mem=15M27
2.08
2.08 search
2.08 run=11 nbConstraintChecks=5395368 nbPropagations=240444 nbRevisions=3306167 nbUselessRevisions=2698046
2.08 nbAssignments=4350 nbFailedAssignments=1690 nbBacktracks=2576 nbVisitedNodes=7460 nbRestartNogoods=52
2.08 => wckTime=1.133 cpuTime=1.04 mem=15M27
2.57
2.57 search
2.57 run=12 nbConstraintChecks=8257864 nbPropagations=356982 nbRevisions=4965564 nbUselessRevisions=4048222
2.57 nbAssignments=6575 nbFailedAssignments=2611 nbBacktracks=3873 nbVisitedNodes=11341 nbRestartNogoods=55
2.57 => wckTime=1.62 cpuTime=1.52 mem=15M27
3.25
3.25 search
3.25 run=13 nbConstraintChecks=12399174 nbPropagations=530192 nbRevisions=7431850 nbUselessRevisions=6053934
3.25 nbAssignments=9738 nbFailedAssignments=3805 nbBacktracks=5819 nbVisitedNodes=16720 nbRestartNogoods=64
3.25 => wckTime=2.297 cpuTime=2.2 mem=15M27
4.27
4.27 search
4.27 run=14 nbConstraintChecks=18395154 nbPropagations=789815 nbRevisions=11142671 nbUselessRevisions=9077923
4.27 nbAssignments=14605 nbFailedAssignments=5745 nbBacktracks=8740 nbVisitedNodes=25178 nbRestartNogoods=73
4.27 => wckTime=3.323 cpuTime=3.21 mem=15M27
5.97
5.97 search
5.97 run=15 nbConstraintChecks=28741160 nbPropagations=1185959 nbRevisions=16869625 nbUselessRevisions=13743968
5.97 nbAssignments=22191 nbFailedAssignments=8949 nbBacktracks=13118 nbVisitedNodes=38499 nbRestartNogoods=80
5.97 => wckTime=5.014 cpuTime=4.88 mem=15M27
8.16
8.16 search
8.16 run=16 nbConstraintChecks=41450368 nbPropagations=1768852 nbRevisions=25232152 nbUselessRevisions=20559931
8.16 nbAssignments=32784 nbFailedAssignments=12966 nbBacktracks=19686 nbVisitedNodes=56661 nbRestartNogoods=87
8.16 => wckTime=7.206 cpuTime=7.05 mem=15M27
11.89
11.89 search
11.89 run=17 nbConstraintChecks=64365227 nbPropagations=2658335 nbRevisions=38089015 nbUselessRevisions=31036130
11.89 nbAssignments=49556 nbFailedAssignments=19878 nbBacktracks=29539 nbVisitedNodes=86038 nbRestartNogoods=100
11.89 => wckTime=10.942 cpuTime=10.75 mem=16M2
17.07
17.07 search
17.07 run=18 nbConstraintChecks=95350258 nbPropagations=3984936 nbRevisions=57251814 nbUselessRevisions=46660360
17.07 nbAssignments=73861 nbFailedAssignments=29395 nbBacktracks=44320 nbVisitedNodes=128220 nbRestartNogoods=115
17.07 => wckTime=16.121 cpuTime=15.88 mem=16M2
25.63
25.64 search
25.64 run=19 nbConstraintChecks=147317528 nbPropagations=6016848 nbRevisions=86837511 nbUselessRevisions=70795588
25.64 nbAssignments=112343 nbFailedAssignments=45689 nbBacktracks=66489 nbVisitedNodes=196210 nbRestartNogoods=126
25.64 => wckTime=24.684 cpuTime=24.37 mem=16M2
37.22
37.22 search
37.22 run=20 nbConstraintChecks=215533003 nbPropagations=9034207 nbRevisions=130643266 nbUselessRevisions=106572911
37.22 nbAssignments=167395 nbFailedAssignments=67482 nbBacktracks=99741 nbVisitedNodes=291870 nbRestartNogoods=137
37.22 => wckTime=36.27 cpuTime=35.85 mem=16M2
55.78
55.78 search
55.78 run=21 nbConstraintChecks=329323313 nbPropagations=13578995 nbRevisions=196716461 nbUselessRevisions=160487273
55.78 nbAssignments=250566 nbFailedAssignments=100768 nbBacktracks=149619 nbVisitedNodes=436854 nbRestartNogoods=156
55.78 => wckTime=54.826 cpuTime=54.23 mem=16M2
82.24
82.24 search
82.24 run=22 nbConstraintChecks=487961712 nbPropagations=20345078 nbRevisions=294948321 nbUselessRevisions=240676775
82.24 nbAssignments=374389 nbFailedAssignments=149767 nbBacktracks=224437 nbVisitedNodes=652005 nbRestartNogoods=178
82.24 => wckTime=81.287 cpuTime=80.45 mem=16M2
123.16
123.16 search
123.16 run=23 nbConstraintChecks=735357708 nbPropagations=30521960 nbRevisions=443046019 nbUselessRevisions=361643375
123.16 nbAssignments=561773 nbFailedAssignments=224917 nbBacktracks=336664 nbVisitedNodes=978349 nbRestartNogoods=193
123.16 => wckTime=122.211 cpuTime=121.01 mem=16M2
180.50
180.50 search
180.50 run=24 nbConstraintChecks=1111899347 nbPropagations=45845264 nbRevisions=666703661 nbUselessRevisions=544382737
180.50 nbAssignments=841475 nbFailedAssignments=336272 nbBacktracks=505005 nbVisitedNodes=1465748 nbRestartNogoods=198
180.50 => wckTime=179.545 cpuTime=178.22 mem=16M2
229.63
229.63 search
229.63 run=25 nbConstraintChecks=1434396261 nbPropagations=65658899 nbRevisions=955522769 nbUselessRevisions=780337712
229.63 nbAssignments=1086944 nbFailedAssignments=432145 nbBacktracks=654561 nbVisitedNodes=1891177
229.63 nbRestartNogoods=210
229.63 => wckTime=228.681 cpuTime=227.3 mem=16M2
229.63
229.63 global
229.63 nbConstraintChecks=1434466780 nbPropagations=65659827 nbRevisions=955530021 nbUselessRevisions=780343736
229.63 nbRestartNogoods=210 solvingWckTime=228.682 solvingCpuTime=227.3 expiredTime=no totalExploration=no
229.63 nbFoundSolutions=1 globalCpuTime=227.73
229.63 => wckTime=229.237 cpuTime=227.68 mem=16M2
229.64
229.64 s SATISFIABLE
229.64 v 10 18 16 13 14 16 8 5 1 13 7 9 4 11 17 17 5 13 12 18 1 5 13 13 1 17 13 15 9 16 0 3 4 16 2 18 9 4 15 15
229.64 d NODES 1086944
229.64 d CHECKS 1434466780
229.64
229.64 totalWckTime=229.322 totalCpuTime=227.73
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-202854-1168154601 -o ROOT/results/node6/solver-202854-1168154601 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202854-1168154601/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.93 2.00 1.99 4/95 3712
/proc/meminfo: memFree=1369056/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=18540 CPUtime=0
/proc/3711/stat : 3711 (runsolver) D 3709 3711 2983 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 163855557 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/3711/statm: 4635 279 244 17 0 2626 0
[startup+0.102743 s]
/proc/loadavg: 1.93 2.00 1.99 4/95 3712
/proc/meminfo: memFree=1369056/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=905992 CPUtime=0.01
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 1866 0 1 0 0 1 0 0 17 0 1 0 163855557 927735808 1615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643171 0 4 0 7368 0 0 0 17 1 0 0
/proc/3711/statm: 226498 1615 949 14 0 214081 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 905992
[startup+0.511783 s]
/proc/loadavg: 1.93 2.00 1.99 4/95 3712
/proc/meminfo: memFree=1369056/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915328 CPUtime=0.42
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 6127 0 1 0 37 5 0 0 18 0 8 0 163855557 937295872 5866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228832 5866 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.33288 s]
/proc/loadavg: 1.93 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1345128/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=1.22
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8717 0 1 0 115 7 0 0 23 0 8 0 163855557 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8455 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.22
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 377 0 0 0 21 1 0 0 15 0 8 0 163855572 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915456
[startup+2.97007 s]
/proc/loadavg: 1.93 2.00 1.99 4/102 3719
/proc/meminfo: memFree=1344808/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=2.86
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8776 0 1 0 278 8 0 0 25 0 8 0 163855557 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8513 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 17 0 8 0 163855568 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 163855572 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915456
[startup+6.25845 s]
/proc/loadavg: 1.94 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344680/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=6.11
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8784 0 1 0 603 8 0 0 25 0 8 0 163855557 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8520 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 163855572 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915456
[startup+12.7382 s]
/proc/loadavg: 1.94 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344808/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=12.53
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8791 0 1 0 1245 8 0 0 25 0 8 0 163855557 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8526 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915456
[startup+25.6112 s]
/proc/loadavg: 1.95 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344808/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=25.29
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8793 0 1 0 2521 8 0 0 25 0 8 0 163855557 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8528 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915456
[startup+51.2472 s]
/proc/loadavg: 1.97 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344872/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=50.68
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8798 0 1 0 5060 8 0 0 25 0 8 0 163855557 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8533 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915456
[startup+102.515 s]
/proc/loadavg: 1.98 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344872/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=101.48
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8803 0 1 0 10140 8 0 0 25 0 8 0 163855557 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8538 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915456
[startup+162.517 s]
/proc/loadavg: 1.94 1.98 1.99 3/95 3784
/proc/meminfo: memFree=1446688/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=161.18
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8806 0 1 0 16109 9 0 0 25 0 8 0 163855557 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3711/statm: 228864 8541 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.18
Current children cumulated vsize (KiB) 915456
[startup+222.544 s]
/proc/loadavg: 1.98 1.98 1.99 3/95 3784
/proc/meminfo: memFree=1442912/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=221.16
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8808 0 1 0 22106 10 0 0 25 0 8 0 163855557 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3711/statm: 228864 8543 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 229.662
CPU time (s): 228.26
CPU user time (s): 228.15
CPU system time (s): 0.109983
CPU usage (%): 99.3898
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.15
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8901
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= 5771
involuntary context switches= 11271
runsolver used 0.300954 s user time and 0.729889 s system time
The end
Begin job on node6 on Sun Jan 7 07:23:21 UTC 2007
IDJOB= 202854
IDBENCH= 3889
FILE ID= node6/202854-1168154601
PBS_JOBID= 3478228
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202854-1168154601/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-202854-1168154601 -o ROOT/results/node6/solver-202854-1168154601 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202854-1168154601/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e1305f5623c59db0134743690ebda389
RANDOM SEED= 258573156
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.240
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.240
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: 2055924 kB
MemFree: 1369536 kB
Buffers: 60720 kB
Cached: 385316 kB
SwapCached: 2424 kB
Active: 209180 kB
Inactive: 392808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1369536 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1964 kB
Writeback: 0 kB
Mapped: 174592 kB
Slab: 68636 kB
Committed_AS: 5336756 kB
PageTables: 2700 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= 66546 MiB
End job on node6 on Sun Jan 7 07:27:11 UTC 2007