0.29
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/282691-1169321603/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=100 nbDomainTypes=3 minDomainSize=22 maxDomainSize=44
0.41 => wckTime=0.112 cpuTime=0.1 mem=7M863
0.41
0.41 relations being loaded...
0.75
0.75 constraints being loaded...
0.96 nbConstraints=1222 nbRelationTypes=526 nbExtensionStructures=526 nbSharedExtensionStructures=696
0.96 nbConflictsStructures=526 nbSharedConflictsStructures=696 nbSharedBinaryRepresentations=39954 maxDegree=81
0.96 maxArity=2
0.96 => wckTime=0.667 cpuTime=0.56 mem=36M153
1.02
1.02 solver LocalSearchSolver being built...
1.06 => wckTime=0.768 cpuTime=0.6 mem=6M683
1.08
1.08 s SATISFIABLE
1.08 o 730
1.08 c 492
1.08 o 747
1.08 c 475
1.08 o 754
1.08 c 468
1.09 o 762
1.09 c 460
1.09 o 770
1.09 c 452
1.09 o 781
1.09 c 441
1.09 o 793
1.09 c 429
1.09 o 806
1.09 c 416
1.10 o 819
1.10 c 403
1.10 o 822
1.10 c 400
1.10 o 831
1.10 c 391
1.10 o 833
1.10 c 389
1.10 o 838
1.10 c 384
1.11 o 846
1.11 c 376
1.11 o 855
1.11 c 367
1.11 o 861
1.11 c 361
1.11 o 871
1.11 c 351
1.12 o 874
1.12 c 348
1.12 o 878
1.12 c 344
1.12 o 881
1.12 c 341
1.12 o 890
1.12 c 332
1.12 o 895
1.12 c 327
1.12 o 899
1.12 c 323
1.12 o 903
1.12 c 319
1.13 o 908
1.13 c 314
1.13 o 912
1.13 c 310
1.13 o 916
1.13 c 306
1.13 o 921
1.13 c 301
1.13 o 923
1.13 c 299
1.13 o 924
1.13 c 298
1.13 o 928
1.13 c 294
1.13 o 931
1.13 c 291
1.14 o 938
1.14 c 284
1.14 o 942
1.14 c 280
1.14 o 945
1.14 c 277
1.14 o 950
1.14 c 272
1.14 o 954
1.14 c 268
1.14 o 960
1.14 c 262
1.14 o 965
1.14 c 257
1.15 o 971
1.15 c 251
1.15 o 973
1.15 c 249
1.15 o 974
1.15 c 248
1.15 o 977
1.15 c 245
1.15 o 979
1.15 c 243
1.16 o 984
1.16 c 238
1.16 o 990
1.16 c 232
1.18 o 993
1.18 c 229
1.18 o 996
1.18 c 226
1.19 o 1007
1.19 c 215
1.19 o 1012
1.19 c 210
1.19 o 1014
1.19 c 208
1.20 o 1017
1.20 c 205
1.21 o 1019
1.21 c 203
1.21 o 1020
1.21 c 202
1.21 o 1021
1.21 c 201
1.21 o 1036
1.21 c 186
1.22 o 1040
1.22 c 182
1.24 o 1043
1.24 c 179
1.24 o 1046
1.24 c 176
1.24 o 1050
1.24 c 172
1.24 o 1052
1.24 c 170
1.25 o 1055
1.25 c 167
1.26 o 1057
1.26 c 165
1.26 o 1059
1.26 c 163
1.27 o 1060
1.27 c 162
1.29 o 1062
1.29 c 160
1.30 o 1069
1.30 c 153
1.32 o 1070
1.32 c 152
1.32 o 1073
1.32 c 149
1.33 o 1075
1.33 c 147
1.34 o 1077
1.34 c 145
1.34 o 1078
1.34 c 144
1.34 o 1079
1.34 c 143
1.35 o 1084
1.35 c 138
1.36 o 1085
1.36 c 137
1.37 o 1087
1.37 c 135
1.38 o 1099
1.38 c 123
1.40 o 1104
1.40 c 118
1.41 o 1107
1.41 c 115
1.41 o 1109
1.41 c 113
1.42 o 1111
1.42 c 111
1.44 o 1113
1.44 c 109
1.44 o 1114
1.44 c 108
1.45 o 1115
1.45 c 107
1.46 o 1118
1.46 c 104
1.49 o 1119
1.49 c 103
1.51 o 1120
1.51 c 102
1.51 o 1130
1.51 c 92
1.52 o 1131
1.52 c 91
1.55 o 1132
1.55 c 90
1.56 o 1135
1.56 c 87
1.62 o 1147
1.62 c 75
1.70 o 1153
1.70 c 69
2.26 o 1157
2.26 c 65
2.28 o 1160
2.28 c 62
2.30 o 1163
2.30 c 59
2.31 o 1166
2.31 c 56
2.33 o 1168
2.33 c 54
2.48 o 1170
2.48 c 52
2.55 o 1174
2.55 c 48
10.52 o 1176
10.52 c 46
12.18 o 1177
12.18 c 45
12.87 o 1180
12.87 c 42
14.80 o 1184
14.80 c 38
40.51
40.51 search
40.51 run=0 nbConstraintChecks=308287377 nbAssignments=10000
40.51 => wckTime=39.444 cpuTime=39.42 mem=6M683
44.81
44.81 search
44.81 run=1 nbConstraintChecks=342821075 nbAssignments=11142
44.81 => wckTime=43.752 cpuTime=43.72 mem=6M683
44.82
44.82 global
44.82 nbConstraintChecks=342821075 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.82 solvingWckTime=43.747 solvingCpuTime=43.72 expiredTime=no totalExploration=no nbFoundSolutions=0
44.82 globalCpuTime=44.36
44.82 => wckTime=44.52 cpuTime=44.32 mem=6M683
44.82
44.82 solver IterativeSystematicSolver being built...
44.94 => wckTime=44.647 cpuTime=44.43 mem=17M678
45.61
45.61 preprocessing
45.61 nbConstraintChecks=2512416 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
45.61 detectedInconsistency=no
45.61 => wckTime=0.661 cpuTime=0.62 mem=17M678
47.34
47.34 search
47.34 run=0 nbConstraintChecks=6857737 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151
47.34 nbFailedAssignments=111 nbBacktracks=10 nbVisitedNodes=273 nbRestartNogoods=0
47.34 => wckTime=2.39 cpuTime=2.34 mem=17M678
50.09
50.09 search
50.09 run=1 nbConstraintChecks=15488863 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=330
50.09 nbFailedAssignments=242 nbBacktracks=25 nbVisitedNodes=598 nbRestartNogoods=20
50.09 => wckTime=5.149 cpuTime=5.09 mem=17M678
51.81
51.81 search
51.81 run=2 nbConstraintChecks=22440348 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=483
51.81 nbFailedAssignments=336 nbBacktracks=47 nbVisitedNodes=867 nbRestartNogoods=52
51.81 => wckTime=6.871 cpuTime=6.81 mem=17M678
53.77
53.77 search
53.77 run=3 nbConstraintChecks=30175246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=646
53.77 nbFailedAssignments=431 nbBacktracks=80 nbVisitedNodes=1158 nbRestartNogoods=58
53.77 => wckTime=8.824 cpuTime=8.76 mem=17M678
56.75
56.75 search
56.75 run=4 nbConstraintChecks=41767872 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=883
56.75 nbFailedAssignments=579 nbBacktracks=130 nbVisitedNodes=1593 nbRestartNogoods=76
56.75 => wckTime=11.802 cpuTime=11.74 mem=18M652
80.05
80.05 search
80.05 run=5 nbConstraintChecks=97800837 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1934
80.05 nbFailedAssignments=1525 nbBacktracks=205 nbVisitedNodes=3665 nbRestartNogoods=86
80.05 => wckTime=35.108 cpuTime=35.01 mem=18M652
120.59
120.59 search
120.59 run=6 nbConstraintChecks=211464785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3992
120.59 nbFailedAssignments=3439 nbBacktracks=318 nbVisitedNodes=7750 nbRestartNogoods=106
120.59 => wckTime=75.646 cpuTime=75.53 mem=18M652
166.78
166.78 search
166.78 run=7 nbConstraintChecks=327100658 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6113
166.78 nbFailedAssignments=5362 nbBacktracks=488 nbVisitedNodes=11964 nbRestartNogoods=130
166.78 => wckTime=121.84 cpuTime=121.71 mem=18M652
223.87
223.87 search
223.87 run=8 nbConstraintChecks=485845811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8997
223.87 nbFailedAssignments=7975 nbBacktracks=744 nbVisitedNodes=17717 nbRestartNogoods=151
223.87 => wckTime=178.929 cpuTime=178.78 mem=18M652
253.42
253.42 search
253.42 run=9 nbConstraintChecks=564751434 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10550
253.42 nbFailedAssignments=9124 nbBacktracks=1128 nbVisitedNodes=20803 nbRestartNogoods=163
253.42 => wckTime=208.474 cpuTime=208.33 mem=18M652
346.30
346.30 search
346.30 run=10 nbConstraintChecks=818720949 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15435
346.30 nbFailedAssignments=13401 nbBacktracks=1704 nbVisitedNodes=30541 nbRestartNogoods=208
346.30 => wckTime=301.352 cpuTime=301.17 mem=18M652
479.82
479.82 search
479.82 run=11 nbConstraintChecks=1224057071 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24175
479.82 nbFailedAssignments=21265 nbBacktracks=2568 nbVisitedNodes=48009 nbRestartNogoods=228
479.82 => wckTime=434.881 cpuTime=434.66 mem=18M652
760.68
760.68 search
760.68 run=12 nbConstraintChecks=2007739386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38860
760.68 nbFailedAssignments=34628 nbBacktracks=3865 nbVisitedNodes=77354 nbRestartNogoods=238
760.68 => wckTime=715.737 cpuTime=715.44 mem=18M652
1051.65
1051.65 search
1051.65 run=13 nbConstraintChecks=2886146068 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57058
1051.65 nbFailedAssignments=50862 nbBacktracks=5811 nbVisitedNodes=113732 nbRestartNogoods=274
1051.65 => wckTime=1006.709 cpuTime=1006.33 mem=18M652
1668.03
1668.03 search
1668.03 run=14 nbConstraintChecks=4280890384 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87766
1668.03 nbFailedAssignments=78635 nbBacktracks=8730 nbVisitedNodes=175132 nbRestartNogoods=306
1668.03 => wckTime=1623.089 cpuTime=1622.51 mem=18M652
2260.27
2260.27 search
2260.27 run=15 nbConstraintChecks=6071830879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=125078
2260.27 nbFailedAssignments=111556 nbBacktracks=13108 nbVisitedNodes=249743 nbRestartNogoods=345
2260.27 => wckTime=2215.323 cpuTime=2210.71 mem=18M652
2405.94 v 24 19 6 31 16 43 11 43 42 11 35 0 33 19 17 2 34 3 3 37 0 1 23 36 17 15 6 32 11 19 16 17 7 32 33 0 23 23 1 24 33 0 41 28 0 26 26 17 6 2 26 22 16 8 36 24 18 9 10 21 21 20 24 18 10 19 25 22 35 9 12 34 13 35 11 9 43 12 7 1 0 0 7 43 30 34 5 0 28 11 27 17 2 35 6 1 30 14 33 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-282691-1169321603 -o ROOT/results/node20/solver-282691-1169321603 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282691-1169321603/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.00 1.00 1.03 4/78 3510
/proc/meminfo: memFree=1399976/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=1784 CPUtime=0
/proc/3509/stat : 3509 (java) D 3507 3509 2499 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 280554904 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3509/statm: 446 140 106 14 0 91 0
[startup+0.108858 s]
/proc/loadavg: 1.00 1.00 1.03 4/78 3510
/proc/meminfo: memFree=1399976/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=914988 CPUtime=0.09
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 3098 0 1 0 8 1 0 0 16 0 8 0 280554904 936947712 2844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3509/statm: 228747 2845 1461 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516904 s]
/proc/loadavg: 1.00 1.00 1.03 4/78 3510
/proc/meminfo: memFree=1399976/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915332 CPUtime=0.5
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 7644 0 1 0 46 4 0 0 16 0 8 0 280554904 937299968 7383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3509/statm: 228833 7384 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.338 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 3517
/proc/meminfo: memFree=1354224/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=1.33
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14103 0 1 0 125 8 0 0 17 0 8 0 280554904 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3509/statm: 228863 13841 2479 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 449 0 0 0 4 0 0 0 17 0 8 0 280554908 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.17
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 368 0 0 0 16 1 0 0 15 0 8 0 280554911 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915452
[startup+2.9832 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 3517
/proc/meminfo: memFree=1354224/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=2.97
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14104 0 1 0 287 10 0 0 18 0 8 0 280554904 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839397 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3509/statm: 228863 13841 2479 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 449 0 0 0 4 0 0 0 17 0 8 0 280554908 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.17
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 368 0 0 0 16 1 0 0 15 0 8 0 280554911 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 13841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915452
[startup+6.28059 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 3517
/proc/meminfo: memFree=1354032/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=6.27
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14107 0 1 0 613 14 0 0 17 0 8 0 280554904 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3509/statm: 228863 13844 2479 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.17
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 371 0 0 0 16 1 0 0 16 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915452
[startup+12.7504 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 3517
/proc/meminfo: memFree=1354040/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=12.73
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14107 0 1 0 1252 21 0 0 25 0 8 0 280554904 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838375 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3509/statm: 228863 13844 2479 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.18
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 371 0 0 0 17 1 0 0 15 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+25.5869 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 3517
/proc/meminfo: memFree=1354168/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=25.57
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14107 0 1 0 2523 34 0 0 25 0 8 0 280554904 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3509/statm: 228863 13844 2479 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.18
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 371 0 0 0 17 1 0 0 16 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 13844 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915452
[startup+51.271 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 3517
/proc/meminfo: memFree=1354040/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=51.25
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14262 0 1 0 5070 55 0 0 18 0 8 0 280554904 937422848 13993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3509/statm: 228863 13993 2532 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 13993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 13993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 13993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.25
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 421 0 0 0 24 1 0 0 16 0 8 0 280554911 937422848 13993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 13993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 13993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 915452
[startup+102.536 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 3517
/proc/meminfo: memFree=1354040/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=102.48
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14283 0 1 0 10193 55 0 0 25 0 8 0 280554904 937422848 14006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074024117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3509/statm: 228863 14006 2532 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 14006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 14006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.27
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 435 0 0 0 26 1 0 0 15 0 8 0 280554911 937422848 14006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 14006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 14006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 915452
[startup+162.629 s]
/proc/loadavg: 1.00 1.00 1.01 2/85 3517
/proc/meminfo: memFree=1353976/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=162.57
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14284 0 1 0 16201 56 0 0 25 0 8 0 280554904 937422848 14006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073946369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.98
Current children cumulated vsize (KiB) 915452
[startup+2085.4 s]
/proc/loadavg: 1.98 1.54 1.22 3/94 3822
/proc/meminfo: memFree=1284712/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=2082.51
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14290 0 1 0 208188 63 0 0 25 0 8 0 280554904 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074058252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3509/statm: 228863 14009 2532 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.28
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 439 0 0 0 27 1 0 0 16 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2082.51
Current children cumulated vsize (KiB) 915452
[startup+2145.45 s]
/proc/loadavg: 1.99 1.62 1.26 3/94 3822
/proc/meminfo: memFree=1284712/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=2142
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14290 0 1 0 214137 63 0 0 25 0 8 0 280554904 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3509/statm: 228863 14009 2532 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.28
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 439 0 0 0 27 1 0 0 16 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2142
Current children cumulated vsize (KiB) 915452
[startup+2205.51 s]
/proc/loadavg: 1.99 1.69 1.31 3/94 3822
/proc/meminfo: memFree=1284648/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=2201.49
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14290 0 1 0 220086 63 0 0 25 0 8 0 280554904 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3509/statm: 228863 14009 2532 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.28
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 439 0 0 0 27 1 0 0 16 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.49
Current children cumulated vsize (KiB) 915452
[startup+2265.56 s]
/proc/loadavg: 1.99 1.74 1.35 3/94 3822
/proc/meminfo: memFree=1284648/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=2260.97
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14291 0 1 0 226034 63 0 0 25 0 8 0 280554904 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3509/statm: 228863 14009 2532 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.28
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 439 0 0 0 27 1 0 0 16 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2260.97
Current children cumulated vsize (KiB) 915452
[startup+2325.64 s]
/proc/loadavg: 1.99 1.79 1.38 3/94 3822
/proc/meminfo: memFree=1284712/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=2320.5
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14291 0 1 0 231986 64 0 0 25 0 8 0 280554904 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3509/statm: 228863 14009 2532 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.28
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 439 0 0 0 27 1 0 0 16 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2320.5
Current children cumulated vsize (KiB) 915452
[startup+2385.69 s]
/proc/loadavg: 1.99 1.82 1.42 3/94 3822
/proc/meminfo: memFree=1284712/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=2379.99
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14291 0 1 0 237935 64 0 0 25 0 8 0 280554904 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073942068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3509/statm: 228863 14009 2532 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.28
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 439 0 0 0 27 1 0 0 16 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2379.99
Current children cumulated vsize (KiB) 915452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.94 s]
/proc/loadavg: 1.99 1.83 1.43 3/94 3822
/proc/meminfo: memFree=1284712/2055920 swapFree=4170260/4192956
[pid=3509] ppid=3507 vsize=915452 CPUtime=2400.06
/proc/3509/stat : 3509 (java) R 3507 3509 2499 0 -1 0 14291 0 1 0 239942 64 0 0 25 0 8 0 280554904 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074045680 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3509/statm: 228863 14009 2532 14 0 215333 0
[pid=3509/tid=3511] ppid=3507 vsize=915452 CPUtime=0.04
/proc/3509/task/3511/stat : 3511 (java) S 3507 3509 2499 0 -1 64 450 0 0 0 4 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3512] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3512/stat : 3512 (java) S 3507 3509 2499 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3513] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3513/stat : 3513 (java) S 3507 3509 2499 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280554908 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3514] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3514/stat : 3514 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3515] ppid=3507 vsize=915452 CPUtime=0.28
/proc/3509/task/3515/stat : 3515 (java) S 3507 3509 2499 0 -1 64 439 0 0 0 27 1 0 0 16 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3516] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3516/stat : 3516 (java) S 3507 3509 2499 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3509/tid=3517] ppid=3507 vsize=915452 CPUtime=0
/proc/3509/task/3517/stat : 3517 (java) S 3507 3509 2499 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280554911 937422848 14009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.01
CPU time (s): 2400.14
CPU user time (s): 2399.48
CPU system time (s): 0.6519
CPU usage (%): 99.7558
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.48
system time used= 0.6519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14309
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= 49613
involuntary context switches= 62149
runsolver used 2.44663 s user time and 6.593 s system time
The end
Begin job on node20 on Sat Jan 20 19:33:24 UTC 2007
IDJOB= 282691
IDBENCH= 12879
IDSOLVER= 68
FILE ID= node20/282691-1169321603
PBS_JOBID= 3610338
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/scens/scenw-06_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282691-1169321603/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-282691-1169321603 -o ROOT/results/node20/solver-282691-1169321603 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282691-1169321603/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d11f1ab6640c694674a36e3cafead378
RANDOM SEED= 700181575
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.216
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.216
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: 1400392 kB
Buffers: 43680 kB
Cached: 510808 kB
SwapCached: 7600 kB
Active: 161392 kB
Inactive: 422468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1400392 kB
SwapTotal: 4192956 kB
SwapFree: 4170260 kB
Dirty: 3196 kB
Writeback: 0 kB
Mapped: 43372 kB
Slab: 56940 kB
Committed_AS: 5674688 kB
PageTables: 2016 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= 66560 MiB
End job on node20 on Sat Jan 20 20:13:30 UTC 2007