0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278444-1169288121/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.087 cpuTime=0.07 mem=6M910
0.39
0.39 relations being loaded...
0.39
0.39 constraints being loaded...
0.54 nbConstraints=654 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=640
0.54 nbConflictsStructures=14 nbSharedConflictsStructures=640 nbSharedBinaryRepresentations=52 maxDegree=37
0.54 maxArity=2
0.54 => wckTime=0.242 cpuTime=0.17 mem=8M860
0.58
0.58 solver LocalSearchSolver being built...
0.62 => wckTime=0.32 cpuTime=0.21 mem=5M688
0.62
0.62 s SATISFIABLE
0.62 o 299
0.62 c 355
0.62 o 306
0.62 c 348
0.63 o 313
0.63 c 341
0.63 o 317
0.63 c 337
0.63 o 319
0.63 c 335
0.63 o 325
0.63 c 329
0.63 o 331
0.63 c 323
0.63 o 335
0.63 c 319
0.63 o 340
0.63 c 314
0.63 o 343
0.63 c 311
0.63 o 345
0.63 c 309
0.63 o 347
0.63 c 307
0.63 o 351
0.63 c 303
0.63 o 352
0.63 c 302
0.63 o 354
0.63 c 300
1.89 o 355
1.89 c 299
2.93
2.93 search
2.93 run=0 nbConstraintChecks=11191473 nbAssignments=10000
2.93 => wckTime=2.31 cpuTime=2.29 mem=5M688
3.93 o 356
3.93 c 298
3.94 o 357
3.94 c 297
5.19
5.19 search
5.19 run=1 nbConstraintChecks=22454376 nbAssignments=20000
5.19 => wckTime=4.574 cpuTime=4.54 mem=5M688
7.40
7.40 search
7.40 run=2 nbConstraintChecks=33650299 nbAssignments=30000
7.40 => wckTime=6.781 cpuTime=6.75 mem=5M688
9.62
9.62 search
9.62 run=3 nbConstraintChecks=44913468 nbAssignments=40000
9.62 => wckTime=9.001 cpuTime=8.96 mem=5M688
11.83
11.83 search
11.83 run=4 nbConstraintChecks=56106848 nbAssignments=50000
11.83 => wckTime=11.218 cpuTime=11.19 mem=5M688
14.07
14.07 search
14.07 run=5 nbConstraintChecks=67368262 nbAssignments=60000
14.07 => wckTime=13.455 cpuTime=13.42 mem=5M688
16.30
16.30 search
16.30 run=6 nbConstraintChecks=78572568 nbAssignments=70000
16.30 => wckTime=15.681 cpuTime=15.65 mem=5M688
18.53
18.53 search
18.53 run=7 nbConstraintChecks=89833856 nbAssignments=80000
18.53 => wckTime=17.918 cpuTime=17.87 mem=5M688
20.76
20.76 search
20.76 run=8 nbConstraintChecks=101024885 nbAssignments=90000
20.76 => wckTime=20.142 cpuTime=20.1 mem=5M688
22.97
22.97 search
22.97 run=9 nbConstraintChecks=112276127 nbAssignments=100000
22.97 => wckTime=22.358 cpuTime=22.32 mem=5M688
25.19
25.19 search
25.19 run=10 nbConstraintChecks=123474278 nbAssignments=110000
25.19 => wckTime=24.57 cpuTime=24.53 mem=5M688
27.41
27.41 search
27.41 run=11 nbConstraintChecks=134734131 nbAssignments=120000
27.41 => wckTime=26.791 cpuTime=26.74 mem=5M688
29.61
29.61 search
29.61 run=12 nbConstraintChecks=145922432 nbAssignments=130000
29.61 => wckTime=28.998 cpuTime=28.95 mem=5M688
31.84
31.84 search
31.84 run=13 nbConstraintChecks=157181331 nbAssignments=140000
31.84 => wckTime=31.222 cpuTime=31.18 mem=5M688
33.96
33.96 search
33.96 run=14 nbConstraintChecks=167838629 nbAssignments=149524
33.96 => wckTime=33.34 cpuTime=33.3 mem=5M688
33.96
33.96 global
33.96 nbConstraintChecks=167838629 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.96 solvingWckTime=33.339 solvingCpuTime=33.3 expiredTime=no totalExploration=no nbFoundSolutions=0
33.96 globalCpuTime=33.57
33.96 => wckTime=33.661 cpuTime=33.51 mem=5M688
33.96
33.96 solver IterativeSystematicSolver being built...
34.09 => wckTime=33.795 cpuTime=33.61 mem=16M807
34.11
34.11 preprocessing
34.11 nbConstraintChecks=1430 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
34.11 detectedInconsistency=no
34.11 => wckTime=0.011 cpuTime=0.01 mem=16M807
34.16
34.16 search
34.16 run=0 nbConstraintChecks=65070 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35
34.16 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=53 nbRestartNogoods=0
34.16 => wckTime=0.068 cpuTime=0.05 mem=16M807
34.21
34.21 search
34.21 run=1 nbConstraintChecks=147704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77
34.21 nbFailedAssignments=16 nbBacktracks=26 nbVisitedNodes=120 nbRestartNogoods=2
34.21 => wckTime=0.119 cpuTime=0.09 mem=16M807
34.25
34.25 search
34.25 run=2 nbConstraintChecks=251143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128
34.25 nbFailedAssignments=28 nbBacktracks=48 nbVisitedNodes=205 nbRestartNogoods=3
34.25 => wckTime=0.16 cpuTime=0.13 mem=16M807
34.32
34.32 search
34.32 run=3 nbConstraintChecks=409273 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201
34.32 nbFailedAssignments=49 nbBacktracks=81 nbVisitedNodes=332 nbRestartNogoods=4
34.32 => wckTime=0.22 cpuTime=0.19 mem=16M807
34.40
34.40 search
34.40 run=4 nbConstraintChecks=632315 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=297
34.40 nbFailedAssignments=79 nbBacktracks=132 nbVisitedNodes=509 nbRestartNogoods=6
34.40 => wckTime=0.306 cpuTime=0.27 mem=16M807
34.52
34.52 search
34.52 run=5 nbConstraintChecks=955443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=435
34.52 nbFailedAssignments=126 nbBacktracks=207 nbVisitedNodes=769 nbRestartNogoods=10
34.52 => wckTime=0.431 cpuTime=0.4 mem=16M807
34.70
34.70 search
34.70 run=6 nbConstraintChecks=1424156 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=633
34.70 nbFailedAssignments=192 nbBacktracks=321 nbVisitedNodes=1147 nbRestartNogoods=12
34.70 => wckTime=0.611 cpuTime=0.57 mem=16M807
34.96
34.96 search
34.96 run=7 nbConstraintChecks=2091622 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=909
34.96 nbFailedAssignments=281 nbBacktracks=492 nbVisitedNodes=1683 nbRestartNogoods=14
34.96 => wckTime=0.868 cpuTime=0.83 mem=16M807
35.41
35.41 search
35.41 run=8 nbConstraintChecks=3328058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1389
35.41 nbFailedAssignments=494 nbBacktracks=748 nbVisitedNodes=2632 nbRestartNogoods=18
35.41 => wckTime=1.319 cpuTime=1.27 mem=16M807
35.99
35.99 search
35.99 run=9 nbConstraintChecks=4915264 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2016
35.99 nbFailedAssignments=725 nbBacktracks=1132 nbVisitedNodes=3874 nbRestartNogoods=23
35.99 => wckTime=1.896 cpuTime=1.83 mem=16M807
36.90
36.90 search
36.90 run=10 nbConstraintChecks=7431916 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3029
36.90 nbFailedAssignments=1146 nbBacktracks=1708 nbVisitedNodes=5884 nbRestartNogoods=29
36.90 => wckTime=2.807 cpuTime=2.74 mem=16M807
38.20
38.20 search
38.20 run=11 nbConstraintChecks=10971859 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4457
38.20 nbFailedAssignments=1698 nbBacktracks=2572 nbVisitedNodes=8728 nbRestartNogoods=34
38.20 => wckTime=4.107 cpuTime=4.04 mem=16M807
40.18
40.18 search
40.18 run=12 nbConstraintChecks=16508329 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6655
40.18 nbFailedAssignments=2583 nbBacktracks=3869 nbVisitedNodes=13108 nbRestartNogoods=37
40.18 => wckTime=6.091 cpuTime=6.02 mem=16M807
43.11
43.11 search
43.11 run=13 nbConstraintChecks=24665245 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9816
43.11 nbFailedAssignments=3781 nbBacktracks=5815 nbVisitedNodes=19413 nbRestartNogoods=42
43.11 => wckTime=9.02 cpuTime=8.95 mem=16M807
47.47
47.47 search
47.47 run=14 nbConstraintChecks=36817399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14544
47.47 nbFailedAssignments=5576 nbBacktracks=8735 nbVisitedNodes=28856 nbRestartNogoods=47
47.47 => wckTime=13.38 cpuTime=13.31 mem=16M807
54.38
54.38 search
54.38 run=15 nbConstraintChecks=55236860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21779
54.38 nbFailedAssignments=8418 nbBacktracks=13115 nbVisitedNodes=43313 nbRestartNogoods=52
54.38 => wckTime=20.292 cpuTime=20.22 mem=16M807
65.05
65.05 search
65.05 run=16 nbConstraintChecks=84288111 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32759
65.05 nbFailedAssignments=12816 nbBacktracks=19684 nbVisitedNodes=65257 nbRestartNogoods=58
65.05 => wckTime=30.957 cpuTime=30.88 mem=16M807
80.50
80.50 search
80.50 run=17 nbConstraintChecks=126344197 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48988
80.50 nbFailedAssignments=19184 nbBacktracks=29536 nbVisitedNodes=97701 nbRestartNogoods=64
80.50 => wckTime=46.409 cpuTime=46.32 mem=16M807
104.60
104.60 search
104.60 run=18 nbConstraintChecks=190725989 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73370
104.60 nbFailedAssignments=28768 nbBacktracks=44315 nbVisitedNodes=146433 nbRestartNogoods=67
104.60 => wckTime=70.513 cpuTime=70.42 mem=16M807
140.90
140.90 search
140.90 run=19 nbConstraintChecks=287126589 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110529
140.90 nbFailedAssignments=43748 nbBacktracks=66484 nbVisitedNodes=220725 nbRestartNogoods=72
140.90 => wckTime=106.81 cpuTime=106.71 mem=16M807
193.93
193.93 search
193.93 run=20 nbConstraintChecks=429116402 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=165276
193.93 nbFailedAssignments=65230 nbBacktracks=99736 nbVisitedNodes=330156 nbRestartNogoods=78
193.93 => wckTime=159.836 cpuTime=159.71 mem=16M807
274.43
274.43 search
274.43 run=21 nbConstraintChecks=643349978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=247234
274.43 nbFailedAssignments=97298 nbBacktracks=149614 nbVisitedNodes=493726 nbRestartNogoods=85
274.43 => wckTime=240.333 cpuTime=240.18 mem=16M807
400.48
400.48 search
400.48 run=22 nbConstraintChecks=976209563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=374064
400.48 nbFailedAssignments=149294 nbBacktracks=224434 nbVisitedNodes=746871 nbRestartNogoods=90
400.48 => wckTime=366.387 cpuTime=366.18 mem=16M807
494.13
494.13 search
494.13 run=23 nbConstraintChecks=1222825397 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=469059
494.13 nbFailedAssignments=187069 nbBacktracks=281655 nbVisitedNodes=936516 nbRestartNogoods=96
494.13 => wckTime=460.034 cpuTime=459.78 mem=16M807
494.13
494.13 global
494.13 nbConstraintChecks=1222826827 nbRestartNogoods=96 solvingWckTime=460.035 solvingCpuTime=459.79 expiredTime=no
494.13 totalExploration=yes nbFoundSolutions=0 globalCpuTime=493.46
494.13 => wckTime=493.83 cpuTime=493.4 mem=16M807
494.13
494.13 s OPTIMUM FOUND
494.13 v 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1
494.13
494.13 totalWckTime=493.905 totalCpuTime=493.46
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-278444-1169288121 -o ROOT/results/node13/solver-278444-1169288121 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278444-1169288121/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.86 1.15 1.51 3/81 25230
/proc/meminfo: memFree=1353664/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=172 CPUtime=0
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 277207343 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11878699 0 0 4096 0 0 0 0 17 1 0 0
/proc/25229/statm: 43 24 18 14 0 3 0
[startup+0.106207 s]
/proc/loadavg: 0.86 1.15 1.51 3/81 25230
/proc/meminfo: memFree=1353664/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=914988 CPUtime=0.08
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 3064 0 1 0 7 1 0 0 17 0 8 0 277207343 936947712 2810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25229/statm: 228747 2810 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514262 s]
/proc/loadavg: 0.86 1.15 1.51 3/81 25230
/proc/meminfo: memFree=1353664/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916356 CPUtime=0.51
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 6577 0 1 0 46 5 0 0 16 0 8 0 277207343 938348544 6316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25229/statm: 229089 6316 2149 14 0 215559 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 916356
[startup+1.33736 s]
/proc/loadavg: 0.86 1.15 1.51 2/88 25241
/proc/meminfo: memFree=1335560/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=1.33
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7257 0 1 0 118 15 0 0 17 0 8 0 277207343 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 6995 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 339 0 0 0 12 1 0 0 16 0 8 0 277207350 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916488 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938483712 6995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 916484
[startup+2.98859 s]
/proc/loadavg: 0.87 1.14 1.51 2/88 25241
/proc/meminfo: memFree=1335560/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=2.96
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7260 0 1 0 254 42 0 0 17 0 8 0 277207343 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073703106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25229/statm: 229121 6997 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 341 0 0 0 12 1 0 0 17 0 8 0 277207350 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 6997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916484
[startup+6.26802 s]
/proc/loadavg: 0.87 1.14 1.51 3/95 25303
/proc/meminfo: memFree=1331216/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916488 CPUtime=6.24
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7261 0 1 0 528 96 0 0 16 0 8 0 277207343 938483712 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 6998 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 17 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 342 0 0 0 12 1 0 0 16 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916488
[startup+12.7589 s]
/proc/loadavg: 0.96 1.15 1.50 2/88 25326
/proc/meminfo: memFree=1332496/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=12.73
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7261 0 1 0 1069 204 0 0 25 0 8 0 277207343 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 6998 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916488 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938483712 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 342 0 0 0 12 1 0 0 16 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916488 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938483712 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916484
[startup+25.5996 s]
/proc/loadavg: 1.05 1.16 1.50 2/88 25379
/proc/meminfo: memFree=1335120/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916488 CPUtime=25.57
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 7261 0 1 0 2142 415 0 0 25 0 8 0 277207343 938483712 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 6998 2476 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 202 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.13
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 342 0 0 0 12 1 0 0 16 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 6998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 916488
[startup+51.302 s]
/proc/loadavg: 1.15 1.18 1.50 2/85 25429
/proc/meminfo: memFree=1333032/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=51.26
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9180 0 1 0 4565 561 0 0 25 0 8 0 277207343 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8914 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8914 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.26
Current children cumulated vsize (KiB) 916484
[startup+102.589 s]
/proc/loadavg: 1.06 1.15 1.47 2/85 25429
/proc/meminfo: memFree=1333096/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=102.53
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9189 0 1 0 9692 561 0 0 25 0 8 0 277207343 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847918 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8922 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.53
Current children cumulated vsize (KiB) 916484
[startup+162.611 s]
/proc/loadavg: 1.02 1.12 1.44 2/85 25429
/proc/meminfo: memFree=1333160/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=162.52
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9193 0 1 0 15691 561 0 0 25 0 8 0 277207343 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8926 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.52
Current children cumulated vsize (KiB) 916484
[startup+222.635 s]
/proc/loadavg: 1.01 1.09 1.41 2/85 25429
/proc/meminfo: memFree=1333160/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=222.53
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9197 0 1 0 21692 561 0 0 25 0 8 0 277207343 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8929 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.53
Current children cumulated vsize (KiB) 916484
[startup+282.657 s]
/proc/loadavg: 1.00 1.08 1.38 3/85 25429
/proc/meminfo: memFree=1333224/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=282.53
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9199 0 1 0 27692 561 0 0 25 0 8 0 277207343 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8931 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.53
Current children cumulated vsize (KiB) 916484
[startup+342.683 s]
/proc/loadavg: 1.07 1.07 1.36 2/85 25429
/proc/meminfo: memFree=1333224/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=342.52
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9199 0 1 0 33691 561 0 0 25 0 8 0 277207343 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8931 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.52
Current children cumulated vsize (KiB) 916484
[startup+402.705 s]
/proc/loadavg: 1.02 1.06 1.33 2/85 25429
/proc/meminfo: memFree=1333224/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=402.52
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9201 0 1 0 39691 561 0 0 25 0 8 0 277207343 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8933 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.52
Current children cumulated vsize (KiB) 916484
[startup+462.728 s]
/proc/loadavg: 1.01 1.05 1.31 2/85 25431
/proc/meminfo: memFree=1333224/2055920 swapFree=4169400/4192956
[pid=25229] ppid=25227 vsize=916484 CPUtime=462.52
/proc/25229/stat : 25229 (java) R 25227 25229 24892 0 -1 0 9201 0 1 0 45691 561 0 0 25 0 8 0 277207343 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25229/statm: 229121 8933 2528 14 0 215591 0
[pid=25229/tid=25232] ppid=25227 vsize=916484 CPUtime=0.02
/proc/25229/task/25232/stat : 25232 (java) S 25227 25229 24892 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25233] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25233/stat : 25233 (java) S 25227 25229 24892 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25234] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25234/stat : 25234 (java) S 25227 25229 24892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277207347 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25235] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25235/stat : 25235 (java) S 25227 25229 24892 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25236] ppid=25227 vsize=916484 CPUtime=0.22
/proc/25229/task/25236/stat : 25236 (java) S 25227 25229 24892 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25229/tid=25237] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25237/stat : 25237 (java) S 25227 25229 24892 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25229/tid=25238] ppid=25227 vsize=916484 CPUtime=0
/proc/25229/task/25238/stat : 25238 (java) S 25227 25229 24892 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 277207350 938479616 8933 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.52
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 494.174
CPU time (s): 493.936
CPU user time (s): 488.311
CPU system time (s): 5.62514
CPU usage (%): 99.9519
Max. virtual memory (cumulated for all children) (KiB): 916488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 488.311
system time used= 5.62514
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9299
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= 10863
involuntary context switches= 9789
runsolver used 0.599908 s user time and 1.19682 s system time
The end
Begin job on node13 on Sat Jan 20 10:15:22 UTC 2007
IDJOB= 278444
IDBENCH= 8391
IDSOLVER= 69
FILE ID= node13/278444-1169288121
PBS_JOBID= 3609536
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2900-050221_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278444-1169288121/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-278444-1169288121 -o ROOT/results/node13/solver-278444-1169288121 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278444-1169288121/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a6e9367b3b405d0ac5c7e5614f8927c4
RANDOM SEED= 578353585
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.247
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.247
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: 1354080 kB
Buffers: 61044 kB
Cached: 527944 kB
SwapCached: 8664 kB
Active: 305140 kB
Inactive: 318920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1354080 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 2348 kB
Writeback: 0 kB
Mapped: 41932 kB
Slab: 62784 kB
Committed_AS: 7951152 kB
PageTables: 2220 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= 66563 MiB
End job on node13 on Sat Jan 20 10:23:38 UTC 2007