0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276625-1169242704/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.43 => wckTime=0.109 cpuTime=0.09 mem=6M887
0.43
0.43 relations being loaded...
0.79
0.79 constraints being loaded...
0.92 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.92 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.92 => wckTime=0.605 cpuTime=0.54 mem=36M310
0.98
0.98 solver LocalSearchSolver being built...
1.02 => wckTime=0.705 cpuTime=0.59 mem=7M552
1.03
1.04 s SATISFIABLE
1.04 o 14
1.04 c 70
1.04 o 18
1.04 c 66
1.04 o 20
1.04 c 64
1.04 o 23
1.04 c 61
1.04 o 26
1.04 c 58
1.04 o 29
1.04 c 55
1.05 o 32
1.05 c 52
1.05 o 34
1.05 c 50
1.05 o 37
1.05 c 47
1.05 o 40
1.05 c 44
1.05 o 42
1.05 c 42
1.05 o 44
1.05 c 40
1.05 o 46
1.05 c 38
1.06 o 48
1.06 c 36
1.06 o 50
1.06 c 34
1.06 o 51
1.06 c 33
1.06 o 52
1.06 c 32
1.06 o 54
1.06 c 30
1.06 o 55
1.06 c 29
1.07 o 56
1.07 c 28
1.07 o 58
1.07 c 26
1.07 o 59
1.07 c 25
1.07 o 61
1.07 c 23
1.07 o 62
1.07 c 22
1.07 o 63
1.07 c 21
1.08 o 64
1.08 c 20
1.08 o 65
1.08 c 19
1.08 o 66
1.08 c 18
1.08 o 67
1.08 c 17
1.11 o 68
1.11 c 16
1.11 o 69
1.11 c 15
1.16 o 70
1.16 c 14
1.17 o 71
1.17 c 13
1.20 o 72
1.20 c 12
1.20 o 73
1.20 c 11
1.32 o 74
1.32 c 10
1.32 o 75
1.32 c 9
1.33 o 76
1.33 c 8
11.96
11.96 search
11.96 run=0 nbConstraintChecks=93156835 nbAssignments=10000
11.97 => wckTime=10.945 cpuTime=10.82 mem=7M552
17.93 o 77
17.93 c 7
24.56
24.56 search
24.56 run=1 nbConstraintChecks=197051369 nbAssignments=20000
24.56 => wckTime=23.543 cpuTime=23.31 mem=7M552
36.37
36.37 search
36.37 run=2 nbConstraintChecks=295772860 nbAssignments=30000
36.37 => wckTime=35.353 cpuTime=35.02 mem=7M552
48.20
48.20 search
48.20 run=3 nbConstraintChecks=395886615 nbAssignments=38792
48.20 => wckTime=47.18 cpuTime=46.75 mem=7M552
48.20
48.20 global
48.20 nbConstraintChecks=395886615 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.20 solvingWckTime=47.175 solvingCpuTime=46.74 expiredTime=no totalExploration=no nbFoundSolutions=0
48.20 globalCpuTime=47.38
48.20 => wckTime=47.885 cpuTime=47.33 mem=7M552
48.20
48.20 solver IterativeSystematicSolver being built...
48.33 => wckTime=48.013 cpuTime=47.43 mem=18M469
48.46
48.46 preprocessing
48.46 nbConstraintChecks=557351 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
48.46 detectedInconsistency=no
48.46 => wckTime=0.132 cpuTime=0.11 mem=18M469
50.04
50.04 search
50.04 run=0 nbConstraintChecks=13044927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=472
50.05 nbFailedAssignments=447 nbBacktracks=10 nbVisitedNodes=930 nbRestartNogoods=0
50.05 => wckTime=1.712 cpuTime=1.66 mem=18M469
51.87
51.87 search
51.87 run=1 nbConstraintChecks=27100632 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=987
51.87 nbFailedAssignments=941 nbBacktracks=25 nbVisitedNodes=1954 nbRestartNogoods=143
51.87 => wckTime=3.538 cpuTime=3.46 mem=18M469
56.17
56.17 search
56.17 run=2 nbConstraintChecks=52629723 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1924
56.17 nbFailedAssignments=1851 nbBacktracks=47 nbVisitedNodes=3820 nbRestartNogoods=211
56.17 => wckTime=7.839 cpuTime=7.71 mem=18M469
58.63
58.63 search
58.63 run=3 nbConstraintChecks=73358101 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2510
58.63 nbFailedAssignments=2393 nbBacktracks=80 nbVisitedNodes=4981 nbRestartNogoods=247
58.63 => wckTime=10.297 cpuTime=10.14 mem=18M469
62.49
62.49 search
62.49 run=4 nbConstraintChecks=104241199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3466
62.50 nbFailedAssignments=3292 nbBacktracks=130 nbVisitedNodes=6886 nbRestartNogoods=300
62.50 => wckTime=14.164 cpuTime=13.98 mem=18M469
69.11
69.11 search
69.11 run=5 nbConstraintChecks=147982626 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5784
69.11 nbFailedAssignments=5525 nbBacktracks=205 nbVisitedNodes=11512 nbRestartNogoods=355
69.11 => wckTime=20.783 cpuTime=20.54 mem=18M469
93.92
93.92 search
93.92 run=6 nbConstraintChecks=330663196 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11649
93.92 nbFailedAssignments=11271 nbBacktracks=318 nbVisitedNodes=23236 nbRestartNogoods=493
93.92 => wckTime=45.589 cpuTime=45.14 mem=18M469
110.16
110.16 search
110.16 run=7 nbConstraintChecks=434841581 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14115
110.16 nbFailedAssignments=13549 nbBacktracks=488 nbVisitedNodes=28150 nbRestartNogoods=692
110.16 => wckTime=61.826 cpuTime=61.24 mem=18M469
150.24
150.24 search
150.24 run=8 nbConstraintChecks=717404770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24688
150.24 nbFailedAssignments=23858 nbBacktracks=744 nbVisitedNodes=49288 nbRestartNogoods=723
150.24 => wckTime=101.907 cpuTime=100.99 mem=18M469
225.99
225.99 search
225.99 run=9 nbConstraintChecks=1195337522 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39139
225.99 nbFailedAssignments=37919 nbBacktracks=1128 nbVisitedNodes=78183 nbRestartNogoods=854
225.99 => wckTime=177.66 cpuTime=176.07 mem=18M469
247.13
247.13 search
247.13 run=10 nbConstraintChecks=1344706967 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44774
247.13 nbFailedAssignments=42959 nbBacktracks=1704 nbVisitedNodes=89434 nbRestartNogoods=954
247.13 => wckTime=198.798 cpuTime=197.02 mem=18M469
296.60
296.60 search
296.60 run=11 nbConstraintChecks=1668297188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55343
296.60 nbFailedAssignments=52644 nbBacktracks=2568 nbVisitedNodes=110552 nbRestartNogoods=981
296.60 => wckTime=248.268 cpuTime=246.05 mem=18M469
412.82
412.83 search
412.83 run=12 nbConstraintChecks=2551831787 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87771
412.83 nbFailedAssignments=83756 nbBacktracks=3865 nbVisitedNodes=175388 nbRestartNogoods=1089
412.83 => wckTime=364.494 cpuTime=361.23 mem=18M469
603.15
603.15 search
603.15 run=13 nbConstraintChecks=3700621398 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=124742
603.15 nbFailedAssignments=118775 nbBacktracks=5811 nbVisitedNodes=249317 nbRestartNogoods=1275
603.15 => wckTime=554.821 cpuTime=549.84 mem=18M469
694.96
694.96 search
694.96 run=14 nbConstraintChecks=4213826701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=161969
694.96 nbFailedAssignments=153075 nbBacktracks=8730 nbVisitedNodes=323763 nbRestartNogoods=1335
694.96 => wckTime=646.625 cpuTime=640.86 mem=18M469
893.11
893.11 search
893.11 run=15 nbConstraintChecks=5394942381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=200510
893.11 nbFailedAssignments=187226 nbBacktracks=13108 nbVisitedNodes=400828 nbRestartNogoods=1342
893.11 => wckTime=844.777 cpuTime=837.37 mem=18M469
1245.81
1245.81 search
1245.81 run=16 nbConstraintChecks=7714059696 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=269416
1245.81 nbFailedAssignments=249558 nbBacktracks=19677 nbVisitedNodes=538594 nbRestartNogoods=1388
1245.81 => wckTime=1197.483 cpuTime=1189.01 mem=18M469
1588.43
1588.43 search
1588.43 run=17 nbConstraintChecks=9695933281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=339226
1588.43 nbFailedAssignments=309503 nbBacktracks=29529 nbVisitedNodes=677752 nbRestartNogoods=1421
1588.43 => wckTime=1540.094 cpuTime=1531.16 mem=18M469
2025.99
2025.99 search
2025.99 run=18 nbConstraintChecks=12162342934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=429451
2025.99 nbFailedAssignments=384938 nbBacktracks=44307 nbVisitedNodes=857276 nbRestartNogoods=1444
2025.99 => wckTime=1977.657 cpuTime=1968.29 mem=18M469
2410.17 v 35 135 136 8 143 68 75 39 29 154 148 32 100 88 90 131 12 177 153 78 127 136 129 144 142 102 1 69 134 17 42 39 147 19 132 88 12 28 64 94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-276625-1169242704 -o ROOT/results/node10/solver-276625-1169242704 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276625-1169242704/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.07 2.03 2.00 4/86 13437
/proc/meminfo: memFree=1247832/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=18540 CPUtime=0
/proc/13436/stat : 13436 (runsolver) R 13434 13436 12601 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 272665493 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13436/statm: 4635 279 244 17 0 2626 0
[startup+0.107677 s]
/proc/loadavg: 2.07 2.03 2.00 4/86 13437
/proc/meminfo: memFree=1247832/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=914988 CPUtime=0.08
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 2987 0 1 0 7 1 0 0 19 0 8 0 272665493 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13436/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515731 s]
/proc/loadavg: 2.07 2.03 2.00 4/86 13437
/proc/meminfo: memFree=1247832/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915332 CPUtime=0.48
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 7274 0 1 0 44 4 0 0 18 0 8 0 272665493 937299968 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13436/statm: 228833 7013 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33984 s]
/proc/loadavg: 2.06 2.03 2.00 3/93 13444
/proc/meminfo: memFree=1201440/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=1.29
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14244 0 1 0 120 9 0 0 24 0 8 0 272665493 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13436/statm: 228861 13982 2479 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272665497 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.12
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 330 0 0 0 11 1 0 0 16 0 8 0 272665501 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.98906 s]
/proc/loadavg: 2.06 2.03 2.00 3/93 13444
/proc/meminfo: memFree=1201312/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=2.93
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14248 0 1 0 276 17 0 0 25 0 8 0 272665493 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13436/statm: 228861 13985 2479 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.13
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 333 0 0 0 12 1 0 0 16 0 8 0 272665501 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915444
[startup+6.26851 s]
/proc/loadavg: 2.06 2.03 2.00 3/93 13444
/proc/meminfo: memFree=1201312/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=6.19
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14249 0 1 0 590 29 0 0 25 0 8 0 272665493 937414656 13986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675413 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13436/statm: 228861 13986 2479 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 13986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 13986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.13
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 334 0 0 0 12 1 0 0 15 0 8 0 272665501 937414656 13986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 13986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 13986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.7564 s]
/proc/loadavg: 2.05 2.03 2.00 3/93 13444
/proc/meminfo: memFree=1201376/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=12.62
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14251 0 1 0 1209 53 0 0 25 0 8 0 272665493 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13436/statm: 228861 13988 2479 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.13
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 336 0 0 0 12 1 0 0 16 0 8 0 272665501 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
[startup+25.6031 s]
/proc/loadavg: 2.04 2.03 2.00 3/93 13444
/proc/meminfo: memFree=1201504/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=25.35
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14251 0 1 0 2440 95 0 0 25 0 8 0 272665493 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13436/statm: 228861 13988 2479 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.13
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 336 0 0 0 12 1 0 0 16 0 8 0 272665501 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 13988 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915444
[startup+51.2156 s]
/proc/loadavg: 2.02 2.03 2.00 3/93 13444
/proc/meminfo: memFree=1201248/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=50.74
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14395 0 1 0 4899 175 0 0 25 0 8 0 272665493 937414656 14129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13436/statm: 228861 14129 2532 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 617 0 0 0 4 0 0 0 17 0 8 0 272665497 937414656 14129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 14129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.19
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 374 0 0 0 18 1 0 0 15 0 8 0 272665501 937414656 14129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 14129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 14129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444
[startup+102.436 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 13444
/proc/meminfo: memFree=1201312/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=101.54
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14417 0 1 0 9978 176 0 0 25 0 8 0 272665493 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13436/statm: 228861 14145 2532 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.22
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 272665501 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915444
[startup+162.511 s]
/proc/loadavg: 2.15 2.05 2.01 3/93 13444
/proc/meminfo: memFree=1201248/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=161.11
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14419 0 1 0 15935 176 0 0 25 0 8 0 272665493 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.7
Current children cumulated vsize (KiB) 915444
[startup+2084.44 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13816
/proc/meminfo: memFree=1235680/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=2074.63
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14421 0 1 0 207267 196 0 0 25 0 8 0 272665493 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13436/statm: 228861 14147 2532 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.23
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.63
Current children cumulated vsize (KiB) 915444
[startup+2144.46 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13816
/proc/meminfo: memFree=1235616/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=2134.57
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14421 0 1 0 213261 196 0 0 25 0 8 0 272665493 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13436/statm: 228861 14147 2532 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.23
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.57
Current children cumulated vsize (KiB) 915444
[startup+2204.47 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13816
/proc/meminfo: memFree=1235616/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=2194.54
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14421 0 1 0 219258 196 0 0 25 0 8 0 272665493 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13436/statm: 228861 14147 2532 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.23
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.54
Current children cumulated vsize (KiB) 915444
[startup+2264.49 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13816
/proc/meminfo: memFree=1235616/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=2254.47
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14421 0 1 0 225251 196 0 0 25 0 8 0 272665493 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13436/statm: 228861 14147 2532 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.23
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.47
Current children cumulated vsize (KiB) 915444
[startup+2324.51 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13816
/proc/meminfo: memFree=1235616/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=2314.44
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14421 0 1 0 231248 196 0 0 25 0 8 0 272665493 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842655 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13436/statm: 228861 14147 2532 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.23
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.44
Current children cumulated vsize (KiB) 915444
[startup+2384.53 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13816
/proc/meminfo: memFree=1235552/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=2374.39
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14421 0 1 0 237242 197 0 0 25 0 8 0 272665493 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13436/statm: 228861 14147 2532 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.23
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2374.39
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2410.17 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13816
/proc/meminfo: memFree=1235616/2055920 swapFree=4178232/4192956
[pid=13436] ppid=13434 vsize=915444 CPUtime=2400.01
/proc/13436/stat : 13436 (java) R 13434 13436 12601 0 -1 0 14421 0 1 0 239804 197 0 0 25 0 8 0 272665493 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13436/statm: 228861 14147 2532 14 0 215331 0
[pid=13436/tid=13438] ppid=13434 vsize=915444 CPUtime=0.04
/proc/13436/task/13438/stat : 13438 (java) S 13434 13436 12601 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272665497 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13439] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13439/stat : 13439 (java) S 13434 13436 12601 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13440] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13440/stat : 13440 (java) S 13434 13436 12601 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272665498 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13441] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13441/stat : 13441 (java) S 13434 13436 12601 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13442] ppid=13434 vsize=915444 CPUtime=0.23
/proc/13436/task/13442/stat : 13442 (java) S 13434 13436 12601 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13436/tid=13443] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13443/stat : 13443 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13436/tid=13444] ppid=13434 vsize=915444 CPUtime=0
/proc/13436/task/13444/stat : 13444 (java) S 13434 13436 12601 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272665501 937414656 14147 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2410.19
CPU time (s): 2400.03
CPU user time (s): 2398.05
CPU system time (s): 1.9787
CPU usage (%): 99.5785
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.05
system time used= 1.9787
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14441
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= 49919
involuntary context switches= 74310
runsolver used 3.00154 s user time and 7.67983 s system time
The end
Begin job on node10 on Fri Jan 19 21:38:24 UTC 2007
IDJOB= 276625
IDBENCH= 5910
IDSOLVER= 68
FILE ID= node10/276625-1169242704
PBS_JOBID= 3589016
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276625-1169242704/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-276625-1169242704 -o ROOT/results/node10/solver-276625-1169242704 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276625-1169242704/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9f26a666bb0b42121c2d5a77d97f4fb8
RANDOM SEED= 70962743
TIME LIMIT= 2400 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.232
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.232
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: 1248312 kB
Buffers: 59528 kB
Cached: 599616 kB
SwapCached: 2360 kB
Active: 240988 kB
Inactive: 490152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1248312 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 3492 kB
Writeback: 0 kB
Mapped: 82832 kB
Slab: 61468 kB
Committed_AS: 7309316 kB
PageTables: 2240 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= 66558 MiB
End job on node10 on Fri Jan 19 22:18:34 UTC 2007