0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278002-1169273267/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.086 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.40
0.40 constraints being loaded...
0.52 nbConstraints=390 nbRelationTypes=17 nbExtensionStructures=17 nbSharedExtensionStructures=373
0.52 nbConflictsStructures=17 nbSharedConflictsStructures=373 nbSharedBinaryRepresentations=0 maxDegree=47
0.52 maxArity=3
0.52 => wckTime=0.221 cpuTime=0.16 mem=8M854
0.56
0.56 solver LocalSearchSolver being built...
0.60 => wckTime=0.298 cpuTime=0.2 mem=5M561
0.60
0.60 s SATISFIABLE
0.60 o 344
0.60 c 46
0.60 o 346
0.60 c 44
0.60 o 349
0.60 c 41
0.61 o 353
0.61 c 37
0.61 o 356
0.61 c 34
0.61 o 357
0.61 c 33
0.61 o 360
0.61 c 30
0.61 o 361
0.61 c 29
0.61 o 363
0.61 c 27
0.61 o 364
0.61 c 26
0.61 o 365
0.61 c 25
0.62 o 366
0.62 c 24
0.62 o 367
0.62 c 23
0.62 o 369
0.62 c 21
0.63 o 370
0.63 c 20
0.63 o 372
0.63 c 18
0.64 o 373
0.64 c 17
0.68 o 375
0.68 c 15
1.99
1.99 search
1.99 run=0 nbConstraintChecks=6025077 nbAssignments=10000
1.99 => wckTime=1.393 cpuTime=1.37 mem=5M561
3.31
3.31 search
3.31 run=1 nbConstraintChecks=12267572 nbAssignments=20000
3.31 => wckTime=2.708 cpuTime=2.68 mem=5M561
4.59
4.59 search
4.59 run=2 nbConstraintChecks=18287115 nbAssignments=30000
4.59 => wckTime=3.991 cpuTime=3.96 mem=5M561
5.91
5.91 search
5.91 run=3 nbConstraintChecks=24594154 nbAssignments=40000
5.91 => wckTime=5.31 cpuTime=5.28 mem=5M561
7.19
7.19 search
7.19 run=4 nbConstraintChecks=30616523 nbAssignments=50000
7.19 => wckTime=6.591 cpuTime=6.56 mem=5M561
8.53
8.53 search
8.53 run=5 nbConstraintChecks=36855851 nbAssignments=60000
8.53 => wckTime=7.927 cpuTime=7.9 mem=5M561
9.90
9.90 search
9.90 run=6 nbConstraintChecks=42857910 nbAssignments=70000
9.90 => wckTime=9.303 cpuTime=9.27 mem=5M561
11.23
11.23 search
11.23 run=7 nbConstraintChecks=49102951 nbAssignments=80000
11.23 => wckTime=10.629 cpuTime=10.58 mem=5M561
12.50
12.50 search
12.50 run=8 nbConstraintChecks=55124042 nbAssignments=90000
12.50 => wckTime=11.904 cpuTime=11.86 mem=5M561
13.80
13.80 search
13.80 run=9 nbConstraintChecks=61312263 nbAssignments=100000
13.80 => wckTime=13.201 cpuTime=13.16 mem=5M561
15.07
15.07 search
15.07 run=10 nbConstraintChecks=67331083 nbAssignments=110000
15.07 => wckTime=14.475 cpuTime=14.43 mem=5M561
16.38
16.38 search
16.38 run=11 nbConstraintChecks=73560259 nbAssignments=120000
16.38 => wckTime=15.777 cpuTime=15.73 mem=5M561
17.66
17.66 search
17.66 run=12 nbConstraintChecks=79602561 nbAssignments=130000
17.66 => wckTime=17.066 cpuTime=17.02 mem=5M561
18.97
18.97 search
18.97 run=13 nbConstraintChecks=85811151 nbAssignments=140000
18.97 => wckTime=18.375 cpuTime=18.33 mem=5M561
20.26
20.26 search
20.26 run=14 nbConstraintChecks=91862181 nbAssignments=150000
20.26 => wckTime=19.666 cpuTime=19.62 mem=5M561
21.57
21.57 search
21.57 run=15 nbConstraintChecks=98066330 nbAssignments=160000
21.57 => wckTime=20.974 cpuTime=20.93 mem=5M561
22.86
22.86 search
22.86 run=16 nbConstraintChecks=104084631 nbAssignments=170000
22.86 => wckTime=22.26 cpuTime=22.21 mem=5M561
24.17
24.17 search
24.17 run=17 nbConstraintChecks=110298423 nbAssignments=180000
24.17 => wckTime=23.567 cpuTime=23.52 mem=5M561
25.45
25.45 search
25.45 run=18 nbConstraintChecks=116315594 nbAssignments=190000
25.45 => wckTime=24.852 cpuTime=24.81 mem=5M561
26.76
26.76 search
26.76 run=19 nbConstraintChecks=122564963 nbAssignments=200000
26.76 => wckTime=26.162 cpuTime=26.11 mem=5M561
28.04
28.04 search
28.04 run=20 nbConstraintChecks=128600266 nbAssignments=210000
28.04 => wckTime=27.44 cpuTime=27.39 mem=5M561
29.34
29.34 search
29.34 run=21 nbConstraintChecks=134801270 nbAssignments=220000
29.34 => wckTime=28.739 cpuTime=28.69 mem=5M561
30.61
30.61 search
30.61 run=22 nbConstraintChecks=140830898 nbAssignments=230000
30.61 => wckTime=30.016 cpuTime=29.97 mem=5M561
30.71
30.71 search
30.71 run=23 nbConstraintChecks=141288008 nbAssignments=230746
30.71 => wckTime=30.112 cpuTime=30.07 mem=5M561
30.71
30.71 global
30.71 nbConstraintChecks=141288008 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.71 solvingWckTime=30.111 solvingCpuTime=30.07 expiredTime=no totalExploration=no nbFoundSolutions=0
30.71 globalCpuTime=30.31
30.71 => wckTime=30.411 cpuTime=30.27 mem=5M561
30.71
30.71 solver IterativeSystematicSolver being built...
30.88 => wckTime=30.581 cpuTime=30.39 mem=18M468
30.95
30.95 preprocessing
30.95 nbConstraintChecks=2442 nbValidityChecks=6987 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.95 nbRemovedValues=0 detectedInconsistency=no
30.95 => wckTime=0.06 cpuTime=0.05 mem=18M468
30.98
30.98 search
30.98 run=0 nbConstraintChecks=3597 nbValidityChecks=15007 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.98 nbAssignments=32 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=50 nbRestartNogoods=0
30.98 => wckTime=0.091 cpuTime=0.08 mem=19M459
31.01
31.01 search
31.01 run=1 nbConstraintChecks=8844 nbValidityChecks=38337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.01 nbAssignments=75 nbFailedAssignments=15 nbBacktracks=27 nbVisitedNodes=114 nbRestartNogoods=1
31.01 => wckTime=0.129 cpuTime=0.11 mem=19M459
31.05
31.05 search
31.05 run=2 nbConstraintChecks=16172 nbValidityChecks=70038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.05 nbAssignments=133 nbFailedAssignments=34 nbBacktracks=49 nbVisitedNodes=208 nbRestartNogoods=4
31.05 => wckTime=0.163 cpuTime=0.14 mem=19M459
31.09
31.09 search
31.09 run=3 nbConstraintChecks=26316 nbValidityChecks=115659 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.09 nbAssignments=202 nbFailedAssignments=52 nbBacktracks=83 nbVisitedNodes=325 nbRestartNogoods=7
31.09 => wckTime=0.206 cpuTime=0.18 mem=19M459
31.15
31.15 search
31.15 run=4 nbConstraintChecks=38733 nbValidityChecks=177215 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.15 nbAssignments=300 nbFailedAssignments=82 nbBacktracks=133 nbVisitedNodes=483 nbRestartNogoods=10
31.15 => wckTime=0.266 cpuTime=0.24 mem=19M459
31.24
31.24 search
31.24 run=5 nbConstraintChecks=58535 nbValidityChecks=269362 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.24 nbAssignments=433 nbFailedAssignments=124 nbBacktracks=210 nbVisitedNodes=721 nbRestartNogoods=15
31.24 => wckTime=0.355 cpuTime=0.33 mem=19M459
31.36
31.36 search
31.36 run=6 nbConstraintChecks=93445 nbValidityChecks=416840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.36 nbAssignments=624 nbFailedAssignments=185 nbBacktracks=323 nbVisitedNodes=1075 nbRestartNogoods=18
31.36 => wckTime=0.477 cpuTime=0.45 mem=19M459
31.56
31.56 search
31.56 run=7 nbConstraintChecks=138122 nbValidityChecks=628360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.56 nbAssignments=925 nbFailedAssignments=296 nbBacktracks=494 nbVisitedNodes=1612 nbRestartNogoods=22
31.56 => wckTime=0.677 cpuTime=0.65 mem=19M459
31.86
31.86 search
31.86 run=8 nbConstraintChecks=205150 nbValidityChecks=946208 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.86 nbAssignments=1375 nbFailedAssignments=473 nbBacktracks=751 nbVisitedNodes=2418 nbRestartNogoods=27
31.86 => wckTime=0.979 cpuTime=0.94 mem=19M459
32.25
32.25 search
32.25 run=9 nbConstraintChecks=294168 nbValidityChecks=1365628 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.25 nbAssignments=1966 nbFailedAssignments=665 nbBacktracks=1135 nbVisitedNodes=3480 nbRestartNogoods=31
32.26 => wckTime=1.371 cpuTime=1.31 mem=19M459
32.83
32.83 search
32.83 run=10 nbConstraintChecks=440324 nbValidityChecks=2046161 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.83 nbAssignments=2885 nbFailedAssignments=991 nbBacktracks=1711 nbVisitedNodes=5132 nbRestartNogoods=35
32.83 => wckTime=1.949 cpuTime=1.88 mem=19M459
33.66
33.66 search
33.66 run=11 nbConstraintChecks=659267 nbValidityChecks=3133046 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.66 nbAssignments=4274 nbFailedAssignments=1499 nbBacktracks=2575 nbVisitedNodes=7702 nbRestartNogoods=38
33.66 => wckTime=2.78 cpuTime=2.71 mem=19M459
34.85
34.85 search
34.85 run=12 nbConstraintChecks=964805 nbValidityChecks=4645770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.85 nbAssignments=6313 nbFailedAssignments=2223 nbBacktracks=3873 nbVisitedNodes=11391 nbRestartNogoods=46
34.85 => wckTime=3.966 cpuTime=3.9 mem=19M459
36.72
36.72 search
36.72 run=13 nbConstraintChecks=1454074 nbValidityChecks=7015808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.72 nbAssignments=9460 nbFailedAssignments=3408 nbBacktracks=5820 nbVisitedNodes=17140 nbRestartNogoods=51
36.72 => wckTime=5.832 cpuTime=5.76 mem=19M459
39.47
39.47 search
39.47 run=14 nbConstraintChecks=2175544 nbValidityChecks=10600357 nbPropagations=0 nbRevisions=0
39.47 nbUselessRevisions=0 nbAssignments=14182 nbFailedAssignments=5192 nbBacktracks=8740 nbVisitedNodes=25673
39.47 nbRestartNogoods=61
39.47 => wckTime=8.584 cpuTime=8.51 mem=19M459
43.63
43.63 search
43.63 run=15 nbConstraintChecks=3310008 nbValidityChecks=16091710 nbPropagations=0 nbRevisions=0
43.63 nbUselessRevisions=0 nbAssignments=21022 nbFailedAssignments=7638 nbBacktracks=13118 nbVisitedNodes=38487
43.63 nbRestartNogoods=67
43.63 => wckTime=12.747 cpuTime=12.67 mem=19M459
49.45
49.45 search
49.45 run=16 nbConstraintChecks=4901475 nbValidityChecks=23583749 nbPropagations=0 nbRevisions=0
49.45 nbUselessRevisions=0 nbAssignments=31213 nbFailedAssignments=11245 nbBacktracks=19687 nbVisitedNodes=56902
49.45 nbRestartNogoods=75
49.45 => wckTime=18.561 cpuTime=18.49 mem=19M459
58.28
58.28 search
58.28 run=17 nbConstraintChecks=7329374 nbValidityChecks=35015791 nbPropagations=0 nbRevisions=0
58.28 nbUselessRevisions=0 nbAssignments=46593 nbFailedAssignments=16752 nbBacktracks=29540 nbVisitedNodes=84449
58.28 nbRestartNogoods=81
58.28 => wckTime=27.392 cpuTime=27.31 mem=19M459
70.79
70.79 search
70.79 run=18 nbConstraintChecks=10659863 nbValidityChecks=50802373 nbPropagations=0 nbRevisions=0
70.79 nbUselessRevisions=0 nbAssignments=69387 nbFailedAssignments=24756 nbBacktracks=44322 nbVisitedNodes=124214
70.79 nbRestartNogoods=88
70.79 => wckTime=39.903 cpuTime=39.82 mem=19M459
88.95
88.95 search
88.95 run=19 nbConstraintChecks=15858036 nbValidityChecks=74715366 nbPropagations=0 nbRevisions=0
88.95 nbUselessRevisions=0 nbAssignments=102630 nbFailedAssignments=35814 nbBacktracks=66490 nbVisitedNodes=182498
88.95 nbRestartNogoods=95
88.95 => wckTime=58.068 cpuTime=57.97 mem=19M459
114.71
114.71 search
114.71 run=20 nbConstraintChecks=23460485 nbValidityChecks=107289208 nbPropagations=0 nbRevisions=0
114.71 nbUselessRevisions=0 nbAssignments=151886 nbFailedAssignments=51799 nbBacktracks=99745 nbVisitedNodes=266572
114.71 nbRestartNogoods=103
114.71 => wckTime=83.829 cpuTime=83.7 mem=19M459
151.31
151.31 search
151.31 run=21 nbConstraintChecks=34523488 nbValidityChecks=151347418 nbPropagations=0 nbRevisions=0
151.31 nbUselessRevisions=0 nbAssignments=223955 nbFailedAssignments=73974 nbBacktracks=149626 nbVisitedNodes=386814
151.31 nbRestartNogoods=109
151.31 => wckTime=120.426 cpuTime=120.27 mem=19M459
204.08
204.08 search
204.08 run=22 nbConstraintChecks=52189577 nbValidityChecks=216082498 nbPropagations=0 nbRevisions=0
204.08 nbUselessRevisions=0 nbAssignments=330313 nbFailedAssignments=105506 nbBacktracks=224444 nbVisitedNodes=564634
204.08 nbRestartNogoods=116
204.08 => wckTime=173.191 cpuTime=173.01 mem=19M459
281.77
281.77 search
281.77 run=23 nbConstraintChecks=78313741 nbValidityChecks=311447527 nbPropagations=0 nbRevisions=0
281.77 nbUselessRevisions=0 nbAssignments=489388 nbFailedAssignments=152339 nbBacktracks=336671 nbVisitedNodes=828200
281.77 nbRestartNogoods=121
281.77 => wckTime=250.884 cpuTime=250.67 mem=19M459
313.98
313.98 search
313.98 run=24 nbConstraintChecks=89246793 nbValidityChecks=350987801 nbPropagations=0 nbRevisions=0
313.98 nbUselessRevisions=0 nbAssignments=556055 nbFailedAssignments=171188 nbBacktracks=384490 nbVisitedNodes=937559
313.98 nbRestartNogoods=127
313.98 => wckTime=283.099 cpuTime=282.86 mem=19M459
313.98
313.98 global
313.99 nbConstraintChecks=89249235 nbValidityChecks=350994788 nbRestartNogoods=127 solvingWckTime=283.101
313.99 solvingCpuTime=282.86 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=313.29
313.99 => wckTime=313.683 cpuTime=313.25 mem=19M459
313.99
313.99 s OPTIMUM FOUND
313.99 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
313.99
313.99 totalWckTime=313.759 totalCpuTime=313.3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-278002-1169273267 -o ROOT/results/node30/solver-278002-1169273267 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278002-1169273267/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.74 1.95 1.98 4/78 2832
/proc/meminfo: memFree=1568904/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=168 CPUtime=0
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 210 0 0 0 0 0 0 0 18 0 1 0 275720678 172032 17 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6967584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2831/statm: 43 24 18 14 0 3 0
[startup+0.105363 s]
/proc/loadavg: 1.74 1.95 1.98 4/78 2832
/proc/meminfo: memFree=1568904/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=914988 CPUtime=0.08
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 3011 0 1 0 7 1 0 0 16 0 8 0 275720678 936947712 2757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155475392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2831/statm: 228747 2757 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513391 s]
/proc/loadavg: 1.74 1.95 1.98 4/78 2832
/proc/meminfo: memFree=1568904/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915332 CPUtime=0.49
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 6541 0 1 0 46 3 0 0 16 0 8 0 275720678 937299968 6280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154014881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2831/statm: 228833 6280 2156 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33443 s]
/proc/loadavg: 1.74 1.95 1.98 2/85 2839
/proc/meminfo: memFree=1551248/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=1.31
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7091 0 1 0 107 24 0 0 17 0 8 0 275720678 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228857 6829 2478 14 0 215327 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915428 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937398272 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 340 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 6829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915424
[startup+2.98654 s]
/proc/loadavg: 1.68 1.93 1.97 2/85 2839
/proc/meminfo: memFree=1551248/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=2.96
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7095 0 1 0 227 69 0 0 18 0 8 0 275720678 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 6832 2479 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915428 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937398272 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915424
[startup+6.27774 s]
/proc/loadavg: 1.68 1.93 1.97 2/85 2839
/proc/meminfo: memFree=1551256/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915428 CPUtime=6.25
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7095 0 1 0 461 164 0 0 25 0 8 0 275720678 937398272 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 6832 2479 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915428
[startup+12.7592 s]
/proc/loadavg: 1.65 1.92 1.97 2/85 2839
/proc/meminfo: memFree=1551264/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=12.72
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7095 0 1 0 924 348 0 0 25 0 8 0 275720678 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 6832 2479 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915424
[startup+25.593 s]
/proc/loadavg: 1.55 1.89 1.96 2/85 2839
/proc/meminfo: memFree=1551328/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=25.54
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 7095 0 1 0 1844 710 0 0 25 0 8 0 275720678 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 6832 2479 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 170 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915428 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937398272 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.12
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 342 0 0 0 12 0 0 0 16 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915428 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937398272 6832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915424
[startup+51.2906 s]
/proc/loadavg: 1.36 1.81 1.93 2/85 2839
/proc/meminfo: memFree=1541216/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=51.23
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9751 0 1 0 4267 856 0 0 25 0 8 0 275720678 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073907403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9485 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915424
[startup+102.572 s]
/proc/loadavg: 1.14 1.67 1.87 2/85 2839
/proc/meminfo: memFree=1541216/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=102.47
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9760 0 1 0 9391 856 0 0 25 0 8 0 275720678 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9494 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 414 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 915424
[startup+162.589 s]
/proc/loadavg: 1.11 1.56 1.82 2/85 2839
/proc/meminfo: memFree=1541216/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=162.46
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9767 0 1 0 15390 856 0 0 25 0 8 0 275720678 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073713551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9499 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.46
Current children cumulated vsize (KiB) 915424
[startup+222.601 s]
/proc/loadavg: 1.09 1.47 1.77 2/85 2839
/proc/meminfo: memFree=1541216/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=222.44
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9770 0 1 0 21388 856 0 0 25 0 8 0 275720678 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9502 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.44
Current children cumulated vsize (KiB) 915424
[startup+282.616 s]
/proc/loadavg: 1.03 1.39 1.72 2/85 2839
/proc/meminfo: memFree=1541152/2055920 swapFree=4167328/4192956
[pid=2831] ppid=2829 vsize=915424 CPUtime=282.42
/proc/2831/stat : 2831 (java) R 2829 2831 1639 0 -1 0 9772 0 1 0 27386 856 0 0 25 0 8 0 275720678 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2831/statm: 228856 9504 2535 14 0 215326 0
[pid=2831/tid=2833] ppid=2829 vsize=915424 CPUtime=0.02
/proc/2831/task/2833/stat : 2833 (java) S 2829 2831 1639 0 -1 64 171 0 0 0 2 0 0 0 16 0 8 0 275720681 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2834] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2834/stat : 2834 (java) S 2829 2831 1639 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2835] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2835/stat : 2835 (java) S 2829 2831 1639 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275720682 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2836] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2836/stat : 2836 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 275720685 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2837] ppid=2829 vsize=915424 CPUtime=0.24
/proc/2831/task/2837/stat : 2837 (java) S 2829 2831 1639 0 -1 64 415 0 0 0 23 1 0 0 16 0 8 0 275720685 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2838] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2838/stat : 2838 (java) S 2829 2831 1639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275720685 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2831/tid=2839] ppid=2829 vsize=915424 CPUtime=0
/proc/2831/task/2839/stat : 2839 (java) S 2829 2831 1639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275720685 937394176 9504 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.42
Current children cumulated vsize (KiB) 915424
Child status: 0
Real time (s): 314.027
CPU time (s): 313.797
CPU user time (s): 305.221
CPU system time (s): 8.5767
CPU usage (%): 99.9268
Max. virtual memory (cumulated for all children) (KiB): 915428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.221
system time used= 8.5767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9867
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= 7309
involuntary context switches= 14412
runsolver used 0.308953 s user time and 0.814876 s system time
The end
Begin job on node30 on Sat Jan 20 06:07:47 UTC 2007
IDJOB= 278002
IDBENCH= 7920
IDSOLVER= 68
FILE ID= node30/278002-1169273267
PBS_JOBID= 3607350
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/278002-1169273267/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-278002-1169273267 -o ROOT/results/node30/solver-278002-1169273267 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278002-1169273267/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 270ec4ff4b5780b4727b03faf9743be5
RANDOM SEED= 72177632
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1569320 kB
Buffers: 39108 kB
Cached: 341704 kB
SwapCached: 2164 kB
Active: 104188 kB
Inactive: 306372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1569320 kB
SwapTotal: 4192956 kB
SwapFree: 4167328 kB
Dirty: 1984 kB
Writeback: 0 kB
Mapped: 45268 kB
Slab: 61432 kB
Committed_AS: 5064512 kB
PageTables: 1892 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node30 on Sat Jan 20 06:13:01 UTC 2007