0.31
0.31 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/211005-1168075382/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.75 nbVariables=18069 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.75 => wckTime=0.431 cpuTime=0.32 mem=36M371
0.75
0.75 predicates being loaded...
0.76
0.76 constraints being loaded...
4.96
4.96 INFO : Stopping converting binary constraints (cpu=4.01, mem = 47M880)
5.74 nbConstraints=51320 nbMergedConstraints=1154 nbSingletonDomainVariables=1 nbConvertedConstraints=17972
5.74 nbConvertConstraintsChecks=40 nbExtensionStructures=2 nbSharedExtensionStructures=17970 nbConflictsStructures=6
5.74 nbSharedConflictsStructures=34688 nbSharedBinaryRepresentations=5 nbEvaluationManagers=37
5.74 nbSharedEvaluationManagers=33311 maxDegree=212 maxArity=11
5.74 => wckTime=5.424 cpuTime=4.41 mem=99M631
6.06
6.06 solver IterativeSystematicSolver being built...
7.31 => wckTime=6.993 cpuTime=5.39 mem=139M843
7.55
7.55 preprocessing
7.55 nbConstraintChecks=66909 nbValidityChecks=32262 nbPropagations=18097 nbRevisions=37495 nbUselessRevisions=37467
7.55 nbRemovedValues=28 detectedInconsistency=no
7.55 => wckTime=0.212 cpuTime=0.18 mem=140M861
12.96
12.96 search
12.96 run=0 nbConstraintChecks=140856 nbValidityChecks=107937 nbPropagations=49551 nbRevisions=204943
12.96 nbUselessRevisions=173393 nbAssignments=151 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=160
12.96 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
12.96 => wckTime=5.633 cpuTime=5.56 mem=142M898
44.95
44.95 search
44.95 run=1 nbConstraintChecks=214657 nbValidityChecks=201218 nbPropagations=116110 nbRevisions=513335
44.95 nbUselessRevisions=433279 nbAssignments=829 nbFailedAssignments=10 nbBacktracks=73 nbVisitedNodes=848
44.95 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
44.95 => wckTime=37.618 cpuTime=37.46 mem=105M463
76.85
76.85 search
76.85 run=2 nbConstraintChecks=275081 nbValidityChecks=292357 nbPropagations=198938 nbRevisions=920733
76.85 nbUselessRevisions=775970 nbAssignments=1505 nbFailedAssignments=14 nbBacktracks=135 nbVisitedNodes=1532
76.85 nbRestartNogoods=4 mapSize=21 nbInferences=0 nbTooLargeKeys=0
76.85 => wckTime=69.522 cpuTime=69.34 mem=108M517
108.90
108.90 search
108.90 run=3 nbConstraintChecks=335913 nbValidityChecks=383548 nbPropagations=298112 nbRevisions=1427467
108.90 nbUselessRevisions=1201712 nbAssignments=2185 nbFailedAssignments=19 nbBacktracks=199 nbVisitedNodes=2221
108.90 nbRestartNogoods=5 mapSize=29 nbInferences=0 nbTooLargeKeys=0
108.90 => wckTime=101.573 cpuTime=101.37 mem=111M572
140.31
140.31 search
140.31 run=4 nbConstraintChecks=412074 nbValidityChecks=484021 nbPropagations=415283 nbRevisions=2047214
140.31 nbUselessRevisions=1722435 nbAssignments=2853 nbFailedAssignments=25 nbBacktracks=254 nbVisitedNodes=2907
140.31 nbRestartNogoods=6 mapSize=46 nbInferences=0 nbTooLargeKeys=0
140.31 => wckTime=132.981 cpuTime=132.77 mem=115M646
171.27
171.27 search
171.27 run=5 nbConstraintChecks=533008 nbValidityChecks=618727 nbPropagations=554104 nbRevisions=2811849
171.27 nbUselessRevisions=2366165 nbAssignments=3534 nbFailedAssignments=54 nbBacktracks=335 nbVisitedNodes=3649
171.27 nbRestartNogoods=7 mapSize=105 nbInferences=0 nbTooLargeKeys=0
171.27 => wckTime=163.94 cpuTime=163.71 mem=118M700
200.88
200.88 search
200.88 run=6 nbConstraintChecks=598952 nbValidityChecks=695568 nbPropagations=711140 nbRevisions=3676312
200.88 nbUselessRevisions=3091517 nbAssignments=4176 nbFailedAssignments=66 nbBacktracks=454 nbVisitedNodes=4309
200.88 nbRestartNogoods=9 mapSize=120 nbInferences=0 nbTooLargeKeys=0
200.88 => wckTime=193.554 cpuTime=193.31 mem=122M774
227.74
227.74 search
227.74 run=7 nbConstraintChecks=671022 nbValidityChecks=771924 nbPropagations=886687 nbRevisions=4642105
227.74 nbUselessRevisions=3899638 nbAssignments=4773 nbFailedAssignments=84 nbBacktracks=635 nbVisitedNodes=4935
227.74 nbRestartNogoods=12 mapSize=147 nbInferences=0 nbTooLargeKeys=0
227.74 => wckTime=220.41 cpuTime=220.16 mem=125M828
259.15
259.15 search
259.15 run=8 nbConstraintChecks=740746 nbValidityChecks=848533 nbPropagations=1080743 nbRevisions=5708897
259.15 nbUselessRevisions=4790162 nbAssignments=5463 nbFailedAssignments=107 nbBacktracks=905 nbVisitedNodes=5658
259.15 nbRestartNogoods=14 mapSize=176 nbInferences=0 nbTooLargeKeys=0
259.15 => wckTime=251.819 cpuTime=251.56 mem=128M883
288.54
288.54 search
288.54 run=9 nbConstraintChecks=849513 nbValidityChecks=951682 nbPropagations=1300464 nbRevisions=6921536
288.54 nbUselessRevisions=5800460 nbAssignments=6134 nbFailedAssignments=151 nbBacktracks=1298 nbVisitedNodes=6421
288.54 nbRestartNogoods=18 mapSize=267 nbInferences=0 nbTooLargeKeys=0
288.54 => wckTime=281.207 cpuTime=280.93 mem=132M957
335.50
335.50 search
335.50 run=10 nbConstraintChecks=1267889 nbValidityChecks=1430316 nbPropagations=1636408 nbRevisions=8806378
335.50 nbUselessRevisions=7363854 nbAssignments=7176 nbFailedAssignments=216 nbBacktracks=1883 nbVisitedNodes=7589
335.50 nbRestartNogoods=19 mapSize=388 nbInferences=0 nbTooLargeKeys=0
335.50 => wckTime=328.169 cpuTime=327.88 mem=138M48
399.30
399.30 search
399.30 run=11 nbConstraintChecks=1516747 nbValidityChecks=1710027 nbPropagations=2022626 nbRevisions=11001597
399.30 nbUselessRevisions=9186827 nbAssignments=8497 nbFailedAssignments=265 nbBacktracks=2763 nbVisitedNodes=9008
399.30 nbRestartNogoods=24 mapSize=483 nbInferences=0 nbTooLargeKeys=0
399.30 => wckTime=391.969 cpuTime=391.66 mem=143M140
474.00
474.00 search
474.00 run=12 nbConstraintChecks=1771733 nbValidityChecks=2034338 nbPropagations=2466674 nbRevisions=13550202
474.00 nbUselessRevisions=11303146 nbAssignments=10055 nbFailedAssignments=337 nbBacktracks=4060 nbVisitedNodes=10720
474.00 nbRestartNogoods=27 mapSize=635 nbInferences=0 nbTooLargeKeys=0
474.00 => wckTime=466.667 cpuTime=466.33 mem=150M268
530.23
530.23 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=116M560)
539.03
539.04 search
539.04 run=13 nbConstraintChecks=3174303 nbValidityChecks=3449865 nbPropagations=3236865 nbRevisions=18137323
539.04 nbUselessRevisions=15098521 nbAssignments=12429 nbFailedAssignments=553 nbBacktracks=6018 nbVisitedNodes=13573
539.04 nbRestartNogoods=29
539.04 => wckTime=531.705 cpuTime=531.29 mem=116M560
580.30
580.30 search
580.30 run=14 nbConstraintChecks=8131954 nbValidityChecks=7936444 nbPropagations=5210913 nbRevisions=29653557
580.30 nbUselessRevisions=24494838 nbAssignments=15907 nbFailedAssignments=1039 nbBacktracks=8938 nbVisitedNodes=17901
580.30 nbRestartNogoods=33
580.30 => wckTime=572.973 cpuTime=572.54 mem=116M560
625.49
625.49 search
625.49 run=15 nbConstraintChecks=9944380 nbValidityChecks=9553465 nbPropagations=7581872 nbRevisions=43524638
625.49 nbUselessRevisions=35820010 nbAssignments=20957 nbFailedAssignments=1501 nbBacktracks=13320
625.49 nbVisitedNodes=23771 nbRestartNogoods=40
625.49 => wckTime=618.162 cpuTime=617.71 mem=116M560
694.48
694.48 search
694.48 run=16 nbConstraintChecks=13119808 nbValidityChecks=13902523 nbPropagations=10911656 nbRevisions=62956430
694.48 nbUselessRevisions=51706443 nbAssignments=28327 nbFailedAssignments=2145 nbBacktracks=19911
694.48 nbVisitedNodes=32693 nbRestartNogoods=48
694.48 => wckTime=687.154 cpuTime=686.68 mem=116M560
804.74
804.74 search
804.74 run=17 nbConstraintChecks=22731965 nbValidityChecks=22533807 nbPropagations=16589149 nbRevisions=95156182
804.74 nbUselessRevisions=77807685 nbAssignments=39006 nbFailedAssignments=2879 nbBacktracks=29802
804.74 nbVisitedNodes=44835 nbRestartNogoods=56
804.74 => wckTime=797.41 cpuTime=796.9 mem=116M560
979.33
979.33 search
979.33 run=18 nbConstraintChecks=40332673 nbValidityChecks=38309882 nbPropagations=26545041 nbRevisions=150222771
979.33 nbUselessRevisions=122166692 nbAssignments=55213 nbFailedAssignments=4102 nbBacktracks=44583
979.33 nbVisitedNodes=63917 nbRestartNogoods=62
979.33 => wckTime=971.996 cpuTime=971.42 mem=116M560
1175.05
1175.05 search
1175.05 run=19 nbConstraintChecks=43598572 nbValidityChecks=42318162 nbPropagations=37366206 nbRevisions=210563513
1175.05 nbUselessRevisions=170910624 nbAssignments=78466 nbFailedAssignments=4984 nbBacktracks=66761
1175.05 nbVisitedNodes=89036 nbRestartNogoods=74
1175.05 => wckTime=1167.725 cpuTime=1167.08 mem=116M560
1470.11
1470.11 search
1470.11 run=20 nbConstraintChecks=49307979 nbValidityChecks=49719538 nbPropagations=49773088 nbRevisions=280622207
1470.11 nbUselessRevisions=227731449 nbAssignments=113243 nbFailedAssignments=6350 nbBacktracks=100060
1470.11 nbVisitedNodes=126802 nbRestartNogoods=78
1470.11 => wckTime=1462.782 cpuTime=1462.03 mem=116M560
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-211005-1168075382 -o ROOT/results/node38/solver-211005-1168075382 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211005-1168075382/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.56 1.90 1.80 5/70 15506
/proc/meminfo: memFree=1629760/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=18540 CPUtime=0
/proc/15505/stat : 15505 (runsolver) R 15503 15505 15083 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155938490 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15505/statm: 4635 279 244 17 0 2626 0
[startup+0.104254 s]
/proc/loadavg: 1.56 1.90 1.80 5/70 15506
/proc/meminfo: memFree=1629760/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=914988 CPUtime=0.08
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 2953 0 1 0 6 2 0 0 17 0 8 0 155938490 936947712 2699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228747 2699 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516334 s]
/proc/loadavg: 1.56 1.90 1.80 5/70 15506
/proc/meminfo: memFree=1629760/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=915328 CPUtime=0.49
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 6553 0 1 0 44 5 0 0 18 0 8 0 155938490 937295872 6292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073539750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228832 6293 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34049 s]
/proc/loadavg: 1.67 1.92 1.81 3/87 15523
/proc/meminfo: memFree=1508472/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=915616 CPUtime=1.32
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 18630 0 1 0 120 12 0 0 24 0 8 0 155938490 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073542754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228904 18368 2158 14 0 215374 0
[pid=15505/tid=15511] ppid=15503 vsize=915616 CPUtime=0.08
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 2086 0 0 0 8 0 0 0 17 0 8 0 155938495 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=915616 CPUtime=0.16
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 414 0 0 0 16 0 0 0 16 0 8 0 155938499 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=915616 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 937590784 18368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915616
[startup+2.97881 s]
/proc/loadavg: 1.67 1.92 1.81 3/87 15523
/proc/meminfo: memFree=1482040/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=915744 CPUtime=2.96
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 24473 0 1 0 277 19 0 0 25 0 8 0 155938490 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228936 24206 2178 14 0 215406 0
[pid=15505/tid=15511] ppid=15503 vsize=915744 CPUtime=0.38
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 7851 0 0 0 36 2 0 0 16 0 8 0 155938495 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=915744 CPUtime=0.19
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 426 0 0 0 19 0 0 0 16 0 8 0 155938499 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 937721856 24206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915744
[startup+6.27946 s]
/proc/loadavg: 1.78 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1430264/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=915744 CPUtime=6.25
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 41013 0 1 0 498 127 0 0 25 0 8 0 155938490 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 228936 40688 2490 14 0 215406 0
[pid=15505/tid=15511] ppid=15503 vsize=915744 CPUtime=1.13
/proc/15505/task/15511/stat : 15511 (java) R 15503 15505 15083 0 -1 64 24008 0 0 0 105 8 0 0 16 0 8 0 155938495 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155938495 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=915744 CPUtime=0.25
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 463 0 0 0 25 0 0 0 15 0 8 0 155938499 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=915744 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 937721856 40688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915744
[startup+12.7577 s]
/proc/loadavg: 1.80 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1399672/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=12.73
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 43629 0 1 0 1143 130 0 0 25 0 8 0 155938490 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074363160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 43299 2530 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.28
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 26308 0 0 0 119 9 0 0 17 0 8 0 155938495 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.41
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 685 0 0 0 40 1 0 0 15 0 8 0 155938499 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 43299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916328
[startup+25.6302 s]
/proc/loadavg: 1.83 1.94 1.82 4/87 15523
/proc/meminfo: memFree=1399864/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=25.6
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 43638 0 1 0 2430 130 0 0 25 0 8 0 155938490 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074336611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 43305 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.29
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 26308 0 0 0 120 9 0 0 16 0 8 0 155938495 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.41
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 687 0 0 0 40 1 0 0 17 0 8 0 155938499 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 43305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 916328
[startup+51.2502 s]
/proc/loadavg: 1.89 1.94 1.82 3/87 15523
/proc/meminfo: memFree=1396728/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=51.19
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 44443 0 1 0 4989 130 0 0 25 0 8 0 155938490 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 44107 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.34
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 27106 0 0 0 125 9 0 0 16 0 8 0 155938495 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.42
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 692 0 0 0 41 1 0 0 16 0 8 0 155938499 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 44107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 916328
[startup+102.484 s]
/proc/loadavg: 1.95 1.95 1.83 3/87 15523
/proc/meminfo: memFree=1390968/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=102.42
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 44452 0 1 0 10111 131 0 0 25 0 8 0 155938490 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074335726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 44114 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.34
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 27106 0 0 0 125 9 0 0 16 0 8 0 155938495 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.44
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 701 0 0 0 43 1 0 0 15 0 8 0 155938499 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 44114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 916328
[startup+162.551 s]
/proc/loadavg: 1.98 1.95 1.83 3/87 15523
/proc/meminfo: memFree=1390904/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=162.46
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 44455 0 1 0 16115 131 0 0 25 0 8 0 155938490 938319872 44115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074335726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.67
Current children cumulated vsize (KiB) 916328
[startup+1484.29 s]
/proc/loadavg: 2.01 2.03 1.94 3/87 15523
/proc/meminfo: memFree=1319480/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1483.73
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 148240 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074319867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.73
Current children cumulated vsize (KiB) 916328
[startup+1544.37 s]
/proc/loadavg: 2.00 2.02 1.94 3/87 15523
/proc/meminfo: memFree=1307128/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1543.79
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 154246 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074355371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.79
Current children cumulated vsize (KiB) 916328
[startup+1604.46 s]
/proc/loadavg: 2.00 2.02 1.94 3/87 15523
/proc/meminfo: memFree=1307128/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1603.86
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 160253 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074319914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.86
Current children cumulated vsize (KiB) 916328
[startup+1664.54 s]
/proc/loadavg: 2.00 2.01 1.94 3/87 15523
/proc/meminfo: memFree=1307064/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1663.92
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 166259 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074319878 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.92
Current children cumulated vsize (KiB) 916328
[startup+1724.62 s]
/proc/loadavg: 2.12 2.04 1.95 3/87 15523
/proc/meminfo: memFree=1307000/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1723.98
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 172265 133 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074227491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.98
Current children cumulated vsize (KiB) 916328
[startup+1784.7 s]
/proc/loadavg: 2.04 2.03 1.95 3/87 15523
/proc/meminfo: memFree=1306936/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1784.05
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 178271 134 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.05
Current children cumulated vsize (KiB) 916328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.75 s]
/proc/loadavg: 2.03 2.02 1.95 3/87 15523
/proc/meminfo: memFree=1306936/2055920 swapFree=4192812/4192956
[pid=15505] ppid=15503 vsize=916328 CPUtime=1800.09
/proc/15505/stat : 15505 (java) R 15503 15505 15083 0 -1 0 45940 0 1 0 179875 134 0 0 25 0 8 0 155938490 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074319914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15505/statm: 229082 45590 2532 14 0 215552 0
[pid=15505/tid=15511] ppid=15503 vsize=916328 CPUtime=1.39
/proc/15505/task/15511/stat : 15511 (java) S 15503 15505 15083 0 -1 64 28574 0 0 0 129 10 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15514] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15514/stat : 15514 (java) S 15503 15505 15083 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15515] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15515/stat : 15515 (java) S 15503 15505 15083 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155938495 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15520] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15520/stat : 15520 (java) S 15503 15505 15083 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15521] ppid=15503 vsize=916328 CPUtime=0.46
/proc/15505/task/15521/stat : 15521 (java) S 15503 15505 15083 0 -1 64 709 0 0 0 44 2 0 0 16 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15522] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15522/stat : 15522 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15505/tid=15523] ppid=15503 vsize=916328 CPUtime=0
/proc/15505/task/15523/stat : 15523 (java) S 15503 15505 15083 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155938499 938319872 45590 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 916328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.81
CPU time (s): 1800.15
CPU user time (s): 1798.78
CPU system time (s): 1.37179
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 916328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.37179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45957
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= 38383
involuntary context switches= 40433
runsolver used 2.10368 s user time and 5.20921 s system time
The end
Begin job on node38 on Sat Jan 6 09:23:04 UTC 2007
IDJOB= 211005
IDBENCH= 4661
FILE ID= node38/211005-1168075382
PBS_JOBID= 3476003
Free space on /tmp= 66506 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211005-1168075382/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-211005-1168075382 -o ROOT/results/node38/solver-211005-1168075382 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211005-1168075382/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 887da96a383da5f1de3ba83f9210652c
RANDOM SEED= 625792402
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.267
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.267
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: 1630576 kB
Buffers: 25756 kB
Cached: 307376 kB
SwapCached: 0 kB
Active: 81636 kB
Inactive: 272656 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1630576 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11704 kB
Writeback: 0 kB
Mapped: 31328 kB
Slab: 56692 kB
Committed_AS: 3100332 kB
PageTables: 1692 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 node38 on Sat Jan 6 09:53:09 UTC 2007