0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/211095-1168205189/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.55 nbVariables=3736 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.55 => wckTime=0.256 cpuTime=0.18 mem=12M786
0.55
0.55 predicates being loaded...
0.56
0.56 constraints being loaded...
2.11 nbConstraints=10070 nbMergedConstraints=386 nbSingletonDomainVariables=20 nbConvertedConstraints=6658
2.11 nbConvertConstraintsChecks=20552 nbExtensionStructures=8 nbSharedExtensionStructures=6650
2.11 nbConflictsStructures=42 nbSharedConflictsStructures=10028 nbSharedBinaryRepresentations=19
2.11 nbEvaluationManagers=34 nbSharedEvaluationManagers=3378 maxDegree=110 maxArity=11
2.11 => wckTime=1.816 cpuTime=1.49 mem=21M927
2.21
2.21 solver IterativeSystematicSolver being built...
2.59 => wckTime=2.296 cpuTime=1.8 mem=61M901
12.10
12.10 preprocessing
12.10 nbConstraintChecks=160750 nbValidityChecks=50218 nbPropagations=26617 nbRevisions=114532
12.10 nbUselessRevisions=94844 nbSingletonTests=3800 nbEffectiveSingletonTests=0 nbESACBranches=15 nbRemovedValues=0
12.10 detectedInconsistency=no
12.10 => wckTime=9.503 cpuTime=9.39 mem=17M769
12.58
12.58 search
12.58 run=0 nbConstraintChecks=34910 nbValidityChecks=8399 nbPropagations=33026 nbRevisions=147593
12.58 nbUselessRevisions=121429 nbAssignments=66 nbFailedAssignments=3 nbBacktracks=18 nbVisitedNodes=72
12.58 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
12.58 => wckTime=9.983 cpuTime=9.85 mem=17M769
14.47
14.47 search
14.47 run=1 nbConstraintChecks=76492 nbValidityChecks=28849 nbPropagations=72810 nbRevisions=333975
14.47 nbUselessRevisions=274892 nbAssignments=318 nbFailedAssignments=4 nbBacktracks=36 nbVisitedNodes=322
14.47 nbRestartNogoods=2 mapSize=4 nbInferences=0 nbTooLargeKeys=0
14.47 => wckTime=11.876 cpuTime=11.74 mem=18M778
16.49
16.49 search
16.49 run=2 nbConstraintChecks=95372 nbValidityChecks=45673 nbPropagations=115820 nbRevisions=542637
16.49 nbUselessRevisions=447446 nbAssignments=586 nbFailedAssignments=6 nbBacktracks=73 nbVisitedNodes=594
16.49 nbRestartNogoods=3 mapSize=6 nbInferences=0 nbTooLargeKeys=0
16.49 => wckTime=13.889 cpuTime=13.74 mem=18M778
18.56
18.56 search
18.56 run=3 nbConstraintChecks=114300 nbValidityChecks=62827 nbPropagations=162057 nbRevisions=773755
18.56 nbUselessRevisions=639267 nbAssignments=857 nbFailedAssignments=8 nbBacktracks=112 nbVisitedNodes=869
18.56 nbRestartNogoods=5 mapSize=8 nbInferences=0 nbTooLargeKeys=0
18.56 => wckTime=15.958 cpuTime=15.77 mem=18M778
20.78
20.78 search
20.78 run=4 nbConstraintChecks=136930 nbValidityChecks=82292 nbPropagations=212058 nbRevisions=1031018
20.78 nbUselessRevisions=853487 nbAssignments=1151 nbFailedAssignments=11 nbBacktracks=176 nbVisitedNodes=1175
20.78 nbRestartNogoods=7 mapSize=19 nbInferences=0 nbTooLargeKeys=0
20.78 => wckTime=18.184 cpuTime=17.98 mem=18M778
22.96
22.96 search
22.96 run=5 nbConstraintChecks=184411 nbValidityChecks=108395 nbPropagations=270591 nbRevisions=1337771
22.96 nbUselessRevisions=1108632 nbAssignments=1452 nbFailedAssignments=31 nbBacktracks=254 nbVisitedNodes=1518
22.96 nbRestartNogoods=8 mapSize=59 nbInferences=0 nbTooLargeKeys=0
22.96 => wckTime=20.367 cpuTime=20.15 mem=19M787
25.25
25.26 search
25.26 run=6 nbConstraintChecks=223994 nbValidityChecks=129185 nbPropagations=336310 nbRevisions=1686235
25.26 nbUselessRevisions=1398026 nbAssignments=1773 nbFailedAssignments=52 nbBacktracks=367 nbVisitedNodes=1878
25.26 nbRestartNogoods=10 mapSize=96 nbInferences=0 nbTooLargeKeys=0
25.26 => wckTime=22.659 cpuTime=22.43 mem=19M787
27.98
27.98 search
27.98 run=7 nbConstraintChecks=259437 nbValidityChecks=145829 nbPropagations=408974 nbRevisions=2073415
27.98 nbUselessRevisions=1718761 nbAssignments=2156 nbFailedAssignments=76 nbBacktracks=539 nbVisitedNodes=2305
27.98 nbRestartNogoods=12 mapSize=138 nbInferences=0 nbTooLargeKeys=0
27.98 => wckTime=25.38 cpuTime=25.13 mem=19M787
30.96
30.96 search
30.96 run=8 nbConstraintChecks=329308 nbValidityChecks=177556 nbPropagations=493450 nbRevisions=2528550
30.96 nbUselessRevisions=2094992 nbAssignments=2583 nbFailedAssignments=122 nbBacktracks=799 nbVisitedNodes=2816
30.96 nbRestartNogoods=14 mapSize=221 nbInferences=0 nbTooLargeKeys=0
30.96 => wckTime=28.361 cpuTime=28.11 mem=20M795
35.20
35.20 search
35.20 run=9 nbConstraintChecks=476582 nbValidityChecks=238945 nbPropagations=605172 nbRevisions=3131015
35.20 nbUselessRevisions=2590338 nbAssignments=3183 nbFailedAssignments=180 nbBacktracks=1192 nbVisitedNodes=3528
35.20 nbRestartNogoods=15 mapSize=328 nbInferences=0 nbTooLargeKeys=0
35.20 => wckTime=32.599 cpuTime=32.33 mem=20M795
40.78
40.78 search
40.78 run=10 nbConstraintChecks=646387 nbValidityChecks=299571 nbPropagations=748911 nbRevisions=3904149
40.78 nbUselessRevisions=3222651 nbAssignments=4026 nbFailedAssignments=251 nbBacktracks=1771 nbVisitedNodes=4477
40.78 nbRestartNogoods=20 mapSize=492 nbInferences=0 nbTooLargeKeys=0
40.78 => wckTime=38.182 cpuTime=37.88 mem=21M804
47.37
47.37 search
47.37 run=11 nbConstraintChecks=865288 nbValidityChecks=382689 nbPropagations=935019 nbRevisions=4913834
47.37 nbUselessRevisions=4047416 nbAssignments=5010 nbFailedAssignments=318 nbBacktracks=2635 nbVisitedNodes=5609
47.37 nbRestartNogoods=24 mapSize=634 nbInferences=0 nbTooLargeKeys=0
47.37 => wckTime=44.774 cpuTime=44.44 mem=22M813
56.74
56.74 search
56.74 run=12 nbConstraintChecks=1340169 nbValidityChecks=541824 nbPropagations=1208752 nbRevisions=6408830
56.74 nbUselessRevisions=5265268 nbAssignments=6545 nbFailedAssignments=441 nbBacktracks=3949 nbVisitedNodes=7333
56.74 nbRestartNogoods=30 mapSize=864 nbInferences=0 nbTooLargeKeys=0
56.74 => wckTime=54.144 cpuTime=53.78 mem=24M830
63.25
63.25 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=25M839)
64.81
64.81 search
64.81 run=13 nbConstraintChecks=2140539 nbValidityChecks=796482 nbPropagations=1628092 nbRevisions=8714292
64.81 nbUselessRevisions=7138183 nbAssignments=8693 nbFailedAssignments=596 nbBacktracks=5905 nbVisitedNodes=9781
64.81 nbRestartNogoods=35
64.81 => wckTime=62.21 cpuTime=61.78 mem=25M839
69.51
69.51 search
69.51 run=14 nbConstraintChecks=3572324 nbValidityChecks=1252045 nbPropagations=2311096 nbRevisions=12455811
69.51 nbUselessRevisions=10168060 nbAssignments=12017 nbFailedAssignments=883 nbBacktracks=8839 nbVisitedNodes=13550
69.51 nbRestartNogoods=40
69.51 => wckTime=66.913 cpuTime=66.47 mem=25M839
77.70
77.70 search
77.70 run=15 nbConstraintChecks=6197191 nbValidityChecks=2216215 nbPropagations=3450209 nbRevisions=18777266
77.70 nbUselessRevisions=15285590 nbAssignments=17193 nbFailedAssignments=1565 nbBacktracks=13219
77.70 nbVisitedNodes=19974 nbRestartNogoods=49
77.70 => wckTime=75.107 cpuTime=74.63 mem=25M839
89.61
89.61 search
89.61 run=16 nbConstraintChecks=10325335 nbValidityChecks=3532902 nbPropagations=5298069 nbRevisions=29055147
89.61 nbUselessRevisions=23563617 nbAssignments=24917 nbFailedAssignments=2430 nbBacktracks=19801
89.61 nbVisitedNodes=29126 nbRestartNogoods=59
89.61 => wckTime=87.01 cpuTime=86.48 mem=25M839
98.79
98.79 search
98.79 run=17 nbConstraintChecks=11056547 nbValidityChecks=3826776 nbPropagations=7275130 nbRevisions=40102475
98.79 nbUselessRevisions=32476040 nbAssignments=35370 nbFailedAssignments=2948 nbBacktracks=29672
98.79 nbVisitedNodes=40491 nbRestartNogoods=64
98.79 => wckTime=96.191 cpuTime=95.63 mem=25M839
118.29
118.29 search
118.29 run=18 nbConstraintChecks=15900794 nbValidityChecks=5409481 nbPropagations=10148109 nbRevisions=55891880
118.29 nbUselessRevisions=45177752 nbAssignments=51574 nbFailedAssignments=4198 nbBacktracks=44475
118.29 nbVisitedNodes=59134 nbRestartNogoods=70
118.29 => wckTime=115.694 cpuTime=115.03 mem=25M839
142.62
142.62 search
142.62 run=19 nbConstraintChecks=20377671 nbValidityChecks=6794282 nbPropagations=13838832 nbRevisions=75960308
142.62 nbUselessRevisions=61256604 nbAssignments=75309 nbFailedAssignments=5485 nbBacktracks=66649
142.62 nbVisitedNodes=85442 nbRestartNogoods=80
142.62 => wckTime=140.02 cpuTime=139.26 mem=25M839
183.93
183.93 search
183.93 run=20 nbConstraintChecks=30077827 nbValidityChecks=9815287 nbPropagations=19276464 nbRevisions=105276792
183.93 nbUselessRevisions=84674908 nbAssignments=111268 nbFailedAssignments=8030 nbBacktracks=99920
183.93 nbVisitedNodes=126483 nbRestartNogoods=87
183.93 => wckTime=181.333 cpuTime=180.39 mem=25M839
241.44
241.44 search
241.44 run=21 nbConstraintChecks=41484216 nbValidityChecks=13507700 nbPropagations=26850850 nbRevisions=145980266
241.45 nbUselessRevisions=117139774 nbAssignments=165021 nbFailedAssignments=11794 nbBacktracks=149828
241.45 nbVisitedNodes=187356 nbRestartNogoods=96
241.45 => wckTime=238.849 cpuTime=237.66 mem=25M839
322.07
322.07 search
322.07 run=22 nbConstraintChecks=62144755 nbValidityChecks=20195688 nbPropagations=38213119 nbRevisions=207197424
322.07 nbUselessRevisions=165952130 nbAssignments=231061 nbFailedAssignments=17764 nbBacktracks=209796
322.07 nbVisitedNodes=264614 nbRestartNogoods=102
322.07 => wckTime=319.471 cpuTime=317.91 mem=25M839
322.07
322.07 global
322.07 nbConstraintChecks=62305505 nbValidityChecks=20245906 nbPropagations=38239736 nbRevisions=207311956
322.07 nbUselessRevisions=166046974 nbRestartNogoods=102 solvingWckTime=319.472 solvingCpuTime=317.92 expiredTime=no
322.07 totalExploration=yes nbFoundSolutions=0 globalCpuTime=319.79
322.07 => wckTime=321.776 cpuTime=319.73 mem=25M839
322.07
322.07 s UNSATISFIABLE
322.07 d NODES 231061
322.07 d CHECKS 62305505
322.07
322.07 totalWckTime=321.855 totalCpuTime=319.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-211095-1168205189 -o ROOT/results/node52/solver-211095-1168205189 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211095-1168205189/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.25 1.06 1.02 4/74 1507
/proc/meminfo: memFree=1730744/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=1784 CPUtime=0
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 354 0 0 0 0 0 0 0 18 0 1 0 168917383 1826816 147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/1506/statm: 447 159 123 14 0 92 0
[startup+0.107053 s]
/proc/loadavg: 1.25 1.06 1.02 4/74 1507
/proc/meminfo: memFree=1730744/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=914988 CPUtime=0.09
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 3102 0 1 0 8 1 0 0 22 0 8 0 168917383 936947712 2849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228747 2850 1464 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515076 s]
/proc/loadavg: 1.25 1.06 1.02 4/74 1507
/proc/meminfo: memFree=1730744/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915328 CPUtime=0.5
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 6723 0 1 0 46 4 0 0 25 0 8 0 168917383 937295872 6462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228832 6462 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33913 s]
/proc/loadavg: 1.25 1.06 1.02 3/81 1514
/proc/meminfo: memFree=1669440/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915644 CPUtime=1.31
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 17705 0 1 0 112 19 0 0 25 0 8 0 168917383 937619456 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228911 17443 2178 14 0 215381 0
[pid=1506/tid=1508] ppid=1504 vsize=915644 CPUtime=0.04
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 1090 0 0 0 4 0 0 0 17 0 8 0 168917387 937619456 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915644 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937619456 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915648 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915644 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937619456 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915644 CPUtime=0.17
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 168917390 937619456 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915648 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937623552 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915644 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937619456 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915644
[startup+2.98525 s]
/proc/loadavg: 1.25 1.06 1.02 3/81 1514
/proc/meminfo: memFree=1650112/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915740 CPUtime=2.96
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 22996 0 1 0 246 50 0 0 25 0 8 0 168917383 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204293 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228935 22711 2547 14 0 215405 0
[pid=1506/tid=1508] ppid=1504 vsize=915740 CPUtime=0.25
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 5846 0 0 0 24 1 0 0 16 0 8 0 168917387 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915740 CPUtime=0.31
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 511 0 0 0 30 1 0 0 15 0 8 0 168917390 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937717760 22711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915740
[startup+6.26447 s]
/proc/loadavg: 1.31 1.08 1.02 3/81 1514
/proc/meminfo: memFree=1649664/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915740 CPUtime=6.22
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 22998 0 1 0 572 50 0 0 25 0 8 0 168917383 937717760 22712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228935 22712 2547 14 0 215405 0
[pid=1506/tid=1508] ppid=1504 vsize=915740 CPUtime=0.25
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 5846 0 0 0 24 1 0 0 16 0 8 0 168917387 937717760 22712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937717760 22712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937717760 22712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937717760 22712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915740 CPUtime=0.31
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 513 0 0 0 30 1 0 0 17 0 8 0 168917390 937717760 22712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937717760 22712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937717760 22712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915740
[startup+12.7609 s]
/proc/loadavg: 1.37 1.09 1.03 3/81 1514
/proc/meminfo: memFree=1649664/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915740 CPUtime=12.69
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 23020 0 1 0 1219 50 0 0 25 0 8 0 168917383 937717760 22729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074257891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228935 22729 2548 14 0 215405 0
[pid=1506/tid=1508] ppid=1504 vsize=915740 CPUtime=0.25
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 5846 0 0 0 24 1 0 0 17 0 8 0 168917387 937717760 22729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937717760 22729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937717760 22729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937717760 22729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915740 CPUtime=0.35
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 531 0 0 0 34 1 0 0 15 0 8 0 168917390 937717760 22729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937717760 22729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937717760 22729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915740
[startup+25.6218 s]
/proc/loadavg: 1.51 1.13 1.04 3/81 1514
/proc/meminfo: memFree=1649664/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915740 CPUtime=25.48
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 23034 0 1 0 2497 51 0 0 25 0 8 0 168917383 937717760 22737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073889367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228935 22737 2548 14 0 215405 0
[pid=1506/tid=1508] ppid=1504 vsize=915740 CPUtime=0.25
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 5846 0 0 0 24 1 0 0 17 0 8 0 168917387 937717760 22737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937717760 22737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937717760 22737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937717760 22737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915740 CPUtime=0.36
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 540 0 0 0 35 1 0 0 16 0 8 0 168917390 937717760 22737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937717760 22737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937717760 22737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915740
[startup+51.2515 s]
/proc/loadavg: 1.67 1.20 1.07 3/81 1514
/proc/meminfo: memFree=1649664/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915740 CPUtime=51
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 23048 0 1 0 5049 51 0 0 25 0 8 0 168917383 937717760 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074252667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228935 22744 2548 14 0 215405 0
[pid=1506/tid=1508] ppid=1504 vsize=915740 CPUtime=0.25
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 5846 0 0 0 24 1 0 0 17 0 8 0 168917387 937717760 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937717760 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937717760 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937717760 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915740 CPUtime=0.38
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 548 0 0 0 37 1 0 0 15 0 8 0 168917390 937717760 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937717760 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937717760 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915740
[startup+102.504 s]
/proc/loadavg: 1.86 1.32 1.11 3/81 1514
/proc/meminfo: memFree=1649728/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915740 CPUtime=102.03
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 23053 0 1 0 10152 51 0 0 25 0 8 0 168917383 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074168736 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228935 22746 2548 14 0 215405 0
[pid=1506/tid=1508] ppid=1504 vsize=915740 CPUtime=0.25
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 5846 0 0 0 24 1 0 0 16 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915740 CPUtime=0.38
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 550 0 0 0 37 1 0 0 16 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 915740
[startup+162.505 s]
/proc/loadavg: 1.95 1.44 1.17 3/81 1514
/proc/meminfo: memFree=1649728/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915740 CPUtime=161.75
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 23053 0 1 0 16123 52 0 0 25 0 8 0 168917383 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074252667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228935 22746 2548 14 0 215405 0
[pid=1506/tid=1508] ppid=1504 vsize=915740 CPUtime=0.25
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 5846 0 0 0 24 1 0 0 16 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915740 CPUtime=0.38
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 550 0 0 0 37 1 0 0 16 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 915740
[startup+222.506 s]
/proc/loadavg: 1.98 1.54 1.22 3/81 1514
/proc/meminfo: memFree=1649728/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915740 CPUtime=221.49
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 23054 0 1 0 22097 52 0 0 25 0 8 0 168917383 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074237236 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228935 22746 2548 14 0 215405 0
[pid=1506/tid=1508] ppid=1504 vsize=915740 CPUtime=0.25
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 5846 0 0 0 24 1 0 0 16 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915740 CPUtime=0.38
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 551 0 0 0 37 1 0 0 16 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 915740
[startup+282.508 s]
/proc/loadavg: 1.99 1.62 1.26 3/81 1514
/proc/meminfo: memFree=1649728/2055920 swapFree=4192812/4192956
[pid=1506] ppid=1504 vsize=915740 CPUtime=281.23
/proc/1506/stat : 1506 (java) R 1504 1506 573 0 -1 0 23054 0 1 0 28071 52 0 0 25 0 8 0 168917383 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157117 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1506/statm: 228935 22746 2548 14 0 215405 0
[pid=1506/tid=1508] ppid=1504 vsize=915740 CPUtime=0.25
/proc/1506/task/1508/stat : 1508 (java) S 1504 1506 573 0 -1 64 5846 0 0 0 24 1 0 0 16 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1509] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1509/stat : 1509 (java) S 1504 1506 573 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1510] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1510/stat : 1510 (java) S 1504 1506 573 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168917387 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1511] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1511/stat : 1511 (java) S 1504 1506 573 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1512] ppid=1504 vsize=915740 CPUtime=0.38
/proc/1506/task/1512/stat : 1512 (java) S 1504 1506 573 0 -1 64 551 0 0 0 37 1 0 0 16 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1513] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1513/stat : 1513 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1506/tid=1514] ppid=1504 vsize=915740 CPUtime=0
/proc/1506/task/1514/stat : 1514 (java) S 1504 1506 573 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168917390 937717760 22746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.23
Current children cumulated vsize (KiB) 915740
Child status: 0
Real time (s): 322.099
CPU time (s): 320.647
CPU user time (s): 320.103
CPU system time (s): 0.543917
CPU usage (%): 99.5494
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.103
system time used= 0.543917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23062
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= 8398
involuntary context switches= 12681
runsolver used 0.364944 s user time and 1.07584 s system time
The end
Begin job on node52 on Sun Jan 7 21:26:29 UTC 2007
IDJOB= 211095
IDBENCH= 4668
FILE ID= node52/211095-1168205189
PBS_JOBID= 3480776
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211095-1168205189/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-211095-1168205189 -o ROOT/results/node52/solver-211095-1168205189 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211095-1168205189/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 49b640b03f8934f582e52b133be9e9b7
RANDOM SEED= 830901286
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.232
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.232
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: 1731224 kB
Buffers: 26112 kB
Cached: 204136 kB
SwapCached: 0 kB
Active: 155364 kB
Inactive: 116724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1731224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6700 kB
Writeback: 0 kB
Mapped: 53292 kB
Slab: 37960 kB
Committed_AS: 3738356 kB
PageTables: 1888 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 node52 on Sun Jan 7 21:31:51 UTC 2007