0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278003-1169273270/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.092 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.43
0.43 constraints being loaded...
0.56 nbConstraints=390 nbRelationTypes=17 nbExtensionStructures=17 nbSharedExtensionStructures=373
0.56 nbConflictsStructures=17 nbSharedConflictsStructures=373 nbSharedBinaryRepresentations=0 maxDegree=47
0.56 maxArity=3
0.56 => wckTime=0.235 cpuTime=0.15 mem=8M909
0.60
0.60 solver LocalSearchSolver being built...
0.64 => wckTime=0.316 cpuTime=0.2 mem=5M561
0.64
0.64 s SATISFIABLE
0.64 o 344
0.64 c 46
0.64 o 346
0.64 c 44
0.64 o 349
0.64 c 41
0.65 o 353
0.65 c 37
0.65 o 356
0.65 c 34
0.65 o 357
0.65 c 33
0.65 o 360
0.65 c 30
0.65 o 361
0.65 c 29
0.65 o 363
0.65 c 27
0.65 o 364
0.65 c 26
0.65 o 365
0.65 c 25
0.67 o 366
0.67 c 24
0.67 o 367
0.67 c 23
0.67 o 369
0.67 c 21
0.67 o 370
0.67 c 20
0.67 o 372
0.67 c 18
0.68 o 373
0.68 c 17
0.72 o 375
0.72 c 15
2.11
2.11 search
2.11 run=0 nbConstraintChecks=6025077 nbAssignments=10000
2.11 => wckTime=1.469 cpuTime=1.44 mem=5M561
3.54
3.54 search
3.54 run=1 nbConstraintChecks=12267572 nbAssignments=20000
3.54 => wckTime=2.904 cpuTime=2.86 mem=5M561
4.94
4.94 search
4.94 run=2 nbConstraintChecks=18287115 nbAssignments=30000
4.94 => wckTime=4.3 cpuTime=4.23 mem=5M561
6.36
6.36 search
6.36 run=3 nbConstraintChecks=24594154 nbAssignments=40000
6.36 => wckTime=5.721 cpuTime=5.65 mem=5M561
7.74
7.74 search
7.74 run=4 nbConstraintChecks=30616523 nbAssignments=50000
7.74 => wckTime=7.103 cpuTime=7.02 mem=5M561
9.16
9.16 search
9.16 run=5 nbConstraintChecks=36855851 nbAssignments=60000
9.16 => wckTime=8.519 cpuTime=8.42 mem=5M561
10.54
10.54 search
10.54 run=6 nbConstraintChecks=42857910 nbAssignments=70000
10.54 => wckTime=9.904 cpuTime=9.8 mem=5M561
11.95
11.95 search
11.95 run=7 nbConstraintChecks=49102951 nbAssignments=80000
11.96 => wckTime=11.317 cpuTime=11.2 mem=5M561
13.34
13.34 search
13.34 run=8 nbConstraintChecks=55124042 nbAssignments=90000
13.34 => wckTime=12.7 cpuTime=12.57 mem=5M561
14.75
14.75 search
14.75 run=9 nbConstraintChecks=61312263 nbAssignments=100000
14.75 => wckTime=14.111 cpuTime=13.97 mem=5M561
16.15
16.15 search
16.15 run=10 nbConstraintChecks=67331083 nbAssignments=110000
16.15 => wckTime=15.51 cpuTime=15.36 mem=5M561
17.57
17.57 search
17.57 run=11 nbConstraintChecks=73560259 nbAssignments=120000
17.57 => wckTime=16.934 cpuTime=16.77 mem=5M561
18.97
18.97 search
18.97 run=12 nbConstraintChecks=79602561 nbAssignments=130000
18.97 => wckTime=18.332 cpuTime=18.16 mem=5M561
20.39
20.39 search
20.39 run=13 nbConstraintChecks=85811151 nbAssignments=140000
20.40 => wckTime=19.757 cpuTime=19.57 mem=5M561
21.80
21.80 search
21.80 run=14 nbConstraintChecks=91862181 nbAssignments=150000
21.80 => wckTime=21.16 cpuTime=20.95 mem=5M561
23.22
23.22 search
23.22 run=15 nbConstraintChecks=98066330 nbAssignments=160000
23.22 => wckTime=22.578 cpuTime=22.36 mem=5M561
24.61
24.61 search
24.61 run=16 nbConstraintChecks=104084631 nbAssignments=170000
24.61 => wckTime=23.972 cpuTime=23.75 mem=5M561
26.02
26.02 search
26.02 run=17 nbConstraintChecks=110298423 nbAssignments=180000
26.02 => wckTime=25.387 cpuTime=25.15 mem=5M561
27.41
27.41 search
27.41 run=18 nbConstraintChecks=116315594 nbAssignments=190000
27.41 => wckTime=26.773 cpuTime=26.52 mem=5M561
28.82
28.82 search
28.82 run=19 nbConstraintChecks=122564963 nbAssignments=200000
28.82 => wckTime=28.185 cpuTime=27.93 mem=5M561
30.21
30.21 search
30.21 run=20 nbConstraintChecks=128600266 nbAssignments=210000
30.21 => wckTime=29.571 cpuTime=29.3 mem=5M561
31.00
31.00 search
31.00 run=21 nbConstraintChecks=132052104 nbAssignments=215548
31.00 => wckTime=30.358 cpuTime=30.08 mem=5M561
31.00
31.00 global
31.00 nbConstraintChecks=132052104 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.00 solvingWckTime=30.357 solvingCpuTime=30.08 expiredTime=no totalExploration=no nbFoundSolutions=0
31.00 globalCpuTime=30.33
31.00 => wckTime=30.675 cpuTime=30.28 mem=5M561
31.00
31.00 solver IterativeSystematicSolver being built...
31.17 => wckTime=30.851 cpuTime=30.41 mem=18M452
31.18
31.18 preprocessing
31.18 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.18 detectedInconsistency=no
31.18 => wckTime=0.0070 cpuTime=0.0 mem=18M452
31.24
31.24 search
31.24 run=0 nbConstraintChecks=3604 nbValidityChecks=12430 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.24 nbAssignments=31 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=47 nbRestartNogoods=0
31.24 => wckTime=0.063 cpuTime=0.04 mem=19M492
31.29
31.29 search
31.29 run=1 nbConstraintChecks=9162 nbValidityChecks=36192 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.29 nbAssignments=74 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=118 nbRestartNogoods=2
31.29 => wckTime=0.115 cpuTime=0.08 mem=19M492
31.33
31.33 search
31.33 run=2 nbConstraintChecks=17166 nbValidityChecks=74719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.33 nbAssignments=133 nbFailedAssignments=41 nbBacktracks=47 nbVisitedNodes=218 nbRestartNogoods=5
31.33 => wckTime=0.153 cpuTime=0.12 mem=19M492
31.39
31.39 search
31.39 run=3 nbConstraintChecks=29600 nbValidityChecks=135785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.39 nbAssignments=216 nbFailedAssignments=77 nbBacktracks=81 nbVisitedNodes=371 nbRestartNogoods=9
31.39 => wckTime=0.215 cpuTime=0.18 mem=19M492
31.47
31.47 search
31.47 run=4 nbConstraintChecks=47332 nbValidityChecks=220249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.47 nbAssignments=325 nbFailedAssignments=123 nbBacktracks=132 nbVisitedNodes=576 nbRestartNogoods=12
31.47 => wckTime=0.294 cpuTime=0.25 mem=19M492
31.57
31.57 search
31.57 run=5 nbConstraintChecks=73116 nbValidityChecks=334783 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.57 nbAssignments=482 nbFailedAssignments=187 nbBacktracks=208 nbVisitedNodes=864 nbRestartNogoods=13
31.57 => wckTime=0.397 cpuTime=0.35 mem=19M492
31.72
31.72 search
31.72 run=6 nbConstraintChecks=107012 nbValidityChecks=487608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.72 nbAssignments=685 nbFailedAssignments=257 nbBacktracks=321 nbVisitedNodes=1246 nbRestartNogoods=16
31.72 => wckTime=0.542 cpuTime=0.49 mem=19M492
31.93
31.93 search
31.93 run=7 nbConstraintChecks=156871 nbValidityChecks=714510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.93 nbAssignments=971 nbFailedAssignments=358 nbBacktracks=492 nbVisitedNodes=1791 nbRestartNogoods=18
31.93 => wckTime=0.756 cpuTime=0.7 mem=19M492
32.24
32.24 search
32.24 run=8 nbConstraintChecks=233795 nbValidityChecks=1063460 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.24 nbAssignments=1404 nbFailedAssignments=520 nbBacktracks=748 nbVisitedNodes=2610 nbRestartNogoods=22
32.24 => wckTime=1.062 cpuTime=1.0 mem=19M492
32.71
32.71 search
32.71 run=9 nbConstraintChecks=343605 nbValidityChecks=1596791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.71 nbAssignments=2105 nbFailedAssignments=817 nbBacktracks=1132 nbVisitedNodes=3922 nbRestartNogoods=27
32.71 => wckTime=1.534 cpuTime=1.45 mem=19M492
33.36
33.36 search
33.36 run=10 nbConstraintChecks=508970 nbValidityChecks=2367010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.36 nbAssignments=3070 nbFailedAssignments=1187 nbBacktracks=1711 nbVisitedNodes=5780 nbRestartNogoods=30
33.36 => wckTime=2.183 cpuTime=2.09 mem=19M492
34.26
34.26 search
34.26 run=11 nbConstraintChecks=743227 nbValidityChecks=3452102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.26 nbAssignments=4440 nbFailedAssignments=1678 nbBacktracks=2575 nbVisitedNodes=8389 nbRestartNogoods=35
34.26 => wckTime=3.082 cpuTime=2.98 mem=19M492
35.63
35.63 search
35.63 run=12 nbConstraintChecks=1089713 nbValidityChecks=5202188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.63 nbAssignments=6621 nbFailedAssignments=2543 nbBacktracks=3874 nbVisitedNodes=12392 nbRestartNogoods=41
35.63 => wckTime=4.452 cpuTime=4.34 mem=19M492
37.94
37.95 search
37.95 run=13 nbConstraintChecks=1672089 nbValidityChecks=8022723 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.95 nbAssignments=9996 nbFailedAssignments=3958 nbBacktracks=5820 nbVisitedNodes=19056 nbRestartNogoods=47
37.95 => wckTime=6.77 cpuTime=6.63 mem=19M492
41.08
41.08 search
41.08 run=14 nbConstraintChecks=2441375 nbValidityChecks=12005750 nbPropagations=0 nbRevisions=0
41.08 nbUselessRevisions=0 nbAssignments=14735 nbFailedAssignments=5763 nbBacktracks=8740 nbVisitedNodes=27901
41.08 nbRestartNogoods=53
41.08 => wckTime=9.908 cpuTime=9.74 mem=19M492
46.02
46.02 search
46.02 run=15 nbConstraintChecks=3715987 nbValidityChecks=18080847 nbPropagations=0 nbRevisions=0
46.02 nbUselessRevisions=0 nbAssignments=22037 nbFailedAssignments=8671 nbBacktracks=13118 nbVisitedNodes=41947
46.02 nbRestartNogoods=61
46.02 => wckTime=14.842 cpuTime=14.64 mem=19M492
52.90
52.90 search
52.90 run=16 nbConstraintChecks=5474023 nbValidityChecks=26496537 nbPropagations=0 nbRevisions=0
52.90 nbUselessRevisions=0 nbAssignments=32570 nbFailedAssignments=12618 nbBacktracks=19690 nbVisitedNodes=61972
52.90 nbRestartNogoods=66
52.90 => wckTime=21.722 cpuTime=21.46 mem=19M492
63.74
63.74 search
63.74 run=17 nbConstraintChecks=8277267 nbValidityChecks=40161824 nbPropagations=0 nbRevisions=0
63.74 nbUselessRevisions=0 nbAssignments=48680 nbFailedAssignments=18858 nbBacktracks=29542 nbVisitedNodes=93085
63.74 nbRestartNogoods=73
63.74 => wckTime=32.562 cpuTime=32.21 mem=19M492
79.16
79.16 search
79.16 run=18 nbConstraintChecks=12229670 nbValidityChecks=57998629 nbPropagations=0 nbRevisions=0
79.16 nbUselessRevisions=0 nbAssignments=72466 nbFailedAssignments=27850 nbBacktracks=44320 nbVisitedNodes=138184
79.16 nbRestartNogoods=82
79.16 => wckTime=47.987 cpuTime=47.52 mem=19M492
101.83
101.83 search
101.83 run=19 nbConstraintChecks=18495684 nbValidityChecks=85724914 nbPropagations=0 nbRevisions=0
101.83 nbUselessRevisions=0 nbAssignments=108340 nbFailedAssignments=41541 nbBacktracks=66488 nbVisitedNodes=205414
101.83 nbRestartNogoods=87
101.83 => wckTime=70.659 cpuTime=70.01 mem=19M492
133.74
133.74 search
133.74 run=20 nbConstraintChecks=27302467 nbValidityChecks=123240779 nbPropagations=0 nbRevisions=0
133.74 nbUselessRevisions=0 nbAssignments=160567 nbFailedAssignments=60499 nbBacktracks=99740 nbVisitedNodes=300499
133.74 nbRestartNogoods=96
133.74 => wckTime=102.564 cpuTime=101.64 mem=19M492
174.75
174.75 search
174.75 run=21 nbConstraintChecks=39567547 nbValidityChecks=171584891 nbPropagations=0 nbRevisions=0
174.75 nbUselessRevisions=0 nbAssignments=234231 nbFailedAssignments=84268 nbBacktracks=149618 nbVisitedNodes=428455
174.75 nbRestartNogoods=102
174.75 => wckTime=143.571 cpuTime=142.29 mem=19M492
232.50
232.50 search
232.50 run=22 nbConstraintChecks=57182089 nbValidityChecks=239123698 nbPropagations=0 nbRevisions=0
232.50 nbUselessRevisions=0 nbAssignments=342291 nbFailedAssignments=117490 nbBacktracks=224437 nbVisitedNodes=611061
232.50 nbRestartNogoods=109
232.50 => wckTime=201.32 cpuTime=199.55 mem=19M492
317.42
317.42 search
317.42 run=23 nbConstraintChecks=84829520 nbValidityChecks=341317282 nbPropagations=0 nbRevisions=0
317.42 nbUselessRevisions=0 nbAssignments=503835 nbFailedAssignments=166788 nbBacktracks=336664 nbVisitedNodes=881973
317.42 nbRestartNogoods=117
317.42 => wckTime=286.243 cpuTime=283.78 mem=19M492
331.50
331.50 search
331.50 run=24 nbConstraintChecks=89419034 nbValidityChecks=357455595 nbPropagations=0 nbRevisions=0
331.50 nbUselessRevisions=0 nbAssignments=530950 nbFailedAssignments=175121 nbBacktracks=355447 nbVisitedNodes=927029
331.50 nbRestartNogoods=127
331.50 => wckTime=300.32 cpuTime=297.74 mem=19M492
331.50
331.50 global
331.50 nbConstraintChecks=89419034 nbValidityChecks=357455595 nbRestartNogoods=127 solvingWckTime=300.323
331.50 solvingCpuTime=297.74 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=328.2
331.50 => wckTime=331.174 cpuTime=328.15 mem=19M492
331.50
331.50 s OPTIMUM FOUND
331.50 v 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1
331.50
331.50 totalWckTime=331.254 totalCpuTime=328.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node67/watcher-278003-1169273270 -o ROOT/results/node67/solver-278003-1169273270 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278003-1169273270/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.96 4/73 2526
/proc/meminfo: memFree=1431184/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=18540 CPUtime=0
/proc/2525/stat : 2525 (runsolver) R 2523 2525 1505 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 74824141 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271638392103 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2525/statm: 4635 279 244 17 0 2626 0
[startup+0.102617 s]
/proc/loadavg: 1.92 1.98 1.96 4/73 2526
/proc/meminfo: memFree=1431184/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=913228 CPUtime=0.07
/proc/2525/stat : 2525 (java) S 2523 2525 1505 0 -1 0 2902 0 1 0 7 0 0 0 17 0 8 0 74824141 935145472 2648 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228307 2648 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.510659 s]
/proc/loadavg: 1.92 1.98 1.96 4/73 2526
/proc/meminfo: memFree=1431184/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915332 CPUtime=0.48
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 6271 0 1 0 44 4 0 0 18 0 8 0 74824141 937299968 6010 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228833 6010 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33274 s]
/proc/loadavg: 1.92 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413528/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915420 CPUtime=1.28
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7081 0 1 0 106 22 0 0 24 0 8 0 74824141 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228855 6819 2475 14 0 215325 0
[pid=2525/tid=2527] ppid=2523 vsize=915420 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915420 CPUtime=0.13
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 338 0 0 0 13 0 0 0 16 0 8 0 74824149 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937390080 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915420
[startup+2.98491 s]
/proc/loadavg: 1.92 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413464/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=2.93
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7084 0 1 0 226 67 0 0 25 0 8 0 74824141 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 6821 2475 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.14
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 340 0 0 0 14 0 0 0 16 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 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) 915416
[startup+6.27027 s]
/proc/loadavg: 1.93 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413400/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915420 CPUtime=6.18
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7084 0 1 0 460 158 0 0 25 0 8 0 74824141 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228855 6821 2475 14 0 215325 0
[pid=2525/tid=2527] ppid=2523 vsize=915420 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915420 CPUtime=0.14
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 340 0 0 0 14 0 0 0 16 0 8 0 74824149 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937390080 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915420 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937390080 6821 18446744073709551615 134512640 134570532 4294956480 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) 915420
[startup+12.7569 s]
/proc/loadavg: 1.93 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413400/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=12.62
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7084 0 1 0 921 341 0 0 25 0 8 0 74824141 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073696440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 6821 2475 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.14
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 340 0 0 0 14 0 0 0 16 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416
[startup+25.5913 s]
/proc/loadavg: 1.95 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1413464/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=25.35
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 7084 0 1 0 1831 704 0 0 25 0 8 0 74824141 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073696794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 6821 2475 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 169 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.14
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 340 0 0 0 14 0 0 0 16 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 6821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915416
[startup+51.201 s]
/proc/loadavg: 1.96 1.98 1.96 3/80 2533
/proc/meminfo: memFree=1403160/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=50.75
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9734 0 1 0 4216 859 0 0 25 0 8 0 74824141 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9468 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915416
[startup+102.502 s]
/proc/loadavg: 2.05 2.00 1.96 3/80 2533
/proc/meminfo: memFree=1403096/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=101.65
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9744 0 1 0 9306 859 0 0 25 0 8 0 74824141 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9478 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 409 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 915416
[startup+162.54 s]
/proc/loadavg: 2.02 2.00 1.96 3/80 2533
/proc/meminfo: memFree=1403032/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=161.17
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9750 0 1 0 15258 859 0 0 25 0 8 0 74824141 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9483 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.17
Current children cumulated vsize (KiB) 915416
[startup+222.578 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 2533
/proc/meminfo: memFree=1403032/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=220.69
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9753 0 1 0 21210 859 0 0 25 0 8 0 74824141 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9485 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.69
Current children cumulated vsize (KiB) 915416
[startup+282.616 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 2533
/proc/meminfo: memFree=1403032/2055920 swapFree=4192956/4192956
[pid=2525] ppid=2523 vsize=915416 CPUtime=280.22
/proc/2525/stat : 2525 (java) R 2523 2525 1505 0 -1 0 9756 0 1 0 27163 859 0 0 25 0 8 0 74824141 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073910048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2525/statm: 228854 9488 2529 14 0 215324 0
[pid=2525/tid=2527] ppid=2523 vsize=915416 CPUtime=0.02
/proc/2525/task/2527/stat : 2527 (java) S 2523 2525 1505 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 74824146 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2528] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2528/stat : 2528 (java) S 2523 2525 1505 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74824146 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2529] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2529/stat : 2529 (java) S 2523 2525 1505 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74824146 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2530] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2530/stat : 2530 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 74824149 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2531] ppid=2523 vsize=915416 CPUtime=0.27
/proc/2525/task/2531/stat : 2531 (java) S 2523 2525 1505 0 -1 64 411 0 0 0 26 1 0 0 16 0 8 0 74824149 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2532] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2532/stat : 2532 (java) S 2523 2525 1505 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 74824149 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2525/tid=2533] ppid=2523 vsize=915416 CPUtime=0
/proc/2525/task/2533/stat : 2533 (java) S 2523 2525 1505 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74824149 937385984 9488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.22
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 331.559
CPU time (s): 328.735
CPU user time (s): 320.126
CPU system time (s): 8.60869
CPU usage (%): 99.1484
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.126
system time used= 8.60869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9855
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= 7937
involuntary context switches= 13924
runsolver used 0.373943 s user time and 0.943856 s system time
The end
Begin job on node67 on Sat Jan 20 06:07:51 UTC 2007
IDJOB= 278003
IDBENCH= 7920
IDSOLVER= 69
FILE ID= node67/278003-1169273270
PBS_JOBID= 3607311
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-100-1000/cnf-3-40-400-907721_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278003-1169273270/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-278003-1169273270 -o ROOT/results/node67/solver-278003-1169273270 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278003-1169273270/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 270ec4ff4b5780b4727b03faf9743be5
RANDOM SEED= 647175766
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.236
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.236
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: 1431600 kB
Buffers: 48856 kB
Cached: 480388 kB
SwapCached: 0 kB
Active: 111524 kB
Inactive: 442772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1431600 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1676 kB
Writeback: 0 kB
Mapped: 36616 kB
Slab: 55452 kB
Committed_AS: 663604 kB
PageTables: 1780 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 node67 on Sat Jan 20 06:13:22 UTC 2007