0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281917-1169315632/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.44 nbVariables=201 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.44 => wckTime=0.126 cpuTime=0.1 mem=7M862
0.44
0.44 relations being loaded...
0.44
0.44 constraints being loaded...
0.75 nbConstraints=5266 nbRelationTypes=2 nbSingletonDomainVariables=1 nbExtensionStructures=2
0.75 nbSharedExtensionStructures=5264 nbConflictsStructures=2 nbSharedConflictsStructures=5264
0.75 nbSharedBinaryRepresentations=3 maxDegree=200 maxArity=2
0.75 => wckTime=0.438 cpuTime=0.3 mem=21M515
0.82
0.82 solver LocalSearchSolver being built...
0.87 => wckTime=0.557 cpuTime=0.35 mem=8M105
0.88
0.88 s SATISFIABLE
0.88 o 3826
0.88 c 1440
0.88 o 3860
0.88 c 1406
0.88 o 3893
0.88 c 1373
0.88 o 3926
0.88 c 1340
0.88 o 3958
0.88 c 1308
0.88 o 3989
0.88 c 1277
0.89 o 4019
0.89 c 1247
0.89 o 4049
0.89 c 1217
0.89 o 4078
0.89 c 1188
0.89 o 4107
0.89 c 1159
0.89 o 4134
0.89 c 1132
0.89 o 4161
0.89 c 1105
0.89 o 4188
0.89 c 1078
0.90 o 4214
0.90 c 1052
0.90 o 4240
0.90 c 1026
0.90 o 4265
0.90 c 1001
0.90 o 4290
0.90 c 976
0.90 o 4314
0.90 c 952
0.90 o 4337
0.90 c 929
0.90 o 4360
0.90 c 906
0.90 o 4383
0.90 c 883
0.90 o 4405
0.90 c 861
0.90 o 4427
0.90 c 839
0.90 o 4449
0.90 c 817
0.90 o 4470
0.90 c 796
0.90 o 4491
0.90 c 775
0.90 o 4512
0.90 c 754
0.91 o 4532
0.91 c 734
0.91 o 4552
0.91 c 714
0.91 o 4571
0.91 c 695
0.91 o 4590
0.91 c 676
0.91 o 4609
0.91 c 657
0.91 o 4627
0.91 c 639
0.91 o 4644
0.91 c 622
0.91 o 4660
0.91 c 606
0.91 o 4676
0.91 c 590
0.91 o 4692
0.91 c 574
0.91 o 4708
0.91 c 558
0.91 o 4723
0.91 c 543
0.91 o 4738
0.91 c 528
0.91 o 4752
0.91 c 514
0.91 o 4766
0.91 c 500
0.91 o 4780
0.91 c 486
0.91 o 4793
0.91 c 473
0.92 o 4806
0.92 c 460
0.92 o 4819
0.92 c 447
0.92 o 4832
0.92 c 434
0.92 o 4844
0.92 c 422
0.92 o 4856
0.92 c 410
0.92 o 4868
0.92 c 398
0.92 o 4879
0.92 c 387
0.92 o 4890
0.92 c 376
0.92 o 4901
0.92 c 365
0.92 o 4911
0.92 c 355
0.92 o 4921
0.92 c 345
0.92 o 4931
0.92 c 335
0.92 o 4941
0.92 c 325
0.92 o 4950
0.92 c 316
0.92 o 4959
0.92 c 307
0.92 o 4968
0.92 c 298
0.93 o 4976
0.93 c 290
0.93 o 4984
0.93 c 282
0.93 o 4992
0.93 c 274
0.93 o 4999
0.93 c 267
0.93 o 5006
0.93 c 260
0.93 o 5013
0.93 c 253
0.93 o 5020
0.93 c 246
0.93 o 5026
0.93 c 240
0.93 o 5032
0.93 c 234
0.93 o 5037
0.93 c 229
0.93 o 5042
0.93 c 224
0.93 o 5047
0.93 c 219
0.93 o 5051
0.93 c 215
0.93 o 5055
0.93 c 211
0.93 o 5059
0.93 c 207
0.93 o 5063
0.93 c 203
0.93 o 5067
0.93 c 199
0.93 o 5070
0.93 c 196
0.93 o 5073
0.93 c 193
0.93 o 5075
0.93 c 191
0.94 o 5077
0.94 c 189
0.94 o 5078
0.94 c 188
0.94 o 5079
0.94 c 187
0.94 o 5080
0.94 c 186
0.94 o 5081
0.94 c 185
15.76
15.76 search
15.76 run=0 nbConstraintChecks=53718068 nbAssignments=10000
15.76 => wckTime=14.897 cpuTime=14.73 mem=8M105
31.24
31.24 search
31.24 run=1 nbConstraintChecks=110512232 nbAssignments=19543
31.24 => wckTime=30.374 cpuTime=30.06 mem=8M105
31.24
31.24 global
31.24 nbConstraintChecks=110512232 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.24 solvingWckTime=30.371 solvingCpuTime=30.06 expiredTime=no totalExploration=no nbFoundSolutions=0
31.24 globalCpuTime=30.47
31.24 => wckTime=30.93 cpuTime=30.41 mem=8M105
31.24
31.24 solver IterativeSystematicSolver being built...
31.39 => wckTime=31.081 cpuTime=30.53 mem=20M85
32.57
32.57 preprocessing
32.57 nbConstraintChecks=2080159 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.57 detectedInconsistency=no
32.57 => wckTime=1.176 cpuTime=1.13 mem=20M85
33.23 o 5082
33.23 c 184
33.37
33.37 search
33.37 run=0 nbConstraintChecks=1449462 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201
33.37 nbFailedAssignments=0 nbBacktracks=187 nbVisitedNodes=220 nbRestartNogoods=0
33.37 => wckTime=1.973 cpuTime=1.91 mem=20M85
34.42 o 5083
34.42 c 183
34.53
34.53 search
34.53 run=1 nbConstraintChecks=2980576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=412
34.53 nbFailedAssignments=5 nbBacktracks=380 nbVisitedNodes=450 nbRestartNogoods=1
34.53 => wckTime=3.14 cpuTime=3.05 mem=20M85
36.10
36.10 search
36.10 run=2 nbConstraintChecks=3662875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=469
36.10 nbFailedAssignments=22 nbBacktracks=409 nbVisitedNodes=547 nbRestartNogoods=5
36.10 => wckTime=4.71 cpuTime=4.61 mem=20M85
37.13
37.13 search
37.13 run=3 nbConstraintChecks=4116407 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=532
37.13 nbFailedAssignments=38 nbBacktracks=448 nbVisitedNodes=652 nbRestartNogoods=9
37.13 => wckTime=5.741 cpuTime=5.63 mem=20M85
38.28
38.28 search
38.28 run=4 nbConstraintChecks=4902747 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=625
38.28 nbFailedAssignments=57 nbBacktracks=506 nbVisitedNodes=804 nbRestartNogoods=12
38.28 => wckTime=6.885 cpuTime=6.76 mem=20M85
40.29
40.29 search
40.29 run=5 nbConstraintChecks=6064508 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=778
40.29 nbFailedAssignments=89 nbBacktracks=584 nbVisitedNodes=1039 nbRestartNogoods=19
40.29 => wckTime=8.9 cpuTime=8.75 mem=20M85
42.65
42.65 search
42.65 run=6 nbConstraintChecks=7605275 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=928
42.65 nbFailedAssignments=110 nbBacktracks=702 nbVisitedNodes=1315 nbRestartNogoods=27
42.65 => wckTime=11.26 cpuTime=11.09 mem=20M85
47.85
47.85 search
47.85 run=7 nbConstraintChecks=9955854 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1186
47.85 nbFailedAssignments=184 nbBacktracks=881 nbVisitedNodes=1723 nbRestartNogoods=32
47.85 => wckTime=16.46 cpuTime=16.23 mem=20M85
52.97
52.97 search
52.97 run=8 nbConstraintChecks=13418414 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1515
52.97 nbFailedAssignments=243 nbBacktracks=1146 nbVisitedNodes=2312 nbRestartNogoods=34
52.97 => wckTime=21.578 cpuTime=21.29 mem=20M85
62.77
62.77 search
62.77 run=9 nbConstraintChecks=18853454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2038
62.77 nbFailedAssignments=375 nbBacktracks=1532 nbVisitedNodes=3189 nbRestartNogoods=36
62.77 => wckTime=31.38 cpuTime=30.99 mem=20M85
80.04
80.04 search
80.04 run=10 nbConstraintChecks=28251963 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2847
80.04 nbFailedAssignments=591 nbBacktracks=2113 nbVisitedNodes=4534 nbRestartNogoods=38
80.04 => wckTime=48.648 cpuTime=48.09 mem=20M85
106.38
106.38 search
106.38 run=11 nbConstraintChecks=40976573 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4048
106.38 nbFailedAssignments=916 nbBacktracks=2977 nbVisitedNodes=6522 nbRestartNogoods=45
106.38 => wckTime=74.984 cpuTime=74.2 mem=20M85
136.88
136.88 search
136.88 run=12 nbConstraintChecks=57992613 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5771
136.88 nbFailedAssignments=1332 nbBacktracks=4279 nbVisitedNodes=9405 nbRestartNogoods=54
136.88 => wckTime=105.485 cpuTime=104.41 mem=20M85
184.13
184.13 search
184.13 run=13 nbConstraintChecks=84745050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8377
184.13 nbFailedAssignments=1947 nbBacktracks=6254 nbVisitedNodes=13842 nbRestartNogoods=70
184.13 => wckTime=152.742 cpuTime=151.23 mem=20M85
255.32
255.32 search
255.32 run=14 nbConstraintChecks=125060761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12209
255.32 nbFailedAssignments=2847 nbBacktracks=9173 nbVisitedNodes=20479 nbRestartNogoods=83
255.32 => wckTime=223.931 cpuTime=221.77 mem=20M85
360.86 o 5084
360.86 c 182
367.53
367.53 search
367.53 run=15 nbConstraintChecks=192051056 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17845
367.53 nbFailedAssignments=4089 nbBacktracks=13552 nbVisitedNodes=30056 nbRestartNogoods=96
367.53 => wckTime=336.134 cpuTime=332.94 mem=20M85
510.17
510.17 search
510.17 run=16 nbConstraintChecks=282732364 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26272
510.17 nbFailedAssignments=5941 nbBacktracks=20121 nbVisitedNodes=44915 nbRestartNogoods=105
510.17 => wckTime=478.779 cpuTime=474.07 mem=20M85
916.66
916.66 search
916.66 run=17 nbConstraintChecks=490300382 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41877
916.66 nbFailedAssignments=11679 nbBacktracks=29976 nbVisitedNodes=73447 nbRestartNogoods=116
916.66 => wckTime=885.264 cpuTime=876.94 mem=20M85
1256.70
1256.70 search
1256.70 run=18 nbConstraintChecks=714691272 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61574
1256.70 nbFailedAssignments=16566 nbBacktracks=44763 nbVisitedNodes=107355 nbRestartNogoods=128
1256.70 => wckTime=1225.306 cpuTime=1216.58 mem=20M85
1977.96
1977.96 search
1977.96 run=19 nbConstraintChecks=1121842853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93962
1977.96 nbFailedAssignments=26774 nbBacktracks=66931 nbVisitedNodes=167288 nbRestartNogoods=136
1977.96 => wckTime=1946.565 cpuTime=1937.04 mem=20M85
2206.16 o 5085
2206.16 c 181
2410.26 v 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-281917-1169315632 -o ROOT/results/node12/solver-281917-1169315632 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281917-1169315632/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.99 1.97 1.97 4/93 13929
/proc/meminfo: memFree=1333096/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=18540 CPUtime=0
/proc/13928/stat : 13928 (runsolver) R 13926 13928 13555 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 279958198 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13928/statm: 4635 279 244 17 0 2626 0
[startup+0.109806 s]
/proc/loadavg: 1.99 1.97 1.97 4/93 13929
/proc/meminfo: memFree=1333096/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=914988 CPUtime=0.09
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 3058 0 1 0 8 1 0 0 20 0 8 0 279958198 936947712 2804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13928/statm: 228747 2804 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519878 s]
/proc/loadavg: 1.99 1.97 1.97 4/93 13929
/proc/meminfo: memFree=1333096/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915332 CPUtime=0.49
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 6424 0 1 0 46 3 0 0 18 0 8 0 279958198 937299968 6163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072946241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13928/statm: 228833 6163 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34603 s]
/proc/loadavg: 1.99 1.97 1.97 3/100 13936
/proc/meminfo: memFree=1300400/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=1.3
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 10826 0 1 0 120 10 0 0 24 0 8 0 279958198 937451520 10564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13928/statm: 228870 10564 2479 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 808 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.19
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 279958205 937451520 10564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10564 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915480
[startup+2.98332 s]
/proc/loadavg: 1.99 1.97 1.97 3/100 13936
/proc/meminfo: memFree=1300400/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=2.92
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 10830 0 1 0 273 19 0 0 25 0 8 0 279958198 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13928/statm: 228870 10567 2479 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 808 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.2
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915480
[startup+6.18491 s]
/proc/loadavg: 1.99 1.97 1.97 3/100 13936
/proc/meminfo: memFree=1300336/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=6.1
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 10830 0 1 0 573 37 0 0 25 0 8 0 279958198 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13928/statm: 228870 10567 2479 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 808 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.2
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915480
[startup+12.6621 s]
/proc/loadavg: 2.07 1.99 1.98 3/100 13936
/proc/meminfo: memFree=1300336/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=12.51
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 10830 0 1 0 1183 68 0 0 25 0 8 0 279958198 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13928/statm: 228870 10567 2479 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 808 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.2
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915480
[startup+25.5264 s]
/proc/loadavg: 2.06 1.99 1.98 3/100 13936
/proc/meminfo: memFree=1300464/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=25.26
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 10833 0 1 0 2397 129 0 0 25 0 8 0 279958198 937451520 10570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13928/statm: 228870 10570 2479 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 808 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.2
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 381 0 0 0 19 1 0 0 17 0 8 0 279958205 937451520 10570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10570 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915480
[startup+51.157 s]
/proc/loadavg: 2.04 1.99 1.98 3/100 13936
/proc/meminfo: memFree=1300016/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=50.65
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 10994 0 1 0 4909 156 0 0 25 0 8 0 279958198 937451520 10724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074024310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13928/statm: 228870 10724 2533 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 809 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.3
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 435 0 0 0 29 1 0 0 15 0 8 0 279958205 937451520 10724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915480
[startup+102.42 s]
/proc/loadavg: 2.06 2.00 1.98 3/100 13936
/proc/meminfo: memFree=1300016/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=101.45
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 11010 0 1 0 9988 157 0 0 25 0 8 0 279958198 937451520 10733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074024289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13928/statm: 228870 10733 2533 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 809 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.32
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 451 0 0 0 31 1 0 0 16 0 8 0 279958205 937451520 10733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915480
[startup+162.422 s]
/proc/loadavg: 2.02 2.00 1.98 3/100 13936
/proc/meminfo: memFree=1300016/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=160.9
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 11013 0 1 0 15933 157 0 0 25 0 8 0 279958198 937451520 10734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957148 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2013.13
Current children cumulated vsize (KiB) 915480
[startup+2082.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14184
/proc/meminfo: memFree=1284584/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=2073.07
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 11017 0 1 0 207141 166 0 0 25 0 8 0 279958198 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989085 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13928/statm: 228870 10736 2533 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 809 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.33
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.07
Current children cumulated vsize (KiB) 915480
[startup+2142.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14184
/proc/meminfo: memFree=1284648/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=2133
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 11017 0 1 0 213133 167 0 0 25 0 8 0 279958198 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957023 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13928/statm: 228870 10736 2533 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 809 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.33
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133
Current children cumulated vsize (KiB) 915480
[startup+2202.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14184
/proc/meminfo: memFree=1284584/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=2192.95
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 11017 0 1 0 219128 167 0 0 25 0 8 0 279958198 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13928/statm: 228870 10736 2533 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 809 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.33
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.95
Current children cumulated vsize (KiB) 915480
[startup+2262.95 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 14184
/proc/meminfo: memFree=1284648/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=2252.9
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 11017 0 1 0 225123 167 0 0 25 0 8 0 279958198 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074024304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13928/statm: 228870 10736 2533 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 809 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.33
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2252.9
Current children cumulated vsize (KiB) 915480
[startup+2322.97 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 14184
/proc/meminfo: memFree=1284648/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=2312.83
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 11017 0 1 0 231116 167 0 0 25 0 8 0 279958198 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993612 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13928/statm: 228870 10736 2533 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 809 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.33
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.83
Current children cumulated vsize (KiB) 915480
[startup+2382.98 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14184
/proc/meminfo: memFree=1284584/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=2372.79
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 11017 0 1 0 237111 168 0 0 25 0 8 0 279958198 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074024327 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13928/statm: 228870 10736 2533 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 809 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.33
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.79
Current children cumulated vsize (KiB) 915480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2410.26 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 14184
/proc/meminfo: memFree=1284584/2055920 swapFree=4160348/4192956
[pid=13928] ppid=13926 vsize=915480 CPUtime=2400.03
/proc/13928/stat : 13928 (java) R 13926 13928 13555 0 -1 0 11017 0 1 0 239835 168 0 0 25 0 8 0 279958198 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13928/statm: 228870 10736 2533 14 0 215340 0
[pid=13928/tid=13930] ppid=13926 vsize=915480 CPUtime=0.05
/proc/13928/task/13930/stat : 13930 (java) S 13926 13928 13555 0 -1 64 809 0 0 0 5 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13931] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13931/stat : 13931 (java) S 13926 13928 13555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13932] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13932/stat : 13932 (java) S 13926 13928 13555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279958202 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13933] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13933/stat : 13933 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13934] ppid=13926 vsize=915480 CPUtime=0.33
/proc/13928/task/13934/stat : 13934 (java) S 13926 13928 13555 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13928/tid=13935] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13935/stat : 13935 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13928/tid=13936] ppid=13926 vsize=915480 CPUtime=0
/proc/13928/task/13936/stat : 13936 (java) S 13926 13928 13555 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279958205 937451520 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2410.3
CPU time (s): 2400.07
CPU user time (s): 2398.38
CPU system time (s): 1.68874
CPU usage (%): 99.5755
Max. virtual memory (cumulated for all children) (KiB): 915484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.38
system time used= 1.68874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11036
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= 50138
involuntary context switches= 89097
runsolver used 3.06653 s user time and 7.64184 s system time
The end
Begin job on node12 on Sat Jan 20 17:53:52 UTC 2007
IDJOB= 281917
IDBENCH= 12311
IDSOLVER= 68
FILE ID= node12/281917-1169315632
PBS_JOBID= 3610002
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/brock-200-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281917-1169315632/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-281917-1169315632 -o ROOT/results/node12/solver-281917-1169315632 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281917-1169315632/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7b1eab37e1f977bf8fad4b7b03d50977
RANDOM SEED= 460417992
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.265
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.265
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: 1333576 kB
Buffers: 61820 kB
Cached: 524720 kB
SwapCached: 5332 kB
Active: 297376 kB
Inactive: 348836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1333576 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2204 kB
Writeback: 0 kB
Mapped: 78908 kB
Slab: 61020 kB
Committed_AS: 9363148 kB
PageTables: 2184 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 node12 on Sat Jan 20 18:34:02 UTC 2007