0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=epfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/277012-1169252416/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.45 => wckTime=0.094 cpuTime=0.09 mem=6M887
0.45
0.45 relations being loaded...
0.54
0.54 constraints being loaded...
0.64 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8186 maxDegree=26
0.64 maxArity=2
0.64 => wckTime=0.28 cpuTime=0.2 mem=10M788
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.362 cpuTime=0.24 mem=5M815
0.72
0.72 s SATISFIABLE
0.72 o 340
0.72 c 74
0.72 o 348
0.72 c 66
0.72 o 354
0.72 c 60
0.73 o 358
0.73 c 56
0.73 o 362
0.73 c 52
0.73 o 365
0.73 c 49
0.73 o 367
0.73 c 47
0.73 o 369
0.73 c 45
0.73 o 371
0.73 c 43
0.73 o 372
0.73 c 42
0.73 o 373
0.73 c 41
0.73 o 375
0.73 c 39
0.73 o 377
0.73 c 37
0.73 o 379
0.73 c 35
0.73 o 382
0.73 c 32
0.74 o 383
0.74 c 31
0.74 o 384
0.74 c 30
0.74 o 385
0.74 c 29
0.74 o 386
0.74 c 28
0.74 o 389
0.74 c 25
0.74 o 390
0.74 c 24
0.74 o 391
0.74 c 23
0.74 o 392
0.74 c 22
0.74 o 393
0.74 c 21
0.74 o 394
0.74 c 20
0.74 o 395
0.74 c 19
0.75 o 396
0.75 c 18
0.75 o 397
0.75 c 17
0.75 o 399
0.75 c 15
0.75 o 400
0.75 c 14
0.75 o 401
0.75 c 13
0.75 o 402
0.75 c 12
0.78 o 403
0.78 c 11
0.78 o 404
0.78 c 10
0.79 o 406
0.79 c 8
0.79 o 407
0.79 c 7
0.80 o 408
0.80 c 6
0.86 o 409
0.86 c 5
0.87 o 410
0.87 c 4
1.08 o 411
1.08 c 3
2.00 o 412
2.00 c 2
3.04
3.04 search
3.04 run=0 nbConstraintChecks=16171498 nbAssignments=10000
3.04 => wckTime=2.323 cpuTime=2.29 mem=5M815
4.57 o 413
4.57 c 1
4.57
4.57 search
4.57 run=1 nbConstraintChecks=27462988 nbAssignments=16491
4.57 => wckTime=3.858 cpuTime=3.82 mem=5M815
4.58
4.58 global
4.58 nbConstraintChecks=27462988 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.58 solvingWckTime=3.857 solvingCpuTime=3.83 expiredTime=no totalExploration=no nbFoundSolutions=0
4.58 globalCpuTime=4.11
4.58 => wckTime=4.221 cpuTime=4.07 mem=5M815
4.58
4.58 solver IterativeSystematicSolver being built...
4.70 => wckTime=4.344 cpuTime=4.17 mem=16M690
4.78
4.78 preprocessing
4.78 nbConstraintChecks=75209 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
4.78 detectedInconsistency=no
4.78 => wckTime=0.082 cpuTime=0.06 mem=16M690
4.84
4.84 search
4.84 run=0 nbConstraintChecks=173150 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43
4.84 nbFailedAssignments=27 nbBacktracks=10 nbVisitedNodes=81 nbRestartNogoods=0
4.84 => wckTime=0.137 cpuTime=0.11 mem=16M690
4.90
4.90 search
4.90 run=1 nbConstraintChecks=351576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=92
4.90 nbFailedAssignments=52 nbBacktracks=25 nbVisitedNodes=170 nbRestartNogoods=3
4.90 => wckTime=0.198 cpuTime=0.16 mem=16M690
4.97
4.97 search
4.97 run=2 nbConstraintChecks=615149 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=155
4.97 nbFailedAssignments=86 nbBacktracks=47 nbVisitedNodes=289 nbRestartNogoods=15
4.97 => wckTime=0.269 cpuTime=0.23 mem=16M690
5.07
5.07 search
5.07 run=3 nbConstraintChecks=988280 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=245
5.07 nbFailedAssignments=138 nbBacktracks=80 nbVisitedNodes=463 nbRestartNogoods=40
5.07 => wckTime=0.368 cpuTime=0.33 mem=16M690
5.23
5.23 search
5.23 run=4 nbConstraintChecks=1592149 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=389
5.23 nbFailedAssignments=228 nbBacktracks=130 nbVisitedNodes=743 nbRestartNogoods=49
5.23 => wckTime=0.53 cpuTime=0.49 mem=16M690
5.45
5.45 search
5.45 run=5 nbConstraintChecks=2507516 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=606
5.45 nbFailedAssignments=363 nbBacktracks=205 nbVisitedNodes=1167 nbRestartNogoods=56
5.45 => wckTime=0.747 cpuTime=0.7 mem=16M690
5.80
5.80 search
5.80 run=6 nbConstraintChecks=3935691 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=941
5.80 nbFailedAssignments=578 nbBacktracks=318 nbVisitedNodes=1827 nbRestartNogoods=68
5.80 => wckTime=1.103 cpuTime=1.06 mem=16M690
6.28
6.28 search
6.28 run=7 nbConstraintChecks=5933861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1405
6.28 nbFailedAssignments=866 nbBacktracks=488 nbVisitedNodes=2739 nbRestartNogoods=90
6.28 => wckTime=1.583 cpuTime=1.53 mem=16M690
7.10
7.10 search
7.10 run=8 nbConstraintChecks=9251989 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2163
7.10 nbFailedAssignments=1362 nbBacktracks=744 nbVisitedNodes=4238 nbRestartNogoods=120
7.10 => wckTime=2.397 cpuTime=2.33 mem=16M690
8.17
8.17 search
8.17 run=9 nbConstraintChecks=13863232 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3209
8.17 nbFailedAssignments=2018 nbBacktracks=1128 nbVisitedNodes=6291 nbRestartNogoods=127
8.17 => wckTime=3.47 cpuTime=3.4 mem=16M690
9.76
9.76 search
9.76 run=10 nbConstraintChecks=20523453 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4803
9.76 nbFailedAssignments=3029 nbBacktracks=1704 nbVisitedNodes=9428 nbRestartNogoods=151
9.76 => wckTime=5.055 cpuTime=4.98 mem=16M690
12.08
12.08 search
12.08 run=11 nbConstraintChecks=30460674 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7098
12.08 nbFailedAssignments=4454 nbBacktracks=2568 nbVisitedNodes=13932 nbRestartNogoods=169
12.08 => wckTime=7.382 cpuTime=7.3 mem=16M690
15.66
15.66 search
15.66 run=12 nbConstraintChecks=44825066 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10438
15.66 nbFailedAssignments=6491 nbBacktracks=3866 nbVisitedNodes=20404 nbRestartNogoods=192
15.66 => wckTime=10.955 cpuTime=10.87 mem=16M690
20.51
20.51 search
20.51 run=13 nbConstraintChecks=63539496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15035
20.51 nbFailedAssignments=9138 nbBacktracks=5813 nbVisitedNodes=29028 nbRestartNogoods=211
20.51 => wckTime=15.806 cpuTime=15.69 mem=16M690
27.63
27.63 search
27.63 run=14 nbConstraintChecks=92108221 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21901
27.63 nbFailedAssignments=13080 nbBacktracks=8732 nbVisitedNodes=41960 nbRestartNogoods=237
27.63 => wckTime=22.93 cpuTime=22.81 mem=16M690
37.66
37.66 search
37.66 run=15 nbConstraintChecks=129529704 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31326
37.66 nbFailedAssignments=18121 nbBacktracks=13110 nbVisitedNodes=58876 nbRestartNogoods=260
37.66 => wckTime=32.963 cpuTime=32.84 mem=16M690
51.08
51.08 search
51.08 run=16 nbConstraintChecks=179065691 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44530
51.08 nbFailedAssignments=24751 nbBacktracks=19679 nbVisitedNodes=81628 nbRestartNogoods=273
51.08 => wckTime=46.382 cpuTime=46.25 mem=16M690
69.77
69.77 search
69.77 run=17 nbConstraintChecks=246683585 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63061
69.77 nbFailedAssignments=33424 nbBacktracks=29532 nbVisitedNodes=112147 nbRestartNogoods=290
69.77 => wckTime=65.07 cpuTime=64.9 mem=16M690
95.04
95.04 search
95.04 run=18 nbConstraintChecks=337958646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89276
95.04 nbFailedAssignments=44856 nbBacktracks=44310 nbVisitedNodes=153534 nbRestartNogoods=296
95.04 => wckTime=90.342 cpuTime=90.16 mem=16M690
131.68
131.68 search
131.68 run=19 nbConstraintChecks=468345281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=127163
131.68 nbFailedAssignments=60572 nbBacktracks=66478 nbVisitedNodes=211942 nbRestartNogoods=316
131.68 => wckTime=126.979 cpuTime=126.75 mem=16M690
185.70
185.70 search
185.70 run=20 nbConstraintChecks=659565564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=183667
185.70 nbFailedAssignments=83821 nbBacktracks=99731 nbVisitedNodes=298586 nbRestartNogoods=343
185.70 => wckTime=181.002 cpuTime=180.72 mem=16M690
265.81
265.81 search
265.81 run=21 nbConstraintChecks=944323251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=267906
265.81 nbFailedAssignments=118174 nbBacktracks=149609 nbVisitedNodes=427321 nbRestartNogoods=358
265.81 => wckTime=261.113 cpuTime=260.74 mem=16M690
383.58
383.58 search
383.58 run=22 nbConstraintChecks=1359879563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=392469
383.58 nbFailedAssignments=167915 nbBacktracks=224427 nbVisitedNodes=615655 nbRestartNogoods=374
383.58 => wckTime=378.883 cpuTime=378.36 mem=16M690
433.22
433.22 search
433.22 run=23 nbConstraintChecks=1528620321 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=443599
433.22 nbFailedAssignments=187877 nbBacktracks=255596 nbVisitedNodes=692356 nbRestartNogoods=393
433.22 => wckTime=428.515 cpuTime=427.94 mem=16M690
433.22
433.22 global
433.22 nbConstraintChecks=1528695530 nbRestartNogoods=393 solvingWckTime=428.516 solvingCpuTime=427.94 expiredTime=no
433.22 totalExploration=yes nbFoundSolutions=0 globalCpuTime=432.15
433.22 => wckTime=432.861 cpuTime=432.11 mem=16M690
433.22
433.22 s OPTIMUM FOUND
433.22 v 10 1 8 7 10 0 6 6 6 8 5 5 3 10 7 6 7 0 2 1 0 6 0 2 6 6 5 0 10 9 2 4 10 0 7 1 0 9 0 10
433.22
433.22 totalWckTime=432.938 totalCpuTime=432.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-277012-1169252416 -o ROOT/results/node19/solver-277012-1169252416 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277012-1169252416/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 1.99 4/86 13890
/proc/meminfo: memFree=1176656/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=172 CPUtime=0
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 273636248 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 0 0 0
/proc/13889/statm: 43 24 18 14 0 3 0
[startup+0.107196 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 13890
/proc/meminfo: memFree=1176656/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=907808 CPUtime=0.05
/proc/13889/stat : 13889 (java) D 13887 13889 12671 0 -1 0 2455 0 1 0 4 1 0 0 21 0 4 0 273636248 929595392 2202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 226952 2202 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.515272 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 13890
/proc/meminfo: memFree=1176656/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915332 CPUtime=0.43
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 6324 0 1 0 40 3 0 0 22 0 8 0 273636248 937299968 6063 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228833 6063 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332
[startup+1.34044 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 13897
/proc/meminfo: memFree=1156376/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=1.25
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 7734 0 1 0 110 15 0 0 25 0 8 0 273636248 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 7472 2479 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.15
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 350 0 0 0 14 1 0 0 16 0 8 0 273636262 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915468 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937439232 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915464
[startup+2.97774 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 13897
/proc/meminfo: memFree=1156376/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=2.89
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 7735 0 1 0 248 41 0 0 25 0 8 0 273636248 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 7472 2479 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915468 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273636252 937439232 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.15
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 350 0 0 0 14 1 0 0 16 0 8 0 273636262 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915464
[startup+6.27436 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 13897
/proc/meminfo: memFree=1150936/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=6.18
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9126 0 1 0 551 67 0 0 25 0 8 0 273636248 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875761 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8860 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 17 0 8 0 273636252 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.22
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 273636262 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.7506 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 13897
/proc/meminfo: memFree=1150880/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=12.65
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9153 0 1 0 1197 68 0 0 25 0 8 0 273636248 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8883 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.24
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 409 0 0 0 23 1 0 0 15 0 8 0 273636262 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8883 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915464
[startup+25.602 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 13897
/proc/meminfo: memFree=1150880/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=25.47
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9158 0 1 0 2479 68 0 0 25 0 8 0 273636248 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073917477 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8888 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.24
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 273636262 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915464
[startup+51.2128 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 13897
/proc/meminfo: memFree=1150880/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=51.07
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9166 0 1 0 5039 68 0 0 25 0 8 0 273636248 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8896 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.24
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 410 0 0 0 23 1 0 0 16 0 8 0 273636262 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915464
[startup+102.427 s]
/proc/loadavg: 1.98 1.98 1.99 3/93 13899
/proc/meminfo: memFree=1150688/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=102.22
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9174 0 1 0 10154 68 0 0 25 0 8 0 273636248 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8902 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.25
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 273636262 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 915464
[startup+162.484 s]
/proc/loadavg: 2.04 2.00 2.00 3/93 13899
/proc/meminfo: memFree=1150752/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=162.2
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9177 0 1 0 16152 68 0 0 25 0 8 0 273636248 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073917009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8905 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.25
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 273636262 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 915464
[startup+222.546 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 13899
/proc/meminfo: memFree=1150752/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=222.21
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9180 0 1 0 22152 69 0 0 25 0 8 0 273636248 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073892604 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8907 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.25
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 273636262 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 915464
[startup+282.618 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 13899
/proc/meminfo: memFree=1150816/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=282.23
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9182 0 1 0 28154 69 0 0 25 0 8 0 273636248 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073917807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8909 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.25
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 273636262 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 915464
[startup+342.679 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 13899
/proc/meminfo: memFree=1150816/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=342.2
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9182 0 1 0 34151 69 0 0 25 0 8 0 273636248 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8909 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.25
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 273636262 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 915464
[startup+402.743 s]
/proc/loadavg: 2.05 2.02 2.00 3/93 13899
/proc/meminfo: memFree=1150816/2055920 swapFree=4171264/4192956
[pid=13889] ppid=13887 vsize=915464 CPUtime=402.21
/proc/13889/stat : 13889 (java) R 13887 13889 12671 0 -1 0 9185 0 1 0 40152 69 0 0 25 0 8 0 273636248 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854998 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13889/statm: 228866 8912 2532 14 0 215336 0
[pid=13889/tid=13891] ppid=13887 vsize=915464 CPUtime=0.03
/proc/13889/task/13891/stat : 13891 (java) S 13887 13889 12671 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273636252 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13892] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13892/stat : 13892 (java) S 13887 13889 12671 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273636252 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13893] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13893/stat : 13893 (java) S 13887 13889 12671 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273636252 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13894] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13894/stat : 13894 (java) S 13887 13889 12671 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273636262 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13895] ppid=13887 vsize=915464 CPUtime=0.25
/proc/13889/task/13895/stat : 13895 (java) S 13887 13889 12671 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 273636262 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13896] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13896/stat : 13896 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 273636262 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13889/tid=13897] ppid=13887 vsize=915464 CPUtime=0
/proc/13889/task/13897/stat : 13897 (java) S 13887 13889 12671 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273636262 937435136 8912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 433.277
CPU time (s): 432.659
CPU user time (s): 431.955
CPU system time (s): 0.703892
CPU usage (%): 99.8574
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 431.955
system time used= 0.703892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9283
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= 10060
involuntary context switches= 21430
runsolver used 0.566913 s user time and 1.36279 s system time
The end
Begin job on node19 on Sat Jan 20 00:20:16 UTC 2007
IDJOB= 277012
IDBENCH= 6207
IDSOLVER= 68
FILE ID= node19/277012-1169252416
PBS_JOBID= 3589061
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277012-1169252416/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-277012-1169252416 -o ROOT/results/node19/solver-277012-1169252416 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277012-1169252416/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1b1c27f1174ad9d3519665d1cc58d473
RANDOM SEED= 334699658
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.260
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.260
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: 1177136 kB
Buffers: 61748 kB
Cached: 699336 kB
SwapCached: 10172 kB
Active: 341928 kB
Inactive: 457968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1177136 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 1852 kB
Writeback: 0 kB
Mapped: 49144 kB
Slab: 63744 kB
Committed_AS: 7324280 kB
PageTables: 2324 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= 66561 MiB
End job on node19 on Sat Jan 20 00:27:29 UTC 2007