0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/282007-1169316986/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.43 nbVariables=201 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.43 => wckTime=0.119 cpuTime=0.1 mem=7M862
0.43
0.43 relations being loaded...
0.43
0.43 constraints being loaded...
0.74 nbConstraints=6170 nbRelationTypes=2 nbSingletonDomainVariables=1 nbExtensionStructures=2
0.74 nbSharedExtensionStructures=6168 nbConflictsStructures=2 nbSharedConflictsStructures=6168
0.74 nbSharedBinaryRepresentations=3 maxDegree=200 maxArity=2
0.74 => wckTime=0.43 cpuTime=0.3 mem=23M465
0.82
0.82 solver LocalSearchSolver being built...
0.87 => wckTime=0.559 cpuTime=0.35 mem=8M557
0.88
0.88 s SATISFIABLE
0.88 o 4459
0.88 c 1711
0.88 o 4498
0.88 c 1672
0.88 o 4536
0.88 c 1634
0.88 o 4573
0.88 c 1597
0.88 o 4608
0.88 c 1562
0.88 o 4643
0.88 c 1527
0.89 o 4678
0.89 c 1492
0.89 o 4712
0.89 c 1458
0.89 o 4745
0.89 c 1425
0.89 o 4778
0.89 c 1392
0.89 o 4811
0.89 c 1359
0.89 o 4843
0.89 c 1327
0.89 o 4874
0.89 c 1296
0.89 o 4905
0.89 c 1265
0.90 o 4936
0.90 c 1234
0.90 o 4966
0.90 c 1204
0.90 o 4996
0.90 c 1174
0.90 o 5026
0.90 c 1144
0.90 o 5055
0.90 c 1115
0.90 o 5084
0.90 c 1086
0.90 o 5113
0.90 c 1057
0.90 o 5142
0.90 c 1028
0.90 o 5171
0.90 c 999
0.90 o 5199
0.90 c 971
0.90 o 5227
0.90 c 943
0.90 o 5255
0.90 c 915
0.90 o 5283
0.90 c 887
0.90 o 5310
0.90 c 860
0.91 o 5337
0.91 c 833
0.91 o 5364
0.91 c 806
0.91 o 5391
0.91 c 779
0.91 o 5418
0.91 c 752
0.91 o 5445
0.91 c 725
0.91 o 5472
0.91 c 698
0.91 o 5498
0.91 c 672
0.91 o 5524
0.91 c 646
0.91 o 5550
0.91 c 620
0.91 o 5575
0.91 c 595
0.91 o 5600
0.91 c 570
0.91 o 5625
0.91 c 545
0.91 o 5650
0.91 c 520
0.91 o 5675
0.91 c 495
0.91 o 5700
0.91 c 470
0.91 o 5725
0.91 c 445
0.91 o 5749
0.91 c 421
0.91 o 5773
0.91 c 397
0.91 o 5796
0.91 c 374
0.91 o 5819
0.91 c 351
0.92 o 5841
0.92 c 329
0.92 o 5863
0.92 c 307
0.92 o 5884
0.92 c 286
0.92 o 5905
0.92 c 265
0.92 o 5926
0.92 c 244
0.92 o 5946
0.92 c 224
0.92 o 5949
0.92 c 221
0.92 o 5952
0.92 c 218
0.92 o 5955
0.92 c 215
0.92 o 5957
0.92 c 213
0.92 o 5959
0.92 c 211
0.92 o 5961
0.92 c 209
0.93 o 5963
0.93 c 207
0.93 o 5965
0.93 c 205
0.93 o 5967
0.93 c 203
0.93 o 5969
0.93 c 201
0.93 o 5971
0.93 c 199
0.93 o 5973
0.93 c 197
0.93 o 5974
0.93 c 196
0.93 o 5975
0.93 c 195
0.93 o 5976
0.93 c 194
0.93 o 5977
0.93 c 193
0.93 o 5978
0.93 c 192
0.93 o 5979
0.93 c 191
0.93 o 5980
0.93 c 190
0.93 o 5981
0.93 c 189
0.94 o 5982
0.94 c 188
0.94 o 5983
0.94 c 187
0.94 o 5984
0.94 c 186
0.94 o 5985
0.94 c 185
19.46
19.46 search
19.46 run=0 nbConstraintChecks=59661292 nbAssignments=10000
19.46 => wckTime=18.593 cpuTime=18.45 mem=8M557
31.13
31.13 search
31.13 run=1 nbConstraintChecks=97543732 nbAssignments=15786
31.13 => wckTime=30.265 cpuTime=30.07 mem=8M557
31.13
31.13 global
31.13 nbConstraintChecks=97543732 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.13 solvingWckTime=30.263 solvingCpuTime=30.06 expiredTime=no totalExploration=no nbFoundSolutions=0
31.13 globalCpuTime=30.45
31.13 => wckTime=30.824 cpuTime=30.41 mem=8M557
31.13
31.13 solver IterativeSystematicSolver being built...
31.27 => wckTime=30.967 cpuTime=30.52 mem=20M488
32.80 o 5986
32.80 c 184
32.81
32.81 preprocessing
32.81 nbConstraintChecks=2551730 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.81 detectedInconsistency=no
32.81 => wckTime=1.533 cpuTime=1.49 mem=20M488
33.56 o 6000
33.56 c 170
34.23
34.23 search
34.23 run=0 nbConstraintChecks=2641450 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201
34.23 nbFailedAssignments=0 nbBacktracks=184 nbVisitedNodes=386 nbRestartNogoods=0
34.23 => wckTime=2.951 cpuTime=2.89 mem=20M488
35.33
35.33 search
35.33 run=1 nbConstraintChecks=3341666 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=249
35.33 nbFailedAssignments=17 nbBacktracks=201 nbVisitedNodes=463 nbRestartNogoods=1
35.33 => wckTime=4.06 cpuTime=3.97 mem=20M488
36.14
36.14 search
36.14 run=2 nbConstraintChecks=4316459 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=330
36.14 nbFailedAssignments=36 nbBacktracks=223 nbVisitedNodes=570 nbRestartNogoods=6
36.14 => wckTime=4.866 cpuTime=4.77 mem=20M488
37.19
37.19 search
37.19 run=3 nbConstraintChecks=5696678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=431
37.19 nbFailedAssignments=66 nbBacktracks=256 nbVisitedNodes=715 nbRestartNogoods=15
37.19 => wckTime=5.92 cpuTime=5.82 mem=20M488
38.68
38.68 search
38.68 run=4 nbConstraintChecks=7552648 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=547
38.68 nbFailedAssignments=110 nbBacktracks=306 nbVisitedNodes=901 nbRestartNogoods=25
38.68 => wckTime=7.404 cpuTime=7.3 mem=20M488
40.38
40.38 search
40.38 run=5 nbConstraintChecks=9764051 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=683
40.38 nbFailedAssignments=157 nbBacktracks=386 nbVisitedNodes=1130 nbRestartNogoods=37
40.38 => wckTime=9.108 cpuTime=8.99 mem=20M488
43.17
43.17 search
43.17 run=6 nbConstraintChecks=13577954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=915
43.17 nbFailedAssignments=238 nbBacktracks=499 nbVisitedNodes=1509 nbRestartNogoods=38
43.17 => wckTime=11.897 cpuTime=11.76 mem=20M488
46.87
46.87 search
46.87 run=7 nbConstraintChecks=18461146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1223
46.87 nbFailedAssignments=342 nbBacktracks=669 nbVisitedNodes=2012 nbRestartNogoods=48
46.87 => wckTime=15.591 cpuTime=15.43 mem=20M488
52.78
52.78 search
52.78 run=8 nbConstraintChecks=26701794 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1690
52.78 nbFailedAssignments=522 nbBacktracks=926 nbVisitedNodes=2816 nbRestartNogoods=58
52.78 => wckTime=21.508 cpuTime=21.31 mem=20M488
61.93
61.93 search
61.93 run=9 nbConstraintChecks=40085526 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2423
61.93 nbFailedAssignments=836 nbBacktracks=1311 nbVisitedNodes=4093 nbRestartNogoods=67
61.93 => wckTime=30.655 cpuTime=30.38 mem=20M488
75.46
75.46 search
75.46 run=10 nbConstraintChecks=59984429 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3441
75.46 nbFailedAssignments=1263 nbBacktracks=1891 nbVisitedNodes=5933 nbRestartNogoods=78
75.46 => wckTime=44.187 cpuTime=43.84 mem=20M488
94.90
94.90 search
94.90 run=11 nbConstraintChecks=88979931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4940
94.90 nbFailedAssignments=1872 nbBacktracks=2772 nbVisitedNodes=8645 nbRestartNogoods=82
94.90 => wckTime=63.626 cpuTime=63.18 mem=20M488
125.44
125.44 search
125.44 run=12 nbConstraintChecks=133337022 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7223
125.44 nbFailedAssignments=2831 nbBacktracks=4087 nbVisitedNodes=12810 nbRestartNogoods=84
125.44 => wckTime=94.165 cpuTime=93.54 mem=20M488
165.16
165.16 search
165.16 run=13 nbConstraintChecks=190062337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10297
165.16 nbFailedAssignments=3947 nbBacktracks=6033 nbVisitedNodes=18355 nbRestartNogoods=92
165.16 => wckTime=133.883 cpuTime=133.04 mem=20M488
226.59
226.59 search
226.59 run=14 nbConstraintChecks=278821652 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15043
226.59 nbFailedAssignments=5755 nbBacktracks=8952 nbVisitedNodes=26862 nbRestartNogoods=101
226.59 => wckTime=195.315 cpuTime=194.14 mem=20M488
323.63
323.63 search
323.63 run=15 nbConstraintChecks=417671493 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22322
323.63 nbFailedAssignments=8647 nbBacktracks=13331 nbVisitedNodes=39988 nbRestartNogoods=114
323.63 => wckTime=292.358 cpuTime=290.66 mem=20M488
467.61
467.61 search
467.61 run=16 nbConstraintChecks=615236002 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33036
467.61 nbFailedAssignments=12773 nbBacktracks=19910 nbVisitedNodes=59117 nbRestartNogoods=120
467.61 => wckTime=436.336 cpuTime=433.84 mem=20M488
798.99
798.99 search
798.99 run=17 nbConstraintChecks=798814492 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49875
798.99 nbFailedAssignments=19747 nbBacktracks=29769 nbVisitedNodes=88669 nbRestartNogoods=124
798.99 => wckTime=767.715 cpuTime=763.42 mem=20M488
1342.35
1342.35 search
1342.35 run=18 nbConstraintChecks=1278311491 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78930
1342.35 nbFailedAssignments=34011 nbBacktracks=44549 nbVisitedNodes=137904 nbRestartNogoods=140
1342.35 => wckTime=1311.076 cpuTime=1303.8 mem=20M488
1895.80
1895.80 search
1895.80 run=19 nbConstraintChecks=2036611248 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117496
1895.80 nbFailedAssignments=50387 nbBacktracks=66719 nbVisitedNodes=207663 nbRestartNogoods=154
1895.80 => wckTime=1864.523 cpuTime=1854.21 mem=20M488
2413.29 v 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 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 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 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
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-282007-1169316986 -o ROOT/results/node24/solver-282007-1169316986 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282007-1169316986/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 1.08 1.44 7/86 4119
/proc/meminfo: memFree=1352056/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=168 CPUtime=0
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 280093857 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 2605355 0 0 4096 0 0 0 0 17 1 0 0
/proc/4118/statm: 42 23 18 14 0 2 0
[startup+0.104517 s]
/proc/loadavg: 0.92 1.08 1.44 7/86 4119
/proc/meminfo: memFree=1352056/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=914988 CPUtime=0.07
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 2950 0 1 0 6 1 0 0 18 0 8 0 280093857 936947712 2697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3046641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.512559 s]
/proc/loadavg: 0.92 1.08 1.44 7/86 4119
/proc/meminfo: memFree=1352056/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915332 CPUtime=0.49
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 6478 0 1 0 44 5 0 0 20 0 8 0 280093857 937299968 6217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073638709 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228833 6218 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33465 s]
/proc/loadavg: 0.92 1.08 1.44 3/100 4133
/proc/meminfo: memFree=1281544/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=1.3
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11476 0 1 0 117 13 0 0 25 0 8 0 280093857 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11214 2479 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 920 0 0 0 7 0 0 0 17 0 8 0 280093861 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.19
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 280093865 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11214 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915480
[startup+2.98483 s]
/proc/loadavg: 0.92 1.08 1.44 4/100 4133
/proc/meminfo: memFree=1281544/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=2.94
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11480 0 1 0 275 19 0 0 25 0 8 0 280093857 937451520 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842405 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11217 2479 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 920 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.2
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 378 0 0 0 19 1 0 0 15 0 8 0 280093865 937451520 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915480
[startup+6.18817 s]
/proc/loadavg: 1.01 1.10 1.45 3/100 4133
/proc/meminfo: memFree=1281480/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=6.13
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11481 0 1 0 580 33 0 0 25 0 8 0 280093857 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11218 2479 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 920 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.2
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 379 0 0 0 19 1 0 0 15 0 8 0 280093865 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915480
[startup+12.6709 s]
/proc/loadavg: 1.09 1.11 1.45 3/100 4133
/proc/meminfo: memFree=1281480/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=12.58
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11481 0 1 0 1199 59 0 0 25 0 8 0 280093857 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11218 2479 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 920 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915484 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937455616 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.2
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 379 0 0 0 19 1 0 0 15 0 8 0 280093865 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915480
[startup+25.5313 s]
/proc/loadavg: 1.29 1.16 1.46 3/100 4133
/proc/meminfo: memFree=1281544/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=25.35
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11483 0 1 0 2423 112 0 0 25 0 8 0 280093857 937451520 11220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11220 2479 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 920 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.2
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 381 0 0 0 19 1 0 0 17 0 8 0 280093865 937451520 11220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915480
[startup+51.1701 s]
/proc/loadavg: 1.53 1.22 1.47 3/100 4133
/proc/meminfo: memFree=1281032/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=50.86
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11650 0 1 0 4947 139 0 0 25 0 8 0 280093857 937451520 11378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957372 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11378 2533 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 921 0 0 0 7 0 0 0 17 0 8 0 280093861 937451520 11378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.32
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 442 0 0 0 30 2 0 0 15 0 8 0 280093865 937451520 11378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915480
[startup+102.439 s]
/proc/loadavg: 1.79 1.34 1.49 3/100 4133
/proc/meminfo: memFree=1280904/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=101.85
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11663 0 1 0 10046 139 0 0 25 0 8 0 280093857 937451520 11385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11385 2533 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.34
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 455 0 0 0 32 2 0 0 17 0 8 0 280093865 937451520 11385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915480
[startup+162.458 s]
/proc/loadavg: 1.92 1.46 1.52 3/100 4133
/proc/meminfo: memFree=1280840/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=161.52
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11664 0 1 0 16013 139 0 0 25 0 8 0 280093857 937451520 11385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2011.91
Current children cumulated vsize (KiB) 915480
[startup+2083.04 s]
/proc/loadavg: 2.01 2.01 1.91 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=2071.61
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11666 0 1 0 207017 144 0 0 25 0 8 0 280093857 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11386 2533 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.34
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 456 0 0 0 32 2 0 0 16 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2071.61
Current children cumulated vsize (KiB) 915480
[startup+2143.06 s]
/proc/loadavg: 2.12 2.04 1.93 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=2131.28
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11666 0 1 0 212984 144 0 0 25 0 8 0 280093857 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073740632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11386 2533 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.34
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 456 0 0 0 32 2 0 0 16 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2131.28
Current children cumulated vsize (KiB) 915480
[startup+2203.07 s]
/proc/loadavg: 2.08 2.04 1.93 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=2190.98
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11666 0 1 0 218953 145 0 0 25 0 8 0 280093857 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11386 2533 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.34
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 456 0 0 0 32 2 0 0 16 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2190.98
Current children cumulated vsize (KiB) 915480
[startup+2263.09 s]
/proc/loadavg: 2.03 2.03 1.93 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=2250.68
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11666 0 1 0 224923 145 0 0 25 0 8 0 280093857 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11386 2533 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.34
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 456 0 0 0 32 2 0 0 16 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2250.68
Current children cumulated vsize (KiB) 915480
[startup+2323.11 s]
/proc/loadavg: 2.09 2.05 1.94 3/100 4135
/proc/meminfo: memFree=1280584/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=2310.34
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11666 0 1 0 230889 145 0 0 25 0 8 0 280093857 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074063741 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11386 2533 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.34
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 456 0 0 0 32 2 0 0 16 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2310.34
Current children cumulated vsize (KiB) 915480
[startup+2383.12 s]
/proc/loadavg: 2.03 2.04 1.94 3/100 4135
/proc/meminfo: memFree=1280648/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=2370.04
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11666 0 1 0 236859 145 0 0 25 0 8 0 280093857 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073989258 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11386 2533 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.34
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 456 0 0 0 32 2 0 0 16 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2370.04
Current children cumulated vsize (KiB) 915480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.28 s]
/proc/loadavg: 2.02 2.04 1.94 3/97 4205
/proc/meminfo: memFree=1306080/2055920 swapFree=4180096/4192956
[pid=4118] ppid=4113 vsize=915480 CPUtime=2400.02
/proc/4118/stat : 4118 (java) R 4113 4118 3980 0 -1 0 11666 0 1 0 239855 147 0 0 25 0 8 0 280093857 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073974358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4118/statm: 228870 11386 2533 14 0 215340 0
[pid=4118/tid=4121] ppid=4113 vsize=915480 CPUtime=0.07
/proc/4118/task/4121/stat : 4121 (java) S 4113 4118 3980 0 -1 64 921 0 0 0 7 0 0 0 16 0 8 0 280093861 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4124] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4124/stat : 4124 (java) S 4113 4118 3980 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4125] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4125/stat : 4125 (java) S 4113 4118 3980 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 280093862 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4130] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4130/stat : 4130 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4131] ppid=4113 vsize=915480 CPUtime=0.34
/proc/4118/task/4131/stat : 4131 (java) S 4113 4118 3980 0 -1 64 456 0 0 0 32 2 0 0 16 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4118/tid=4132] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4132/stat : 4132 (java) S 4113 4118 3980 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4118/tid=4133] ppid=4113 vsize=915480 CPUtime=0
/proc/4118/task/4133/stat : 4133 (java) S 4113 4118 3980 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280093865 937451520 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.35
CPU time (s): 2400.1
CPU user time (s): 2398.62
CPU system time (s): 1.48277
CPU usage (%): 99.4508
Max. virtual memory (cumulated for all children) (KiB): 915484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.62
system time used= 1.48277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11685
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= 50222
involuntary context switches= 83317
runsolver used 3.09253 s user time and 7.60284 s system time
The end
Begin job on node24 on Sat Jan 20 18:16:26 UTC 2007
IDJOB= 282007
IDBENCH= 12347
IDSOLVER= 68
FILE ID= node24/282007-1169316986
PBS_JOBID= 3610339
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/san-200-0.7-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282007-1169316986/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-282007-1169316986 -o ROOT/results/node24/solver-282007-1169316986 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282007-1169316986/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 14288773eddecbbc245dad19f9b22ca5
RANDOM SEED= 694051066
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1353144 kB
Buffers: 47300 kB
Cached: 536120 kB
SwapCached: 6072 kB
Active: 182196 kB
Inactive: 452040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1353144 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 4448 kB
Writeback: 0 kB
Mapped: 66236 kB
Slab: 53464 kB
Committed_AS: 5918140 kB
PageTables: 2232 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= 66558 MiB
End job on node24 on Sat Jan 20 18:56:39 UTC 2007