0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/201246-1168146437/unknown.xml
0.37
0.37 domains being loaded...
0.40
0.40 variables being loaded...
0.65 nbVariables=1500 nbDomainTypes=13 minDomainSize=42 maxDomainSize=310
0.65 => wckTime=0.337 cpuTime=0.23 mem=22M513
0.65
0.65 predicates being loaded...
0.65
0.65 constraints being loaded...
203.09
203.09 INFO : Stopping converting binary constraints (cpu=200.01, mem = 81M738)
205.34 nbConstraints=13439 nbMergedConstraints=11970 nbConvertedConstraints=4864 nbConvertConstraintsChecks=339638826
205.34 nbExtensionStructures=3946 nbSharedExtensionStructures=918 nbConflictsStructures=3946
205.34 nbSharedConflictsStructures=918 nbSharedBinaryRepresentations=1960522 nbEvaluationManagers=6558
205.34 nbSharedEvaluationManagers=2017 maxDegree=22 maxArity=2
205.34 => wckTime=205.026 cpuTime=201.94 mem=94M521
205.68
205.68 solver IterativeSystematicSolver being built...
206.11 => wckTime=205.802 cpuTime=202.25 mem=140M858
270.82
270.82 INFO : Stopping ESAC
270.83
270.83 preprocessing
270.83 nbConstraintChecks=136571124 nbValidityChecks=61352587 nbPropagations=59330 nbRevisions=917428
270.83 nbUselessRevisions=827375 nbSingletonTests=674 nbEffectiveSingletonTests=70 nbESACBranches=35
270.83 nbRemovedValues=272508 detectedInconsistency=no
270.83 => wckTime=64.696 cpuTime=64.18 mem=140M858
276.34
276.34 search
276.34 run=0 nbConstraintChecks=12611134 nbValidityChecks=8371139 nbPropagations=69924 nbRevisions=1078221
276.34 nbUselessRevisions=971954 nbAssignments=144 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=167
276.34 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=131
276.34 => wckTime=70.21 cpuTime=69.65 mem=141M874
298.77
298.77 search
298.77 run=1 nbConstraintChecks=75743027 nbValidityChecks=65478462 nbPropagations=203964 nbRevisions=3109649
298.77 nbUselessRevisions=2817568 nbAssignments=813 nbFailedAssignments=24 nbBacktracks=29 nbVisitedNodes=350
298.77 nbRestartNogoods=9 mapSize=0 nbInferences=0 nbTooLargeKeys=277
298.77 => wckTime=92.646 cpuTime=91.97 mem=141M874
302.41
302.41 search
302.41 run=2 nbConstraintChecks=86423243 nbValidityChecks=75052352 nbPropagations=350937 nbRevisions=5341009
302.41 nbUselessRevisions=4841976 nbAssignments=991 nbFailedAssignments=41 nbBacktracks=51 nbVisitedNodes=565
302.41 nbRestartNogoods=11 mapSize=0 nbInferences=0 nbTooLargeKeys=438
302.41 => wckTime=96.286 cpuTime=95.59 mem=141M874
305.99
305.99 search
305.99 run=3 nbConstraintChecks=96743952 nbValidityChecks=84764219 nbPropagations=511025 nbRevisions=7771142
305.99 nbUselessRevisions=7047331 nbAssignments=1180 nbFailedAssignments=60 nbBacktracks=84 nbVisitedNodes=801
305.99 nbRestartNogoods=15 mapSize=0 nbInferences=0 nbTooLargeKeys=608
305.99 => wckTime=99.859 cpuTime=99.15 mem=141M874
309.94
309.94 search
309.94 run=4 nbConstraintChecks=108166218 nbValidityChecks=95366325 nbPropagations=685971 nbRevisions=10427126
309.94 nbUselessRevisions=9457653 nbAssignments=1395 nbFailedAssignments=88 nbBacktracks=137 nbVisitedNodes=1084
309.94 nbRestartNogoods=19 mapSize=0 nbInferences=0 nbTooLargeKeys=795
309.94 => wckTime=103.811 cpuTime=103.08 mem=141M874
316.20
316.20 search
316.20 run=5 nbConstraintChecks=124315705 nbValidityChecks=107851290 nbPropagations=876276 nbRevisions=13340451
316.20 nbUselessRevisions=12093214 nbAssignments=1596 nbFailedAssignments=151 nbBacktracks=213 nbVisitedNodes=1379
316.20 nbRestartNogoods=21 mapSize=0 nbInferences=0 nbTooLargeKeys=933
316.20 => wckTime=110.076 cpuTime=109.28 mem=141M874
321.19
321.19 INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=1028, mem=141M874)
324.48
324.48 search
324.48 run=6 nbConstraintChecks=146728387 nbValidityChecks=127976753 nbPropagations=1089105 nbRevisions=16600694
324.48 nbUselessRevisions=15038542 nbAssignments=1978 nbFailedAssignments=325 nbBacktracks=326 nbVisitedNodes=1952
324.48 nbRestartNogoods=26
324.48 => wckTime=118.355 cpuTime=117.53 mem=141M874
335.91
335.91 search
335.91 run=7 nbConstraintChecks=177583923 nbValidityChecks=149390553 nbPropagations=1331903 nbRevisions=20397516
335.91 nbUselessRevisions=18444566 nbAssignments=2361 nbFailedAssignments=489 nbBacktracks=497 nbVisitedNodes=2579
335.91 nbRestartNogoods=33
335.91 => wckTime=129.788 cpuTime=128.9 mem=141M874
357.96
357.96 search
357.96 run=8 nbConstraintChecks=238922410 nbValidityChecks=196736940 nbPropagations=1647970 nbRevisions=25454294
357.96 nbUselessRevisions=22965076 nbAssignments=3013 nbFailedAssignments=718 nbBacktracks=760 nbVisitedNodes=3497
357.96 nbRestartNogoods=42
357.96 => wckTime=151.835 cpuTime=150.8 mem=141M874
403.19
403.19 search
403.19 run=9 nbConstraintChecks=368224114 nbValidityChecks=306700695 nbPropagations=2097265 nbRevisions=32648124
403.19 nbUselessRevisions=29388318 nbAssignments=4552 nbFailedAssignments=1156 nbBacktracks=1145 nbVisitedNodes=5021
403.19 nbRestartNogoods=57
403.19 => wckTime=197.059 cpuTime=195.78 mem=141M874
454.95
454.95 search
454.95 run=10 nbConstraintChecks=516472350 nbValidityChecks=423637217 nbPropagations=2723904 nbRevisions=42852001
454.95 nbUselessRevisions=38468732 nbAssignments=6027 nbFailedAssignments=1829 nbBacktracks=1721 nbVisitedNodes=7204
454.95 nbRestartNogoods=69
454.95 => wckTime=248.825 cpuTime=247.28 mem=141M874
547.79
547.79 search
547.79 run=11 nbConstraintChecks=781977878 nbValidityChecks=641645562 nbPropagations=3618535 nbRevisions=57369184
547.79 nbUselessRevisions=51350151 nbAssignments=9441 nbFailedAssignments=3429 nbBacktracks=2587 nbVisitedNodes=11730
547.79 nbRestartNogoods=84
547.79 => wckTime=341.663 cpuTime=339.62 mem=141M874
639.29
639.29 search
639.29 run=12 nbConstraintChecks=1031892604 nbValidityChecks=815929080 nbPropagations=4830752 nbRevisions=77647791
639.29 nbUselessRevisions=69127337 nbAssignments=12861 nbFailedAssignments=5406 nbBacktracks=3885 nbVisitedNodes=17545
639.29 nbRestartNogoods=103
639.29 => wckTime=433.162 cpuTime=430.63 mem=141M874
881.90
881.90 search
881.90 run=13 nbConstraintChecks=1726510909 nbValidityChecks=1403434967 nbPropagations=6815262 nbRevisions=111089105
881.90 nbUselessRevisions=98525910 nbAssignments=18631 nbFailedAssignments=7840 nbBacktracks=5833 nbVisitedNodes=25456
881.90 nbRestartNogoods=126
881.90 => wckTime=675.777 cpuTime=671.97 mem=141M874
1137.61
1137.61 search
1137.61 run=14 nbConstraintChecks=2463504528 nbValidityChecks=1946862898 nbPropagations=9686800 nbRevisions=160266634
1137.61 nbUselessRevisions=141524775 nbAssignments=25945 nbFailedAssignments=12118 nbBacktracks=8753
1137.61 nbVisitedNodes=38432 nbRestartNogoods=132
1137.61 => wckTime=931.486 cpuTime=926.35 mem=141M874
1507.85
1507.85 search
1507.85 run=15 nbConstraintChecks=3534463243 nbValidityChecks=2787159412 nbPropagations=13824343 nbRevisions=231776317
1507.85 nbUselessRevisions=203839263 nbAssignments=37906 nbFailedAssignments=18067 nbBacktracks=13131
1507.85 nbVisitedNodes=56734 nbRestartNogoods=185
1507.85 => wckTime=1301.723 cpuTime=1294.63 mem=141M874
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-201246-1168146437 -o ROOT/results/node16/solver-201246-1168146437 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201246-1168146437/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: 2.32 2.11 2.03 5/86 12755
/proc/meminfo: memFree=1359312/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=906644 CPUtime=0.03
/proc/12754/stat : 12754 (java) S 12752 12754 12127 0 -1 0 2068 0 1 0 2 1 0 0 18 0 2 0 163038552 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 226661 1817 1036 14 0 214244 0
[pid=12754/tid=12756] ppid=12752 vsize=906644 CPUtime=0
/proc/12754/task/12756/stat : 12756 (java) R 12752 12754 12127 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 163038556 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104124 s]
/proc/loadavg: 2.32 2.11 2.03 5/86 12755
/proc/meminfo: memFree=1359312/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=914988 CPUtime=0.09
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 3005 0 1 0 8 1 0 0 20 0 8 0 163038552 936947712 2751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152820096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 228747 2751 1430 14 0 215242 0
[pid=12754/tid=12756] ppid=12752 vsize=914988 CPUtime=0
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 163038556 936947712 2751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512047 s]
/proc/loadavg: 2.32 2.11 2.03 5/86 12755
/proc/meminfo: memFree=1359312/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915328 CPUtime=0.5
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 7350 0 1 0 46 4 0 0 18 0 8 0 163038552 937295872 7089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154646874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 228832 7089 2138 14 0 215302 0
[pid=12754/tid=12756] ppid=12752 vsize=915328 CPUtime=0
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 163038556 937295872 7089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3389 s]
/proc/loadavg: 2.32 2.11 2.03 3/93 12762
/proc/meminfo: memFree=1288216/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=1.31
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 22179 0 1 0 119 12 0 0 24 0 8 0 163038552 937623552 21916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073537455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 228912 21916 2160 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=0.08
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 5636 0 0 0 6 2 0 0 16 0 8 0 163038556 937623552 21916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 21916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 21916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 21916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.16
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 409 0 0 0 16 0 0 0 15 0 8 0 163038560 937623552 21916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 21916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 21916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648
[startup+2.98959 s]
/proc/loadavg: 2.32 2.11 2.03 4/93 12762
/proc/meminfo: memFree=1279832/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=2.95
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 22256 0 1 0 282 13 0 0 25 0 8 0 163038552 937623552 21991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 228912 21991 2180 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=0.11
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 5636 0 0 0 9 2 0 0 17 0 8 0 163038556 937623552 21991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 21991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 21991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 21991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.19
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 423 0 0 0 19 0 0 0 15 0 8 0 163038560 937623552 21991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 21991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 21991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915648
[startup+6.268 s]
/proc/loadavg: 2.30 2.11 2.03 3/93 12762
/proc/meminfo: memFree=1279640/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=6.2
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 22271 0 1 0 606 14 0 0 25 0 8 0 163038552 937623552 22006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837671 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 228912 22006 2181 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=0.11
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 5636 0 0 0 9 2 0 0 16 0 8 0 163038556 937623552 22006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 22006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 22006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 22006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.2
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 437 0 0 0 20 0 0 0 15 0 8 0 163038560 937623552 22006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 22006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 22006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915648
[startup+12.7568 s]
/proc/loadavg: 2.27 2.11 2.03 3/93 12762
/proc/meminfo: memFree=1279704/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=12.63
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 22274 0 1 0 1249 14 0 0 25 0 8 0 163038552 937623552 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 228912 22008 2181 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=0.11
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 5636 0 0 0 9 2 0 0 16 0 8 0 163038556 937623552 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.21
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 439 0 0 0 21 0 0 0 16 0 8 0 163038560 937623552 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 22008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915648
[startup+25.5955 s]
/proc/loadavg: 2.23 2.10 2.03 3/93 12762
/proc/meminfo: memFree=1267032/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=25.37
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 25463 0 1 0 2519 18 0 0 25 0 8 0 163038552 937623552 25196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 228912 25196 2181 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=0.24
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 8823 0 0 0 21 3 0 0 16 0 8 0 163038556 937623552 25196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 25196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 25196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 25196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.21
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 440 0 0 0 21 0 0 0 15 0 8 0 163038560 937623552 25196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 25196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 25196 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915648
[startup+51.1988 s]
/proc/loadavg: 2.14 2.09 2.03 3/93 12762
/proc/meminfo: memFree=1267032/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=50.75
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 25470 0 1 0 5054 21 0 0 25 0 8 0 163038552 937623552 25202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 228912 25202 2181 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=0.24
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 8823 0 0 0 21 3 0 0 16 0 8 0 163038556 937623552 25202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 25202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 25202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 25202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.22
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 446 0 0 0 22 0 0 0 16 0 8 0 163038560 937623552 25202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 25202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 25202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915648
[startup+102.406 s]
/proc/loadavg: 2.06 2.08 2.02 3/93 12762
/proc/meminfo: memFree=1243032/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=101.53
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 31484 0 1 0 10124 29 0 0 25 0 8 0 163038552 937623552 31212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831586 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12754/statm: 228912 31212 2181 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=0.58
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 14825 0 0 0 53 5 0 0 16 0 8 0 163038556 937623552 31212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 31212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 31212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 31212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.23
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 454 0 0 0 23 0 0 0 16 0 8 0 163038560 937623552 31212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 31212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 31212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915648
################
# More data... #
################
Current children cumulated CPU time (s) 1414.91
Current children cumulated vsize (KiB) 915648
[startup+1483.19 s]
/proc/loadavg: 2.03 2.07 2.03 3/101 12945
/proc/meminfo: memFree=725016/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=1474.6
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 45927 0 1 0 147397 63 0 0 25 0 8 0 163038552 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074275582 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12754/statm: 228912 45619 2547 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=1.53
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 28700 0 0 0 141 12 0 0 16 0 8 0 163038556 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.44
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 561 0 0 0 42 2 0 0 16 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.6
Current children cumulated vsize (KiB) 915648
[startup+1543.23 s]
/proc/loadavg: 2.01 2.05 2.02 3/101 12945
/proc/meminfo: memFree=684632/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=1534.32
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 45927 0 1 0 153369 63 0 0 25 0 8 0 163038552 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12754/statm: 228912 45619 2547 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=1.53
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 28700 0 0 0 141 12 0 0 16 0 8 0 163038556 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.44
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 561 0 0 0 42 2 0 0 16 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.32
Current children cumulated vsize (KiB) 915648
[startup+1603.25 s]
/proc/loadavg: 2.05 2.06 2.02 3/101 12945
/proc/meminfo: memFree=660376/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=1594.03
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 45927 0 1 0 159340 63 0 0 25 0 8 0 163038552 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12754/statm: 228912 45619 2547 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=1.53
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 28700 0 0 0 141 12 0 0 16 0 8 0 163038556 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.44
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 561 0 0 0 42 2 0 0 16 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.03
Current children cumulated vsize (KiB) 915648
[startup+1663.28 s]
/proc/loadavg: 2.02 2.04 2.02 4/101 12945
/proc/meminfo: memFree=639896/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=1653.72
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 45927 0 1 0 165309 63 0 0 25 0 8 0 163038552 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12754/statm: 228912 45619 2547 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=1.53
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 28700 0 0 0 141 12 0 0 16 0 8 0 163038556 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.44
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 561 0 0 0 42 2 0 0 16 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.72
Current children cumulated vsize (KiB) 915648
[startup+1723.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/101 12945
/proc/meminfo: memFree=615640/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=1713.43
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 45927 0 1 0 171279 64 0 0 25 0 8 0 163038552 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074161977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12754/statm: 228912 45619 2547 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=1.53
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 28700 0 0 0 141 12 0 0 16 0 8 0 163038556 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.44
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 561 0 0 0 42 2 0 0 16 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.43
Current children cumulated vsize (KiB) 915648
[startup+1783.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/101 12945
/proc/meminfo: memFree=593176/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=1773.13
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 45927 0 1 0 177249 64 0 0 25 0 8 0 163038552 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074172880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12754/statm: 228912 45619 2547 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=1.53
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 28700 0 0 0 141 12 0 0 16 0 8 0 163038556 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.44
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 561 0 0 0 42 2 0 0 16 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.13
Current children cumulated vsize (KiB) 915648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.39 s]
/proc/loadavg: 2.07 2.04 2.01 3/101 12945
/proc/meminfo: memFree=580632/2055920 swapFree=4191880/4192956
[pid=12754] ppid=12752 vsize=915648 CPUtime=1800.05
/proc/12754/stat : 12754 (java) R 12752 12754 12127 0 -1 0 45927 0 1 0 179941 64 0 0 25 0 8 0 163038552 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12754/statm: 228912 45619 2547 14 0 215382 0
[pid=12754/tid=12756] ppid=12752 vsize=915648 CPUtime=1.53
/proc/12754/task/12756/stat : 12756 (java) S 12752 12754 12127 0 -1 64 28700 0 0 0 141 12 0 0 16 0 8 0 163038556 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12757] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12757/stat : 12757 (java) S 12752 12754 12127 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12758] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12758/stat : 12758 (java) S 12752 12754 12127 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 163038557 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12759] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12759/stat : 12759 (java) S 12752 12754 12127 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12760] ppid=12752 vsize=915648 CPUtime=0.44
/proc/12754/task/12760/stat : 12760 (java) S 12752 12754 12127 0 -1 64 561 0 0 0 42 2 0 0 16 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12754/tid=12761] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12761/stat : 12761 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12754/tid=12762] ppid=12752 vsize=915648 CPUtime=0
/proc/12754/task/12762/stat : 12762 (java) S 12752 12754 12127 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163038560 937623552 45619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.49
CPU time (s): 1800.16
CPU user time (s): 1799.48
CPU system time (s): 0.676897
CPU usage (%): 99.4292
Max. virtual memory (cumulated for all children) (KiB): 915652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.676897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45944
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= 38588
involuntary context switches= 82052
runsolver used 2.10168 s user time and 5.9181 s system time
The end
Begin job on node16 on Sun Jan 7 05:07:17 UTC 2007
IDJOB= 201246
IDBENCH= 3752
FILE ID= node16/201246-1168146437
PBS_JOBID= 3477876
Free space on /tmp= 66504 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201246-1168146437/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-201246-1168146437 -o ROOT/results/node16/solver-201246-1168146437 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201246-1168146437/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a9559a77dc2a348044495e00f4dfba11
RANDOM SEED= 506739167
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: 1359728 kB
Buffers: 70872 kB
Cached: 443848 kB
SwapCached: 448 kB
Active: 254852 kB
Inactive: 373720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1359728 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 5124 kB
Writeback: 0 kB
Mapped: 135484 kB
Slab: 51980 kB
Committed_AS: 4343940 kB
PageTables: 2604 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= 66506 MiB
End job on node16 on Sun Jan 7 05:37:28 UTC 2007