0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/214092-1168228169/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.52 nbVariables=2650 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.52 => wckTime=0.229 cpuTime=0.15 mem=10M819
0.52
0.52 predicates being loaded...
0.53
0.53 constraints being loaded...
1.50 nbConstraints=6619 nbConvertedConstraints=1697 nbConvertConstraintsChecks=56 nbExtensionStructures=2
1.50 nbSharedExtensionStructures=1695 nbConflictsStructures=8 nbSharedConflictsStructures=6611
1.50 nbSharedBinaryRepresentations=5 nbEvaluationManagers=6 nbSharedEvaluationManagers=4916 maxDegree=85 maxArity=3
1.50 => wckTime=1.204 cpuTime=0.97 mem=8M982
1.56
1.56 solver IterativeSystematicSolver being built...
1.93 => wckTime=1.639 cpuTime=1.24 mem=9M910
2.86
2.86 preprocessing
2.86 nbConstraintChecks=20093 nbValidityChecks=13672 nbPropagations=11026 nbRevisions=44540 nbUselessRevisions=38743
2.86 nbSingletonTests=2721 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
2.86 => wckTime=0.919 cpuTime=0.87 mem=10M895
3.02
3.02 search
3.02 run=0 nbConstraintChecks=25350 nbValidityChecks=20818 nbPropagations=19577 nbRevisions=81310
3.02 nbUselessRevisions=66960 nbAssignments=74 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=83
3.02 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
3.02 => wckTime=1.077 cpuTime=1.02 mem=10M895
3.14
3.14 search
3.14 run=1 nbConstraintChecks=46494 nbValidityChecks=41097 nbPropagations=47202 nbRevisions=196962
3.14 nbUselessRevisions=160212 nbAssignments=148 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=165
3.14 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
3.14 => wckTime=1.202 cpuTime=1.14 mem=10M895
3.32
3.32 search
3.32 run=2 nbConstraintChecks=83922 nbValidityChecks=75575 nbPropagations=88477 nbRevisions=371188
3.32 nbUselessRevisions=298367 nbAssignments=237 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=268
3.32 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
3.32 => wckTime=1.384 cpuTime=1.32 mem=10M895
3.56
3.56 search
3.56 run=3 nbConstraintChecks=131896 nbValidityChecks=120310 nbPropagations=147427 nbRevisions=621466
3.56 nbUselessRevisions=494864 nbAssignments=340 nbFailedAssignments=24 nbBacktracks=92 nbVisitedNodes=389
3.56 nbRestartNogoods=5 mapSize=41 nbInferences=0 nbTooLargeKeys=0
3.56 => wckTime=1.623 cpuTime=1.55 mem=10M895
3.87
3.87 search
3.87 run=4 nbConstraintChecks=201850 nbValidityChecks=184430 nbPropagations=231623 nbRevisions=981021
3.87 nbUselessRevisions=775331 nbAssignments=463 nbFailedAssignments=37 nbBacktracks=142 nbVisitedNodes=538
3.87 nbRestartNogoods=7 mapSize=64 nbInferences=0 nbTooLargeKeys=0
3.87 => wckTime=1.934 cpuTime=1.86 mem=10M895
4.29
4.29 search
4.29 run=5 nbConstraintChecks=300119 nbValidityChecks=275082 nbPropagations=351421 nbRevisions=1495129
4.29 nbUselessRevisions=1174652 nbAssignments=612 nbFailedAssignments=56 nbBacktracks=218 nbVisitedNodes=725
4.29 nbRestartNogoods=10 mapSize=100 nbInferences=0 nbTooLargeKeys=0
4.29 => wckTime=2.354 cpuTime=2.28 mem=10M895
4.90
4.90 search
4.90 run=6 nbConstraintChecks=446894 nbValidityChecks=409051 nbPropagations=523883 nbRevisions=2237618
4.90 nbUselessRevisions=1749520 nbAssignments=811 nbFailedAssignments=84 nbBacktracks=333 nbVisitedNodes=980
4.90 nbRestartNogoods=12 mapSize=153 nbInferences=0 nbTooLargeKeys=0
4.90 => wckTime=2.962 cpuTime=2.88 mem=10M895
5.72
5.72 search
5.72 run=7 nbConstraintChecks=633090 nbValidityChecks=579190 nbPropagations=763068 nbRevisions=3270317
5.72 nbUselessRevisions=2547647 nbAssignments=1079 nbFailedAssignments=120 nbBacktracks=511 nbVisitedNodes=1320
5.72 nbRestartNogoods=15 mapSize=222 nbInferences=0 nbTooLargeKeys=0
5.72 => wckTime=3.783 cpuTime=3.7 mem=11M880
6.90
6.90 search
6.90 run=8 nbConstraintChecks=908649 nbValidityChecks=829804 nbPropagations=1100701 nbRevisions=4730180
6.90 nbUselessRevisions=3674145 nbAssignments=1450 nbFailedAssignments=173 nbBacktracks=767 nbVisitedNodes=1797
6.90 nbRestartNogoods=18 mapSize=323 nbInferences=0 nbTooLargeKeys=0
6.90 => wckTime=4.965 cpuTime=4.87 mem=11M880
8.48
8.48 search
8.48 run=9 nbConstraintChecks=1227201 nbValidityChecks=1119744 nbPropagations=1552324 nbRevisions=6687654
8.48 nbUselessRevisions=5183815 nbAssignments=1965 nbFailedAssignments=237 nbBacktracks=1158 nbVisitedNodes=2446
8.48 nbRestartNogoods=23 mapSize=454 nbInferences=0 nbTooLargeKeys=0
8.48 => wckTime=6.546 cpuTime=6.43 mem=11M880
10.71
10.71 search
10.71 run=10 nbConstraintChecks=1643486 nbValidityChecks=1505557 nbPropagations=2154375 nbRevisions=9310610
10.71 nbUselessRevisions=7207533 nbAssignments=2696 nbFailedAssignments=324 nbBacktracks=1737 nbVisitedNodes=3380
10.71 nbRestartNogoods=26 mapSize=652 nbInferences=0 nbTooLargeKeys=0
10.71 => wckTime=8.775 cpuTime=8.64 mem=12M865
13.93
13.94 search
13.94 run=11 nbConstraintChecks=2239553 nbValidityChecks=2073561 nbPropagations=2976672 nbRevisions=12905790
13.94 nbUselessRevisions=9981666 nbAssignments=3747 nbFailedAssignments=453 nbBacktracks=2611 nbVisitedNodes=4737
13.94 nbRestartNogoods=31 mapSize=957 nbInferences=0 nbTooLargeKeys=0
13.94 => wckTime=11.996 cpuTime=11.84 mem=12M865
14.51
14.51 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=12M865)
16.90
16.90 search
16.90 run=12 nbConstraintChecks=3136400 nbValidityChecks=2945048 nbPropagations=4138860 nbRevisions=17962167
16.90 nbUselessRevisions=13874476 nbAssignments=5290 nbFailedAssignments=628 nbBacktracks=3911 nbVisitedNodes=6706
16.90 nbRestartNogoods=32
16.90 => wckTime=14.959 cpuTime=14.79 mem=12M865
20.89
20.89 search
20.89 run=13 nbConstraintChecks=4380757 nbValidityChecks=4210370 nbPropagations=5785848 nbRevisions=25115497
20.89 nbUselessRevisions=19373230 nbAssignments=7557 nbFailedAssignments=854 nbBacktracks=5880 nbVisitedNodes=9507
20.89 nbRestartNogoods=37
20.89 => wckTime=18.949 cpuTime=18.76 mem=12M865
26.80
26.80 search
26.80 run=14 nbConstraintChecks=6117718 nbValidityChecks=6088420 nbPropagations=8154351 nbRevisions=35370614
26.80 nbUselessRevisions=27240037 nbAssignments=10906 nbFailedAssignments=1211 nbBacktracks=8806 nbVisitedNodes=13622
26.80 nbRestartNogoods=40
26.80 => wckTime=24.863 cpuTime=24.64 mem=12M865
36.56
36.56 search
36.56 run=15 nbConstraintChecks=9019978 nbValidityChecks=9265457 nbPropagations=11722863 nbRevisions=50889130
36.56 nbUselessRevisions=39147659 nbAssignments=15847 nbFailedAssignments=1691 nbBacktracks=13202
36.56 nbVisitedNodes=19543 nbRestartNogoods=43
36.56 => wckTime=34.622 cpuTime=34.32 mem=12M865
48.89
48.89 search
48.89 run=16 nbConstraintChecks=12363856 nbValidityChecks=13086710 nbPropagations=16624457 nbRevisions=72526496
48.89 nbUselessRevisions=55770392 nbAssignments=23552 nbFailedAssignments=2730 nbBacktracks=19770
48.89 nbVisitedNodes=29270 nbRestartNogoods=49
48.89 => wckTime=46.953 cpuTime=46.6 mem=12M865
63.30
63.30 search
63.30 run=17 nbConstraintChecks=16092701 nbValidityChecks=17125732 nbPropagations=23018652 nbRevisions=100784584
63.30 nbUselessRevisions=77475564 nbAssignments=34344 nbFailedAssignments=3569 nbBacktracks=29628
63.30 nbVisitedNodes=41758 nbRestartNogoods=52
63.30 => wckTime=61.365 cpuTime=60.95 mem=12M865
82.29
82.29 search
82.29 run=18 nbConstraintChecks=20634142 nbValidityChecks=22078154 nbPropagations=31177664 nbRevisions=136994073
82.29 nbUselessRevisions=105280951 nbAssignments=50439 nbFailedAssignments=4788 nbBacktracks=44440
82.29 nbVisitedNodes=60265 nbRestartNogoods=62
82.29 => wckTime=80.352 cpuTime=79.82 mem=12M865
113.46
113.46 search
113.46 run=19 nbConstraintChecks=28481193 nbValidityChecks=30655861 nbPropagations=42505737 nbRevisions=187339042
113.46 nbUselessRevisions=143957246 nbAssignments=74337 nbFailedAssignments=6456 nbBacktracks=66608
113.46 nbVisitedNodes=87499 nbRestartNogoods=65
113.46 => wckTime=111.521 cpuTime=110.85 mem=12M865
155.79
155.79 search
155.79 run=20 nbConstraintChecks=38375869 nbValidityChecks=41624522 nbPropagations=57800405 nbRevisions=255775297
155.79 nbUselessRevisions=196610375 nbAssignments=109934 nbFailedAssignments=8714 nbBacktracks=99869
155.79 nbVisitedNodes=127617 nbRestartNogoods=72
155.79 => wckTime=153.855 cpuTime=152.96 mem=12M865
207.88
207.88 search
207.88 run=21 nbConstraintChecks=49252405 nbValidityChecks=53263856 nbPropagations=77451789 nbRevisions=343519247
207.88 nbUselessRevisions=264105442 nbAssignments=162380 nbFailedAssignments=11178 nbBacktracks=149755
207.88 nbVisitedNodes=184952 nbRestartNogoods=78
207.88 => wckTime=205.942 cpuTime=204.75 mem=12M865
292.62
292.62 search
292.62 run=22 nbConstraintChecks=68040523 nbValidityChecks=73659139 nbPropagations=104575560 nbRevisions=465164397
292.62 nbUselessRevisions=357790433 nbAssignments=241890 nbFailedAssignments=15745 nbBacktracks=224574
292.62 nbVisitedNodes=273448 nbRestartNogoods=86
292.62 => wckTime=290.682 cpuTime=289.08 mem=12M865
424.03
424.03 search
424.03 run=23 nbConstraintChecks=98031219 nbValidityChecks=106200648 nbPropagations=143841964 nbRevisions=640694700
424.03 nbUselessRevisions=492897571 nbAssignments=359828 nbFailedAssignments=21361 nbBacktracks=336817
424.03 nbVisitedNodes=402743 nbRestartNogoods=95
424.03 => wckTime=422.095 cpuTime=419.81 mem=12M865
626.64
626.64 search
626.64 run=24 nbConstraintChecks=144386116 nbValidityChecks=157875597 nbPropagations=201948799 nbRevisions=901590863
626.64 nbUselessRevisions=693880907 nbAssignments=537671 nbFailedAssignments=30784 nbBacktracks=505166
626.64 nbVisitedNodes=599727 nbRestartNogoods=102
626.64 => wckTime=624.704 cpuTime=621.36 mem=13M850
923.89
923.89 search
923.89 run=25 nbConstraintChecks=213218520 nbValidityChecks=230594230 nbPropagations=286938801 nbRevisions=1283660352
923.89 nbUselessRevisions=988283082 nbAssignments=805059 nbFailedAssignments=45537 nbBacktracks=757734
923.89 nbVisitedNodes=897289 nbRestartNogoods=108
923.89 => wckTime=921.955 cpuTime=917.01 mem=13M850
1368.91
1368.91 search
1368.91 run=26 nbConstraintChecks=314267715 nbValidityChecks=342149504 nbPropagations=412332274 nbRevisions=1847288870
1368.91 nbUselessRevisions=1422082659 nbAssignments=1206246 nbFailedAssignments=67874 nbBacktracks=1136501
1368.91 nbVisitedNodes=1343648 nbRestartNogoods=115
1368.91 => wckTime=1366.973 cpuTime=1358.51 mem=13M850
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-214092-1168228169 -o ROOT/results/node16/solver-214092-1168228169 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214092-1168228169/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.90 1.93 1.88 4/94 8158
/proc/meminfo: memFree=1765536/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=18540 CPUtime=0
/proc/8157/stat : 8157 (runsolver) R 8155 8157 7816 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 171212100 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/8157/statm: 4635 279 244 17 0 2626 0
[startup+0.103767 s]
/proc/loadavg: 1.90 1.93 1.88 4/94 8158
/proc/meminfo: memFree=1765536/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=914988 CPUtime=0.08
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 3019 0 1 0 7 1 0 0 24 0 8 0 171212100 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155583510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511693 s]
/proc/loadavg: 1.90 1.93 1.88 4/94 8158
/proc/meminfo: memFree=1765536/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915328 CPUtime=0.48
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 6636 0 1 0 44 4 0 0 25 0 8 0 171212100 937295872 6375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228832 6375 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33254 s]
/proc/loadavg: 1.99 1.94 1.88 3/101 8165
/proc/meminfo: memFree=1713512/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915636 CPUtime=1.3
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 16333 0 1 0 99 31 0 0 25 0 8 0 171212100 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445349 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228909 16071 2167 14 0 215379 0
[pid=8157/tid=8159] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 171212104 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 171212105 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 171212105 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915636 CPUtime=0.17
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 171212108 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937611264 16071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915636 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937611264 16071 18446744073709551615 134512640 134570532 4294956464 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.97025 s]
/proc/loadavg: 1.99 1.94 1.88 3/101 8165
/proc/meminfo: memFree=1693672/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=2.93
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20618 0 1 0 257 36 0 0 25 0 8 0 171212100 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074134354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20352 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 17 0 8 0 171212104 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.32
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 512 0 0 0 31 1 0 0 15 0 8 0 171212108 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20352 18446744073709551615 134512640 134570532 4294956464 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) 915728
[startup+6.17666 s]
/proc/loadavg: 1.99 1.94 1.88 3/101 8165
/proc/meminfo: memFree=1693424/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=6.12
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20624 0 1 0 576 36 0 0 25 0 8 0 171212100 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074088163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20357 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.33
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 171212108 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915728
[startup+12.6485 s]
/proc/loadavg: 2.07 1.96 1.89 3/101 8165
/proc/meminfo: memFree=1693296/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=12.57
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20639 0 1 0 1220 37 0 0 25 0 8 0 171212100 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074089340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20367 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 528 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20367 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915728
[startup+25.5151 s]
/proc/loadavg: 2.06 1.96 1.89 3/101 8165
/proc/meminfo: memFree=1693104/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=25.37
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20643 0 1 0 2500 37 0 0 25 0 8 0 171212100 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20368 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 529 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915728
[startup+51.1364 s]
/proc/loadavg: 2.10 1.98 1.90 3/101 8165
/proc/meminfo: memFree=1693104/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=50.84
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20644 0 1 0 5047 37 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838666 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 17 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915728
[startup+102.372 s]
/proc/loadavg: 2.17 2.01 1.91 3/101 8165
/proc/meminfo: memFree=1693104/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=101.81
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20644 0 1 0 10144 37 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 17 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915728
[startup+162.455 s]
/proc/loadavg: 2.06 2.01 1.91 3/101 8165
/proc/meminfo: memFree=1692784/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=161.57
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20644 0 1 0 16119 38 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.13
Current children cumulated vsize (KiB) 915728
[startup+1484.15 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8434
/proc/meminfo: memFree=1691576/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1474.64
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 147405 59 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074137010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.64
Current children cumulated vsize (KiB) 915728
[startup+1544.23 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8436
/proc/meminfo: memFree=1691320/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1534.14
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 153354 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.14
Current children cumulated vsize (KiB) 915728
[startup+1604.32 s]
/proc/loadavg: 2.00 2.00 1.94 4/101 8436
/proc/meminfo: memFree=1691320/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1593.65
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 159305 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074090316 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.65
Current children cumulated vsize (KiB) 915728
[startup+1664.34 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8436
/proc/meminfo: memFree=1691256/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1653.1
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 165250 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074105191 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.1
Current children cumulated vsize (KiB) 915728
[startup+1724.36 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8436
/proc/meminfo: memFree=1691256/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1712.56
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 171196 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074191472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.56
Current children cumulated vsize (KiB) 915728
[startup+1784.45 s]
/proc/loadavg: 2.00 2.00 1.94 4/101 8436
/proc/meminfo: memFree=1691192/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1772.05
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 177145 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074103792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.05
Current children cumulated vsize (KiB) 915728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.65 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 8436
/proc/meminfo: memFree=1691192/2055920 swapFree=4191880/4192956
[pid=8157] ppid=8155 vsize=915728 CPUtime=1800
/proc/8157/stat : 8157 (java) R 8155 8157 7816 0 -1 0 20645 0 1 0 179940 60 0 0 25 0 8 0 171212100 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074098739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8157/statm: 228932 20369 2547 14 0 215402 0
[pid=8157/tid=8159] ppid=8155 vsize=915728 CPUtime=0.14
/proc/8157/task/8159/stat : 8159 (java) S 8155 8157 7816 0 -1 64 3460 0 0 0 14 0 0 0 16 0 8 0 171212104 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8160] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8160/stat : 8160 (java) S 8155 8157 7816 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8161] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8161/stat : 8161 (java) S 8155 8157 7816 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171212105 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8162] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8162/stat : 8162 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8163] ppid=8155 vsize=915728 CPUtime=0.36
/proc/8157/task/8163/stat : 8163 (java) S 8155 8157 7816 0 -1 64 530 0 0 0 35 1 0 0 16 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8164] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8164/stat : 8164 (java) S 8155 8157 7816 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8157/tid=8165] ppid=8155 vsize=915728 CPUtime=0
/proc/8157/task/8165/stat : 8165 (java) S 8155 8157 7816 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171212108 937705472 20369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1812.68
CPU time (s): 1800.03
CPU user time (s): 1799.42
CPU system time (s): 0.615906
CPU usage (%): 99.3022
Max. virtual memory (cumulated for all children) (KiB): 915768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.615906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20662
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= 38410
involuntary context switches= 76020
runsolver used 2.08568 s user time and 5.9371 s system time
The end
Begin job on node16 on Mon Jan 8 03:49:31 UTC 2007
IDJOB= 214092
IDBENCH= 4898
FILE ID= node16/214092-1168228169
PBS_JOBID= 3481124
Free space on /tmp= 66520 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-32-3-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214092-1168228169/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-214092-1168228169 -o ROOT/results/node16/solver-214092-1168228169 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214092-1168228169/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 315a156ccbc0beaf56a30107b637b9af
RANDOM SEED= 414462590
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.220
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.220
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: 1766208 kB
Buffers: 43520 kB
Cached: 127528 kB
SwapCached: 448 kB
Active: 140328 kB
Inactive: 97748 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1766208 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2788 kB
Writeback: 0 kB
Mapped: 93172 kB
Slab: 36308 kB
Committed_AS: 4588196 kB
PageTables: 2472 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= 66520 MiB
End job on node16 on Mon Jan 8 04:19:46 UTC 2007