0.29
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/194414-1168101839/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.54
0.54 constraints being loaded...
0.67 nbConstraints=463 nbRelationTypes=463 nbExtensionStructures=463 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=463 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2324 maxDegree=29
0.67 maxArity=2
0.67 => wckTime=0.38 cpuTime=0.29 mem=17M842
0.72
0.72 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.579 cpuTime=0.43 mem=15M574
0.93
0.93 preprocessing
0.93 nbConstraintChecks=97302 nbPropagations=1083 nbRevisions=8424 nbUselessRevisions=7096 nbSingletonTests=56
0.93 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.93 => wckTime=0.052 cpuTime=0.03 mem=15M574
0.96
0.96 search
0.96 run=0 nbConstraintChecks=48441 nbPropagations=1659 nbRevisions=15337 nbUselessRevisions=12713 nbAssignments=27
0.96 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.08 cpuTime=0.05 mem=15M574
0.97
0.97 search
0.98 run=1 nbConstraintChecks=100228 nbPropagations=4018 nbRevisions=39081 nbUselessRevisions=32455
0.98 nbAssignments=64 nbFailedAssignments=13 nbBacktracks=29 nbVisitedNodes=95 nbRestartNogoods=1 mapSize=22
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.1 cpuTime=0.07 mem=15M574
0.99
0.99 search
0.99 run=2 nbConstraintChecks=176106 nbPropagations=7291 nbRevisions=74995 nbUselessRevisions=62263
0.99 nbAssignments=115 nbFailedAssignments=28 nbBacktracks=54 nbVisitedNodes=173 nbRestartNogoods=4 mapSize=39
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.115 cpuTime=0.08 mem=15M574
1.01
1.01 search
1.01 run=3 nbConstraintChecks=258780 nbPropagations=11563 nbRevisions=124474 nbUselessRevisions=103156
1.01 nbAssignments=174 nbFailedAssignments=43 nbBacktracks=92 nbVisitedNodes=260 nbRestartNogoods=9 mapSize=60
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.132 cpuTime=0.1 mem=15M574
1.03
1.03 search
1.03 run=4 nbConstraintChecks=386475 nbPropagations=17385 nbRevisions=195235 nbUselessRevisions=161458
1.03 nbAssignments=253 nbFailedAssignments=62 nbBacktracks=145 nbVisitedNodes=381 nbRestartNogoods=10 mapSize=95
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.157 cpuTime=0.12 mem=15M574
1.08
1.08 search
1.08 run=5 nbConstraintChecks=626105 nbPropagations=25973 nbRevisions=304984 nbUselessRevisions=251635
1.08 nbAssignments=376 nbFailedAssignments=102 nbBacktracks=221 nbVisitedNodes=589 nbRestartNogoods=12 mapSize=160
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.202 cpuTime=0.16 mem=15M574
1.14
1.14 search
1.14 run=6 nbConstraintChecks=1032880 nbPropagations=38770 nbRevisions=479935 nbUselessRevisions=394465
1.14 nbAssignments=581 nbFailedAssignments=184 nbBacktracks=334 nbVisitedNodes=946 nbRestartNogoods=14 mapSize=263
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.268 cpuTime=0.23 mem=15M574
1.22
1.22 search
1.22 run=7 nbConstraintChecks=1495348 nbPropagations=56978 nbRevisions=735795 nbUselessRevisions=603216
1.22 nbAssignments=857 nbFailedAssignments=280 nbBacktracks=505 nbVisitedNodes=1407 nbRestartNogoods=19 mapSize=398
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.349 cpuTime=0.31 mem=15M574
1.36
1.36 search
1.36 run=8 nbConstraintChecks=2290005 nbPropagations=84244 nbRevisions=1129576 nbUselessRevisions=923898
1.36 nbAssignments=1303 nbFailedAssignments=458 nbBacktracks=762 nbVisitedNodes=2180 nbRestartNogoods=24
1.36 mapSize=618 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.486 cpuTime=0.44 mem=15M574
1.56
1.56 search
1.56 run=9 nbConstraintChecks=3446733 nbPropagations=124369 nbRevisions=1713328 nbUselessRevisions=1399011
1.56 nbAssignments=1950 nbFailedAssignments=690 nbBacktracks=1146 nbVisitedNodes=3224 nbRestartNogoods=34
1.56 mapSize=922 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.681 cpuTime=0.62 mem=15M574
1.61
1.61 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=15M574)
1.82
1.82 search
1.82 run=10 nbConstraintChecks=5023000 nbPropagations=183333 nbRevisions=2588818 nbUselessRevisions=2113461
1.82 nbAssignments=2959 nbFailedAssignments=1112 nbBacktracks=1722 nbVisitedNodes=4982 nbRestartNogoods=37
1.82 => wckTime=0.941 cpuTime=0.87 mem=15M574
2.14
2.14 search
2.14 run=11 nbConstraintChecks=7100602 nbPropagations=267281 nbRevisions=3832702 nbUselessRevisions=3127221
2.14 nbAssignments=4304 nbFailedAssignments=1585 nbBacktracks=2587 nbVisitedNodes=7235 nbRestartNogoods=47
2.14 => wckTime=1.263 cpuTime=1.19 mem=15M574
2.66
2.66 search
2.66 run=12 nbConstraintChecks=10527772 nbPropagations=392245 nbRevisions=5696353 nbUselessRevisions=4647101
2.66 nbAssignments=6406 nbFailedAssignments=2379 nbBacktracks=3884 nbVisitedNodes=10807 nbRestartNogoods=50
2.66 => wckTime=1.787 cpuTime=1.71 mem=15M574
3.50
3.50 search
3.50 run=13 nbConstraintChecks=16068950 nbPropagations=582117 nbRevisions=8560420 nbUselessRevisions=6984405
3.50 nbAssignments=9711 nbFailedAssignments=3727 nbBacktracks=5831 nbVisitedNodes=16546 nbRestartNogoods=56
3.50 => wckTime=2.625 cpuTime=2.55 mem=15M574
4.67
4.67 search
4.67 run=14 nbConstraintChecks=23562165 nbPropagations=863974 nbRevisions=12845423 nbUselessRevisions=10490758
4.67 nbAssignments=14497 nbFailedAssignments=5580 nbBacktracks=8752 nbVisitedNodes=24772 nbRestartNogoods=65
4.67 => wckTime=3.793 cpuTime=3.72 mem=15M574
6.59
6.59 search
6.59 run=15 nbConstraintChecks=37117204 nbPropagations=1289328 nbRevisions=19297938 nbUselessRevisions=15744158
6.59 nbAssignments=21526 nbFailedAssignments=8224 nbBacktracks=13130 nbVisitedNodes=36861 nbRestartNogoods=75
6.59 => wckTime=5.713 cpuTime=5.64 mem=16M550
8.94
8.94 search
8.94 run=16 nbConstraintChecks=51899202 nbPropagations=1903756 nbRevisions=28603748 nbUselessRevisions=23338989
8.94 nbAssignments=31833 nbFailedAssignments=11951 nbBacktracks=19698 nbVisitedNodes=54186 nbRestartNogoods=84
8.94 => wckTime=8.068 cpuTime=7.99 mem=16M550
13.29
13.29 search
13.29 run=17 nbConstraintChecks=81808641 nbPropagations=2853131 nbRevisions=43061272 nbUselessRevisions=35140658
13.29 nbAssignments=48391 nbFailedAssignments=18646 nbBacktracks=29550 nbVisitedNodes=82995 nbRestartNogoods=96
13.29 => wckTime=12.416 cpuTime=12.34 mem=16M550
18.91
18.91 search
18.91 run=18 nbConstraintChecks=118582414 nbPropagations=4250437 nbRevisions=64327117 nbUselessRevisions=52521021
18.91 nbAssignments=71971 nbFailedAssignments=27444 nbBacktracks=44328 nbVisitedNodes=123056 nbRestartNogoods=105
18.91 => wckTime=18.036 cpuTime=17.96 mem=16M550
27.43
27.43 search
27.43 run=19 nbConstraintChecks=175225433 nbPropagations=6310474 nbRevisions=95583593 nbUselessRevisions=78031001
27.43 nbAssignments=107247 nbFailedAssignments=40540 nbBacktracks=66499 nbVisitedNodes=182639 nbRestartNogoods=108
27.43 => wckTime=26.551 cpuTime=26.46 mem=16M550
39.99
39.99 search
39.99 run=20 nbConstraintChecks=255508826 nbPropagations=9376063 nbRevisions=142296514 nbUselessRevisions=116249842
39.99 nbAssignments=160194 nbFailedAssignments=60227 nbBacktracks=99751 nbVisitedNodes=272642 nbRestartNogoods=116
39.99 => wckTime=39.118 cpuTime=39.03 mem=16M550
59.94
59.94 search
59.94 run=21 nbConstraintChecks=391083604 nbPropagations=13980518 nbRevisions=212414780 nbUselessRevisions=173514471
59.94 nbAssignments=239195 nbFailedAssignments=89340 nbBacktracks=149629 nbVisitedNodes=406537 nbRestartNogoods=124
59.94 => wckTime=59.067 cpuTime=58.97 mem=16M550
91.49
91.49 search
91.49 run=22 nbConstraintChecks=603998260 nbPropagations=20998200 nbRevisions=320514249 nbUselessRevisions=261907890
91.49 nbAssignments=361506 nbFailedAssignments=136822 nbBacktracks=224452 nbVisitedNodes=616433 nbRestartNogoods=142
91.50 => wckTime=90.619 cpuTime=90.52 mem=16M550
136.46
136.46 search
136.46 run=23 nbConstraintChecks=896079433 nbPropagations=31572679 nbRevisions=483345074 nbUselessRevisions=395189459
136.46 nbAssignments=545159 nbFailedAssignments=208236 nbBacktracks=336680 nbVisitedNodes=931257 nbRestartNogoods=151
136.46 => wckTime=135.584 cpuTime=135.47 mem=16M550
204.10
204.10 search
204.10 run=24 nbConstraintChecks=1348140717 nbPropagations=47419393 nbRevisions=727376050 nbUselessRevisions=595041667
204.10 nbAssignments=813964 nbFailedAssignments=308692 nbBacktracks=505021 nbVisitedNodes=1390250 nbRestartNogoods=158
204.10 => wckTime=203.222 cpuTime=203.09 mem=16M550
300.98
300.98 search
300.98 run=25 nbConstraintChecks=1988652657 nbPropagations=70834026 nbRevisions=1086876907
300.98 nbUselessRevisions=889290915 nbAssignments=1214728 nbFailedAssignments=456936 nbBacktracks=757533
300.98 nbVisitedNodes=2067321 nbRestartNogoods=172
300.98 => wckTime=300.106 cpuTime=299.95 mem=16M550
444.43
444.43 search
444.43 run=26 nbConstraintChecks=2939265982 nbPropagations=105511448 nbRevisions=1615608350
444.43 nbUselessRevisions=1321462449 nbAssignments=1804265 nbFailedAssignments=667694 nbBacktracks=1136300
444.43 nbVisitedNodes=3059077 nbRestartNogoods=184
444.43 => wckTime=443.558 cpuTime=443.38 mem=16M550
677.93
677.93 search
677.93 run=27 nbConstraintChecks=4494032511 nbPropagations=158263620 nbRevisions=2426813567
677.93 nbUselessRevisions=1985492434 nbAssignments=2731124 nbFailedAssignments=1026352 nbBacktracks=1704454
677.93 nbVisitedNodes=4651921 nbRestartNogoods=199
677.93 => wckTime=677.051 cpuTime=676.82 mem=16M550
995.13
995.13 search
995.13 run=28 nbConstraintChecks=6571195506 nbPropagations=236054550 nbRevisions=3619325921
995.13 nbUselessRevisions=2962291412 nbAssignments=4059070 nbFailedAssignments=1502060 nbBacktracks=2556680
995.13 nbVisitedNodes=6885304 nbRestartNogoods=212
995.13 => wckTime=994.254 cpuTime=993.94 mem=16M550
1526.87
1526.87 search
1526.87 run=29 nbConstraintChecks=10172347367 nbPropagations=354667516 nbRevisions=5446688377
1526.87 nbUselessRevisions=4458817825 nbAssignments=6124044 nbFailedAssignments=2288683 nbBacktracks=3835020
1526.87 nbVisitedNodes=10422528 nbRestartNogoods=226
1526.87 => wckTime=1525.998 cpuTime=1525.47 mem=16M550
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-194414-1168101839 -o ROOT/results/node34/solver-194414-1168101839 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194414-1168101839/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.17 1.11 1.41 3/68 18079
/proc/meminfo: memFree=1394768/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=172 CPUtime=0
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 158578780 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7721764 0 0 4096 0 0 0 0 17 1 0 0
/proc/18078/statm: 43 24 18 14 0 3 0
[startup+0.107504 s]
/proc/loadavg: 0.17 1.11 1.41 3/68 18079
/proc/meminfo: memFree=1394768/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=914988 CPUtime=0.09
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 3093 0 1 0 8 1 0 0 17 0 8 0 158578780 936947712 2839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228747 2840 1459 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515534 s]
/proc/loadavg: 0.17 1.11 1.41 3/68 18079
/proc/meminfo: memFree=1394768/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915328 CPUtime=0.49
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 7233 0 1 0 46 3 0 0 16 0 8 0 158578780 937295872 6972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228832 6973 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3366 s]
/proc/loadavg: 0.23 1.11 1.41 2/75 18086
/proc/meminfo: memFree=1367064/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=1.31
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9625 0 1 0 126 5 0 0 16 0 8 0 158578780 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9363 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.19
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 158578787 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97373 s]
/proc/loadavg: 0.23 1.11 1.41 2/75 18086
/proc/meminfo: memFree=1367000/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=2.96
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9641 0 1 0 290 6 0 0 17 0 8 0 158578780 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9378 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 158578783 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.21
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 399 0 0 0 20 1 0 0 15 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.17498 s]
/proc/loadavg: 0.29 1.11 1.41 2/75 18086
/proc/meminfo: memFree=1367000/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=6.16
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9642 0 1 0 610 6 0 0 22 0 8 0 158578780 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9378 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.21
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 399 0 0 0 20 1 0 0 15 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460
[startup+12.6355 s]
/proc/loadavg: 0.35 1.10 1.41 2/75 18086
/proc/meminfo: memFree=1367000/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=12.61
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9642 0 1 0 1255 6 0 0 25 0 8 0 158578780 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9378 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.21
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 399 0 0 0 20 1 0 0 15 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.4835 s]
/proc/loadavg: 0.45 1.10 1.40 2/75 18087
/proc/meminfo: memFree=1366936/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=25.46
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9642 0 1 0 2540 6 0 0 25 0 8 0 158578780 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9378 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.21
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 399 0 0 0 20 1 0 0 16 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915460
[startup+51.1626 s]
/proc/loadavg: 0.66 1.09 1.39 2/72 18091
/proc/meminfo: memFree=1372408/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=51.13
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9642 0 1 0 5107 6 0 0 25 0 8 0 158578780 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9378 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.21
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 399 0 0 0 20 1 0 0 16 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915460
[startup+102.412 s]
/proc/loadavg: 0.85 1.07 1.36 2/72 18091
/proc/meminfo: memFree=1372408/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=102.37
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9644 0 1 0 10231 6 0 0 25 0 8 0 158578780 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9379 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 158578787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915460
[startup+162.493 s]
/proc/loadavg: 0.94 1.06 1.34 2/72 18091
/proc/meminfo: memFree=1372408/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=162.43
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9644 0 1 0 16237 6 0 0 25 0 8 0 158578780 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820277 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.68
Current children cumulated vsize (KiB) 915460
[startup+1484.21 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 18289
/proc/meminfo: memFree=1372152/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=1483.75
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9645 0 1 0 148367 8 0 0 25 0 8 0 158578780 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9380 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.75
Current children cumulated vsize (KiB) 915460
[startup+1544.29 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 18289
/proc/meminfo: memFree=1372152/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=1543.82
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9645 0 1 0 154374 8 0 0 25 0 8 0 158578780 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9380 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.82
Current children cumulated vsize (KiB) 915460
[startup+1604.38 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 18289
/proc/meminfo: memFree=1372152/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=1603.89
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9645 0 1 0 160381 8 0 0 25 0 8 0 158578780 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9380 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.89
Current children cumulated vsize (KiB) 915460
[startup+1664.46 s]
/proc/loadavg: 1.00 1.00 1.04 2/72 18289
/proc/meminfo: memFree=1372152/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=1663.96
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9645 0 1 0 166388 8 0 0 25 0 8 0 158578780 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817822 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9380 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.96
Current children cumulated vsize (KiB) 915460
[startup+1724.54 s]
/proc/loadavg: 1.00 1.00 1.04 2/72 18289
/proc/meminfo: memFree=1372152/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=1724.03
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9645 0 1 0 172395 8 0 0 25 0 8 0 158578780 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9380 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.03
Current children cumulated vsize (KiB) 915460
[startup+1784.62 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 18289
/proc/meminfo: memFree=1372152/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=1784.09
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9645 0 1 0 178401 8 0 0 25 0 8 0 158578780 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9380 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.09
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.53 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 18289
/proc/meminfo: memFree=1372152/2055920 swapFree=4192812/4192956
[pid=18078] ppid=18076 vsize=915460 CPUtime=1800.01
/proc/18078/stat : 18078 (java) R 18076 18078 17083 0 -1 0 9645 0 1 0 179993 8 0 0 25 0 8 0 158578780 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18078/statm: 228865 9380 2524 14 0 215335 0
[pid=18078/tid=18080] ppid=18076 vsize=915460 CPUtime=0.03
/proc/18078/task/18080/stat : 18080 (java) S 18076 18078 17083 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 158578783 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18078/tid=18081] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18081/stat : 18081 (java) S 18076 18078 17083 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18082] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18082/stat : 18082 (java) S 18076 18078 17083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 158578784 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18083] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18083/stat : 18083 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18084] ppid=18076 vsize=915460 CPUtime=0.22
/proc/18078/task/18084/stat : 18084 (java) S 18076 18078 17083 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18085] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18085/stat : 18085 (java) S 18076 18078 17083 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18078/tid=18086] ppid=18076 vsize=915460 CPUtime=0
/proc/18078/task/18086/stat : 18086 (java) S 18076 18078 17083 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 158578787 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.59
CPU time (s): 1800.07
CPU user time (s): 1799.98
CPU system time (s): 0.092985
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9662
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= 37232
involuntary context switches= 4442
runsolver used 1.79373 s user time and 4.5983 s system time
The end
Begin job on node34 on Sat Jan 6 16:44:02 UTC 2007
IDJOB= 194414
IDBENCH= 3213
FILE ID= node34/194414-1168101839
PBS_JOBID= 3477210
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-40_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194414-1168101839/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-194414-1168101839 -o ROOT/results/node34/solver-194414-1168101839 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194414-1168101839/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0b51f3fff6daaef58a9dde4d43bb4756
RANDOM SEED= 468320131
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.227
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.227
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: 1395248 kB
Buffers: 41092 kB
Cached: 522968 kB
SwapCached: 0 kB
Active: 128968 kB
Inactive: 455464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1395248 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2076 kB
Writeback: 0 kB
Mapped: 30588 kB
Slab: 62032 kB
Committed_AS: 2511904 kB
PageTables: 1596 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= 66535 MiB
End job on node34 on Sat Jan 6 17:14:11 UTC 2007