0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/221680-1168260754/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=864 maxDegree=23
0.64 maxArity=2
0.64 => wckTime=0.325 cpuTime=0.23 mem=13M794
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.53 cpuTime=0.36 mem=15M99
0.90
0.90 preprocessing
0.90 nbConstraintChecks=48142 nbPropagations=628 nbRevisions=6408 nbUselessRevisions=5598 nbSingletonTests=31
0.90 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.045 cpuTime=0.03 mem=15M99
0.92
0.92 search
0.92 run=0 nbConstraintChecks=31821 nbPropagations=1026 nbRevisions=12707 nbUselessRevisions=11121 nbAssignments=25
0.92 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.068 cpuTime=0.05 mem=15M99
0.94
0.94 search
0.94 run=1 nbConstraintChecks=76823 nbPropagations=2577 nbRevisions=34636 nbUselessRevisions=30227 nbAssignments=59
0.94 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=104 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.087 cpuTime=0.06 mem=15M99
0.96
0.96 search
0.96 run=2 nbConstraintChecks=137601 nbPropagations=4879 nbRevisions=69702 nbUselessRevisions=60598
0.96 nbAssignments=110 nbFailedAssignments=48 nbBacktracks=48 nbVisitedNodes=196 nbRestartNogoods=5 mapSize=47
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.106 cpuTime=0.07 mem=15M99
0.98
0.98 search
0.98 run=3 nbConstraintChecks=229463 nbPropagations=8263 nbRevisions=124860 nbUselessRevisions=108434
0.98 nbAssignments=183 nbFailedAssignments=82 nbBacktracks=82 nbVisitedNodes=328 nbRestartNogoods=6 mapSize=81
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.129 cpuTime=0.09 mem=15M99
1.01
1.01 search
1.01 run=4 nbConstraintChecks=369584 nbPropagations=13239 nbRevisions=210244 nbUselessRevisions=182558
1.01 nbAssignments=288 nbFailedAssignments=132 nbBacktracks=132 nbVisitedNodes=520 nbRestartNogoods=10 mapSize=131
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.157 cpuTime=0.12 mem=15M99
1.05
1.05 search
1.05 run=5 nbConstraintChecks=578587 nbPropagations=20520 nbRevisions=340220 nbUselessRevisions=295215
1.05 nbAssignments=440 nbFailedAssignments=203 nbBacktracks=207 nbVisitedNodes=796 nbRestartNogoods=14 mapSize=203
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.2 cpuTime=0.16 mem=15M99
1.11
1.11 search
1.11 run=6 nbConstraintChecks=872702 nbPropagations=31354 nbRevisions=537876 nbUselessRevisions=466440
1.11 nbAssignments=678 nbFailedAssignments=323 nbBacktracks=320 nbVisitedNodes=1240 nbRestartNogoods=20 mapSize=313
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.257 cpuTime=0.21 mem=15M99
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1316435 nbPropagations=47432 nbRevisions=837769 nbUselessRevisions=726468
1.20 nbAssignments=1021 nbFailedAssignments=490 nbBacktracks=490 nbVisitedNodes=1879 nbRestartNogoods=22
1.20 mapSize=480 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.344 cpuTime=0.29 mem=15M99
1.34
1.34 search
1.34 run=8 nbConstraintChecks=1999459 nbPropagations=71422 nbRevisions=1293705 nbUselessRevisions=1121767
1.34 nbAssignments=1550 nbFailedAssignments=758 nbBacktracks=746 nbVisitedNodes=2873 nbRestartNogoods=33
1.34 mapSize=734 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.484 cpuTime=0.41 mem=15M99
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=15M99)
1.50
1.50 search
1.50 run=9 nbConstraintChecks=2986165 nbPropagations=106766 nbRevisions=1974608 nbUselessRevisions=1712365
1.50 nbAssignments=2308 nbFailedAssignments=1127 nbBacktracks=1130 nbVisitedNodes=4285 nbRestartNogoods=43
1.50 => wckTime=0.649 cpuTime=0.57 mem=15M99
1.76
1.76 search
1.76 run=10 nbConstraintChecks=4554977 nbPropagations=159690 nbRevisions=3007848 nbUselessRevisions=2608067
1.76 nbAssignments=3477 nbFailedAssignments=1714 nbBacktracks=1706 nbVisitedNodes=6470 nbRestartNogoods=47
1.76 => wckTime=0.908 cpuTime=0.81 mem=15M99
2.10
2.10 search
2.10 run=11 nbConstraintChecks=6782122 nbPropagations=238308 nbRevisions=4550778 nbUselessRevisions=3946810
2.10 nbAssignments=5204 nbFailedAssignments=2562 nbBacktracks=2570 nbVisitedNodes=9658 nbRestartNogoods=61
2.10 => wckTime=1.252 cpuTime=1.16 mem=15M99
2.65
2.65 search
2.65 run=12 nbConstraintChecks=10432156 nbPropagations=356766 nbRevisions=6898577 nbUselessRevisions=5983481
2.65 nbAssignments=7795 nbFailedAssignments=3850 nbBacktracks=3868 nbVisitedNodes=14513 nbRestartNogoods=71
2.65 => wckTime=1.798 cpuTime=1.7 mem=15M99
3.43
3.43 search
3.43 run=13 nbConstraintChecks=15512578 nbPropagations=532936 nbRevisions=10398381 nbUselessRevisions=9020146
3.43 nbAssignments=11628 nbFailedAssignments=5731 nbBacktracks=5814 nbVisitedNodes=21663 nbRestartNogoods=83
3.43 => wckTime=2.578 cpuTime=2.47 mem=15M99
4.60
4.60 search
4.60 run=14 nbConstraintChecks=23190831 nbPropagations=795445 nbRevisions=15625112 nbUselessRevisions=13555493
4.60 nbAssignments=17340 nbFailedAssignments=8518 nbBacktracks=8734 nbVisitedNodes=32320 nbRestartNogoods=100
4.60 => wckTime=3.746 cpuTime=3.63 mem=15M99
6.39
6.39 search
6.39 run=15 nbConstraintChecks=34961020 nbPropagations=1189712 nbRevisions=23486380 nbUselessRevisions=20373921
6.39 nbAssignments=26059 nbFailedAssignments=12854 nbBacktracks=13112 nbVisitedNodes=48627 nbRestartNogoods=110
6.39 => wckTime=5.542 cpuTime=5.41 mem=15M99
9.07
9.07 search
9.07 run=16 nbConstraintChecks=52398442 nbPropagations=1779957 nbRevisions=35268902 nbUselessRevisions=30594327
9.07 nbAssignments=39015 nbFailedAssignments=19238 nbBacktracks=19681 nbVisitedNodes=72848 nbRestartNogoods=118
9.07 => wckTime=8.216 cpuTime=8.06 mem=15M99
13.13
13.13 search
13.13 run=17 nbConstraintChecks=79066735 nbPropagations=2667590 nbRevisions=53030412 nbUselessRevisions=46002357
13.13 nbAssignments=58621 nbFailedAssignments=28986 nbBacktracks=29534 nbVisitedNodes=109549 nbRestartNogoods=129
13.13 => wckTime=12.281 cpuTime=12.09 mem=15M99
19.07
19.07 search
19.07 run=18 nbConstraintChecks=118125825 nbPropagations=3993751 nbRevisions=79588519 nbUselessRevisions=69045952
19.07 nbAssignments=87846 nbFailedAssignments=43428 nbBacktracks=44312 nbVisitedNodes=164060 nbRestartNogoods=142
19.07 => wckTime=18.221 cpuTime=17.98 mem=15M99
28.30
28.30 search
28.30 run=19 nbConstraintChecks=179278782 nbPropagations=5995429 nbRevisions=119841050 nbUselessRevisions=103981387
28.30 nbAssignments=132286 nbFailedAssignments=65694 nbBacktracks=66481 nbVisitedNodes=247203 nbRestartNogoods=155
28.30 => wckTime=27.453 cpuTime=27.13 mem=15M99
41.81
41.81 search
41.81 run=20 nbConstraintChecks=268297559 nbPropagations=8987928 nbRevisions=180022037 nbUselessRevisions=156220228
41.81 nbAssignments=198067 nbFailedAssignments=98218 nbBacktracks=99733 nbVisitedNodes=370070 nbRestartNogoods=170
41.81 => wckTime=40.957 cpuTime=40.53 mem=15M99
62.68
62.73 search
62.73 run=21 nbConstraintChecks=407145286 nbPropagations=13502135 nbRevisions=271043340 nbUselessRevisions=235223386
62.73 nbAssignments=297973 nbFailedAssignments=148241 nbBacktracks=149611 nbVisitedNodes=557107 nbRestartNogoods=185
62.73 => wckTime=61.83 cpuTime=61.22 mem=15M99
93.78
93.78 search
93.78 run=22 nbConstraintChecks=614025620 nbPropagations=20286564 nbRevisions=408001502 nbUselessRevisions=354104419
93.78 nbAssignments=447010 nbFailedAssignments=222455 nbBacktracks=224430 nbVisitedNodes=835718 nbRestartNogoods=196
93.78 => wckTime=92.929 cpuTime=92.07 mem=15M99
140.96
140.96 search
140.96 run=23 nbConstraintChecks=929890704 nbPropagations=30503844 nbRevisions=614950261 nbUselessRevisions=533763504
140.96 nbAssignments=671415 nbFailedAssignments=334629 nbBacktracks=336657 nbVisitedNodes=1255621 nbRestartNogoods=204
140.96 => wckTime=140.112 cpuTime=138.85 mem=15M99
212.41
212.41 search
212.41 run=24 nbConstraintChecks=1409600724 nbPropagations=45898064 nbRevisions=928041037 nbUselessRevisions=805631891
212.41 nbAssignments=1008157 nbFailedAssignments=503027 nbBacktracks=504998 nbVisitedNodes=1886045
212.41 nbRestartNogoods=217
212.41 => wckTime=211.559 cpuTime=209.71 mem=15M99
238.25
238.25 search
238.25 run=25 nbConstraintChecks=1583957870 nbPropagations=63155663 nbRevisions=1279631368
238.25 nbUselessRevisions=1110968719 nbAssignments=1128656 nbFailedAssignments=563541 nbBacktracks=564984
238.25 nbVisitedNodes=2111707 nbRestartNogoods=222
238.25 => wckTime=237.4 cpuTime=235.33 mem=15M99
238.25
238.25 global
238.25 nbConstraintChecks=1584006012 nbPropagations=63156291 nbRevisions=1279637776 nbUselessRevisions=1110974317
238.25 nbRestartNogoods=222 solvingWckTime=237.402 solvingCpuTime=235.33 expiredTime=no totalExploration=yes
238.25 nbFoundSolutions=0 globalCpuTime=235.74
238.25 => wckTime=237.935 cpuTime=235.69 mem=15M99
238.26
238.26 s UNSATISFIABLE
238.26 d NODES 1128656
238.26 d CHECKS 1584006012
238.26
238.26 totalWckTime=238.018 totalCpuTime=235.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-221680-1168260754 -o ROOT/results/node6/solver-221680-1168260754 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221680-1168260754/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.05 1.59 1.36 4/86 20360
/proc/meminfo: memFree=1667240/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=9748 CPUtime=0
/proc/20359/stat : 20359 (java) D 20357 20359 19919 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 174470805 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2188068 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/20359/statm: 2437 412 333 14 0 1140 0
[startup+0.104162 s]
/proc/loadavg: 2.05 1.59 1.36 4/86 20360
/proc/meminfo: memFree=1667240/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=914988 CPUtime=0.08
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 2967 0 1 0 7 1 0 0 17 0 8 0 174470805 936947712 2713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155608255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228747 2713 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512208 s]
/proc/loadavg: 2.05 1.59 1.36 4/86 20360
/proc/meminfo: memFree=1667240/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915328 CPUtime=0.49
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 6849 0 1 0 45 4 0 0 18 0 8 0 174470805 937295872 6588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228832 6588 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3383 s]
/proc/loadavg: 2.05 1.59 1.36 4/93 20367
/proc/meminfo: memFree=1643312/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=1.29
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8715 0 1 0 124 5 0 0 24 0 8 0 174470805 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8453 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.23
/proc/20359/task/20365/stat : 20365 (java) R 20357 20359 19919 0 -1 64 381 0 0 0 23 0 0 0 16 0 8 0 174470813 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153329027 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.99149 s]
/proc/loadavg: 2.05 1.59 1.36 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=2.93
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8746 0 1 0 288 5 0 0 25 0 8 0 174470805 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8483 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 174470809 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 389 0 0 0 24 0 0 0 15 0 8 0 174470813 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8483 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) 915452
[startup+6.27988 s]
/proc/loadavg: 2.05 1.59 1.36 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=6.19
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8751 0 1 0 614 5 0 0 25 0 8 0 174470805 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8487 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 389 0 0 0 24 0 0 0 15 0 8 0 174470813 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.7666 s]
/proc/loadavg: 2.04 1.61 1.37 3/93 20367
/proc/meminfo: memFree=1642928/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=12.63
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8759 0 1 0 1258 5 0 0 25 0 8 0 174470805 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8494 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915452
[startup+25.6041 s]
/proc/loadavg: 2.03 1.62 1.37 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=25.36
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8764 0 1 0 2530 6 0 0 25 0 8 0 174470805 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8499 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8499 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) 915452
[startup+51.2121 s]
/proc/loadavg: 2.02 1.65 1.39 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=50.75
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8769 0 1 0 5069 6 0 0 25 0 8 0 174470805 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8504 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915452
[startup+102.422 s]
/proc/loadavg: 2.01 1.70 1.42 3/93 20367
/proc/meminfo: memFree=1642992/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=101.53
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8774 0 1 0 10147 6 0 0 25 0 8 0 174470805 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8509 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915452
[startup+162.47 s]
/proc/loadavg: 2.00 1.75 1.45 3/93 20367
/proc/meminfo: memFree=1642928/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=161.08
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8776 0 1 0 16101 7 0 0 25 0 8 0 174470805 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8511 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.08
Current children cumulated vsize (KiB) 915452
[startup+222.525 s]
/proc/loadavg: 2.00 1.79 1.48 3/93 20367
/proc/meminfo: memFree=1642928/2055924 swapFree=4165672/4192956
[pid=20359] ppid=20357 vsize=915452 CPUtime=220.63
/proc/20359/stat : 20359 (java) R 20357 20359 19919 0 -1 0 8779 0 1 0 22056 7 0 0 25 0 8 0 174470805 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20359/statm: 228863 8514 2524 14 0 215333 0
[pid=20359/tid=20361] ppid=20357 vsize=915452 CPUtime=0.03
/proc/20359/task/20361/stat : 20361 (java) S 20357 20359 19919 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174470809 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20362] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20362/stat : 20362 (java) S 20357 20359 19919 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174470809 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20363] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20363/stat : 20363 (java) S 20357 20359 19919 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174470809 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20364] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20364/stat : 20364 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174470813 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20365] ppid=20357 vsize=915452 CPUtime=0.24
/proc/20359/task/20365/stat : 20365 (java) S 20357 20359 19919 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 174470813 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20366] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20366/stat : 20366 (java) S 20357 20359 19919 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174470813 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20359/tid=20367] ppid=20357 vsize=915452 CPUtime=0
/proc/20359/task/20367/stat : 20367 (java) S 20357 20359 19919 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174470813 937422848 8514 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 238.287
CPU time (s): 236.257
CPU user time (s): 236.174
CPU system time (s): 0.082987
CPU usage (%): 99.148
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 236.174
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8872
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= 5929
involuntary context switches= 13509
runsolver used 0.32495 s user time and 0.744886 s system time
The end
Begin job on node6 on Mon Jan 8 12:52:34 UTC 2007
IDJOB= 221680
IDBENCH= 5463
FILE ID= node6/221680-1168260754
PBS_JOBID= 3482442
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-51021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221680-1168260754/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-221680-1168260754 -o ROOT/results/node6/solver-221680-1168260754 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221680-1168260754/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e8a60eefe387b2ae6ebd087b125352fe
RANDOM SEED= 173910537
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: 1667720 kB
Buffers: 58204 kB
Cached: 205140 kB
SwapCached: 2944 kB
Active: 193464 kB
Inactive: 135048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1667720 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 77848 kB
Slab: 44464 kB
Committed_AS: 5411420 kB
PageTables: 2404 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= 66547 MiB
End job on node6 on Mon Jan 8 12:56:32 UTC 2007