0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=pfc.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/281837-1169314630/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.38 => wckTime=0.094 cpuTime=0.08 mem=6M910
0.38
0.38 relations being loaded...
0.42
0.42 constraints being loaded...
0.46 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
0.46 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1332 maxDegree=10
0.46 maxArity=2
0.46 => wckTime=0.178 cpuTime=0.13 mem=7M918
0.50
0.50 solver LocalSearchSolver being built...
0.54 => wckTime=0.256 cpuTime=0.17 mem=5M439
0.54
0.54 s SATISFIABLE
0.54 o 15
0.54 c 60
0.55 o 18
0.55 c 57
0.55 o 19
0.55 c 56
0.55 o 21
0.55 c 54
0.55 o 22
0.55 c 53
0.55 o 24
0.55 c 51
0.55 o 26
0.55 c 49
0.55 o 28
0.55 c 47
0.55 o 30
0.55 c 45
0.55 o 31
0.55 c 44
0.56 o 32
0.56 c 43
0.56 o 33
0.56 c 42
0.56 o 34
0.56 c 41
0.56 o 35
0.56 c 40
0.56 o 36
0.56 c 39
0.56 o 37
0.56 c 38
0.56 o 38
0.56 c 37
0.56 o 39
0.56 c 36
0.56 o 40
0.56 c 35
0.56 o 41
0.56 c 34
0.57 o 42
0.57 c 33
0.57 o 44
0.57 c 31
0.59 o 45
0.59 c 30
0.59 o 46
0.59 c 29
0.59 o 47
0.59 c 28
2.00
2.00 search
2.00 run=0 nbConstraintChecks=8757546 nbAssignments=10000
2.00 => wckTime=1.458 cpuTime=1.44 mem=5M439
3.40
3.40 search
3.40 run=1 nbConstraintChecks=17629699 nbAssignments=20000
3.40 => wckTime=2.861 cpuTime=2.83 mem=5M439
4.80
4.80 search
4.80 run=2 nbConstraintChecks=26510932 nbAssignments=30000
4.80 => wckTime=4.257 cpuTime=4.23 mem=5M439
6.21
6.21 search
6.21 run=3 nbConstraintChecks=35273435 nbAssignments=40000
6.21 => wckTime=5.667 cpuTime=5.62 mem=5M439
7.59
7.59 search
7.59 run=4 nbConstraintChecks=43971036 nbAssignments=50000
7.59 => wckTime=7.051 cpuTime=7.0 mem=5M439
8.97
8.97 search
8.97 run=5 nbConstraintChecks=52636181 nbAssignments=60000
8.97 => wckTime=8.433 cpuTime=8.38 mem=5M439
10.36
10.36 search
10.36 run=6 nbConstraintChecks=61402597 nbAssignments=70000
10.36 => wckTime=9.819 cpuTime=9.77 mem=5M439
11.77
11.77 search
11.77 run=7 nbConstraintChecks=70548638 nbAssignments=80000
11.77 => wckTime=11.232 cpuTime=11.18 mem=5M439
13.15
13.15 search
13.15 run=8 nbConstraintChecks=79292795 nbAssignments=90000
13.15 => wckTime=12.611 cpuTime=12.56 mem=5M439
14.54
14.54 search
14.54 run=9 nbConstraintChecks=88144186 nbAssignments=100000
14.55 => wckTime=14.007 cpuTime=13.95 mem=5M439
15.92
15.92 search
15.92 run=10 nbConstraintChecks=96814487 nbAssignments=110000
15.92 => wckTime=15.381 cpuTime=15.32 mem=5M439
17.32
17.32 search
17.32 run=11 nbConstraintChecks=105772258 nbAssignments=120000
17.32 => wckTime=16.779 cpuTime=16.72 mem=5M439
18.70
18.70 search
18.70 run=12 nbConstraintChecks=114620160 nbAssignments=130000
18.70 => wckTime=18.164 cpuTime=18.1 mem=5M439
20.07
20.07 search
20.07 run=13 nbConstraintChecks=123236661 nbAssignments=140000
20.07 => wckTime=19.532 cpuTime=19.47 mem=5M439
21.45
21.45 search
21.45 run=14 nbConstraintChecks=131872260 nbAssignments=150000
21.45 => wckTime=20.913 cpuTime=20.85 mem=5M439
22.85
22.85 search
22.85 run=15 nbConstraintChecks=140670012 nbAssignments=160000
22.85 => wckTime=22.312 cpuTime=22.25 mem=5M439
24.24
24.24 search
24.24 run=16 nbConstraintChecks=149434918 nbAssignments=170000
24.24 => wckTime=23.704 cpuTime=23.64 mem=5M439
25.65
25.65 search
25.65 run=17 nbConstraintChecks=158345942 nbAssignments=180000
25.65 => wckTime=25.112 cpuTime=25.05 mem=5M439
27.03
27.03 search
27.03 run=18 nbConstraintChecks=166985440 nbAssignments=190000
27.03 => wckTime=26.495 cpuTime=26.43 mem=5M439
28.43
28.43 search
28.43 run=19 nbConstraintChecks=175852057 nbAssignments=200000
28.43 => wckTime=27.893 cpuTime=27.83 mem=5M439
29.83
29.83 search
29.83 run=20 nbConstraintChecks=184667416 nbAssignments=210000
29.83 => wckTime=29.29 cpuTime=29.23 mem=5M439
30.65
30.65 search
30.65 run=21 nbConstraintChecks=189794798 nbAssignments=216044
30.65 => wckTime=30.112 cpuTime=30.05 mem=5M439
30.65
30.65 global
30.65 nbConstraintChecks=189794798 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.65 solvingWckTime=30.111 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.65 globalCpuTime=30.26
30.65 => wckTime=30.369 cpuTime=30.22 mem=5M439
30.65
30.65 solver IterativeSystematicSolver being built...
30.78 => wckTime=30.493 cpuTime=30.31 mem=16M428
30.78
30.78 preprocessing
30.78 nbConstraintChecks=1460 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.78 detectedInconsistency=no
30.78 => wckTime=0.0060 cpuTime=0.0 mem=16M428
30.84
30.84 search
30.84 run=0 nbConstraintChecks=89719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46
30.84 nbFailedAssignments=28 nbBacktracks=10 nbVisitedNodes=85 nbRestartNogoods=0
30.84 => wckTime=0.063 cpuTime=0.04 mem=16M428
30.87
30.87 search
30.87 run=1 nbConstraintChecks=169191 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87
30.87 nbFailedAssignments=47 nbBacktracks=25 nbVisitedNodes=160 nbRestartNogoods=13
30.87 => wckTime=0.096 cpuTime=0.06 mem=16M428
30.92
30.92 search
30.92 run=2 nbConstraintChecks=341867 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=166
30.92 nbFailedAssignments=97 nbBacktracks=47 nbVisitedNodes=311 nbRestartNogoods=17
30.92 => wckTime=0.14 cpuTime=0.11 mem=16M428
30.96
30.96 search
30.96 run=3 nbConstraintChecks=533887 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=264
30.96 nbFailedAssignments=155 nbBacktracks=80 nbVisitedNodes=500 nbRestartNogoods=24
30.96 => wckTime=0.185 cpuTime=0.16 mem=16M428
31.03
31.03 search
31.03 run=4 nbConstraintChecks=826079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=405
31.03 nbFailedAssignments=239 nbBacktracks=130 nbVisitedNodes=775 nbRestartNogoods=32
31.03 => wckTime=0.256 cpuTime=0.23 mem=16M428
31.14
31.14 search
31.14 run=5 nbConstraintChecks=1307226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=650
31.14 nbFailedAssignments=401 nbBacktracks=205 nbVisitedNodes=1257 nbRestartNogoods=47
31.14 => wckTime=0.366 cpuTime=0.33 mem=16M428
31.34
31.34 search
31.34 run=6 nbConstraintChecks=2147757 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1048
31.34 nbFailedAssignments=680 nbBacktracks=318 nbVisitedNodes=2041 nbRestartNogoods=57
31.34 => wckTime=0.568 cpuTime=0.53 mem=16M428
31.58
31.58 search
31.58 run=7 nbConstraintChecks=3197405 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1533
31.58 nbFailedAssignments=990 nbBacktracks=488 nbVisitedNodes=2995 nbRestartNogoods=69
31.58 => wckTime=0.799 cpuTime=0.75 mem=16M428
31.93
31.93 search
31.93 run=8 nbConstraintChecks=4994617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2452
31.93 nbFailedAssignments=1645 nbBacktracks=744 nbVisitedNodes=4825 nbRestartNogoods=76
31.93 => wckTime=1.156 cpuTime=1.09 mem=16M428
32.70
32.70 search
32.70 run=9 nbConstraintChecks=8765419 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4130
32.70 nbFailedAssignments=2932 nbBacktracks=1128 nbVisitedNodes=8160 nbRestartNogoods=87
32.70 => wckTime=1.919 cpuTime=1.86 mem=16M428
33.42
33.42 search
33.42 run=10 nbConstraintChecks=12179822 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5757
33.42 nbFailedAssignments=3977 nbBacktracks=1704 nbVisitedNodes=11373 nbRestartNogoods=99
33.42 => wckTime=2.647 cpuTime=2.58 mem=16M428
34.55
34.55 search
34.55 run=11 nbConstraintChecks=17702306 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8418
34.55 nbFailedAssignments=5768 nbBacktracks=2568 nbVisitedNodes=16687 nbRestartNogoods=112
34.55 => wckTime=3.778 cpuTime=3.71 mem=16M428
36.29
36.29 search
36.29 run=12 nbConstraintChecks=25724438 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12140
36.29 nbFailedAssignments=8187 nbBacktracks=3865 nbVisitedNodes=24110 nbRestartNogoods=122
36.29 => wckTime=5.51 cpuTime=5.44 mem=16M428
39.63
39.63 search
39.63 run=13 nbConstraintChecks=41706967 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19322
39.63 nbFailedAssignments=13417 nbBacktracks=5812 nbVisitedNodes=38369 nbRestartNogoods=134
39.63 => wckTime=8.853 cpuTime=8.78 mem=16M428
43.76
43.76 search
43.76 run=14 nbConstraintChecks=60415617 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28643
43.76 nbFailedAssignments=19812 nbBacktracks=8731 nbVisitedNodes=56902 nbRestartNogoods=143
43.76 => wckTime=12.981 cpuTime=12.91 mem=16M428
50.05
50.05 search
50.05 run=15 nbConstraintChecks=91221797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44756
50.05 nbFailedAssignments=31538 nbBacktracks=13109 nbVisitedNodes=89119 nbRestartNogoods=164
50.05 => wckTime=19.273 cpuTime=19.2 mem=16M428
58.80
58.80 search
58.80 run=16 nbConstraintChecks=131497941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64411
58.80 nbFailedAssignments=44618 nbBacktracks=19677 nbVisitedNodes=128258 nbRestartNogoods=197
58.80 => wckTime=28.028 cpuTime=27.93 mem=16M428
73.38
73.38 search
73.38 run=17 nbConstraintChecks=199748490 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=98966
73.38 nbFailedAssignments=69314 nbBacktracks=29529 nbVisitedNodes=197283 nbRestartNogoods=223
73.38 => wckTime=42.6 cpuTime=42.49 mem=16M428
91.50
91.50 search
91.50 run=18 nbConstraintChecks=286163807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=139377
91.50 nbFailedAssignments=94940 nbBacktracks=44307 nbVisitedNodes=277308 nbRestartNogoods=247
91.50 => wckTime=60.719 cpuTime=60.6 mem=16M428
125.81
125.81 search
125.81 run=19 nbConstraintChecks=450443524 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=225471
125.81 nbFailedAssignments=158859 nbBacktracks=66475 nbVisitedNodes=448262 nbRestartNogoods=255
125.81 => wckTime=95.035 cpuTime=94.88 mem=16M428
173.67
173.67 search
173.67 run=20 nbConstraintChecks=670281816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=342279
173.67 nbFailedAssignments=242410 nbBacktracks=99727 nbVisitedNodes=680087 nbRestartNogoods=274
173.67 => wckTime=142.897 cpuTime=142.7 mem=16M428
240.73
240.73 search
240.73 run=21 nbConstraintChecks=969752731 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=505535
240.73 nbFailedAssignments=355784 nbBacktracks=149605 nbVisitedNodes=1003972 nbRestartNogoods=292
240.73 => wckTime=209.955 cpuTime=209.69 mem=16M428
354.32
354.32 search
354.32 run=22 nbConstraintChecks=1499446941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=779278
354.32 nbFailedAssignments=554704 nbBacktracks=224423 nbVisitedNodes=1545662 nbRestartNogoods=314
354.32 => wckTime=323.548 cpuTime=323.18 mem=16M428
516.03
516.03 search
516.03 run=23 nbConstraintChecks=2256316062 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1160953
516.03 nbFailedAssignments=824147 nbBacktracks=336650 nbVisitedNodes=2301012 nbRestartNogoods=332
516.03 => wckTime=485.25 cpuTime=484.74 mem=16M428
519.37
519.37 search
519.37 run=24 nbConstraintChecks=2272248126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1168743
519.37 nbFailedAssignments=829828 nbBacktracks=338760 nbVisitedNodes=2316438 nbRestartNogoods=358
519.37 => wckTime=488.596 cpuTime=488.09 mem=16M428
519.37
519.37 global
519.37 nbConstraintChecks=2272249586 nbRestartNogoods=358 solvingWckTime=488.597 solvingCpuTime=488.09 expiredTime=no
519.37 totalExploration=yes nbFoundSolutions=0 globalCpuTime=518.44
519.37 => wckTime=519.09 cpuTime=518.4 mem=16M428
519.38
519.38 s OPTIMUM FOUND
519.38 v 2 3 7 7 1 4 8 7 7 3 1 9 0 0 2 8 4 6 6 8 8 7 0 3 8
519.38
519.38 totalWckTime=519.165 totalCpuTime=518.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-281837-1169314630 -o ROOT/results/node52/solver-281837-1169314630 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281837-1169314630/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.41 1.11 1.08 4/80 30373
/proc/meminfo: memFree=1253080/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=1784 CPUtime=0
/proc/30372/stat : 30372 (java) D 30370 30372 29903 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 279861529 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4309796 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/30372/statm: 446 163 128 14 0 91 0
[startup+0.107341 s]
/proc/loadavg: 1.41 1.11 1.08 4/80 30373
/proc/meminfo: memFree=1253080/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=914988 CPUtime=0.1
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 3131 0 1 0 8 2 0 0 24 0 8 0 279861529 936947712 2877 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228747 2878 1474 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.515369 s]
/proc/loadavg: 1.41 1.11 1.08 4/80 30373
/proc/meminfo: memFree=1253080/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915332 CPUtime=0.5
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 6758 0 1 0 46 4 0 0 25 0 8 0 279861529 937299968 6496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228833 6496 2291 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33642 s]
/proc/loadavg: 1.41 1.11 1.08 3/87 30380
/proc/meminfo: memFree=1235928/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=1.32
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 6968 0 1 0 109 23 0 0 25 0 8 0 279861529 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 6706 2476 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915440 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937410560 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.11
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 279861536 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915440 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937410560 6706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915436
[startup+2.97354 s]
/proc/loadavg: 1.46 1.12 1.09 3/87 30380
/proc/meminfo: memFree=1235864/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=2.96
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 6971 0 1 0 227 69 0 0 25 0 8 0 279861529 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 6708 2476 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915440 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937410560 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.11
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 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) 915436
[startup+6.26576 s]
/proc/loadavg: 1.46 1.12 1.09 3/87 30380
/proc/meminfo: memFree=1235864/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=6.22
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 6971 0 1 0 462 160 0 0 25 0 8 0 279861529 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 6708 2476 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915440 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 279861533 937410560 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.11
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915436
[startup+12.7382 s]
/proc/loadavg: 1.54 1.15 1.10 3/87 30380
/proc/meminfo: memFree=1235872/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=12.69
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 6972 0 1 0 947 322 0 0 25 0 8 0 279861529 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 6708 2476 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 138 0 0 0 2 0 0 0 17 0 8 0 279861533 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915440 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937410560 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.11
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 6708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915436
[startup+25.6041 s]
/proc/loadavg: 1.61 1.18 1.10 3/87 30380
/proc/meminfo: memFree=1235808/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=25.55
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 6973 0 1 0 1899 656 0 0 25 0 8 0 279861529 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073650273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228860 6709 2476 14 0 215330 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 138 0 0 0 2 0 0 0 17 0 8 0 279861533 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915440 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.11
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279861536 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915440 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915436
[startup+51.3048 s]
/proc/loadavg: 1.81 1.26 1.13 3/87 30380
/proc/meminfo: memFree=1228192/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=51.22
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 8998 0 1 0 4331 791 0 0 25 0 8 0 279861529 937406464 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 8731 2527 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 279861536 937406464 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915436
[startup+102.598 s]
/proc/loadavg: 1.91 1.37 1.18 3/87 30380
/proc/meminfo: memFree=1228128/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=102.47
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 9010 0 1 0 9456 791 0 0 25 0 8 0 279861529 937406464 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758605 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 8741 2527 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279861536 937406464 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 8741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 8741 18446744073709551615 134512640 134570532 4294956480 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) 915436
[startup+162.628 s]
/proc/loadavg: 2.05 1.50 1.23 3/87 30380
/proc/meminfo: memFree=1228128/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=162.44
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 9012 0 1 0 15453 791 0 0 25 0 8 0 279861529 937406464 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 8743 2527 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279861536 937406464 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 8743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.44
Current children cumulated vsize (KiB) 915436
[startup+222.663 s]
/proc/loadavg: 2.02 1.59 1.28 3/87 30380
/proc/meminfo: memFree=1228064/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=222.43
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 9015 0 1 0 21452 791 0 0 25 0 8 0 279861529 937406464 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073656371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 8745 2527 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279861536 937406464 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 8745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.43
Current children cumulated vsize (KiB) 915436
[startup+282.696 s]
/proc/loadavg: 2.00 1.66 1.32 3/87 30380
/proc/meminfo: memFree=1228064/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=282.41
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 9018 0 1 0 27449 792 0 0 25 0 8 0 279861529 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 8748 2527 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279861536 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.41
Current children cumulated vsize (KiB) 915436
[startup+342.732 s]
/proc/loadavg: 2.00 1.72 1.36 3/87 30380
/proc/meminfo: memFree=1228000/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=342.39
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 9018 0 1 0 33447 792 0 0 25 0 8 0 279861529 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 8748 2527 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279861536 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 8748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.39
Current children cumulated vsize (KiB) 915436
[startup+402.765 s]
/proc/loadavg: 2.00 1.77 1.40 3/87 30380
/proc/meminfo: memFree=1227936/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=402.38
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 9020 0 1 0 39446 792 0 0 25 0 8 0 279861529 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761805 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 8750 2527 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279861536 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.38
Current children cumulated vsize (KiB) 915436
[startup+462.797 s]
/proc/loadavg: 2.00 1.81 1.43 3/87 30380
/proc/meminfo: memFree=1227936/2055920 swapFree=4192812/4192956
[pid=30372] ppid=30370 vsize=915436 CPUtime=462.34
/proc/30372/stat : 30372 (java) R 30370 30372 29903 0 -1 0 9020 0 1 0 45442 792 0 0 25 0 8 0 279861529 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758789 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30372/statm: 228859 8750 2527 14 0 215329 0
[pid=30372/tid=30374] ppid=30370 vsize=915436 CPUtime=0.02
/proc/30372/task/30374/stat : 30374 (java) S 30370 30372 29903 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279861533 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30375] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30375/stat : 30375 (java) S 30370 30372 29903 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279861533 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30376] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30376/stat : 30376 (java) S 30370 30372 29903 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279861533 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30377] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30377/stat : 30377 (java) S 30370 30372 29903 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279861536 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30378] ppid=30370 vsize=915436 CPUtime=0.22
/proc/30372/task/30378/stat : 30378 (java) S 30370 30372 29903 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279861536 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30379] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30379/stat : 30379 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 279861536 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30372/tid=30380] ppid=30370 vsize=915436 CPUtime=0
/proc/30372/task/30380/stat : 30380 (java) S 30370 30372 29903 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279861536 937406464 8750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 519.425
CPU time (s): 518.897
CPU user time (s): 510.964
CPU system time (s): 7.93279
CPU usage (%): 99.8985
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 510.964
system time used= 7.93279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9119
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= 11590
involuntary context switches= 14148
runsolver used 0.580911 s user time and 1.2878 s system time
The end
Begin job on node52 on Sat Jan 20 17:37:10 UTC 2007
IDJOB= 281837
IDBENCH= 12283
IDSOLVER= 69
FILE ID= node52/281837-1169314630
PBS_JOBID= 3610317
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseTight/vcsp-25-10-25-87-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281837-1169314630/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-281837-1169314630 -o ROOT/results/node52/solver-281837-1169314630 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281837-1169314630/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c085c7656b4e5753dc2b163c22418691
RANDOM SEED= 504131002
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.232
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.232
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: 1253560 kB
Buffers: 50360 kB
Cached: 625152 kB
SwapCached: 0 kB
Active: 168680 kB
Inactive: 552304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1253560 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1964 kB
Writeback: 0 kB
Mapped: 65748 kB
Slab: 66592 kB
Committed_AS: 6746008 kB
PageTables: 1980 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 node52 on Sat Jan 20 17:45:50 UTC 2007