0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=pfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/281666-1169313504/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.44 => wckTime=0.101 cpuTime=0.08 mem=6M910
0.44
0.44 relations being loaded...
0.49
0.49 constraints being loaded...
0.53 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.53 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1064 maxDegree=9
0.53 maxArity=2
0.53 => wckTime=0.189 cpuTime=0.14 mem=7M950
0.57
0.57 solver LocalSearchSolver being built...
0.61 => wckTime=0.272 cpuTime=0.18 mem=5M428
0.62
0.62 s SATISFIABLE
0.62 o 14
0.62 c 49
0.62 o 16
0.62 c 47
0.62 o 18
0.62 c 45
0.62 o 19
0.62 c 44
0.62 o 21
0.62 c 42
0.62 o 23
0.62 c 40
0.63 o 25
0.63 c 38
0.63 o 26
0.63 c 37
0.63 o 28
0.63 c 35
0.63 o 30
0.63 c 33
0.63 o 31
0.63 c 32
0.63 o 32
0.63 c 31
0.63 o 33
0.63 c 30
0.63 o 34
0.63 c 29
0.63 o 35
0.63 c 28
0.63 o 36
0.63 c 27
0.63 o 37
0.63 c 26
0.63 o 38
0.63 c 25
0.63 o 39
0.63 c 24
0.64 o 40
0.64 c 23
0.64 o 41
0.64 c 22
0.64 o 42
0.64 c 21
0.70 o 43
0.70 c 20
0.70 o 44
0.70 c 19
1.96
1.96 search
1.96 run=0 nbConstraintChecks=6298769 nbAssignments=10000
1.96 => wckTime=1.343 cpuTime=1.31 mem=5M428
3.25
3.25 search
3.25 run=1 nbConstraintChecks=12550427 nbAssignments=20000
3.25 => wckTime=2.633 cpuTime=2.6 mem=5M428
4.54
4.54 search
4.54 run=2 nbConstraintChecks=18825031 nbAssignments=30000
4.54 => wckTime=3.927 cpuTime=3.87 mem=5M428
5.84
5.84 search
5.84 run=3 nbConstraintChecks=25169835 nbAssignments=40000
5.84 => wckTime=5.223 cpuTime=5.16 mem=5M428
7.14
7.14 search
7.14 run=4 nbConstraintChecks=31584206 nbAssignments=50000
7.14 => wckTime=6.525 cpuTime=6.45 mem=5M428
8.48
8.48 search
8.48 run=5 nbConstraintChecks=38428412 nbAssignments=60000
8.48 => wckTime=7.872 cpuTime=7.78 mem=5M428
9.78
9.78 search
9.78 run=6 nbConstraintChecks=44729628 nbAssignments=70000
9.78 => wckTime=9.166 cpuTime=9.07 mem=5M428
11.10
11.10 search
11.10 run=7 nbConstraintChecks=51204239 nbAssignments=80000
11.10 => wckTime=10.487 cpuTime=10.37 mem=5M428
12.40
12.40 search
12.40 run=8 nbConstraintChecks=57487361 nbAssignments=90000
12.40 => wckTime=11.789 cpuTime=11.67 mem=5M428
13.71
13.71 search
13.71 run=9 nbConstraintChecks=63813245 nbAssignments=100000
13.71 => wckTime=13.096 cpuTime=12.96 mem=5M428
15.01
15.01 search
15.01 run=10 nbConstraintChecks=70145174 nbAssignments=110000
15.01 => wckTime=14.4 cpuTime=14.26 mem=5M428
16.33
16.33 search
16.33 run=11 nbConstraintChecks=76492721 nbAssignments=120000
16.33 => wckTime=15.712 cpuTime=15.56 mem=5M428
17.64
17.64 search
17.64 run=12 nbConstraintChecks=82845306 nbAssignments=130000
17.64 => wckTime=17.023 cpuTime=16.86 mem=5M428
18.95
18.95 search
18.95 run=13 nbConstraintChecks=89277960 nbAssignments=140000
18.95 => wckTime=18.34 cpuTime=18.16 mem=5M428
20.26
20.26 search
20.26 run=14 nbConstraintChecks=95656515 nbAssignments=150000
20.26 => wckTime=19.647 cpuTime=19.46 mem=5M428
21.57
21.57 search
21.57 run=15 nbConstraintChecks=102127763 nbAssignments=160000
21.57 => wckTime=20.959 cpuTime=20.76 mem=5M428
22.87
22.87 search
22.87 run=16 nbConstraintChecks=108458909 nbAssignments=170000
22.87 => wckTime=22.255 cpuTime=22.04 mem=5M428
24.20
24.20 search
24.20 run=17 nbConstraintChecks=115076432 nbAssignments=180000
24.20 => wckTime=23.585 cpuTime=23.36 mem=5M428
25.50
25.50 search
25.50 run=18 nbConstraintChecks=121463613 nbAssignments=190000
25.50 => wckTime=24.885 cpuTime=24.66 mem=5M428
26.83
26.83 search
26.83 run=19 nbConstraintChecks=128106318 nbAssignments=200000
26.83 => wckTime=26.214 cpuTime=25.97 mem=5M428
28.14
28.14 search
28.14 run=20 nbConstraintChecks=134641376 nbAssignments=210000
28.14 => wckTime=27.531 cpuTime=27.27 mem=5M428
29.45
29.45 search
29.45 run=21 nbConstraintChecks=141003784 nbAssignments=220000
29.45 => wckTime=28.836 cpuTime=28.57 mem=5M428
30.77
30.77 search
30.77 run=22 nbConstraintChecks=147441413 nbAssignments=230000
30.77 => wckTime=30.152 cpuTime=29.87 mem=5M428
30.97
30.97 search
30.97 run=23 nbConstraintChecks=148467494 nbAssignments=231488
30.97 => wckTime=30.358 cpuTime=30.08 mem=5M428
30.97
30.97 global
30.97 nbConstraintChecks=148467494 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.97 solvingWckTime=30.357 solvingCpuTime=30.08 expiredTime=no totalExploration=no nbFoundSolutions=0
30.97 globalCpuTime=30.31
30.97 => wckTime=30.631 cpuTime=30.26 mem=5M428
30.97
30.97 solver IterativeSystematicSolver being built...
31.11 => wckTime=30.764 cpuTime=30.37 mem=16M434
31.11
31.11 preprocessing
31.11 nbConstraintChecks=1170 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.11 detectedInconsistency=no
31.11 => wckTime=0.0060 cpuTime=0.0 mem=16M434
31.17
31.17 search
31.17 run=0 nbConstraintChecks=55519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
31.17 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0
31.17 => wckTime=0.058 cpuTime=0.03 mem=16M434
31.21
31.21 search
31.21 run=1 nbConstraintChecks=153198 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=97
31.21 nbFailedAssignments=58 nbBacktracks=25 nbVisitedNodes=181 nbRestartNogoods=8
31.21 => wckTime=0.103 cpuTime=0.07 mem=16M434
31.25
31.25 search
31.25 run=2 nbConstraintChecks=275178 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=176
31.25 nbFailedAssignments=107 nbBacktracks=47 nbVisitedNodes=331 nbRestartNogoods=18
31.25 => wckTime=0.141 cpuTime=0.1 mem=16M434
31.33
31.33 search
31.33 run=3 nbConstraintChecks=574950 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=347
31.33 nbFailedAssignments=239 nbBacktracks=80 nbVisitedNodes=666 nbRestartNogoods=23
31.33 => wckTime=0.226 cpuTime=0.18 mem=16M434
31.44
31.44 search
31.44 run=4 nbConstraintChecks=993955 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=593
31.44 nbFailedAssignments=429 nbBacktracks=130 nbVisitedNodes=1152 nbRestartNogoods=37
31.44 => wckTime=0.329 cpuTime=0.29 mem=16M434
31.55
31.55 search
31.55 run=5 nbConstraintChecks=1442309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=856
31.55 nbFailedAssignments=609 nbBacktracks=206 nbVisitedNodes=1670 nbRestartNogoods=48
31.55 => wckTime=0.441 cpuTime=0.4 mem=16M434
31.74
31.74 search
31.74 run=6 nbConstraintChecks=2124790 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1244
31.74 nbFailedAssignments=879 nbBacktracks=319 nbVisitedNodes=2437 nbRestartNogoods=51
31.74 => wckTime=0.633 cpuTime=0.58 mem=16M434
31.94
31.94 search
31.94 run=7 nbConstraintChecks=2842815 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1687
31.94 nbFailedAssignments=1145 nbBacktracks=489 nbVisitedNodes=3316 nbRestartNogoods=59
31.94 => wckTime=0.832 cpuTime=0.76 mem=16M434
32.30
32.30 search
32.30 run=8 nbConstraintChecks=4150317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2460
32.30 nbFailedAssignments=1654 nbBacktracks=745 nbVisitedNodes=4848 nbRestartNogoods=68
32.30 => wckTime=1.194 cpuTime=1.11 mem=16M434
32.78
32.78 search
32.78 run=9 nbConstraintChecks=6140622 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3671
32.78 nbFailedAssignments=2473 nbBacktracks=1129 nbVisitedNodes=7261 nbRestartNogoods=86
32.78 => wckTime=1.672 cpuTime=1.59 mem=16M434
33.61
33.61 search
33.61 run=10 nbConstraintChecks=9371924 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5543
33.61 nbFailedAssignments=3763 nbBacktracks=1705 nbVisitedNodes=10970 nbRestartNogoods=96
33.61 => wckTime=2.501 cpuTime=2.4 mem=16M434
34.47
34.47 search
34.47 run=11 nbConstraintChecks=12808048 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7651
34.47 nbFailedAssignments=4998 nbBacktracks=2569 nbVisitedNodes=15177 nbRestartNogoods=112
34.47 => wckTime=3.366 cpuTime=3.26 mem=16M434
35.84
35.84 search
35.84 run=12 nbConstraintChecks=18607301 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11237
35.84 nbFailedAssignments=7280 nbBacktracks=3866 nbVisitedNodes=22338 nbRestartNogoods=124
35.84 => wckTime=4.735 cpuTime=4.62 mem=16M434
38.50
38.50 search
38.50 run=13 nbConstraintChecks=29020053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17197
38.50 nbFailedAssignments=11290 nbBacktracks=5812 nbVisitedNodes=34173 nbRestartNogoods=137
38.50 => wckTime=7.394 cpuTime=7.25 mem=16M434
41.65
41.65 search
41.65 run=14 nbConstraintChecks=41628140 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24740
41.65 nbFailedAssignments=15906 nbBacktracks=8731 nbVisitedNodes=49248 nbRestartNogoods=148
41.65 => wckTime=10.544 cpuTime=10.38 mem=16M434
46.56
46.56 search
46.56 run=15 nbConstraintChecks=63238706 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37863
46.56 nbFailedAssignments=24642 nbBacktracks=13109 nbVisitedNodes=75415 nbRestartNogoods=162
46.56 => wckTime=15.45 cpuTime=15.25 mem=16M434
56.09
56.09 search
56.09 run=16 nbConstraintChecks=101081870 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59899
56.09 nbFailedAssignments=40102 nbBacktracks=19677 nbVisitedNodes=119161 nbRestartNogoods=191
56.09 => wckTime=24.98 cpuTime=24.7 mem=16M434
70.40
70.40 search
70.40 run=17 nbConstraintChecks=154476618 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93787
70.40 nbFailedAssignments=64133 nbBacktracks=29529 nbVisitedNodes=186552 nbRestartNogoods=207
70.40 => wckTime=39.296 cpuTime=38.89 mem=16M434
94.45
94.45 search
94.45 run=18 nbConstraintChecks=249658928 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151680
94.45 nbFailedAssignments=107240 nbBacktracks=44308 nbVisitedNodes=301434 nbRestartNogoods=226
94.45 => wckTime=63.343 cpuTime=62.73 mem=16M434
126.59
126.59 search
126.59 run=19 nbConstraintChecks=378774230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=230246
126.59 nbFailedAssignments=163633 nbBacktracks=66476 nbVisitedNodes=456838 nbRestartNogoods=237
126.59 => wckTime=95.48 cpuTime=94.6 mem=16M434
173.32
173.32 search
173.32 run=20 nbConstraintChecks=568343479 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=344539
173.32 nbFailedAssignments=244670 nbBacktracks=99730 nbVisitedNodes=682773 nbRestartNogoods=260
173.32 => wckTime=142.211 cpuTime=140.95 mem=16M434
241.67
241.67 search
241.67 run=21 nbConstraintChecks=842307707 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=510993
241.67 nbFailedAssignments=361242 nbBacktracks=149608 nbVisitedNodes=1011553 nbRestartNogoods=263
241.67 => wckTime=210.562 cpuTime=208.72 mem=16M434
327.35
327.35 search
327.35 run=22 nbConstraintChecks=1197619436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=724937
327.35 nbFailedAssignments=515718 nbBacktracks=209077 nbVisitedNodes=1433803 nbRestartNogoods=273
327.35 => wckTime=296.247 cpuTime=293.67 mem=16M434
327.36
327.36 global
327.36 nbConstraintChecks=1197620606 nbRestartNogoods=273 solvingWckTime=296.248 solvingCpuTime=293.67 expiredTime=no
327.36 totalExploration=yes nbFoundSolutions=0 globalCpuTime=324.09
327.36 => wckTime=327.013 cpuTime=324.04 mem=16M434
327.36
327.36 s OPTIMUM FOUND
327.36 v 8 7 2 1 4 6 5 0 8 0 9 8 4 0 0 4 6 6 5 8 4 8 8 9 7
327.36
327.36 totalWckTime=327.093 totalCpuTime=324.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-281666-1169313504 -o ROOT/results/node13/solver-281666-1169313504 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281666-1169313504/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: 2.05 2.03 2.00 5/87 31841
/proc/meminfo: memFree=1278096/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=18540 CPUtime=0
/proc/31840/stat : 31840 (runsolver) R 31838 31840 31724 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 279745374 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269754595050 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31840/statm: 4635 279 244 17 0 2626 0
[startup+0.108374 s]
/proc/loadavg: 2.05 2.03 2.00 5/87 31841
/proc/meminfo: memFree=1278096/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=907808 CPUtime=0.06
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 2513 0 1 0 5 1 0 0 17 0 4 0 279745374 929595392 2260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020566 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 226952 2260 1235 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.520438 s]
/proc/loadavg: 2.05 2.03 2.00 5/87 31841
/proc/meminfo: memFree=1278096/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915332 CPUtime=0.46
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6388 0 1 0 43 3 0 0 18 0 8 0 279745374 937299968 6127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228833 6127 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.34253 s]
/proc/loadavg: 2.05 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1261016/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=1.28
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6950 0 1 0 104 24 0 0 25 0 8 0 279745374 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12091509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 6688 2476 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.1
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 279745385 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915436
[startup+2.97975 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1260952/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=2.9
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6953 0 1 0 214 76 0 0 25 0 8 0 279745374 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 6690 2476 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.1
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915436
[startup+6.26319 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1260952/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=6.15
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6953 0 1 0 443 172 0 0 25 0 8 0 279745374 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073646691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 6690 2476 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.1
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915436
[startup+12.7471 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1261016/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915440 CPUtime=12.59
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6953 0 1 0 893 366 0 0 25 0 8 0 279745374 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228860 6690 2476 14 0 215330 0
[pid=31840/tid=31842] ppid=31838 vsize=915440 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915440 CPUtime=0.1
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279745385 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915440 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937410560 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915440
[startup+25.6118 s]
/proc/loadavg: 2.03 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1261144/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=25.34
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 6955 0 1 0 1778 756 0 0 25 0 8 0 279745374 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644800 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 6691 2476 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.11
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279745385 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 6691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915436
[startup+51.2242 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 31848
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=50.73
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 8996 0 1 0 4157 916 0 0 25 0 8 0 279745374 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8728 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915436
[startup+102.43 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 31848
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=101.51
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 9006 0 1 0 9234 917 0 0 25 0 8 0 279745374 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8737 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915436
[startup+162.48 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 31848
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=161.06
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 9008 0 1 0 15189 917 0 0 25 0 8 0 279745374 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8739 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.06
Current children cumulated vsize (KiB) 915436
[startup+222.538 s]
/proc/loadavg: 2.06 2.02 2.00 3/94 31848
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=220.63
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 9010 0 1 0 21145 918 0 0 25 0 8 0 279745374 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8741 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 915436
[startup+282.585 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 31850
/proc/meminfo: memFree=1253208/2055920 swapFree=4169400/4192956
[pid=31840] ppid=31838 vsize=915436 CPUtime=280.14
/proc/31840/stat : 31840 (java) R 31838 31840 31724 0 -1 0 9013 0 1 0 27096 918 0 0 25 0 8 0 279745374 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31840/statm: 228859 8744 2527 14 0 215329 0
[pid=31840/tid=31842] ppid=31838 vsize=915436 CPUtime=0.02
/proc/31840/task/31842/stat : 31842 (java) S 31838 31840 31724 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279745378 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31843] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31843/stat : 31843 (java) S 31838 31840 31724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279745379 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31844] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31844/stat : 31844 (java) S 31838 31840 31724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279745379 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31845] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31845/stat : 31845 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279745385 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31846] ppid=31838 vsize=915436 CPUtime=0.21
/proc/31840/task/31846/stat : 31846 (java) S 31838 31840 31724 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 279745385 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31847] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31847/stat : 31847 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279745385 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31840/tid=31848] ppid=31838 vsize=915436 CPUtime=0
/proc/31840/task/31848/stat : 31848 (java) S 31838 31840 31724 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279745385 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 327.377
CPU time (s): 324.56
CPU user time (s): 315.359
CPU system time (s): 9.2006
CPU usage (%): 99.1395
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 315.359
system time used= 9.2006
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9108
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= 7712
involuntary context switches= 14213
runsolver used 0.369943 s user time and 1.09983 s system time
The end
Begin job on node13 on Sat Jan 20 17:18:24 UTC 2007
IDJOB= 281666
IDBENCH= 12239
IDSOLVER= 69
FILE ID= node13/281666-1169313504
PBS_JOBID= 3610006
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281666-1169313504/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-281666-1169313504 -o ROOT/results/node13/solver-281666-1169313504 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281666-1169313504/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ed29a55c8c8d4cd33b026a0f1ad14c23
RANDOM SEED= 946134681
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.247
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.247
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: 1278576 kB
Buffers: 62844 kB
Cached: 538316 kB
SwapCached: 8664 kB
Active: 371856 kB
Inactive: 325328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1278576 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 104088 kB
Slab: 64668 kB
Committed_AS: 8504464 kB
PageTables: 2512 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 node13 on Sat Jan 20 17:23:51 UTC 2007