0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276544-1169239924/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.105 cpuTime=0.1 mem=6M887
0.43
0.43 relations being loaded...
0.80
0.80 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.604 cpuTime=0.54 mem=36M271
0.99
0.99 solver LocalSearchSolver being built...
1.03 => wckTime=0.704 cpuTime=0.58 mem=7M375
1.04
1.04 s SATISFIABLE
1.05 o 11
1.05 c 73
1.05 o 15
1.05 c 69
1.05 o 18
1.05 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.06 o 30
1.06 c 54
1.06 o 33
1.06 c 51
1.06 o 35
1.06 c 49
1.06 o 38
1.06 c 46
1.06 o 41
1.06 c 43
1.06 o 43
1.06 c 41
1.06 o 46
1.06 c 38
1.07 o 49
1.07 c 35
1.07 o 50
1.07 c 34
1.07 o 51
1.07 c 33
1.07 o 53
1.07 c 31
1.07 o 55
1.07 c 29
1.07 o 56
1.07 c 28
1.07 o 57
1.07 c 27
1.08 o 59
1.08 c 25
1.08 o 60
1.08 c 24
1.08 o 61
1.08 c 23
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.10 o 66
1.10 c 18
1.10 o 67
1.10 c 17
1.10 o 68
1.10 c 16
1.10 o 70
1.10 c 14
1.12 o 71
1.12 c 13
1.13 o 72
1.13 c 12
1.13 o 73
1.13 c 11
1.13 o 74
1.13 c 10
1.13 o 75
1.13 c 9
1.18 o 76
1.18 c 8
1.96 o 77
1.96 c 7
1.97 o 78
1.97 c 6
1.99 o 79
1.99 c 5
10.56
10.56 search
10.56 run=0 nbConstraintChecks=80530273 nbAssignments=10000
10.56 => wckTime=9.53 cpuTime=9.47 mem=7M375
21.04
21.04 search
21.04 run=1 nbConstraintChecks=168193301 nbAssignments=20000
21.04 => wckTime=20.011 cpuTime=19.9 mem=7M375
21.31 o 80
21.31 c 4
31.47
31.47 search
31.47 run=2 nbConstraintChecks=254846720 nbAssignments=30000
31.47 => wckTime=30.437 cpuTime=30.27 mem=7M375
40.53
40.53 search
40.53 run=3 nbConstraintChecks=328929199 nbAssignments=40000
40.53 => wckTime=39.496 cpuTime=39.29 mem=7M375
49.97
49.97 search
49.97 run=4 nbConstraintChecks=406488048 nbAssignments=50000
49.97 => wckTime=48.944 cpuTime=48.68 mem=7M375
51.46
51.46 search
51.46 run=5 nbConstraintChecks=418625886 nbAssignments=51579
51.46 => wckTime=50.43 cpuTime=50.17 mem=7M375
51.46
51.46 global
51.46 nbConstraintChecks=418625886 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
51.46 solvingWckTime=50.425 solvingCpuTime=50.16 expiredTime=no totalExploration=no nbFoundSolutions=0
51.46 globalCpuTime=50.81
51.46 => wckTime=51.134 cpuTime=50.75 mem=7M375
51.46
51.46 solver IterativeSystematicSolver being built...
51.59 => wckTime=51.262 cpuTime=50.85 mem=18M303
51.74
51.74 preprocessing
51.74 nbConstraintChecks=481230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
51.74 detectedInconsistency=no
51.74 => wckTime=0.15 cpuTime=0.12 mem=18M303
56.76
56.77 search
56.77 run=0 nbConstraintChecks=37207260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1098
56.77 nbFailedAssignments=1082 nbBacktracks=10 nbVisitedNodes=2191 nbRestartNogoods=0
56.77 => wckTime=5.174 cpuTime=5.11 mem=18M303
61.64
61.64 search
61.64 run=1 nbConstraintChecks=75710645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2313
61.64 nbFailedAssignments=2273 nbBacktracks=25 nbVisitedNodes=4612 nbRestartNogoods=41
61.64 => wckTime=10.049 cpuTime=9.93 mem=18M303
64.79
64.79 search
64.79 run=2 nbConstraintChecks=91014938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2800
64.79 nbFailedAssignments=2732 nbBacktracks=47 nbVisitedNodes=5580 nbRestartNogoods=177
64.79 => wckTime=13.196 cpuTime=13.06 mem=18M303
68.85
68.85 search
68.85 run=3 nbConstraintChecks=119068718 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3795
68.85 nbFailedAssignments=3684 nbBacktracks=80 nbVisitedNodes=7559 nbRestartNogoods=257
68.85 => wckTime=17.259 cpuTime=17.1 mem=18M303
71.01
71.01 search
71.01 run=4 nbConstraintChecks=131723326 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4447
71.01 nbFailedAssignments=4270 nbBacktracks=130 nbVisitedNodes=8847 nbRestartNogoods=381
71.01 => wckTime=19.423 cpuTime=19.25 mem=18M303
86.19
86.19 search
86.19 run=5 nbConstraintChecks=254058527 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9050
86.19 nbFailedAssignments=8790 nbBacktracks=205 nbVisitedNodes=18045 nbRestartNogoods=511
86.19 => wckTime=34.596 cpuTime=34.36 mem=18M303
88.39
88.39 search
88.39 run=6 nbConstraintChecks=266478236 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9666
88.39 nbFailedAssignments=9279 nbBacktracks=318 nbVisitedNodes=19263 nbRestartNogoods=571
88.39 => wckTime=36.804 cpuTime=36.55 mem=18M303
102.26
102.26 search
102.26 run=7 nbConstraintChecks=361115127 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12092
102.26 nbFailedAssignments=11526 nbBacktracks=488 nbVisitedNodes=24106 nbRestartNogoods=681
102.26 => wckTime=50.666 cpuTime=50.35 mem=18M303
138.59
138.59 search
138.59 run=8 nbConstraintChecks=612369971 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21298
138.59 nbFailedAssignments=20462 nbBacktracks=744 nbVisitedNodes=42504 nbRestartNogoods=869
138.59 => wckTime=86.997 cpuTime=86.51 mem=18M303
163.43
163.43 search
163.43 run=9 nbConstraintChecks=757337011 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26743
163.43 nbFailedAssignments=25508 nbBacktracks=1128 nbVisitedNodes=53379 nbRestartNogoods=974
163.43 => wckTime=111.837 cpuTime=111.23 mem=18M303
207.06
207.06 search
207.06 run=10 nbConstraintChecks=1015136373 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38822
207.06 nbFailedAssignments=37003 nbBacktracks=1704 nbVisitedNodes=77526 nbRestartNogoods=1217
207.06 => wckTime=155.469 cpuTime=154.65 mem=18M303
256.82
256.82 search
256.82 run=11 nbConstraintChecks=1304033422 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51732
256.82 nbFailedAssignments=49040 nbBacktracks=2568 nbVisitedNodes=103321 nbRestartNogoods=1506
256.82 => wckTime=205.234 cpuTime=204.17 mem=18M303
314.79
314.79 search
314.79 run=12 nbConstraintChecks=1648369300 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=65481
314.79 nbFailedAssignments=61487 nbBacktracks=3865 nbVisitedNodes=130656 nbRestartNogoods=1551
314.79 => wckTime=263.201 cpuTime=261.87 mem=18M303
390.50
390.50 search
390.50 run=13 nbConstraintChecks=2100315691 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82855
390.50 nbFailedAssignments=76906 nbBacktracks=5812 nbVisitedNodes=165339 nbRestartNogoods=1581
390.50 => wckTime=338.909 cpuTime=337.22 mem=18M303
470.12
470.12 search
470.12 run=14 nbConstraintChecks=2526216887 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=99665
470.12 nbFailedAssignments=90782 nbBacktracks=8731 nbVisitedNodes=198718 nbRestartNogoods=1621
470.12 => wckTime=418.533 cpuTime=416.47 mem=18M303
565.80
565.80 search
565.80 run=15 nbConstraintChecks=3032698276 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=119712
565.80 nbFailedAssignments=106441 nbBacktracks=13109 nbVisitedNodes=238506 nbRestartNogoods=1668
565.80 => wckTime=514.214 cpuTime=511.6 mem=18M303
742.18
742.18 search
742.18 run=16 nbConstraintChecks=3960849230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=153668
742.18 nbFailedAssignments=133821 nbBacktracks=19677 nbVisitedNodes=306022 nbRestartNogoods=1697
742.18 => wckTime=690.594 cpuTime=687.07 mem=18M303
964.90
964.90 search
964.90 run=17 nbConstraintChecks=5107598467 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=196890
964.90 nbFailedAssignments=167186 nbBacktracks=29529 nbVisitedNodes=391039 nbRestartNogoods=1753
964.90 => wckTime=913.311 cpuTime=909.33 mem=18M303
1280.10
1280.10 search
1280.10 run=18 nbConstraintChecks=6814418219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=261068
1280.10 nbFailedAssignments=216572 nbBacktracks=44309 nbVisitedNodes=517133 nbRestartNogoods=1775
1280.10 => wckTime=1228.506 cpuTime=1224.18 mem=18M303
1866.72
1866.72 search
1866.72 run=19 nbConstraintChecks=10640995678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=395503
1866.72 nbFailedAssignments=328829 nbBacktracks=66477 nbVisitedNodes=784910 nbRestartNogoods=1830
1866.72 => wckTime=1815.132 cpuTime=1810.16 mem=18M303
2405.89 v 16 30 39 170 41 79 135 48 61 104 39 98 81 22 55 102 124 68 179 169 119 63 90 39 106 8 75 14 3 36 16 149 92 49 131 78 118 53 13 49
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-276544-1169239924 -o ROOT/results/node3/solver-276544-1169239924 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276544-1169239924/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.96 2.02 2.00 3/86 22915
/proc/meminfo: memFree=1305816/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=18540 CPUtime=0
/proc/22914/stat : 22914 (runsolver) R 22912 22914 21753 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272388040 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22914/statm: 4635 279 244 17 0 2626 0
[startup+0.102881 s]
/proc/loadavg: 1.96 2.02 2.00 3/86 22915
/proc/meminfo: memFree=1305816/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=912760 CPUtime=0.07
/proc/22914/stat : 22914 (java) S 22912 22914 21753 0 -1 0 2776 0 1 0 6 1 0 0 18 0 8 0 272388040 934666240 2522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228190 2522 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.51095 s]
/proc/loadavg: 1.96 2.02 2.00 3/86 22915
/proc/meminfo: memFree=1305816/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915332 CPUtime=0.47
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 7068 0 1 0 43 4 0 0 18 0 8 0 272388040 937299968 6807 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073569518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228833 6807 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33408 s]
/proc/loadavg: 1.96 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259424/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=1.29
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14257 0 1 0 120 9 0 0 24 0 8 0 272388040 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 13995 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272388045 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.11
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 272388049 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 13995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.98234 s]
/proc/loadavg: 1.96 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259424/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2.94
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14263 0 1 0 276 18 0 0 25 0 8 0 272388040 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14000 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272388045 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.11
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 335 0 0 0 11 0 0 0 15 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.26688 s]
/proc/loadavg: 1.96 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259296/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=6.2
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14263 0 1 0 589 31 0 0 25 0 8 0 272388040 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14000 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.11
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 335 0 0 0 11 0 0 0 15 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915444
[startup+12.7559 s]
/proc/loadavg: 1.96 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259232/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=12.66
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14265 0 1 0 1208 58 0 0 25 0 8 0 272388040 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14002 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.12
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915444
[startup+25.6 s]
/proc/loadavg: 1.97 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259424/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=25.44
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14265 0 1 0 2436 108 0 0 25 0 8 0 272388040 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14002 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.12
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915444
[startup+51.2062 s]
/proc/loadavg: 1.98 2.01 2.00 3/93 22922
/proc/meminfo: memFree=1259488/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=50.92
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14265 0 1 0 4877 215 0 0 25 0 8 0 272388040 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679269 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14002 2479 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.12
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915444
[startup+102.426 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259104/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=101.91
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14431 0 1 0 9972 219 0 0 25 0 8 0 272388040 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787717 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22914/statm: 228861 14156 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.22
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 396 0 0 0 21 1 0 0 16 0 8 0 272388049 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915444
[startup+162.491 s]
/proc/loadavg: 2.02 2.02 2.00 3/93 22922
/proc/meminfo: memFree=1259168/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=161.68
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14431 0 1 0 15949 219 0 0 25 0 8 0 272388040 937414656 14156 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2018.22
Current children cumulated vsize (KiB) 915444
[startup+2083.66 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 23231
/proc/meminfo: memFree=1242792/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2078.24
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 207594 230 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810772 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.24
Current children cumulated vsize (KiB) 915444
[startup+2143.69 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 23231
/proc/meminfo: memFree=1242728/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2138.19
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 213589 230 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2138.19
Current children cumulated vsize (KiB) 915444
[startup+2203.71 s]
/proc/loadavg: 2.08 2.02 2.01 3/101 23231
/proc/meminfo: memFree=1242792/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2198.17
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 219586 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2198.17
Current children cumulated vsize (KiB) 915444
[startup+2263.72 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 23231
/proc/meminfo: memFree=1242792/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2258.1
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 225579 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.1
Current children cumulated vsize (KiB) 915444
[startup+2323.74 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 23231
/proc/meminfo: memFree=1242728/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2318.05
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 231574 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.05
Current children cumulated vsize (KiB) 915444
[startup+2383.75 s]
/proc/loadavg: 2.05 2.02 2.00 4/101 23231
/proc/meminfo: memFree=1242728/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2378
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 237569 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.88 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 23231
/proc/meminfo: memFree=1242728/2055920 swapFree=4191880/4192956
[pid=22914] ppid=22912 vsize=915444 CPUtime=2400.09
/proc/22914/stat : 22914 (java) R 22912 22914 21753 0 -1 0 14433 0 1 0 239778 231 0 0 25 0 8 0 272388040 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22914/statm: 228861 14158 2532 14 0 215331 0
[pid=22914/tid=22916] ppid=22912 vsize=915444 CPUtime=0.04
/proc/22914/task/22916/stat : 22916 (java) S 22912 22914 21753 0 -1 64 617 0 0 0 4 0 0 0 16 0 8 0 272388045 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22917] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22917/stat : 22917 (java) S 22912 22914 21753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22918] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22918/stat : 22918 (java) S 22912 22914 21753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272388046 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22919] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22919/stat : 22919 (java) S 22912 22914 21753 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22920] ppid=22912 vsize=915444 CPUtime=0.23
/proc/22914/task/22920/stat : 22920 (java) S 22912 22914 21753 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22914/tid=22921] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22921/stat : 22921 (java) S 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22914/tid=22922] ppid=22912 vsize=915444 CPUtime=0
/proc/22914/task/22922/stat : 22922 (java) R 22912 22914 21753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272388049 937414656 14158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.95
CPU time (s): 2400.17
CPU user time (s): 2397.84
CPU system time (s): 2.32565
CPU usage (%): 99.7597
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.84
system time used= 2.32565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14454
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= 49786
involuntary context switches= 98048
runsolver used 2.82857 s user time and 7.8728 s system time
The end
Begin job on node3 on Fri Jan 19 20:52:04 UTC 2007
IDJOB= 276544
IDBENCH= 5845
IDSOLVER= 68
FILE ID= node3/276544-1169239924
PBS_JOBID= 3588990
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276544-1169239924/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-276544-1169239924 -o ROOT/results/node3/solver-276544-1169239924 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276544-1169239924/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3ac0e5fd51cdfeaeb41cf7ea716924ba
RANDOM SEED= 198416932
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.279
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.279
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: 1306296 kB
Buffers: 55140 kB
Cached: 552156 kB
SwapCached: 284 kB
Active: 193036 kB
Inactive: 481832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1306296 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3496 kB
Writeback: 0 kB
Mapped: 80424 kB
Slab: 59880 kB
Committed_AS: 7246872 kB
PageTables: 2036 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 node3 on Fri Jan 19 21:32:10 UTC 2007