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/212753-1168223696/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.55 nbVariables=3862 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.55 => wckTime=0.257 cpuTime=0.18 mem=13M729
0.55
0.55 predicates being loaded...
0.56
0.56 constraints being loaded...
2.31 nbConstraints=13028 nbMergedConstraints=3006 nbSingletonDomainVariables=355 nbConvertedConstraints=6115
2.31 nbConvertConstraintsChecks=361 nbExtensionStructures=8 nbSharedExtensionStructures=6107 nbConflictsStructures=19
2.31 nbSharedConflictsStructures=13009 nbSharedBinaryRepresentations=22 nbEvaluationManagers=11
2.31 nbSharedEvaluationManagers=6902 maxDegree=29 maxArity=8
2.31 => wckTime=2.014 cpuTime=1.67 mem=18M925
2.42
2.42 solver IterativeSystematicSolver being built...
2.86 => wckTime=2.562 cpuTime=2.01 mem=34M609
8.81
8.81 preprocessing
8.81 nbConstraintChecks=62783 nbValidityChecks=20765 nbPropagations=16820 nbRevisions=79930 nbUselessRevisions=71520
8.81 nbSingletonTests=4926 nbEffectiveSingletonTests=0 nbESACBranches=31 nbRemovedValues=507
8.81 detectedInconsistency=no
8.81 => wckTime=5.945 cpuTime=5.8 mem=35M625
9.59
9.59 search
9.59 run=0 nbConstraintChecks=7566 nbValidityChecks=2960 nbPropagations=18130 nbRevisions=88457
9.59 nbUselessRevisions=78757 nbAssignments=241 nbFailedAssignments=3 nbBacktracks=34 nbVisitedNodes=248
9.59 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
9.59 => wckTime=6.726 cpuTime=6.57 mem=36M640
10.36
10.36 search
10.36 run=1 nbConstraintChecks=14954 nbValidityChecks=6909 nbPropagations=37836 nbRevisions=185947
10.36 nbUselessRevisions=165147 nbAssignments=612 nbFailedAssignments=4 nbBacktracks=51 nbVisitedNodes=486
10.36 nbRestartNogoods=2 mapSize=5 nbInferences=0 nbTooLargeKeys=0
10.36 => wckTime=7.497 cpuTime=7.34 mem=36M640
11.20
11.20 search
11.20 run=2 nbConstraintChecks=20968 nbValidityChecks=10153 nbPropagations=58755 nbRevisions=291008
11.20 nbUselessRevisions=257944 nbAssignments=870 nbFailedAssignments=6 nbBacktracks=105 nbVisitedNodes=748
11.20 nbRestartNogoods=3 mapSize=8 nbInferences=0 nbTooLargeKeys=0
11.20 => wckTime=8.335 cpuTime=8.17 mem=36M640
12.14
12.14 search
12.14 run=3 nbConstraintChecks=27681 nbValidityChecks=13743 nbPropagations=80985 nbRevisions=404586
12.14 nbUselessRevisions=357977 nbAssignments=1148 nbFailedAssignments=9 nbBacktracks=164 nbVisitedNodes=1032
12.14 nbRestartNogoods=4 mapSize=13 nbInferences=0 nbTooLargeKeys=0
12.14 => wckTime=9.278 cpuTime=9.11 mem=37M656
13.08
13.08 search
13.09 run=4 nbConstraintChecks=35266 nbValidityChecks=17517 nbPropagations=104632 nbRevisions=527669
13.09 nbUselessRevisions=466130 nbAssignments=1425 nbFailedAssignments=12 nbBacktracks=238 nbVisitedNodes=1315
13.09 nbRestartNogoods=5 mapSize=18 nbInferences=0 nbTooLargeKeys=0
13.09 => wckTime=10.22 cpuTime=10.05 mem=37M656
16.30
16.30 search
16.30 run=5 nbConstraintChecks=55576 nbValidityChecks=25918 nbPropagations=131861 nbRevisions=674127
16.30 nbUselessRevisions=594078 nbAssignments=2002 nbFailedAssignments=20 nbBacktracks=319 nbVisitedNodes=1905
16.30 nbRestartNogoods=6 mapSize=28 nbInferences=0 nbTooLargeKeys=0
16.30 => wckTime=13.437 cpuTime=13.25 mem=38M672
19.92
19.93 search
19.93 run=6 nbConstraintChecks=71681 nbValidityChecks=33287 nbPropagations=162090 nbRevisions=840173
19.93 nbUselessRevisions=738633 nbAssignments=2627 nbFailedAssignments=27 nbBacktracks=438 nbVisitedNodes=2542
19.93 nbRestartNogoods=9 mapSize=37 nbInferences=0 nbTooLargeKeys=0
19.93 => wckTime=17.06 cpuTime=16.87 mem=39M687
23.89
23.89 search
23.89 run=7 nbConstraintChecks=90057 nbValidityChecks=41557 nbPropagations=195652 nbRevisions=1028603
23.89 nbUselessRevisions=902222 nbAssignments=3294 nbFailedAssignments=36 nbBacktracks=610 nbVisitedNodes=3225
23.89 nbRestartNogoods=12 mapSize=50 nbInferences=0 nbTooLargeKeys=0
23.89 => wckTime=21.024 cpuTime=20.84 mem=40M703
28.55
28.56 search
28.56 run=8 nbConstraintChecks=117939 nbValidityChecks=53664 nbPropagations=234019 nbRevisions=1249962
28.56 nbUselessRevisions=1093773 nbAssignments=4059 nbFailedAssignments=50 nbBacktracks=907 nbVisitedNodes=4021
28.56 nbRestartNogoods=15 mapSize=78 nbInferences=0 nbTooLargeKeys=0
28.56 => wckTime=25.689 cpuTime=25.5 mem=41M719
33.54
33.54 search
33.54 run=9 nbConstraintChecks=171053 nbValidityChecks=78141 nbPropagations=280953 nbRevisions=1537259
33.54 nbUselessRevisions=1342109 nbAssignments=4982 nbFailedAssignments=88 nbBacktracks=1329 nbVisitedNodes=5020
33.54 nbRestartNogoods=18 mapSize=152 nbInferences=0 nbTooLargeKeys=0
33.54 => wckTime=30.675 cpuTime=30.48 mem=43M750
41.07
41.07 search
41.07 run=10 nbConstraintChecks=211656 nbValidityChecks=94897 nbPropagations=334545 nbRevisions=1872809
41.07 nbUselessRevisions=1631675 nbAssignments=6075 nbFailedAssignments=119 nbBacktracks=1905 nbVisitedNodes=6175
41.07 nbRestartNogoods=20 mapSize=209 nbInferences=0 nbTooLargeKeys=0
41.07 => wckTime=38.204 cpuTime=38.0 mem=44M766
49.32
49.32 search
49.32 run=11 nbConstraintChecks=269268 nbValidityChecks=118399 nbPropagations=397647 nbRevisions=2277763
49.32 nbUselessRevisions=1980517 nbAssignments=7420 nbFailedAssignments=167 nbBacktracks=2805 nbVisitedNodes=7616
49.32 nbRestartNogoods=25 mapSize=303 nbInferences=0 nbTooLargeKeys=0
49.32 => wckTime=46.459 cpuTime=46.25 mem=47M813
58.73
58.73 search
58.73 run=12 nbConstraintChecks=403806 nbValidityChecks=180710 nbPropagations=482995 nbRevisions=2855504
58.73 nbUselessRevisions=2478315 nbAssignments=9140 nbFailedAssignments=268 nbBacktracks=4114 nbVisitedNodes=9536
58.73 nbRestartNogoods=27 mapSize=499 nbInferences=0 nbTooLargeKeys=0
58.73 => wckTime=55.864 cpuTime=55.65 mem=49M844
76.63
76.63 search
76.63 run=13 nbConstraintChecks=528051 nbValidityChecks=241127 nbPropagations=593348 nbRevisions=3586715
76.63 nbUselessRevisions=3104154 nbAssignments=11602 nbFailedAssignments=318 nbBacktracks=6091 nbVisitedNodes=12121
76.63 nbRestartNogoods=31 mapSize=618 nbInferences=0 nbTooLargeKeys=0
76.63 => wckTime=73.764 cpuTime=73.54 mem=53M907
101.13
101.13 search
101.13 run=14 nbConstraintChecks=834381 nbValidityChecks=403934 nbPropagations=765196 nbRevisions=4725900
101.13 nbUselessRevisions=4074256 nbAssignments=15612 nbFailedAssignments=458 nbBacktracks=9011 nbVisitedNodes=15801
101.13 nbRestartNogoods=35 mapSize=918 nbInferences=0 nbTooLargeKeys=0
101.13 => wckTime=98.267 cpuTime=98.04 mem=58M985
107.75
107.75 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=61M16)
112.06
112.06 search
112.06 run=15 nbConstraintChecks=1249128 nbValidityChecks=643427 nbPropagations=1018567 nbRevisions=6466919
112.06 nbUselessRevisions=5557998 nbAssignments=20918 nbFailedAssignments=834 nbBacktracks=13493 nbVisitedNodes=21762
112.06 nbRestartNogoods=36
112.06 => wckTime=109.193 cpuTime=108.96 mem=61M16
118.93
118.93 search
118.93 run=16 nbConstraintChecks=1673494 nbValidityChecks=870929 nbPropagations=1349770 nbRevisions=8837684
118.93 nbUselessRevisions=7589240 nbAssignments=27887 nbFailedAssignments=1176 nbBacktracks=20064 nbVisitedNodes=29363
118.93 nbRestartNogoods=41
118.93 => wckTime=116.066 cpuTime=115.83 mem=61M16
130.25
130.25 search
130.25 run=17 nbConstraintChecks=2687382 nbValidityChecks=1467634 nbPropagations=1890218 nbRevisions=12660030
130.25 nbUselessRevisions=10853785 nbAssignments=38690 nbFailedAssignments=1583 nbBacktracks=29921
130.25 nbVisitedNodes=40965 nbRestartNogoods=45
130.25 => wckTime=127.381 cpuTime=127.14 mem=61M16
148.37
148.37 search
148.37 run=18 nbConstraintChecks=4558477 nbValidityChecks=2530856 nbPropagations=2790920 nbRevisions=19239259
148.37 nbUselessRevisions=16494449 nbAssignments=54932 nbFailedAssignments=2518 nbBacktracks=44713
148.37 nbVisitedNodes=58782 nbRestartNogoods=53
148.37 => wckTime=145.505 cpuTime=145.26 mem=61M16
178.16
178.16 search
178.16 run=19 nbConstraintChecks=8101668 nbValidityChecks=4488129 nbPropagations=4321533 nbRevisions=31244422
178.16 nbUselessRevisions=26880094 nbAssignments=80932 nbFailedAssignments=5014 nbBacktracks=66886
178.16 nbVisitedNodes=88071 nbRestartNogoods=64
178.16 => wckTime=175.294 cpuTime=175.03 mem=61M16
221.90
221.90 search
221.90 run=20 nbConstraintChecks=13313011 nbValidityChecks=7300835 nbPropagations=6818005 nbRevisions=51132469
221.90 nbUselessRevisions=44123672 nbAssignments=118403 nbFailedAssignments=8019 nbBacktracks=100152
221.90 nbVisitedNodes=130218 nbRestartNogoods=81
221.90 => wckTime=219.039 cpuTime=218.76 mem=61M16
285.02
285.02 search
285.02 run=21 nbConstraintChecks=19911400 nbValidityChecks=11060256 nbPropagations=10597137 nbRevisions=81604532
285.02 nbUselessRevisions=70612518 nbAssignments=172487 nbFailedAssignments=11668 nbBacktracks=150061
285.02 nbVisitedNodes=190991 nbRestartNogoods=92
285.02 => wckTime=282.16 cpuTime=281.87 mem=61M16
376.26
376.26 search
376.26 run=22 nbConstraintChecks=28510969 nbValidityChecks=15902878 nbPropagations=16049946 nbRevisions=125777491
376.26 nbUselessRevisions=109045233 nbAssignments=253784 nbFailedAssignments=17289 nbBacktracks=224948
376.26 nbVisitedNodes=281908 nbRestartNogoods=106
376.26 => wckTime=373.395 cpuTime=373.08 mem=61M16
523.18
523.18 search
523.18 run=23 nbConstraintChecks=47742011 nbValidityChecks=26133691 nbPropagations=24974241 nbRevisions=199450287
523.18 nbUselessRevisions=173290889 nbAssignments=377402 nbFailedAssignments=28250 nbBacktracks=337185
523.18 nbVisitedNodes=424649 nbRestartNogoods=111
523.18 => wckTime=520.312 cpuTime=519.95 mem=61M16
745.47
745.47 search
745.47 run=24 nbConstraintChecks=72064084 nbValidityChecks=40255915 nbPropagations=38628941 nbRevisions=312315363
745.47 nbUselessRevisions=271747742 nbAssignments=562613 nbFailedAssignments=43758 nbBacktracks=505534
745.47 nbVisitedNodes=635079 nbRestartNogoods=129
745.47 => wckTime=742.608 cpuTime=741.78 mem=61M16
1071.93
1071.93 search
1071.93 run=25 nbConstraintChecks=109045312 nbValidityChecks=61329458 nbPropagations=59370148 nbRevisions=484073643
1071.93 nbUselessRevisions=421501320 nbAssignments=838767 nbFailedAssignments=66490 nbBacktracks=758059
1071.93 nbVisitedNodes=951828 nbRestartNogoods=143
1071.93 => wckTime=1069.063 cpuTime=1066.7 mem=61M16
1615.56
1615.57 search
1615.57 run=26 nbConstraintChecks=186269113 nbValidityChecks=102720915 nbPropagations=94541216 nbRevisions=773777937
1615.57 nbUselessRevisions=674066866 nbAssignments=1255933 nbFailedAssignments=102289 nbBacktracks=1136829
1615.57 nbVisitedNodes=1434832 nbRestartNogoods=166
1615.57 => wckTime=1612.7 cpuTime=1607.67 mem=61M16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-212753-1168223696 -o ROOT/results/node75/solver-212753-1168223696 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212753-1168223696/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.92 1.97 1.82 5/73 4644
/proc/meminfo: memFree=1853920/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=18540 CPUtime=0
/proc/4643/stat : 4643 (runsolver) R 4641 4643 4146 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 170768972 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4643/statm: 4635 279 244 17 0 2626 0
[startup+0.103858 s]
/proc/loadavg: 1.92 1.97 1.82 5/73 4644
/proc/meminfo: memFree=1853920/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=914988 CPUtime=0.08
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 3005 0 1 0 6 2 0 0 17 0 8 0 170768972 936947712 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155274573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228747 2751 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511906 s]
/proc/loadavg: 1.92 1.97 1.82 5/73 4644
/proc/meminfo: memFree=1853920/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915328 CPUtime=0.48
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 6751 0 1 0 43 5 0 0 18 0 8 0 170768972 937295872 6490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228832 6490 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.336 s]
/proc/loadavg: 1.92 1.97 1.82 3/80 4651
/proc/meminfo: memFree=1792360/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915640 CPUtime=1.3
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 17806 0 1 0 112 18 0 0 25 0 8 0 170768972 937615360 17544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228910 17544 2178 14 0 215380 0
[pid=4643/tid=4645] ppid=4641 vsize=915640 CPUtime=0.04
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 1191 0 0 0 4 0 0 0 17 0 8 0 170768976 937615360 17544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915640 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937615360 17544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915640 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937615360 17544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915640 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937615360 17544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915640 CPUtime=0.17
/proc/4643/task/4649/stat : 4649 (java) R 4641 4643 4146 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 170768980 937615360 17544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153218951 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915640 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937615360 17544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915640 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937615360 17544 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915640
[startup+2.9822 s]
/proc/loadavg: 2.09 2.00 1.83 3/80 4651
/proc/meminfo: memFree=1778408/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=2.93
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23400 0 1 0 228 65 0 0 25 0 8 0 170768972 937717760 23112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074124260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23112 2544 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 493 0 0 0 27 1 0 0 15 0 8 0 170768980 937717760 23112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23112 18446744073709551615 134512640 134570532 4294956480 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) 915740
[startup+6.26159 s]
/proc/loadavg: 2.09 2.00 1.83 2/75 4663
/proc/meminfo: memFree=1781968/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=6.17
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23419 0 1 0 552 65 0 0 25 0 8 0 170768972 937717760 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074155769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23129 2546 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 17 0 8 0 170768976 937717760 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.31
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 507 0 0 0 30 1 0 0 15 0 8 0 170768980 937717760 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915740
[startup+12.7502 s]
/proc/loadavg: 2.00 1.99 1.82 3/88 4722
/proc/meminfo: memFree=1758432/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=12.6
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23437 0 1 0 1194 66 0 0 25 0 8 0 170768972 937717760 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074002957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23144 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.33
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 520 0 0 0 32 1 0 0 15 0 8 0 170768980 937717760 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915740
[startup+25.6063 s]
/proc/loadavg: 2.00 1.99 1.83 3/88 4722
/proc/meminfo: memFree=1735480/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=25.45
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23445 0 1 0 2478 67 0 0 25 0 8 0 170768972 937717760 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23150 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.35
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 526 0 0 0 33 2 0 0 16 0 8 0 170768980 937717760 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915740
[startup+51.2948 s]
/proc/loadavg: 2.06 2.00 1.83 3/88 4722
/proc/meminfo: memFree=1708664/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=51.13
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23455 0 1 0 5046 67 0 0 25 0 8 0 170768972 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074201386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23156 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.37
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 533 0 0 0 35 2 0 0 16 0 8 0 170768980 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915740
[startup+102.5 s]
/proc/loadavg: 2.02 2.00 1.84 3/88 4722
/proc/meminfo: memFree=1697208/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=102.32
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23455 0 1 0 10165 67 0 0 25 0 8 0 170768972 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074121051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23156 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.37
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 533 0 0 0 35 2 0 0 16 0 8 0 170768980 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915740
[startup+162.594 s]
/proc/loadavg: 2.01 2.00 1.84 3/88 4722
/proc/meminfo: memFree=1696760/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=162.39
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23460 0 1 0 16172 67 0 0 25 0 8 0 170768972 937717760 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074124260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1420.36
Current children cumulated vsize (KiB) 915740
[startup+1484.41 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 4722
/proc/meminfo: memFree=1689720/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=1480.16
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23461 0 1 0 147949 67 0 0 25 0 8 0 170768972 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074201389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23160 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.38
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 538 0 0 0 36 2 0 0 16 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.16
Current children cumulated vsize (KiB) 915740
[startup+1544.49 s]
/proc/loadavg: 2.00 2.00 1.93 3/88 4722
/proc/meminfo: memFree=1689592/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=1539.97
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23461 0 1 0 153930 67 0 0 25 0 8 0 170768972 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074100945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23160 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.38
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 538 0 0 0 36 2 0 0 16 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.97
Current children cumulated vsize (KiB) 915740
[startup+1604.49 s]
/proc/loadavg: 2.00 2.00 1.93 3/94 4860
/proc/meminfo: memFree=1687768/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=1599.58
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23461 0 1 0 159891 67 0 0 25 0 8 0 170768972 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074126029 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23160 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.38
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 538 0 0 0 36 2 0 0 16 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.58
Current children cumulated vsize (KiB) 915740
[startup+1664.5 s]
/proc/loadavg: 2.25 2.07 1.95 3/88 5330
/proc/meminfo: memFree=1658968/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=1658.49
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23461 0 1 0 165781 68 0 0 25 0 8 0 170768972 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850007 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23160 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.38
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 538 0 0 0 36 2 0 0 16 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.49
Current children cumulated vsize (KiB) 915740
[startup+1724.58 s]
/proc/loadavg: 2.09 2.06 1.95 4/88 5330
/proc/meminfo: memFree=1658872/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=1718.29
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23461 0 1 0 171761 68 0 0 25 0 8 0 170768972 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074124256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23160 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.38
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 538 0 0 0 36 2 0 0 16 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.29
Current children cumulated vsize (KiB) 915740
[startup+1784.67 s]
/proc/loadavg: 2.03 2.04 1.95 3/88 5330
/proc/meminfo: memFree=1658360/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=1778.09
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23461 0 1 0 177741 68 0 0 25 0 8 0 170768972 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074201339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23160 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.38
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 538 0 0 0 36 2 0 0 16 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.09
Current children cumulated vsize (KiB) 915740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.7 s]
/proc/loadavg: 2.02 2.04 1.95 3/88 5330
/proc/meminfo: memFree=1658232/2055920 swapFree=4184496/4192956
[pid=4643] ppid=4641 vsize=915740 CPUtime=1800.01
/proc/4643/stat : 4643 (java) R 4641 4643 4146 0 -1 0 23461 0 1 0 179933 68 0 0 25 0 8 0 170768972 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073958900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4643/statm: 228935 23160 2547 14 0 215405 0
[pid=4643/tid=4645] ppid=4641 vsize=915740 CPUtime=0.28
/proc/4643/task/4645/stat : 4645 (java) S 4641 4643 4146 0 -1 64 6273 0 0 0 26 2 0 0 16 0 8 0 170768976 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4646] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4646/stat : 4646 (java) S 4641 4643 4146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4647] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4647/stat : 4647 (java) S 4641 4643 4146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170768977 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4648] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4648/stat : 4648 (java) S 4641 4643 4146 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4649] ppid=4641 vsize=915740 CPUtime=0.38
/proc/4643/task/4649/stat : 4649 (java) S 4641 4643 4146 0 -1 64 538 0 0 0 36 2 0 0 16 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4650] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4650/stat : 4650 (java) S 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4643/tid=4651] ppid=4641 vsize=915740 CPUtime=0
/proc/4643/task/4651/stat : 4651 (java) R 4641 4643 4146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170768980 937717760 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.77
CPU time (s): 1800.1
CPU user time (s): 1799.39
CPU system time (s): 0.702893
CPU usage (%): 99.6305
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.702893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23478
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= 38316
involuntary context switches= 70914
runsolver used 2.21366 s user time and 5.79112 s system time
The end
Begin job on node75 on Mon Jan 8 02:34:56 UTC 2007
IDJOB= 212753
IDBENCH= 4795
FILE ID= node75/212753-1168223696
PBS_JOBID= 3480940
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/hanoi5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212753-1168223696/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-212753-1168223696 -o ROOT/results/node75/solver-212753-1168223696 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212753-1168223696/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ab2361f6e7b80549959dd1fae73f3a41
RANDOM SEED= 886359343
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1854272 kB
Buffers: 21396 kB
Cached: 100228 kB
SwapCached: 2680 kB
Active: 81716 kB
Inactive: 62360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1854272 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 3852 kB
Writeback: 0 kB
Mapped: 31944 kB
Slab: 42876 kB
Committed_AS: 3776840 kB
PageTables: 1768 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= 66554 MiB
End job on node75 on Mon Jan 8 03:05:05 UTC 2007