0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276589-1169241586/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.43 => wckTime=0.104 cpuTime=0.09 mem=6M887
0.43
0.43 relations being loaded...
0.79
0.79 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.93 => wckTime=0.601 cpuTime=0.54 mem=36M361
0.98
0.98 solver LocalSearchSolver being built...
1.03 => wckTime=0.701 cpuTime=0.58 mem=7M434
1.04
1.04 s SATISFIABLE
1.04 o 11
1.04 c 73
1.04 o 15
1.04 c 69
1.04 o 18
1.04 c 66
1.05 o 21
1.05 c 63
1.05 o 24
1.05 c 60
1.05 o 27
1.05 c 57
1.05 o 30
1.05 c 54
1.05 o 33
1.05 c 51
1.05 o 35
1.05 c 49
1.05 o 37
1.06 c 47
1.06 o 38
1.06 c 46
1.06 o 40
1.06 c 44
1.06 o 42
1.06 c 42
1.06 o 44
1.06 c 40
1.06 o 46
1.06 c 38
1.07 o 48
1.07 c 36
1.07 o 50
1.07 c 34
1.07 o 51
1.07 c 33
1.07 o 52
1.07 c 32
1.07 o 53
1.07 c 31
1.07 o 54
1.07 c 30
1.07 o 55
1.07 c 29
1.07 o 56
1.07 c 28
1.08 o 58
1.08 c 26
1.08 o 60
1.08 c 24
1.08 o 62
1.08 c 22
1.08 o 63
1.08 c 21
1.09 o 64
1.09 c 20
1.09 o 65
1.09 c 19
1.09 o 66
1.09 c 18
1.10 o 67
1.10 c 17
1.10 o 68
1.10 c 16
1.11 o 69
1.11 c 15
1.13 o 70
1.13 c 14
1.14 o 71
1.14 c 13
1.14 o 72
1.14 c 12
1.21 o 73
1.21 c 11
1.22 o 74
1.22 c 10
1.23 o 75
1.23 c 9
1.29 o 76
1.29 c 8
1.32 o 77
1.32 c 7
1.67 o 78
1.67 c 6
1.69 o 79
1.69 c 5
8.38 o 80
8.38 c 4
9.94
9.94 search
9.94 run=0 nbConstraintChecks=72770121 nbAssignments=10000
9.94 => wckTime=8.911 cpuTime=8.81 mem=7M434
20.90
20.90 search
20.90 run=1 nbConstraintChecks=166088024 nbAssignments=20000
20.90 => wckTime=19.878 cpuTime=19.68 mem=7M434
30.35
30.35 search
30.35 run=2 nbConstraintChecks=245551877 nbAssignments=30000
30.35 => wckTime=29.321 cpuTime=29.05 mem=7M434
38.65
38.65 search
38.65 run=3 nbConstraintChecks=314660581 nbAssignments=39340
38.65 => wckTime=37.621 cpuTime=37.28 mem=7M434
38.65
38.65 global
38.65 nbConstraintChecks=314660581 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.65 solvingWckTime=37.617 solvingCpuTime=37.27 expiredTime=no totalExploration=no nbFoundSolutions=0
38.65 globalCpuTime=37.91
38.65 => wckTime=38.323 cpuTime=37.86 mem=7M434
38.65
38.65 solver IterativeSystematicSolver being built...
38.78 => wckTime=38.453 cpuTime=37.96 mem=18M366
38.93
38.93 preprocessing
38.93 nbConstraintChecks=500099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
38.93 detectedInconsistency=no
38.93 => wckTime=0.147 cpuTime=0.12 mem=18M366
42.30
42.30 search
42.30 run=0 nbConstraintChecks=27330968 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=873
42.30 nbFailedAssignments=859 nbBacktracks=10 nbVisitedNodes=1743 nbRestartNogoods=0
42.31 => wckTime=3.524 cpuTime=3.45 mem=18M366
47.74
47.74 search
47.74 run=1 nbConstraintChecks=64456258 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2250
47.74 nbFailedAssignments=2213 nbBacktracks=25 nbVisitedNodes=4489 nbRestartNogoods=260
47.74 => wckTime=8.961 cpuTime=8.8 mem=18M366
51.62
51.62 search
51.62 run=2 nbConstraintChecks=88038811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2996
51.62 nbFailedAssignments=2930 nbBacktracks=47 nbVisitedNodes=5974 nbRestartNogoods=288
51.62 => wckTime=12.836 cpuTime=12.64 mem=18M366
59.90
59.90 search
59.90 run=3 nbConstraintChecks=137415940 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4205
59.90 nbFailedAssignments=4097 nbBacktracks=80 nbVisitedNodes=8383 nbRestartNogoods=392
59.90 => wckTime=21.124 cpuTime=20.85 mem=18M366
65.99
65.99 search
65.99 run=4 nbConstraintChecks=177131068 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5584
65.99 nbFailedAssignments=5414 nbBacktracks=130 nbVisitedNodes=11129 nbRestartNogoods=418
65.99 => wckTime=27.21 cpuTime=26.88 mem=18M366
80.57
80.57 search
80.57 run=5 nbConstraintChecks=275014709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8110
80.57 nbFailedAssignments=7856 nbBacktracks=205 nbVisitedNodes=16172 nbRestartNogoods=638
80.57 => wckTime=41.789 cpuTime=41.32 mem=18M366
107.53
107.53 search
107.53 run=6 nbConstraintChecks=460996653 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14718
107.53 nbFailedAssignments=14341 nbBacktracks=318 nbVisitedNodes=29378 nbRestartNogoods=774
107.53 => wckTime=68.752 cpuTime=68.03 mem=18M366
141.27
141.27 search
141.27 run=7 nbConstraintChecks=658301155 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21557
141.27 nbFailedAssignments=21005 nbBacktracks=488 nbVisitedNodes=43051 nbRestartNogoods=954
141.27 => wckTime=102.487 cpuTime=101.47 mem=18M366
157.24
157.24 search
157.24 run=8 nbConstraintChecks=760496050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26642
157.24 nbFailedAssignments=25820 nbBacktracks=744 nbVisitedNodes=53207 nbRestartNogoods=1042
157.24 => wckTime=118.465 cpuTime=117.3 mem=18M366
208.26
208.26 search
208.26 run=9 nbConstraintChecks=1089537210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40421
208.26 nbFailedAssignments=39204 nbBacktracks=1128 nbVisitedNodes=80754 nbRestartNogoods=1239
208.26 => wckTime=169.484 cpuTime=167.86 mem=18M366
311.12
311.12 search
311.12 run=10 nbConstraintChecks=1766866646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64606
311.12 nbFailedAssignments=62804 nbBacktracks=1704 nbVisitedNodes=129102 nbRestartNogoods=1414
311.12 => wckTime=272.339 cpuTime=269.79 mem=18M366
380.04
380.04 search
380.04 run=11 nbConstraintChecks=2205313413 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86020
380.04 nbFailedAssignments=83345 nbBacktracks=2568 nbVisitedNodes=171918 nbRestartNogoods=1580
380.04 => wckTime=341.263 cpuTime=338.09 mem=18M366
445.77
445.77 search
445.77 run=12 nbConstraintChecks=2590229695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101341
445.77 nbFailedAssignments=97362 nbBacktracks=3865 nbVisitedNodes=202509 nbRestartNogoods=1732
445.77 => wckTime=406.99 cpuTime=403.22 mem=18M366
479.06 o 81
479.06 c 3
504.32
504.32 search
504.32 run=13 nbConstraintChecks=2856371581 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111320
504.32 nbFailedAssignments=105390 nbBacktracks=5811 nbVisitedNodes=222297 nbRestartNogoods=1829
504.32 => wckTime=465.537 cpuTime=461.24 mem=18M366
602.04
602.04 search
602.04 run=14 nbConstraintChecks=3322557925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=127936
602.04 nbFailedAssignments=119078 nbBacktracks=8732 nbVisitedNodes=255355 nbRestartNogoods=1845
602.04 => wckTime=563.266 cpuTime=558.08 mem=18M366
671.56 o 82
671.56 c 2
727.02
727.02 search
727.02 run=15 nbConstraintChecks=3823617658 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=147667
727.02 nbFailedAssignments=134428 nbBacktracks=13110 nbVisitedNodes=294176 nbRestartNogoods=1878
727.02 => wckTime=688.245 cpuTime=681.94 mem=18M366
927.06
927.06 search
927.06 run=16 nbConstraintChecks=4801663554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=185152
927.06 nbFailedAssignments=165337 nbBacktracks=19678 nbVisitedNodes=368433 nbRestartNogoods=1952
927.06 => wckTime=888.28 cpuTime=880.23 mem=18M366
958.13 o 83
958.13 c 1
1125.54
1125.54 search
1125.54 run=17 nbConstraintChecks=5560409514 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=215712
1125.54 nbFailedAssignments=186043 nbBacktracks=29530 nbVisitedNodes=423268 nbRestartNogoods=2081
1125.54 => wckTime=1086.761 cpuTime=1076.92 mem=18M366
1304.39
1304.39 search
1304.39 run=18 nbConstraintChecks=6259317970 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=241823
1304.39 nbFailedAssignments=203045 nbBacktracks=38640 nbVisitedNodes=469118 nbRestartNogoods=2145
1304.39 => wckTime=1265.61 cpuTime=1254.14 mem=18M366
1304.39
1304.39 global
1304.39 nbConstraintChecks=6259818069 nbRestartNogoods=2145 solvingWckTime=1265.611 solvingCpuTime=1254.14
1304.39 expiredTime=no totalExploration=yes nbFoundSolutions=3 globalCpuTime=1292.15
1304.39 => wckTime=1304.065 cpuTime=1292.1 mem=18M366
1304.39
1304.39 s OPTIMUM FOUND
1304.39 v 91 146 23 44 0 13 93 172 101 7 62 148 8 115 2 146 27 107 24 86 146 54 85 91 5 44 67 152 57 62 172 67 175 21 163 169 126 20 123 21
1304.39
1304.39 totalWckTime=1304.148 totalCpuTime=1292.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-276589-1169241586 -o ROOT/results/node24/solver-276589-1169241586 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276589-1169241586/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: 1.91 1.98 1.91 4/87 20907
/proc/meminfo: memFree=1322088/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=18540 CPUtime=0
/proc/20906/stat : 20906 (runsolver) R 20904 20906 20308 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 272553900 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20906/statm: 4635 279 244 17 0 2626 0
[startup+0.108806 s]
/proc/loadavg: 1.91 1.98 1.91 4/87 20907
/proc/meminfo: memFree=1322088/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=914988 CPUtime=0.07
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 2946 0 1 0 6 1 0 0 17 0 8 0 272553900 936947712 2692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3046641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228747 2692 1412 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.520849 s]
/proc/loadavg: 1.91 1.98 1.91 4/87 20907
/proc/meminfo: memFree=1322088/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915332 CPUtime=0.49
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 7298 0 1 0 44 5 0 0 18 0 8 0 272553900 937299968 7037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228833 7037 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34293 s]
/proc/loadavg: 1.91 1.98 1.91 3/94 20914
/proc/meminfo: memFree=1275760/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=1.3
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14249 0 1 0 120 10 0 0 24 0 8 0 272553900 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 13987 2479 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272553905 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.12
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 330 0 0 0 11 1 0 0 16 0 8 0 272553909 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.98011 s]
/proc/loadavg: 1.91 1.98 1.91 3/94 20914
/proc/meminfo: memFree=1275760/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=2.93
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14255 0 1 0 275 18 0 0 25 0 8 0 272553900 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 13992 2479 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272553905 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.13
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 335 0 0 0 12 1 0 0 15 0 8 0 272553909 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 13992 18446744073709551615 134512640 134570532 4294956480 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.26446 s]
/proc/loadavg: 1.92 1.98 1.91 3/94 20914
/proc/meminfo: memFree=1275632/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=6.19
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14255 0 1 0 588 31 0 0 25 0 8 0 272553900 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 13992 2479 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.13
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 335 0 0 0 12 1 0 0 15 0 8 0 272553909 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 13992 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 13992 18446744073709551615 134512640 134570532 4294956480 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.7492 s]
/proc/loadavg: 1.93 1.98 1.91 3/94 20914
/proc/meminfo: memFree=1275704/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=12.61
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14257 0 1 0 1199 62 0 0 25 0 8 0 272553900 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 13994 2479 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.13
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 337 0 0 0 12 1 0 0 16 0 8 0 272553909 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915444
[startup+25.6206 s]
/proc/loadavg: 1.94 1.98 1.91 3/94 20914
/proc/meminfo: memFree=1275832/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=25.38
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14257 0 1 0 2426 112 0 0 25 0 8 0 272553900 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 13994 2479 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.13
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 337 0 0 0 12 1 0 0 16 0 8 0 272553909 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 13994 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915444
[startup+51.2313 s]
/proc/loadavg: 1.96 1.98 1.91 3/94 20914
/proc/meminfo: memFree=1275512/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=50.76
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14414 0 1 0 4904 172 0 0 25 0 8 0 272553900 937414656 14144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 14144 2532 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 14144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.23
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 272553909 937414656 14144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915444
[startup+102.454 s]
/proc/loadavg: 1.98 1.98 1.91 3/94 20914
/proc/meminfo: memFree=1275576/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=101.52
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14421 0 1 0 9980 172 0 0 25 0 8 0 272553900 937414656 14148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 14148 2532 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 14148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.24
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272553909 937414656 14148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915444
[startup+162.525 s]
/proc/loadavg: 2.03 2.00 1.91 3/94 20916
/proc/meminfo: memFree=1275384/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=161.05
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14422 0 1 0 15932 173 0 0 25 0 8 0 272553900 937414656 14148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.24
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 397 0 0 0 23 1 0 0 17 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 875.44
Current children cumulated vsize (KiB) 915444
[startup+943.428 s]
/proc/loadavg: 2.02 2.02 1.95 3/94 20916
/proc/meminfo: memFree=1275448/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=934.98
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14425 0 1 0 93318 180 0 0 25 0 8 0 272553900 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 14150 2532 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.24
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 934.98
Current children cumulated vsize (KiB) 915444
[startup+1003.5 s]
/proc/loadavg: 2.01 2.02 1.95 3/94 20916
/proc/meminfo: memFree=1275448/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=994.52
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14425 0 1 0 99271 181 0 0 25 0 8 0 272553900 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 14150 2532 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.24
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14150 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 994.52
Current children cumulated vsize (KiB) 915444
[startup+1063.6 s]
/proc/loadavg: 2.00 2.01 1.95 3/94 20916
/proc/meminfo: memFree=1275448/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=1054.07
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14427 0 1 0 105226 181 0 0 25 0 8 0 272553900 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 14151 2532 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.25
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1054.07
Current children cumulated vsize (KiB) 915444
[startup+1123.68 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 20916
/proc/meminfo: memFree=1275384/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=1113.61
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14427 0 1 0 111179 182 0 0 25 0 8 0 272553900 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793693 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 14151 2532 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.25
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.61
Current children cumulated vsize (KiB) 915444
[startup+1183.76 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 20916
/proc/meminfo: memFree=1275384/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=1173.14
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14427 0 1 0 117131 183 0 0 25 0 8 0 272553900 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 14151 2532 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.25
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1173.14
Current children cumulated vsize (KiB) 915444
[startup+1243.84 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 20916
/proc/meminfo: memFree=1275320/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=1232.67
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14427 0 1 0 123084 183 0 0 25 0 8 0 272553900 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 14151 2532 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.25
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.67
Current children cumulated vsize (KiB) 915444
[startup+1303.92 s]
/proc/loadavg: 2.00 2.00 1.95 3/94 20916
/proc/meminfo: memFree=1275320/2055920 swapFree=4180096/4192956
[pid=20906] ppid=20904 vsize=915444 CPUtime=1292.2
/proc/20906/stat : 20906 (java) R 20904 20906 20308 0 -1 0 14427 0 1 0 129036 184 0 0 25 0 8 0 272553900 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20906/statm: 228861 14151 2532 14 0 215331 0
[pid=20906/tid=20908] ppid=20904 vsize=915444 CPUtime=0.04
/proc/20906/task/20908/stat : 20908 (java) S 20904 20906 20308 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20909] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20909/stat : 20909 (java) S 20904 20906 20308 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20910] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20910/stat : 20910 (java) S 20904 20906 20308 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272553905 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20911] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20911/stat : 20911 (java) S 20904 20906 20308 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20912] ppid=20904 vsize=915444 CPUtime=0.25
/proc/20906/task/20912/stat : 20912 (java) S 20904 20906 20308 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20913] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20913/stat : 20913 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20906/tid=20914] ppid=20904 vsize=915444 CPUtime=0
/proc/20906/task/20914/stat : 20914 (java) S 20904 20906 20308 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272553909 937414656 14151 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.2
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 1304.44
CPU time (s): 1292.7
CPU user time (s): 1290.84
CPU system time (s): 1.85272
CPU usage (%): 99.0996
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1290.84
system time used= 1.85272
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= 27535
involuntary context switches= 48940
runsolver used 1.76773 s user time and 4.01139 s system time
The end
Begin job on node24 on Fri Jan 19 21:19:46 UTC 2007
IDJOB= 276589
IDBENCH= 5881
IDSOLVER= 68
FILE ID= node24/276589-1169241586
PBS_JOBID= 3589320
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-34_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276589-1169241586/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-276589-1169241586 -o ROOT/results/node24/solver-276589-1169241586 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276589-1169241586/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a65f4fc7e0ec1e7e355e8bc7c384be7e
RANDOM SEED= 190774852
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.234
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.234
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: 1322568 kB
Buffers: 43900 kB
Cached: 522552 kB
SwapCached: 600 kB
Active: 220268 kB
Inactive: 443072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1322568 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 3484 kB
Writeback: 0 kB
Mapped: 115884 kB
Slab: 54576 kB
Committed_AS: 5361568 kB
PageTables: 2488 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= 66555 MiB
End job on node24 on Fri Jan 19 21:41:31 UTC 2007