0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276122-1169231399/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.49 nbVariables=625 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.158 cpuTime=0.11 mem=7M862
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
15.17 nbConstraints=90000 nbConflictsStructures=1 nbSharedConflictsStructures=89999 nbSharedBinaryRepresentations=0
15.17 nbEvaluationManagers=1 nbSharedEvaluationManagers=89999 maxDegree=576 maxArity=4
15.17 => wckTime=14.836 cpuTime=12.7 mem=332M736
15.77
15.77 solver LocalSearchSolver being built...
15.81 => wckTime=15.484 cpuTime=12.75 mem=327M746
15.94
15.94 s SATISFIABLE
15.94 o 79245
15.94 c 10755
15.96 o 79333
15.96 c 10667
15.97 o 79428
15.97 c 10572
15.98 o 79511
15.99 c 10489
16.00 o 79581
16.00 c 10419
16.01 o 79644
16.01 c 10356
16.02 o 79719
16.02 c 10281
16.04 o 79786
16.04 c 10214
16.05 o 79834
16.05 c 10166
16.06 o 79883
16.06 c 10117
16.07 o 79942
16.07 c 10058
16.08 o 79994
16.08 c 10006
16.10 o 80040
16.10 c 9960
16.11 o 80084
16.11 c 9916
16.12 o 80116
16.13 c 9884
16.14 o 80146
16.14 c 9854
16.15 o 80179
16.15 c 9821
16.17 o 80210
16.17 c 9790
16.18 o 80245
16.18 c 9755
16.20 o 80274
16.20 c 9726
16.20 o 80312
16.20 c 9688
16.22 o 80338
16.22 c 9662
16.23 o 80362
16.23 c 9638
16.24 o 80392
16.24 c 9608
16.26 o 80414
16.26 c 9586
16.27 o 80434
16.27 c 9566
16.28 o 80462
16.28 c 9538
16.29 o 80485
16.29 c 9515
16.30 o 80502
16.30 c 9498
16.31 o 80512
16.31 c 9488
16.32 o 80538
16.32 c 9462
16.33 o 80559
16.33 c 9441
16.34 o 80580
16.34 c 9420
16.35 o 80590
16.35 c 9410
16.36 o 80607
16.36 c 9393
16.38 o 80615
16.38 c 9385
16.39 o 80625
16.39 c 9375
16.40 o 80636
16.40 c 9364
16.42 o 80649
16.42 c 9351
16.42 o 80655
16.42 c 9345
16.44 o 80662
16.44 c 9338
16.45 o 80668
16.45 c 9332
16.46 o 80672
16.46 c 9328
16.47 o 80675
16.47 c 9325
16.48 o 80678
16.48 c 9322
16.50 o 80685
16.50 c 9315
16.51 o 80687
16.51 c 9313
16.52 o 80690
16.52 c 9310
16.54 o 80694
16.54 c 9306
16.55 o 80696
16.55 c 9304
16.61 o 80704
16.61 c 9296
16.62 o 80709
16.62 c 9291
16.64 o 80714
16.64 c 9286
16.67 o 80715
16.67 c 9285
16.73 o 80718
16.73 c 9282
16.78 o 80720
16.78 c 9280
17.00 o 80732
17.00 c 9268
17.22 o 80738
17.22 c 9262
17.24 o 80741
17.24 c 9259
17.30 o 80742
17.30 c 9258
17.31 o 80748
17.31 c 9252
17.34 o 80758
17.34 c 9242
17.35 o 80759
17.35 c 9241
17.37 o 80762
17.37 c 9238
17.45 o 80764
17.45 c 9236
47.74
47.74 search
47.74 run=0 nbConstraintChecks=28810582 nbAssignments=736
47.74 => wckTime=31.931 cpuTime=31.61 mem=327M746
47.74
47.74 global
47.74 nbConstraintChecks=28810582 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.74 solvingWckTime=31.929 solvingCpuTime=31.61 expiredTime=no totalExploration=no nbFoundSolutions=0
47.74 globalCpuTime=44.42
47.74 => wckTime=47.415 cpuTime=44.36 mem=327M746
47.75
47.75 solver IterativeSystematicSolver being built...
50.31 => wckTime=49.981 cpuTime=46.15 mem=389M892
175.10
175.10 preprocessing
175.10 nbConstraintChecks=8616132 nbValidityChecks=10354386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
175.10 nbRemovedValues=0 detectedInconsistency=no
175.10 => wckTime=124.78 cpuTime=123.59 mem=402M77
263.44
263.44 search
263.44 run=0 nbConstraintChecks=7691605 nbValidityChecks=19681636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
263.44 nbAssignments=516 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=532 nbRestartNogoods=0
263.44 => wckTime=213.124 cpuTime=211.11 mem=402M77
359.41
359.41 search
359.41 run=1 nbConstraintChecks=17669907 nbValidityChecks=42668641 nbPropagations=0 nbRevisions=0
359.41 nbUselessRevisions=0 nbAssignments=1067 nbFailedAssignments=19 nbBacktracks=25 nbVisitedNodes=1109
359.41 nbRestartNogoods=2
359.41 => wckTime=309.099 cpuTime=306.18 mem=402M77
462.69
462.69 search
462.69 run=2 nbConstraintChecks=32497208 nbValidityChecks=68217987 nbPropagations=0 nbRevisions=0
462.69 nbUselessRevisions=0 nbAssignments=1677 nbFailedAssignments=33 nbBacktracks=47 nbVisitedNodes=1755
462.69 nbRestartNogoods=5
462.69 => wckTime=412.379 cpuTime=408.49 mem=402M77
571.82
571.82 search
571.82 run=3 nbConstraintChecks=50661548 nbValidityChecks=95596173 nbPropagations=0 nbRevisions=0
571.82 nbUselessRevisions=0 nbAssignments=2313 nbFailedAssignments=59 nbBacktracks=80 nbVisitedNodes=2448
571.82 nbRestartNogoods=7
571.82 => wckTime=521.505 cpuTime=516.61 mem=402M77
685.29
685.29 search
685.29 run=4 nbConstraintChecks=72211472 nbValidityChecks=123832947 nbPropagations=0 nbRevisions=0
685.29 nbUselessRevisions=0 nbAssignments=2974 nbFailedAssignments=86 nbBacktracks=132 nbVisitedNodes=3183
685.29 nbRestartNogoods=10
685.29 => wckTime=634.98 cpuTime=629.03 mem=402M77
810.68
810.68 search
810.68 run=5 nbConstraintChecks=100789322 nbValidityChecks=155566619 nbPropagations=0 nbRevisions=0
810.68 nbUselessRevisions=0 nbAssignments=3682 nbFailedAssignments=132 nbBacktracks=208 nbVisitedNodes=4013
810.68 nbRestartNogoods=12
810.68 => wckTime=760.369 cpuTime=753.27 mem=402M77
949.73
949.73 search
949.73 run=6 nbConstraintChecks=139047339 nbValidityChecks=190128222 nbPropagations=0 nbRevisions=0
949.73 nbUselessRevisions=0 nbAssignments=4452 nbFailedAssignments=200 nbBacktracks=321 nbVisitedNodes=4964
949.73 nbRestartNogoods=16
949.73 => wckTime=899.421 cpuTime=891.03 mem=402M77
1113.45
1113.45 search
1113.45 run=7 nbConstraintChecks=191541968 nbValidityChecks=232276397 nbPropagations=0 nbRevisions=0
1113.45 nbUselessRevisions=0 nbAssignments=5322 nbFailedAssignments=315 nbBacktracks=491 nbVisitedNodes=6110
1113.45 nbRestartNogoods=21
1113.45 => wckTime=1063.143 cpuTime=1053.25 mem=402M77
1310.79
1310.79 search
1310.79 run=8 nbConstraintChecks=262112787 nbValidityChecks=285205878 nbPropagations=0 nbRevisions=0
1310.79 nbUselessRevisions=0 nbAssignments=6316 nbFailedAssignments=466 nbBacktracks=750 nbVisitedNodes=7508
1310.79 nbRestartNogoods=26
1310.79 => wckTime=1260.478 cpuTime=1248.76 mem=402M77
1557.50
1557.50 search
1557.50 run=9 nbConstraintChecks=360552743 nbValidityChecks=352939648 nbPropagations=0 nbRevisions=0
1557.50 nbUselessRevisions=0 nbAssignments=7499 nbFailedAssignments=682 nbBacktracks=1135 nbVisitedNodes=9286
1557.50 nbRestartNogoods=30
1557.50 => wckTime=1507.185 cpuTime=1493.2 mem=402M77
1889.55
1889.55 search
1889.55 run=10 nbConstraintChecks=518997726 nbValidityChecks=453389250 nbPropagations=0 nbRevisions=0
1889.55 nbUselessRevisions=0 nbAssignments=9105 nbFailedAssignments=1130 nbBacktracks=1711 nbVisitedNodes=11892
1889.55 nbRestartNogoods=33
1889.55 => wckTime=1839.238 cpuTime=1824.73 mem=402M77
2349.01
2349.01 search
2349.01 run=11 nbConstraintChecks=750742740 nbValidityChecks=599869949 nbPropagations=0 nbRevisions=0
2349.01 nbUselessRevisions=0 nbAssignments=11246 nbFailedAssignments=1826 nbBacktracks=2575 nbVisitedNodes=15535
2349.01 nbRestartNogoods=40
2349.01 => wckTime=2298.699 cpuTime=2284.02 mem=402M77
2415.21 v 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 1 1 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-276122-1169231399 -o ROOT/results/node23/solver-276122-1169231399 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276122-1169231399/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.99 1.97 1.94 2/93 5032
/proc/meminfo: memFree=1274256/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=18540 CPUtime=0
/proc/5031/stat : 5031 (runsolver) R 5029 5031 4208 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271534409 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5031/statm: 4635 279 244 17 0 2626 0
[startup+0.102475 s]
/proc/loadavg: 1.99 1.97 1.94 2/93 5032
/proc/meminfo: memFree=1274256/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=913236 CPUtime=0.08
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 2922 0 1 0 7 1 0 0 19 0 8 0 271534409 935153664 2668 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5031/statm: 228309 2668 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.510551 s]
/proc/loadavg: 1.99 1.97 1.94 2/93 5032
/proc/meminfo: memFree=1274256/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915332 CPUtime=0.48
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 6390 0 1 0 44 4 0 0 18 0 8 0 271534409 937299968 6129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5031/statm: 228833 6129 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33376 s]
/proc/loadavg: 1.99 1.97 1.94 3/100 5039
/proc/meminfo: memFree=1213464/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915632 CPUtime=1.29
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 18103 0 1 0 119 10 0 0 25 0 8 0 271534409 937607168 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073545513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5031/statm: 228908 17839 2161 14 0 215378 0
[pid=5031/tid=5033] ppid=5029 vsize=915632 CPUtime=0.04
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 1568 0 0 0 4 0 0 0 16 0 8 0 271534413 937607168 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937607168 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271534413 937607168 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937607168 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915632 CPUtime=0.14
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 392 0 0 0 14 0 0 0 16 0 8 0 271534417 937607168 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937607168 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937607168 17839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915632
[startup+2.98703 s]
/proc/loadavg: 1.99 1.97 1.94 4/100 5039
/proc/meminfo: memFree=1205144/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915632 CPUtime=2.93
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 20967 0 1 0 280 13 0 0 25 0 8 0 271534409 937607168 20693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073527216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5031/statm: 228908 20693 2161 14 0 215378 0
[pid=5031/tid=5033] ppid=5029 vsize=915632 CPUtime=0.22
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 4419 0 0 0 21 1 0 0 16 0 8 0 271534413 937607168 20693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937607168 20693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271534413 937607168 20693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937607168 20693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915632 CPUtime=0.14
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 395 0 0 0 14 0 0 0 16 0 8 0 271534417 937607168 20693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937607168 20693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937607168 20693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632
[startup+6.27268 s]
/proc/loadavg: 1.99 1.97 1.94 3/100 5039
/proc/meminfo: memFree=1183896/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915632 CPUtime=6.18
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 25591 0 1 0 592 26 0 0 25 0 8 0 271534409 937607168 25300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5031/statm: 228908 25300 2181 14 0 215378 0
[pid=5031/tid=5033] ppid=5029 vsize=915632 CPUtime=0.54
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 8962 0 0 0 51 3 0 0 16 0 8 0 271534413 937607168 25300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937607168 25300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271534413 937607168 25300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937607168 25300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915632 CPUtime=0.19
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 414 0 0 0 18 1 0 0 16 0 8 0 271534417 937607168 25300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937607168 25300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937607168 25300 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915632
[startup+12.7649 s]
/proc/loadavg: 1.99 1.97 1.94 3/100 5039
/proc/meminfo: memFree=974744/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915636 CPUtime=12.61
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 77189 0 1 0 939 322 0 0 25 0 8 0 271534409 937611264 76890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3281535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5031/statm: 228909 76890 2181 14 0 215379 0
[pid=5031/tid=5033] ppid=5029 vsize=915636 CPUtime=1.46
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 60550 0 0 0 124 22 0 0 17 0 8 0 271534413 937611264 76890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915636 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937611264 76890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915636 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271534413 937611264 76890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915636 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937611264 76890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915636 CPUtime=0.19
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 416 0 0 0 18 1 0 0 17 0 8 0 271534417 937611264 76890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915636 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937611264 76890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915636 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937611264 76890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915636
[startup+25.6284 s]
/proc/loadavg: 1.99 1.97 1.94 3/100 5039
/proc/meminfo: memFree=890136/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915632 CPUtime=25.35
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 98810 0 1 0 2121 414 0 0 25 0 8 0 271534409 937607168 98355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073886076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5031/statm: 228908 98355 2500 14 0 215378 0
[pid=5031/tid=5033] ppid=5029 vsize=915632 CPUtime=2.4
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 81802 0 0 0 210 30 0 0 16 0 8 0 271534413 937607168 98355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937607168 98355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271534413 937607168 98355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937607168 98355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915632 CPUtime=0.22
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 432 0 0 0 21 1 0 0 16 0 8 0 271534417 937607168 98355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937607168 98355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915632 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937607168 98355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915632
[startup+51.2664 s]
/proc/loadavg: 1.99 1.97 1.94 3/100 5039
/proc/meminfo: memFree=841944/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=50.76
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 110927 0 1 0 4655 421 0 0 25 0 8 0 271534409 937889792 110458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074100950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5031/statm: 228977 110458 2548 14 0 215447 0
[pid=5031/tid=5033] ppid=5029 vsize=915908 CPUtime=3.08
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 93689 0 0 0 274 34 0 0 16 0 8 0 271534413 937889792 110458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937889792 110458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915908 CPUtime=0.32
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 548 0 0 0 31 1 0 0 16 0 8 0 271534417 937889792 110458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937889792 110458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937889792 110458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915908
[startup+102.528 s]
/proc/loadavg: 1.99 1.97 1.94 3/100 5039
/proc/meminfo: memFree=842008/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=101.54
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 110935 0 1 0 9733 421 0 0 25 0 8 0 271534409 937889792 110462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074100950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5031/statm: 228977 110462 2548 14 0 215447 0
[pid=5031/tid=5033] ppid=5029 vsize=915908 CPUtime=3.08
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 93689 0 0 0 274 34 0 0 16 0 8 0 271534413 937889792 110462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937889792 110462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915908 CPUtime=0.32
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 554 0 0 0 31 1 0 0 16 0 8 0 271534417 937889792 110462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937889792 110462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937889792 110462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915908
[startup+162.547 s]
/proc/loadavg: 1.99 1.97 1.94 3/100 5039
/proc/meminfo: memFree=841944/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=161.01
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 110940 0 1 0 15679 422 0 0 25 0 8 0 271534409 937889792 110465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074083939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2008.32
Current children cumulated vsize (KiB) 915908
[startup+2083.3 s]
/proc/loadavg: 1.00 1.36 1.70 2/85 5342
/proc/meminfo: memFree=910256/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=2068.32
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 111002 0 1 0 206380 452 0 0 25 0 8 0 271534409 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074193592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5031/statm: 228977 110510 2554 14 0 215447 0
[pid=5031/tid=5033] ppid=5029 vsize=915908 CPUtime=3.09
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 93690 0 0 0 275 34 0 0 16 0 8 0 271534413 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915908 CPUtime=0.39
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 599 0 0 0 38 1 0 0 16 0 8 0 271534417 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2068.32
Current children cumulated vsize (KiB) 915908
[startup+2143.33 s]
/proc/loadavg: 1.00 1.29 1.66 2/85 5342
/proc/meminfo: memFree=910384/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=2128.33
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 111002 0 1 0 212381 452 0 0 25 0 8 0 271534409 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073888089 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5031/statm: 228977 110510 2554 14 0 215447 0
[pid=5031/tid=5033] ppid=5029 vsize=915908 CPUtime=3.09
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 93690 0 0 0 275 34 0 0 16 0 8 0 271534413 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915908 CPUtime=0.39
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 599 0 0 0 38 1 0 0 16 0 8 0 271534417 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937889792 110510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2128.33
Current children cumulated vsize (KiB) 915908
[startup+2203.36 s]
/proc/loadavg: 1.00 1.23 1.61 2/85 5342
/proc/meminfo: memFree=910384/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=2188.34
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 111003 0 1 0 218382 452 0 0 25 0 8 0 271534409 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073891525 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5031/statm: 228977 110511 2554 14 0 215447 0
[pid=5031/tid=5033] ppid=5029 vsize=915908 CPUtime=3.09
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 93690 0 0 0 275 34 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915908 CPUtime=0.39
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 600 0 0 0 38 1 0 0 16 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2188.34
Current children cumulated vsize (KiB) 915908
[startup+2263.39 s]
/proc/loadavg: 1.00 1.19 1.57 2/85 5342
/proc/meminfo: memFree=910448/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=2248.35
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 111003 0 1 0 224383 452 0 0 25 0 8 0 271534409 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074193516 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5031/statm: 228977 110511 2554 14 0 215447 0
[pid=5031/tid=5033] ppid=5029 vsize=915908 CPUtime=3.09
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 93690 0 0 0 275 34 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915908 CPUtime=0.39
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 600 0 0 0 38 1 0 0 16 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2248.35
Current children cumulated vsize (KiB) 915908
[startup+2323.41 s]
/proc/loadavg: 1.00 1.15 1.53 2/85 5342
/proc/meminfo: memFree=910448/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=2308.34
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 111003 0 1 0 230382 452 0 0 25 0 8 0 271534409 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074193513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5031/statm: 228977 110511 2554 14 0 215447 0
[pid=5031/tid=5033] ppid=5029 vsize=915908 CPUtime=3.09
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 93690 0 0 0 275 34 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915908 CPUtime=0.39
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 600 0 0 0 38 1 0 0 16 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2308.34
Current children cumulated vsize (KiB) 915908
[startup+2383.43 s]
/proc/loadavg: 1.03 1.14 1.50 2/85 5342
/proc/meminfo: memFree=910448/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=2368.34
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 111003 0 1 0 236382 452 0 0 25 0 8 0 271534409 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073965757 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5031/statm: 228977 110511 2554 14 0 215447 0
[pid=5031/tid=5033] ppid=5029 vsize=915908 CPUtime=3.09
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 93690 0 0 0 275 34 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915908 CPUtime=0.39
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 600 0 0 0 38 1 0 0 16 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2368.34
Current children cumulated vsize (KiB) 915908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2415.2 s]
/proc/loadavg: 1.02 1.12 1.49 2/85 5342
/proc/meminfo: memFree=910448/2055920 swapFree=4156060/4192956
[pid=5031] ppid=5029 vsize=915908 CPUtime=2400.1
/proc/5031/stat : 5031 (java) R 5029 5031 4208 0 -1 0 111003 0 1 0 239558 452 0 0 25 0 8 0 271534409 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5031/statm: 228977 110511 2554 14 0 215447 0
[pid=5031/tid=5033] ppid=5029 vsize=915908 CPUtime=3.09
/proc/5031/task/5033/stat : 5033 (java) S 5029 5031 4208 0 -1 64 93690 0 0 0 275 34 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5034] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5034/stat : 5034 (java) S 5029 5031 4208 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5035] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5035/stat : 5035 (java) S 5029 5031 4208 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271534413 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5036] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5036/stat : 5036 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5037] ppid=5029 vsize=915908 CPUtime=0.39
/proc/5031/task/5037/stat : 5037 (java) S 5029 5031 4208 0 -1 64 600 0 0 0 38 1 0 0 16 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5038] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5038/stat : 5038 (java) S 5029 5031 4208 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5031/tid=5039] ppid=5029 vsize=915908 CPUtime=0
/proc/5031/task/5039/stat : 5039 (java) S 5029 5031 4208 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271534417 937889792 110511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2415.31
CPU time (s): 2400.22
CPU user time (s): 2395.62
CPU system time (s): 4.5973
CPU usage (%): 99.3753
Max. virtual memory (cumulated for all children) (KiB): 916136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.62
system time used= 4.5973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111026
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= 50803
involuntary context switches= 85516
runsolver used 2.85656 s user time and 7.34888 s system time
The end
Begin job on node23 on Fri Jan 19 18:30:00 UTC 2007
IDJOB= 276122
IDBENCH= 5262
IDSOLVER= 68
FILE ID= node23/276122-1169231399
PBS_JOBID= 3589247
Free space on /tmp= 66545 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-25-25-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276122-1169231399/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-276122-1169231399 -o ROOT/results/node23/solver-276122-1169231399 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276122-1169231399/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1e33651b78b554bdc5ee856706c28b13
RANDOM SEED= 248420182
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1274736 kB
Buffers: 37972 kB
Cached: 578360 kB
SwapCached: 7840 kB
Active: 225196 kB
Inactive: 488524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1274736 kB
SwapTotal: 4192956 kB
SwapFree: 4156060 kB
Dirty: 17460 kB
Writeback: 0 kB
Mapped: 122292 kB
Slab: 52096 kB
Committed_AS: 5394592 kB
PageTables: 2456 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= 66548 MiB
End job on node23 on Fri Jan 19 19:10:16 UTC 2007