0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215314-1168234284/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.54 nbVariables=1848 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.54 => wckTime=0.221 cpuTime=0.14 mem=9M844
0.54
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
2.58 nbConstraints=14723 nbMergedConstraints=4 nbConvertedConstraints=13724 nbConvertConstraintsChecks=131096
2.58 nbExtensionStructures=2 nbSharedExtensionStructures=13722 nbConflictsStructures=5
2.58 nbSharedConflictsStructures=14718 nbSharedBinaryRepresentations=5 nbEvaluationManagers=3
2.58 nbSharedEvaluationManagers=996 maxDegree=150 maxArity=16
2.58 => wckTime=2.266 cpuTime=1.92 mem=28M373
2.70
2.70 solver IterativeSystematicSolver being built...
3.05 => wckTime=2.732 cpuTime=2.2 mem=66M617
8.34
8.34 preprocessing
8.34 nbConstraintChecks=211306 nbValidityChecks=4582 nbPropagations=12915 nbRevisions=131221
8.34 nbUselessRevisions=122071 nbSingletonTests=2162 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0
8.34 detectedInconsistency=no
8.34 => wckTime=5.279 cpuTime=5.18 mem=67M626
9.17
9.17 search
9.17 run=0 nbConstraintChecks=255921 nbValidityChecks=9260 nbPropagations=24588 nbRevisions=298009
9.17 nbUselessRevisions=276490 nbAssignments=155 nbFailedAssignments=27 nbBacktracks=12 nbVisitedNodes=184
9.17 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
9.17 => wckTime=6.117 cpuTime=5.99 mem=68M651
11.01
11.01 search
11.01 run=1 nbConstraintChecks=981060 nbValidityChecks=39679 nbPropagations=82749 nbRevisions=1046616
11.01 nbUselessRevisions=969124 nbAssignments=922 nbFailedAssignments=57 nbBacktracks=33 nbVisitedNodes=429
11.01 nbRestartNogoods=19 mapSize=19 nbInferences=0 nbTooLargeKeys=0
11.01 => wckTime=7.961 cpuTime=7.82 mem=68M651
12.37
12.37 search
12.37 run=2 nbConstraintChecks=1924136 nbValidityChecks=48832 nbPropagations=183138 nbRevisions=2340683
12.37 nbUselessRevisions=2163671 nbAssignments=1559 nbFailedAssignments=96 nbBacktracks=68 nbVisitedNodes=635
12.37 nbRestartNogoods=42 mapSize=42 nbInferences=0 nbTooLargeKeys=0
12.37 => wckTime=9.321 cpuTime=9.16 mem=68M651
14.07
14.07 search
14.07 run=3 nbConstraintChecks=2804112 nbValidityChecks=73248 nbPropagations=321780 nbRevisions=4175028
14.07 nbUselessRevisions=3859075 nbAssignments=2172 nbFailedAssignments=141 nbBacktracks=104 nbVisitedNodes=897
14.07 nbRestartNogoods=62 mapSize=71 nbInferences=0 nbTooLargeKeys=0
14.07 => wckTime=11.018 cpuTime=10.84 mem=69M489
15.53
15.53 search
15.53 run=4 nbConstraintChecks=3822376 nbValidityChecks=86778 nbPropagations=504397 nbRevisions=6626562
15.53 nbUselessRevisions=6126254 nbAssignments=2750 nbFailedAssignments=193 nbBacktracks=157 nbVisitedNodes=1157
15.53 nbRestartNogoods=79 mapSize=103 nbInferences=0 nbTooLargeKeys=0
15.53 => wckTime=12.48 cpuTime=12.27 mem=69M489
17.96
17.96 search
17.96 run=5 nbConstraintChecks=5307836 nbValidityChecks=143471 nbPropagations=752472 nbRevisions=10022288
17.96 nbUselessRevisions=9270514 nbAssignments=3566 nbFailedAssignments=259 nbBacktracks=246 nbVisitedNodes=1502
17.96 nbRestartNogoods=110 mapSize=160 nbInferences=0 nbTooLargeKeys=0
17.96 => wckTime=14.907 cpuTime=14.65 mem=69M489
20.27
20.27 search
20.27 run=6 nbConstraintChecks=6732599 nbValidityChecks=168184 nbPropagations=1064466 nbRevisions=14330173
20.27 nbUselessRevisions=13261440 nbAssignments=4203 nbFailedAssignments=344 nbBacktracks=367 nbVisitedNodes=1946
20.27 nbRestartNogoods=125 mapSize=218 nbInferences=0 nbTooLargeKeys=0
20.27 => wckTime=17.214 cpuTime=16.91 mem=28M72
23.36
23.36 search
23.36 run=7 nbConstraintChecks=8321143 nbValidityChecks=190348 nbPropagations=1447882 nbRevisions=19604564
23.36 nbUselessRevisions=18145971 nbAssignments=5271 nbFailedAssignments=421 nbBacktracks=559 nbVisitedNodes=2389
23.36 nbRestartNogoods=157 mapSize=296 nbInferences=5 nbTooLargeKeys=0
23.36 => wckTime=20.305 cpuTime=19.98 mem=28M72
26.33
26.33 search
26.33 run=8 nbConstraintChecks=9588663 nbValidityChecks=216403 nbPropagations=1885734 nbRevisions=25713583
26.34 nbUselessRevisions=23808950 nbAssignments=5865 nbFailedAssignments=528 nbBacktracks=842 nbVisitedNodes=3002
26.34 nbRestartNogoods=163 mapSize=384 nbInferences=12 nbTooLargeKeys=0
26.34 => wckTime=23.282 cpuTime=22.93 mem=29M81
31.05
31.05 search
31.05 run=9 nbConstraintChecks=11668299 nbValidityChecks=253313 nbPropagations=2415070 nbRevisions=33121580
31.05 nbUselessRevisions=30677263 nbAssignments=7051 nbFailedAssignments=654 nbBacktracks=1247 nbVisitedNodes=3811
31.05 nbRestartNogoods=193 mapSize=516 nbInferences=36 nbTooLargeKeys=0
31.05 => wckTime=27.997 cpuTime=27.6 mem=29M81
37.49
37.49 search
37.49 run=10 nbConstraintChecks=15695843 nbValidityChecks=327263 nbPropagations=3122834 nbRevisions=43180048
37.49 nbUselessRevisions=40012871 nbAssignments=8706 nbFailedAssignments=967 nbBacktracks=1827 nbVisitedNodes=5091
37.50 nbRestartNogoods=215 mapSize=849 nbInferences=40 nbTooLargeKeys=0
37.50 => wckTime=34.442 cpuTime=33.98 mem=30M89
47.09
47.09 search
47.09 run=11 nbConstraintChecks=21853985 nbValidityChecks=460422 nbPropagations=4101724 nbRevisions=57361247
47.09 nbUselessRevisions=53191392 nbAssignments=10296 nbFailedAssignments=1493 nbBacktracks=2710 nbVisitedNodes=7196
47.09 nbRestartNogoods=225 mapSize=1462 nbInferences=90 nbTooLargeKeys=0
47.09 => wckTime=44.034 cpuTime=43.48 mem=32M106
60.82
60.82 search
60.82 run=12 nbConstraintChecks=33672476 nbValidityChecks=693158 nbPropagations=5587797 nbRevisions=79396472
60.82 nbUselessRevisions=73696913 nbAssignments=12649 nbFailedAssignments=2520 nbBacktracks=4009 nbVisitedNodes=10694
60.82 nbRestartNogoods=226 mapSize=2595 nbInferences=93 nbTooLargeKeys=0
60.82 => wckTime=57.767 cpuTime=57.07 mem=33M115
82.02
82.02 search
82.02 run=13 nbConstraintChecks=51271609 nbValidityChecks=1065240 nbPropagations=7845524 nbRevisions=113173851
82.02 nbUselessRevisions=105141608 nbAssignments=16342 nbFailedAssignments=3978 nbBacktracks=5955
82.02 nbVisitedNodes=15794 nbRestartNogoods=237 mapSize=4219 nbInferences=107 nbTooLargeKeys=0
82.02 => wckTime=78.964 cpuTime=78.03 mem=36M174
113.12
113.12 search
113.12 run=14 nbConstraintChecks=78061260 nbValidityChecks=1560979 nbPropagations=11259547 nbRevisions=164629491
113.12 nbUselessRevisions=153062208 nbAssignments=21828 nbFailedAssignments=6115 nbBacktracks=8880
113.12 nbVisitedNodes=23406 nbRestartNogoods=253 mapSize=6712 nbInferences=114 nbTooLargeKeys=0
113.12 => wckTime=110.068 cpuTime=108.75 mem=40M274
158.40
158.40 search
158.40 run=15 nbConstraintChecks=119651347 nbValidityChecks=2292377 nbPropagations=16362499 nbRevisions=242588155
158.40 nbUselessRevisions=225726570 nbAssignments=29796 nbFailedAssignments=9344 nbBacktracks=13266
158.40 nbVisitedNodes=34962 nbRestartNogoods=267 mapSize=10633 nbInferences=114 nbTooLargeKeys=0
158.40 => wckTime=155.345 cpuTime=153.47 mem=46M325
229.44
229.44 search
229.44 run=16 nbConstraintChecks=186369374 nbValidityChecks=3457020 nbPropagations=24266224 nbRevisions=363918994
229.44 nbUselessRevisions=338845623 nbAssignments=41491 nbFailedAssignments=14447 nbBacktracks=19847
229.44 nbVisitedNodes=52951 nbRestartNogoods=269 mapSize=16908 nbInferences=114 nbTooLargeKeys=0
229.44 => wckTime=226.387 cpuTime=223.75 mem=54M525
295.79
295.79 INFO : Stopping hyperNogood (mapSize=22826, nbTooLargekeys=0, mem=62M594)
321.72
321.72 search
321.72 run=17 nbConstraintChecks=289736132 nbValidityChecks=4580274 nbPropagations=36442515 nbRevisions=551472637
321.72 nbUselessRevisions=513717417 nbAssignments=59507 nbFailedAssignments=22574 nbBacktracks=29702
321.72 nbVisitedNodes=80845 nbRestartNogoods=272
321.72 => wckTime=318.666 cpuTime=315.11 mem=62M594
423.85
423.85 search
423.85 run=18 nbConstraintChecks=449553133 nbValidityChecks=7933804 nbPropagations=55333947 nbRevisions=842827109
423.85 nbUselessRevisions=785407988 nbAssignments=86888 nbFailedAssignments=34366 nbBacktracks=44484
423.85 nbVisitedNodes=122252 nbRestartNogoods=298
423.85 => wckTime=420.8 cpuTime=416.34 mem=62M594
578.39
578.39 search
578.39 run=19 nbConstraintChecks=683706047 nbValidityChecks=11528933 nbPropagations=84359930 nbRevisions=1288542511
578.39 nbUselessRevisions=1200905023 nbAssignments=127773 nbFailedAssignments=52394 nbBacktracks=66664
578.39 nbVisitedNodes=184674 nbRestartNogoods=325
578.39 => wckTime=575.341 cpuTime=570.83 mem=62M594
803.98
803.98 search
803.98 run=20 nbConstraintChecks=1033119695 nbValidityChecks=17888829 nbPropagations=126878639 nbRevisions=1950405786
803.98 nbUselessRevisions=1818455082 nbAssignments=187838 nbFailedAssignments=78933 nbBacktracks=99918
803.98 nbVisitedNodes=277779 nbRestartNogoods=338
803.98 => wckTime=800.927 cpuTime=796.36 mem=62M594
1147.59
1147.59 search
1147.59 run=21 nbConstraintChecks=1557229095 nbValidityChecks=27689310 nbPropagations=192549691 nbRevisions=2964246426
1147.59 nbUselessRevisions=2763930806 nbAssignments=278393 nbFailedAssignments=118805 nbBacktracks=149796
1147.59 nbVisitedNodes=417433 nbRestartNogoods=366
1147.59 => wckTime=1144.537 cpuTime=1139.88 mem=62M594
1659.09
1659.09 search
1659.09 run=22 nbConstraintChecks=2347117598 nbValidityChecks=39302683 nbPropagations=291236480 nbRevisions=4487932869
1659.09 nbUselessRevisions=4184876098 nbAssignments=416211 nbFailedAssignments=181123 nbBacktracks=224615
1659.09 nbVisitedNodes=629424 nbRestartNogoods=393
1659.09 => wckTime=1656.038 cpuTime=1651.25 mem=62M594
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-215314-1168234284 -o ROOT/results/node24/solver-215314-1168234284 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215314-1168234284/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: 0.85 0.97 1.20 4/82 14156
/proc/meminfo: memFree=1773696/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=18540 CPUtime=0
/proc/14155/stat : 14155 (runsolver) R 14152 14155 14047 0 -1 4194368 17 0 0 0 0 0 0 0 24 0 1 0 171823742 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/14155/statm: 4635 279 244 17 0 2626 0
[startup+0.104307 s]
/proc/loadavg: 0.85 0.97 1.20 4/82 14156
/proc/meminfo: memFree=1773696/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=912432 CPUtime=0.07
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 2721 0 1 0 6 1 0 0 20 0 8 0 171823742 934330368 2469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14155/statm: 228108 2474 1362 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912432
[startup+0.512349 s]
/proc/loadavg: 0.85 0.97 1.20 4/82 14156
/proc/meminfo: memFree=1773696/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915328 CPUtime=0.48
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 6614 0 1 0 45 3 0 0 20 0 8 0 171823742 937295872 6353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14155/statm: 228832 6353 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34543 s]
/proc/loadavg: 0.85 0.97 1.20 5/101 14188
/proc/meminfo: memFree=1671976/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915636 CPUtime=1.3
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 17392 0 1 0 119 11 0 0 25 0 8 0 171823742 937611264 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813776 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14155/statm: 228909 17130 2178 14 0 215379 0
[pid=14155/tid=14175] ppid=14152 vsize=915636 CPUtime=0.03
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 781 0 0 0 3 0 0 0 17 0 8 0 171823747 937611264 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915636 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937611264 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915636 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937611264 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915636 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937611264 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915636 CPUtime=0.17
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 171823751 937611264 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915636 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937611264 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915636 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937611264 17130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636
[startup+2.98939 s]
/proc/loadavg: 0.85 0.97 1.20 3/101 14188
/proc/meminfo: memFree=1647528/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=2.93
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 24487 0 1 0 226 67 0 0 25 0 8 0 171823742 937852928 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14155/statm: 228968 24206 2533 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.24
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7390 0 0 0 22 2 0 0 17 0 8 0 171823747 937852928 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.27
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 484 0 0 0 26 1 0 0 15 0 8 0 171823751 937852928 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915872
[startup+6.19896 s]
/proc/loadavg: 0.94 0.99 1.21 3/101 14188
/proc/meminfo: memFree=1615024/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=6.11
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 24566 0 1 0 543 68 0 0 25 0 8 0 171823742 937852928 24284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858826 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14155/statm: 228968 24284 2546 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.24
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7390 0 0 0 22 2 0 0 16 0 8 0 171823747 937852928 24284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.32
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 519 0 0 0 31 1 0 0 15 0 8 0 171823751 937852928 24284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915872
[startup+12.6747 s]
/proc/loadavg: 1.02 1.01 1.21 4/101 14197
/proc/meminfo: memFree=1677824/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=12.52
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 24591 0 1 0 1184 68 0 0 25 0 8 0 171823742 937852928 24304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14155/statm: 228968 24304 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.24
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7390 0 0 0 22 2 0 0 17 0 8 0 171823747 937852928 24304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.36
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 539 0 0 0 34 2 0 0 16 0 8 0 171823751 937852928 24304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24304 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915872
[startup+25.539 s]
/proc/loadavg: 1.16 1.04 1.22 2/88 14232
/proc/meminfo: memFree=1685088/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=25.25
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25149 0 1 0 2456 69 0 0 25 0 8 0 171823742 937852928 24857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074249529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14155/statm: 228968 24857 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 17 0 8 0 171823747 937852928 24857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.38
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 547 0 0 0 36 2 0 0 15 0 8 0 171823751 937852928 24857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915872
[startup+51.1618 s]
/proc/loadavg: 1.44 1.11 1.24 3/104 14248
/proc/meminfo: memFree=1584912/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=50.64
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25159 0 1 0 4995 69 0 0 25 0 8 0 171823742 937852928 24862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821178 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14155/statm: 228968 24862 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 16 0 8 0 171823747 937852928 24862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.39
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 553 0 0 0 37 2 0 0 16 0 8 0 171823751 937852928 24862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915872
[startup+102.44 s]
/proc/loadavg: 1.76 1.25 1.28 3/104 14248
/proc/meminfo: memFree=1591888/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=101.36
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25160 0 1 0 10066 70 0 0 25 0 8 0 171823742 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14155/statm: 228968 24863 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 16 0 8 0 171823747 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.4
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 915872
[startup+162.532 s]
/proc/loadavg: 1.95 1.40 1.32 3/104 14248
/proc/meminfo: memFree=1591248/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=160.69
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25160 0 1 0 15999 70 0 0 25 0 8 0 171823742 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074264803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1419.69
Current children cumulated vsize (KiB) 915872
[startup+1484.43 s]
/proc/loadavg: 1.00 1.02 1.14 2/85 14443
/proc/meminfo: memFree=1693064/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=1479.77
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25161 0 1 0 147896 81 0 0 25 0 8 0 171823742 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074158668 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14155/statm: 228968 24863 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 16 0 8 0 171823747 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.4
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1479.77
Current children cumulated vsize (KiB) 915872
[startup+1544.53 s]
/proc/loadavg: 1.00 1.02 1.12 2/85 14443
/proc/meminfo: memFree=1693064/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=1539.86
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25161 0 1 0 153904 82 0 0 25 0 8 0 171823742 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14155/statm: 228968 24863 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 16 0 8 0 171823747 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.4
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.86
Current children cumulated vsize (KiB) 915872
[startup+1604.53 s]
/proc/loadavg: 1.00 1.01 1.11 2/85 14443
/proc/meminfo: memFree=1693000/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=1599.83
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25161 0 1 0 159901 82 0 0 25 0 8 0 171823742 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074159271 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14155/statm: 228968 24863 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 16 0 8 0 171823747 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.4
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.83
Current children cumulated vsize (KiB) 915872
[startup+1664.62 s]
/proc/loadavg: 1.00 1.01 1.10 2/85 14443
/proc/meminfo: memFree=1692936/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=1659.92
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25161 0 1 0 165909 83 0 0 25 0 8 0 171823742 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074177271 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14155/statm: 228968 24863 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 16 0 8 0 171823747 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.4
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1659.92
Current children cumulated vsize (KiB) 915872
[startup+1724.72 s]
/proc/loadavg: 1.00 1.00 1.09 2/85 14443
/proc/meminfo: memFree=1692808/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=1720
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25161 0 1 0 171917 83 0 0 25 0 8 0 171823742 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14155/statm: 228968 24863 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 16 0 8 0 171823747 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.4
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720
Current children cumulated vsize (KiB) 915872
[startup+1784.83 s]
/proc/loadavg: 1.00 1.00 1.08 2/91 14509
/proc/meminfo: memFree=1691272/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=1780.06
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25161 0 1 0 177922 84 0 0 25 0 8 0 171823742 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074167032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14155/statm: 228968 24863 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 16 0 8 0 171823747 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.4
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.06
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.87 s]
/proc/loadavg: 1.00 1.00 1.08 2/91 14559
/proc/meminfo: memFree=1691280/2055920 swapFree=4192812/4192956
[pid=14155] ppid=14152 vsize=915872 CPUtime=1800.08
/proc/14155/stat : 14155 (java) R 14152 14155 14047 0 -1 0 25161 0 1 0 179924 84 0 0 25 0 8 0 171823742 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074156575 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14155/statm: 228968 24863 2547 14 0 215438 0
[pid=14155/tid=14175] ppid=14152 vsize=915872 CPUtime=0.26
/proc/14155/task/14175/stat : 14175 (java) S 14152 14155 14047 0 -1 64 7935 0 0 0 24 2 0 0 16 0 8 0 171823747 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14176] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14176/stat : 14176 (java) S 14152 14155 14047 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14177] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14177/stat : 14177 (java) S 14152 14155 14047 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171823748 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14181] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14181/stat : 14181 (java) S 14152 14155 14047 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14182] ppid=14152 vsize=915872 CPUtime=0.4
/proc/14155/task/14182/stat : 14182 (java) S 14152 14155 14047 0 -1 64 554 0 0 0 38 2 0 0 16 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14155/tid=14183] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14183/stat : 14183 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14155/tid=14184] ppid=14152 vsize=915872 CPUtime=0
/proc/14155/task/14184/stat : 14184 (java) S 14152 14155 14047 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171823751 937852928 24863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.95
CPU time (s): 1800.15
CPU user time (s): 1799.29
CPU system time (s): 0.859869
CPU usage (%): 99.7344
Max. virtual memory (cumulated for all children) (KiB): 915972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.859869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25178
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= 38359
involuntary context switches= 60486
runsolver used 1.81772 s user time and 5.2592 s system time
The end
Begin job on node24 on Mon Jan 8 05:31:25 UTC 2007
IDJOB= 215314
IDBENCH= 4992
FILE ID= node24/215314-1168234284
PBS_JOBID= 3481439
Free space on /tmp= 66470 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16c2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215314-1168234284/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-215314-1168234284 -o ROOT/results/node24/solver-215314-1168234284 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215314-1168234284/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 85a8821c4aefd31c93f8bbb0e7b9f3e2
RANDOM SEED= 532348865
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.234
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.234
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: 1773832 kB
Buffers: 40064 kB
Cached: 129664 kB
SwapCached: 0 kB
Active: 147424 kB
Inactive: 79796 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1773832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 9156 kB
Writeback: 0 kB
Mapped: 76500 kB
Slab: 39552 kB
Committed_AS: 3587988 kB
PageTables: 2312 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= 66475 MiB
End job on node24 on Mon Jan 8 06:01:31 UTC 2007