0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/276598-1169241741/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.40 => wckTime=0.099 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.74
0.74 constraints being loaded...
0.86 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.86 => wckTime=0.565 cpuTime=0.5 mem=36M282
0.92
0.92 solver LocalSearchSolver being built...
0.96 => wckTime=0.661 cpuTime=0.54 mem=7M555
0.97
0.97 s SATISFIABLE
0.97 o 15
0.97 c 69
0.97 o 19
0.97 c 65
0.98 o 22
0.98 c 62
0.98 o 25
0.98 c 59
0.98 o 28
0.98 c 56
0.98 o 31
0.98 c 53
0.98 o 33
0.98 c 51
0.98 o 36
0.98 c 48
0.98 o 39
0.98 c 45
0.99 o 42
0.99 c 42
0.99 o 44
0.99 c 40
0.99 o 47
0.99 c 37
0.99 o 49
0.99 c 35
0.99 o 51
0.99 c 33
0.99 o 53
0.99 c 31
0.99 o 55
0.99 c 29
1.00 o 57
1.00 c 27
1.00 o 59
1.00 c 25
1.00 o 60
1.00 c 24
1.00 o 61
1.00 c 23
1.00 o 63
1.00 c 21
1.00 o 64
1.00 c 20
1.00 o 65
1.00 c 19
1.00 o 66
1.00 c 18
1.01 o 67
1.01 c 17
1.04 o 68
1.04 c 16
1.06 o 69
1.06 c 15
1.06 o 70
1.06 c 14
1.07 o 71
1.07 c 13
1.07 o 72
1.07 c 12
1.07 o 73
1.07 c 11
1.11 o 74
1.11 c 10
1.13 o 75
1.13 c 9
1.25 o 76
1.25 c 8
1.25 o 77
1.25 c 7
1.25 o 78
1.25 c 6
10.96
10.96 search
10.96 run=0 nbConstraintChecks=89933093 nbAssignments=10000
10.96 => wckTime=10.001 cpuTime=9.95 mem=7M555
13.43 o 79
13.43 c 5
21.19
21.19 search
21.19 run=1 nbConstraintChecks=184079949 nbAssignments=20000
21.19 => wckTime=20.228 cpuTime=20.18 mem=7M555
30.43
30.43 search
30.43 run=2 nbConstraintChecks=269141809 nbAssignments=30000
30.43 => wckTime=29.476 cpuTime=29.4 mem=7M555
40.12
40.12 search
40.12 run=3 nbConstraintChecks=359449513 nbAssignments=40000
40.12 => wckTime=39.16 cpuTime=39.08 mem=7M555
43.48
43.48 search
43.48 run=4 nbConstraintChecks=390480819 nbAssignments=43810
43.48 => wckTime=42.521 cpuTime=42.44 mem=7M555
43.48
43.48 global
43.48 nbConstraintChecks=390480819 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.48 solvingWckTime=42.517 solvingCpuTime=42.44 expiredTime=no totalExploration=no nbFoundSolutions=0
43.48 globalCpuTime=43.03
43.48 => wckTime=43.183 cpuTime=42.98 mem=7M555
43.48
43.48 solver IterativeSystematicSolver being built...
43.60 => wckTime=43.304 cpuTime=43.07 mem=18M353
43.74
43.74 preprocessing
43.74 nbConstraintChecks=582318 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
43.74 detectedInconsistency=no
43.74 => wckTime=0.14 cpuTime=0.12 mem=18M353
45.26
45.26 search
45.26 run=0 nbConstraintChecks=12324692 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=443
45.26 nbFailedAssignments=428 nbBacktracks=10 nbVisitedNodes=882 nbRestartNogoods=0
45.26 => wckTime=1.658 cpuTime=1.62 mem=18M353
51.05
51.05 search
51.05 run=1 nbConstraintChecks=57341253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1786
51.05 nbFailedAssignments=1750 nbBacktracks=25 nbVisitedNodes=3562 nbRestartNogoods=198
51.05 => wckTime=7.45 cpuTime=7.39 mem=18M353
54.37
54.37 search
54.37 run=2 nbConstraintChecks=85188094 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2842
54.37 nbFailedAssignments=2778 nbBacktracks=47 nbVisitedNodes=5668 nbRestartNogoods=216
54.37 => wckTime=10.766 cpuTime=10.69 mem=18M353
62.42
62.42 search
62.42 run=3 nbConstraintChecks=149003270 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4997
62.42 nbFailedAssignments=4891 nbBacktracks=80 nbVisitedNodes=9969 nbRestartNogoods=219
62.42 => wckTime=18.815 cpuTime=18.73 mem=18M353
70.38
70.38 search
70.38 run=4 nbConstraintChecks=221064513 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7279
70.38 nbFailedAssignments=7116 nbBacktracks=130 nbVisitedNodes=14526 nbRestartNogoods=370
70.38 => wckTime=26.777 cpuTime=26.67 mem=18M353
86.63
86.63 search
86.63 run=5 nbConstraintChecks=344888860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11397
86.63 nbFailedAssignments=11153 nbBacktracks=205 nbVisitedNodes=22756 nbRestartNogoods=456
86.63 => wckTime=43.03 cpuTime=42.91 mem=18M353
116.73
116.73 search
116.73 run=6 nbConstraintChecks=550102550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16633
116.73 nbFailedAssignments=16270 nbBacktracks=318 nbVisitedNodes=33222 nbRestartNogoods=472
116.73 => wckTime=73.128 cpuTime=72.97 mem=18M353
141.67
141.67 search
141.67 run=7 nbConstraintChecks=713199268 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20850
141.67 nbFailedAssignments=20308 nbBacktracks=488 nbVisitedNodes=41647 nbRestartNogoods=522
141.67 => wckTime=98.071 cpuTime=97.9 mem=18M353
157.14
157.14 search
157.14 run=8 nbConstraintChecks=811386254 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23835
157.14 nbFailedAssignments=23029 nbBacktracks=744 nbVisitedNodes=47605 nbRestartNogoods=551
157.14 => wckTime=113.535 cpuTime=113.35 mem=18M353
176.44
176.44 search
176.44 run=9 nbConstraintChecks=932480051 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27941
176.44 nbFailedAssignments=26742 nbBacktracks=1128 nbVisitedNodes=55777 nbRestartNogoods=600
176.44 => wckTime=132.842 cpuTime=132.63 mem=18M353
202.90
202.90 search
202.90 run=10 nbConstraintChecks=1106519676 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33532
202.90 nbFailedAssignments=31751 nbBacktracks=1704 nbVisitedNodes=66945 nbRestartNogoods=616
202.90 => wckTime=159.298 cpuTime=159.07 mem=18M353
243.60
243.69 search
243.69 run=11 nbConstraintChecks=1358568408 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42143
243.69 nbFailedAssignments=39493 nbBacktracks=2568 nbVisitedNodes=84051 nbRestartNogoods=639
243.69 => wckTime=199.998 cpuTime=199.72 mem=18M353
297.00
297.00 search
297.00 run=12 nbConstraintChecks=1691264965 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53487
297.00 nbFailedAssignments=49533 nbBacktracks=3866 nbVisitedNodes=106640 nbRestartNogoods=656
297.00 => wckTime=253.395 cpuTime=253.04 mem=18M353
387.97
387.97 search
387.97 run=13 nbConstraintChecks=2325684675 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73829
387.97 nbFailedAssignments=67922 nbBacktracks=5813 nbVisitedNodes=147254 nbRestartNogoods=683
387.97 => wckTime=344.371 cpuTime=343.92 mem=18M353
498.02
498.02 search
498.02 run=14 nbConstraintChecks=2916537971 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=92950
498.02 nbFailedAssignments=84119 nbBacktracks=8732 nbVisitedNodes=185322 nbRestartNogoods=698
498.02 => wckTime=454.418 cpuTime=453.87 mem=18M353
632.86
632.86 search
632.86 run=15 nbConstraintChecks=3713783506 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=119775
632.86 nbFailedAssignments=106559 nbBacktracks=13110 nbVisitedNodes=238530 nbRestartNogoods=716
632.86 => wckTime=589.262 cpuTime=588.57 mem=18M353
810.04
810.04 search
810.04 run=16 nbConstraintChecks=4637032079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=150566
810.04 nbFailedAssignments=130777 nbBacktracks=19678 nbVisitedNodes=299437 nbRestartNogoods=764
810.04 => wckTime=766.44 cpuTime=765.56 mem=18M353
833.37 o 80
833.37 c 4
1069.33
1069.33 search
1069.33 run=17 nbConstraintChecks=5947790612 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=195132
1069.33 nbFailedAssignments=165487 nbBacktracks=29530 nbVisitedNodes=386954 nbRestartNogoods=822
1069.33 => wckTime=1025.732 cpuTime=1024.56 mem=18M353
1272.65 o 81
1272.65 c 3
1369.50 o 82
1369.50 c 2
1472.74
1472.74 search
1472.74 run=18 nbConstraintChecks=8170750409 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=271381
1472.74 nbFailedAssignments=226950 nbBacktracks=44309 nbVisitedNodes=537673 nbRestartNogoods=841
1472.74 => wckTime=1429.137 cpuTime=1427.54 mem=18M353
2018.42
2018.42 search
2018.42 run=19 nbConstraintChecks=10546371511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=357483
2018.42 nbFailedAssignments=290880 nbBacktracks=66477 nbVisitedNodes=703818 nbRestartNogoods=885
2018.42 => wckTime=1974.819 cpuTime=1972.65 mem=18M353
2402.67 v 126 16 38 141 43 89 12 30 51 21 161 112 49 38 143 7 121 30 49 3 1 9 84 66 102 9 92 159 46 44 53 104 51 12 19 137 118 0 9 171
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-276598-1169241741 -o ROOT/results/node33/solver-276598-1169241741 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276598-1169241741/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: 0.85 0.97 1.01 4/69 24579
/proc/meminfo: memFree=1589096/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=1788 CPUtime=0
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 367 0 0 0 0 0 0 0 18 0 1 0 272567978 1830912 159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/24578/statm: 447 158 123 14 0 92 0
[startup+0.103896 s]
/proc/loadavg: 0.85 0.97 1.01 4/69 24579
/proc/meminfo: memFree=1589096/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=914988 CPUtime=0.08
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 3000 0 1 0 7 1 0 0 22 0 8 0 272567978 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511983 s]
/proc/loadavg: 0.85 0.97 1.01 4/69 24579
/proc/meminfo: memFree=1589096/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915332 CPUtime=0.49
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 7835 0 1 0 45 4 0 0 25 0 8 0 272567978 937299968 7574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073589166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228833 7575 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33615 s]
/proc/loadavg: 0.85 0.97 1.01 3/88 24600
/proc/meminfo: memFree=1522448/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=1.3
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14245 0 1 0 120 10 0 0 25 0 8 0 272567978 937414656 13983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 13983 2479 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 617 0 0 0 3 0 0 0 17 0 8 0 272567982 937414656 13983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 13983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.12
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 330 0 0 0 11 1 0 0 16 0 8 0 272567985 937414656 13983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 13983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 13983 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.9905 s]
/proc/loadavg: 0.85 0.97 1.01 3/88 24600
/proc/meminfo: memFree=1515344/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=2.96
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14250 0 1 0 279 17 0 0 25 0 8 0 272567978 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 13987 2479 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.13
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 335 0 0 0 12 1 0 0 15 0 8 0 272567985 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915444
[startup+6.27519 s]
/proc/loadavg: 0.94 0.98 1.01 3/88 24600
/proc/meminfo: memFree=1515224/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=6.25
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14250 0 1 0 597 28 0 0 25 0 8 0 272567978 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683747 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 13987 2479 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.13
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 335 0 0 0 12 1 0 0 15 0 8 0 272567985 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915444
[startup+12.7685 s]
/proc/loadavg: 1.02 1.00 1.02 3/88 24600
/proc/meminfo: memFree=1515248/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=12.73
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14252 0 1 0 1221 52 0 0 25 0 8 0 272567978 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 13989 2479 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.14
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 337 0 0 0 13 1 0 0 16 0 8 0 272567985 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915444
[startup+25.6242 s]
/proc/loadavg: 1.24 1.05 1.03 3/88 24602
/proc/meminfo: memFree=1515376/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=25.55
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14252 0 1 0 2456 99 0 0 25 0 8 0 272567978 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 13989 2479 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 617 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.14
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 337 0 0 0 13 1 0 0 16 0 8 0 272567985 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 13989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915444
[startup+51.2556 s]
/proc/loadavg: 1.50 1.12 1.06 3/88 24602
/proc/meminfo: memFree=1515248/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=51.17
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14408 0 1 0 4945 172 0 0 25 0 8 0 272567978 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810467 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 14139 2532 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 618 0 0 0 3 0 0 0 17 0 8 0 272567982 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.22
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 272567985 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915444
[startup+102.505 s]
/proc/loadavg: 1.78 1.26 1.10 3/88 24602
/proc/meminfo: memFree=1515248/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=102.36
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14415 0 1 0 10064 172 0 0 25 0 8 0 272567978 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791308 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 14143 2532 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 618 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.22
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 393 0 0 0 21 1 0 0 15 0 8 0 272567985 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915444
[startup+162.548 s]
/proc/loadavg: 1.92 1.39 1.16 3/88 24602
/proc/meminfo: memFree=1515248/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=162.32
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14416 0 1 0 16060 172 0 0 25 0 8 0 272567978 937414656 14143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808288 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.5
Current children cumulated vsize (KiB) 915444
[startup+2083.78 s]
/proc/loadavg: 2.11 2.03 1.87 3/88 24602
/proc/meminfo: memFree=1515056/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=2081.53
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14423 0 1 0 207977 176 0 0 25 0 8 0 272567978 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 14147 2532 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 618 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.24
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.53
Current children cumulated vsize (KiB) 915444
[startup+2143.8 s]
/proc/loadavg: 2.04 2.02 1.88 3/88 24602
/proc/meminfo: memFree=1515120/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=2141.48
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14423 0 1 0 213972 176 0 0 25 0 8 0 272567978 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784282 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 14147 2532 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 618 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.24
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.48
Current children cumulated vsize (KiB) 915444
[startup+2203.85 s]
/proc/loadavg: 2.09 2.03 1.89 3/88 24602
/proc/meminfo: memFree=1515056/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=2201.48
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14423 0 1 0 219972 176 0 0 25 0 8 0 272567978 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785266 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 14147 2532 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 618 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.24
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.48
Current children cumulated vsize (KiB) 915444
[startup+2263.9 s]
/proc/loadavg: 2.07 2.04 1.90 3/88 24602
/proc/meminfo: memFree=1515056/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=2261.47
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14423 0 1 0 225970 177 0 0 25 0 8 0 272567978 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791125 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 14147 2532 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 618 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.24
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.47
Current children cumulated vsize (KiB) 915444
[startup+2323.94 s]
/proc/loadavg: 2.07 2.04 1.91 3/94 24628
/proc/meminfo: memFree=1513952/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=2321.43
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14423 0 1 0 231961 182 0 0 25 0 8 0 272567978 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808259 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 14147 2532 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 618 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.24
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.43
Current children cumulated vsize (KiB) 915444
[startup+2384.01 s]
/proc/loadavg: 2.11 2.06 1.92 3/94 24774
/proc/meminfo: memFree=1513752/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=2381.4
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14423 0 1 0 237952 188 0 0 25 0 8 0 272567978 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 14147 2532 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 618 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.24
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.4
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.66 s]
/proc/loadavg: 2.08 2.06 1.92 3/88 24800
/proc/meminfo: memFree=1514736/2055920 swapFree=4192224/4192956
[pid=24578] ppid=24574 vsize=915444 CPUtime=2400.03
/proc/24578/stat : 24578 (java) R 24574 24578 24460 0 -1 0 14423 0 1 0 239814 189 0 0 25 0 8 0 272567978 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831190 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24578/statm: 228861 14147 2532 14 0 215331 0
[pid=24578/tid=24587] ppid=24574 vsize=915444 CPUtime=0.03
/proc/24578/task/24587/stat : 24587 (java) S 24574 24578 24460 0 -1 64 618 0 0 0 3 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24588] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24588/stat : 24588 (java) S 24574 24578 24460 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24589] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24589/stat : 24589 (java) S 24574 24578 24460 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272567982 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24593] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24593/stat : 24593 (java) S 24574 24578 24460 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24594] ppid=24574 vsize=915444 CPUtime=0.24
/proc/24578/task/24594/stat : 24594 (java) S 24574 24578 24460 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24595] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24595/stat : 24595 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24578/tid=24596] ppid=24574 vsize=915444 CPUtime=0
/proc/24578/task/24596/stat : 24596 (java) S 24574 24578 24460 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272567985 937414656 14147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.73
CPU time (s): 2400.1
CPU user time (s): 2398.2
CPU system time (s): 1.90471
CPU usage (%): 99.8908
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.2
system time used= 1.90471
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14445
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= 49810
involuntary context switches= 57759
runsolver used 2.95255 s user time and 7.85881 s system time
The end
Begin job on node33 on Fri Jan 19 21:22:21 UTC 2007
IDJOB= 276598
IDBENCH= 5885
IDSOLVER= 68
FILE ID= node33/276598-1169241741
PBS_JOBID= 3589325
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276598-1169241741/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-276598-1169241741 -o ROOT/results/node33/solver-276598-1169241741 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276598-1169241741/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b5edf3320e80bd6231b487f32cfb536c
RANDOM SEED= 764519299
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.281
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.281
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: 1589384 kB
Buffers: 43344 kB
Cached: 334672 kB
SwapCached: 268 kB
Active: 166588 kB
Inactive: 231316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1589384 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 5740 kB
Writeback: 0 kB
Mapped: 29560 kB
Slab: 54300 kB
Committed_AS: 4495868 kB
PageTables: 1656 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= 66559 MiB
End job on node33 on Fri Jan 19 22:02:24 UTC 2007