0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/280423-1169305703/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.63
0.63 constraints being loaded...
0.73 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.73 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4 maxArity=10
0.73 => wckTime=0.423 cpuTime=0.37 mem=38M338
0.80
0.80 solver LocalSearchSolver being built...
0.84 => wckTime=0.53 cpuTime=0.42 mem=10M983
0.85
0.85 s SATISFIABLE
0.85 o 0
0.85 c 5
2.18 o 1
2.18 c 4
6.18
6.18 search
6.18 run=0 nbConstraintChecks=4193033 nbAssignments=10000
6.18 => wckTime=5.344 cpuTime=5.27 mem=10M983
11.34
11.34 search
11.34 run=1 nbConstraintChecks=8351337 nbAssignments=20000
11.34 => wckTime=10.505 cpuTime=10.38 mem=10M983
12.01 o 2
12.01 c 3
16.29
16.29 search
16.29 run=2 nbConstraintChecks=12474033 nbAssignments=30000
16.29 => wckTime=15.452 cpuTime=15.29 mem=10M983
21.17
21.17 search
21.17 run=3 nbConstraintChecks=16568155 nbAssignments=40000
21.17 => wckTime=20.332 cpuTime=20.13 mem=10M983
26.09
26.09 search
26.09 run=4 nbConstraintChecks=20663491 nbAssignments=50000
26.09 => wckTime=25.254 cpuTime=25.0 mem=10M983
30.99
30.99 search
30.99 run=5 nbConstraintChecks=24758325 nbAssignments=60000
30.99 => wckTime=30.152 cpuTime=29.88 mem=10M983
35.88
35.88 search
35.88 run=6 nbConstraintChecks=28853832 nbAssignments=70000
35.88 => wckTime=35.036 cpuTime=34.74 mem=10M983
40.73
40.73 search
40.73 run=7 nbConstraintChecks=32947657 nbAssignments=80000
40.73 => wckTime=39.892 cpuTime=39.57 mem=10M983
42.21
42.21 search
42.21 run=8 nbConstraintChecks=34193689 nbAssignments=83041
42.21 => wckTime=41.371 cpuTime=41.05 mem=10M983
42.21
42.21 global
42.21 nbConstraintChecks=34193689 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.21 solvingWckTime=41.37 solvingCpuTime=41.05 expiredTime=no totalExploration=no nbFoundSolutions=0
42.21 globalCpuTime=41.52
42.21 => wckTime=41.902 cpuTime=41.47 mem=10M983
42.21
42.21 solver IterativeSystematicSolver being built...
42.36 => wckTime=42.046 cpuTime=41.57 mem=21M787
42.79
42.79 preprocessing
42.79 nbConstraintChecks=367836 nbValidityChecks=377739 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.79 nbRemovedValues=0 detectedInconsistency=no
42.79 => wckTime=0.428 cpuTime=0.41 mem=21M787
43.01
43.01 search
43.01 run=0 nbConstraintChecks=192451 nbValidityChecks=204919 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.01 nbAssignments=28 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0
43.01 => wckTime=0.652 cpuTime=0.63 mem=22M750
43.24
43.24 search
43.24 run=1 nbConstraintChecks=371027 nbValidityChecks=410385 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.24 nbAssignments=81 nbFailedAssignments=43 nbBacktracks=25 nbVisitedNodes=136 nbRestartNogoods=10
43.24 => wckTime=0.877 cpuTime=0.85 mem=22M750
43.37
43.37 search
43.37 run=2 nbConstraintChecks=474955 nbValidityChecks=535993 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.37 nbAssignments=129 nbFailedAssignments=63 nbBacktracks=47 nbVisitedNodes=211 nbRestartNogoods=15
43.37 => wckTime=1.014 cpuTime=0.99 mem=22M750
43.61
43.61 search
43.61 run=3 nbConstraintChecks=665115 nbValidityChecks=772122 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.61 nbAssignments=216 nbFailedAssignments=108 nbBacktracks=81 nbVisitedNodes=369 nbRestartNogoods=20
43.61 => wckTime=1.254 cpuTime=1.22 mem=22M750
44.24
44.24 search
44.24 run=4 nbConstraintChecks=1161178 nbValidityChecks=1348656 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.24 nbAssignments=374 nbFailedAssignments=209 nbBacktracks=132 nbVisitedNodes=666 nbRestartNogoods=28
44.24 => wckTime=1.882 cpuTime=1.84 mem=22M750
44.53
44.53 search
44.53 run=5 nbConstraintChecks=1369176 nbValidityChecks=1673728 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.53 nbAssignments=596 nbFailedAssignments=349 nbBacktracks=208 nbVisitedNodes=1077 nbRestartNogoods=45
44.53 => wckTime=2.174 cpuTime=2.13 mem=22M750
45.19
45.19 search
45.19 run=6 nbConstraintChecks=1868752 nbValidityChecks=2342838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.19 nbAssignments=936 nbFailedAssignments=569 nbBacktracks=321 nbVisitedNodes=1709 nbRestartNogoods=57
45.19 => wckTime=2.835 cpuTime=2.77 mem=22M750
46.95
46.95 search
46.95 run=7 nbConstraintChecks=3303891 nbValidityChecks=4046645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.95 nbAssignments=1464 nbFailedAssignments=921 nbBacktracks=491 nbVisitedNodes=2691 nbRestartNogoods=66
46.95 => wckTime=4.595 cpuTime=4.52 mem=22M750
48.33
48.33 search
48.33 run=8 nbConstraintChecks=4367494 nbValidityChecks=5497538 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.33 nbAssignments=2213 nbFailedAssignments=1408 nbBacktracks=747 nbVisitedNodes=4104 nbRestartNogoods=84
48.33 => wckTime=5.975 cpuTime=5.88 mem=22M750
51.48
51.48 search
51.48 run=9 nbConstraintChecks=7007008 nbValidityChecks=8677948 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
51.48 nbAssignments=3296 nbFailedAssignments=2100 nbBacktracks=1132 nbVisitedNodes=6107 nbRestartNogoods=92
51.48 => wckTime=9.123 cpuTime=9.0 mem=22M750
55.76
55.76 search
55.76 run=10 nbConstraintChecks=10582231 nbValidityChecks=13045611 nbPropagations=0 nbRevisions=0
55.76 nbUselessRevisions=0 nbAssignments=4851 nbFailedAssignments=3071 nbBacktracks=1708 nbVisitedNodes=9006
55.76 nbRestartNogoods=113
55.76 => wckTime=13.405 cpuTime=13.27 mem=22M750
61.59
61.59 search
61.59 run=11 nbConstraintChecks=15420701 nbValidityChecks=19206098 nbPropagations=0 nbRevisions=0
61.59 nbUselessRevisions=0 nbAssignments=7394 nbFailedAssignments=4743 nbBacktracks=2572 nbVisitedNodes=13881
61.59 nbRestartNogoods=118
61.59 => wckTime=19.231 cpuTime=19.06 mem=22M750
71.65
71.65 search
71.65 run=12 nbConstraintChecks=23793512 nbValidityChecks=29526594 nbPropagations=0 nbRevisions=0
71.65 nbUselessRevisions=0 nbAssignments=11344 nbFailedAssignments=7392 nbBacktracks=3869 nbVisitedNodes=21281
71.65 nbRestartNogoods=130
71.65 => wckTime=29.292 cpuTime=29.08 mem=22M750
83.05
83.05 search
83.05 run=13 nbConstraintChecks=32998514 nbValidityChecks=41621700 nbPropagations=0 nbRevisions=0
83.05 nbUselessRevisions=0 nbAssignments=17027 nbFailedAssignments=11123 nbBacktracks=5815 nbVisitedNodes=32174
83.05 nbRestartNogoods=141
83.05 => wckTime=40.689 cpuTime=40.42 mem=22M750
102.56
102.56 search
102.56 run=14 nbConstraintChecks=49037772 nbValidityChecks=61797180 nbPropagations=0 nbRevisions=0
102.56 nbUselessRevisions=0 nbAssignments=25116 nbFailedAssignments=16287 nbBacktracks=8734 nbVisitedNodes=47527
102.56 nbRestartNogoods=166
102.56 => wckTime=60.204 cpuTime=59.84 mem=22M750
139.00
139.00 search
139.00 run=15 nbConstraintChecks=79763559 nbValidityChecks=99287307 nbPropagations=0 nbRevisions=0
139.00 nbUselessRevisions=0 nbAssignments=38425 nbFailedAssignments=25211 nbBacktracks=13112 nbVisitedNodes=73000
139.00 nbRestartNogoods=171
139.00 => wckTime=96.643 cpuTime=96.11 mem=22M750
177.47
177.47 search
177.47 run=16 nbConstraintChecks=110891947 nbValidityChecks=139690510 nbPropagations=0 nbRevisions=0
177.47 nbUselessRevisions=0 nbAssignments=56308 nbFailedAssignments=36519 nbBacktracks=19680 nbVisitedNodes=106954
177.47 nbRestartNogoods=178
177.47 => wckTime=135.11 cpuTime=134.39 mem=22M750
257.78
257.78 search
257.78 run=17 nbConstraintChecks=178347052 nbValidityChecks=221903650 nbPropagations=0 nbRevisions=0
257.78 nbUselessRevisions=0 nbAssignments=85501 nbFailedAssignments=55852 nbBacktracks=29532 nbVisitedNodes=162866
257.78 nbRestartNogoods=190
257.78 => wckTime=215.42 cpuTime=214.33 mem=22M750
398.09
398.10 search
398.10 run=18 nbConstraintChecks=297784671 nbValidityChecks=363129218 nbPropagations=0 nbRevisions=0
398.10 nbUselessRevisions=0 nbAssignments=127994 nbFailedAssignments=83559 nbBacktracks=44310 nbVisitedNodes=243660
398.10 nbRestartNogoods=224
398.10 => wckTime=355.738 cpuTime=353.98 mem=22M750
618.77
618.77 search
618.77 run=19 nbConstraintChecks=488910749 nbValidityChecks=584582536 nbPropagations=0 nbRevisions=0
618.77 nbUselessRevisions=0 nbAssignments=187578 nbFailedAssignments=120969 nbBacktracks=66478 nbVisitedNodes=354991
618.77 nbRestartNogoods=261
618.77 => wckTime=576.411 cpuTime=573.62 mem=22M750
778.07
778.07 search
778.07 run=20 nbConstraintChecks=612630646 nbValidityChecks=755312673 nbPropagations=0 nbRevisions=0
778.07 nbUselessRevisions=0 nbAssignments=280106 nbFailedAssignments=180241 nbBacktracks=99730 nbVisitedNodes=530819
778.07 nbRestartNogoods=285
778.07 => wckTime=735.711 cpuTime=732.17 mem=22M750
1137.79
1137.79 search
1137.79 run=21 nbConstraintChecks=915927765 nbValidityChecks=1131930627 nbPropagations=0 nbRevisions=0
1137.79 nbUselessRevisions=0 nbAssignments=424726 nbFailedAssignments=274977 nbBacktracks=149609 nbVisitedNodes=806772
1137.79 nbRestartNogoods=307
1137.79 => wckTime=1095.435 cpuTime=1091.7 mem=22M750
1641.22
1641.22 search
1641.22 run=22 nbConstraintChecks=1331854736 nbValidityChecks=1661475036 nbPropagations=0 nbRevisions=0
1641.22 nbUselessRevisions=0 nbAssignments=646009 nbFailedAssignments=421435 nbBacktracks=224427 nbVisitedNodes=1232211
1641.22 nbRestartNogoods=339
1641.22 => wckTime=1598.86 cpuTime=1594.75 mem=22M750
2265.42
2265.42 search
2265.42 run=23 nbConstraintChecks=1847957284 nbValidityChecks=2341436967 nbPropagations=0 nbRevisions=0
2265.42 nbUselessRevisions=0 nbAssignments=968910 nbFailedAssignments=632103 nbBacktracks=336655 nbVisitedNodes=1848618
2265.42 nbRestartNogoods=349
2265.42 => wckTime=2223.062 cpuTime=2216.95 mem=22M750
2406.46 v 6 8 3 9 6 8 0 5 4 0 1 4 7 6 8 6 0 7 8 9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node66/watcher-280423-1169305703 -o ROOT/results/node66/solver-280423-1169305703 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280423-1169305703/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.00 2.00 1.96 5/80 10521
/proc/meminfo: memFree=1326792/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=1784 CPUtime=0
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 78067578 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/10520/statm: 446 140 106 14 0 91 0
[startup+0.108835 s]
/proc/loadavg: 2.00 2.00 1.96 5/80 10521
/proc/meminfo: memFree=1326792/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=914988 CPUtime=0.09
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 3054 0 1 0 7 2 0 0 20 0 8 0 78067578 936947712 2800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155590154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228747 2800 1448 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.520884 s]
/proc/loadavg: 2.00 2.00 1.96 5/80 10521
/proc/meminfo: memFree=1326792/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915332 CPUtime=0.49
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 8189 0 1 0 45 4 0 0 22 0 8 0 78067578 937299968 7928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228833 7928 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34398 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274768/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=1.31
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15681 0 1 0 120 11 0 0 25 0 8 0 78067578 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15419 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.1
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 318 0 0 0 10 0 0 0 16 0 8 0 78067586 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915436
[startup+2.98118 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274704/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2.93
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15685 0 1 0 273 20 0 0 25 0 8 0 78067578 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15422 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.11
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 321 0 0 0 11 0 0 0 16 0 8 0 78067586 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436
[startup+6.26358 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274640/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=6.18
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15689 0 1 0 572 46 0 0 25 0 8 0 78067578 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15426 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.11
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915436
[startup+12.7464 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274768/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=12.61
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15689 0 1 0 1164 97 0 0 25 0 8 0 78067578 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15426 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.11
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915436
[startup+25.6069 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274896/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=25.35
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15689 0 1 0 2333 202 0 0 25 0 8 0 78067578 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15426 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.11
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915436
[startup+51.3089 s]
/proc/loadavg: 2.19 2.05 1.97 3/87 10528
/proc/meminfo: memFree=1274576/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=50.93
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15857 0 1 0 4757 336 0 0 25 0 8 0 78067578 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15587 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915436
[startup+102.587 s]
/proc/loadavg: 2.08 2.04 1.97 3/87 10528
/proc/meminfo: memFree=1274512/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=101.97
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15861 0 1 0 9860 337 0 0 25 0 8 0 78067578 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15589 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915436
[startup+162.6 s]
/proc/loadavg: 2.03 2.03 1.97 3/87 10528
/proc/meminfo: memFree=1274576/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=161.69
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15861 0 1 0 15832 337 0 0 25 0 8 0 78067578 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2016.94
Current children cumulated vsize (KiB) 915436
[startup+2083.32 s]
/proc/loadavg: 1.02 1.48 1.78 2/72 10637
/proc/meminfo: memFree=1306648/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2077.01
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 207355 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.01
Current children cumulated vsize (KiB) 915436
[startup+2143.41 s]
/proc/loadavg: 1.01 1.39 1.73 2/72 10637
/proc/meminfo: memFree=1306712/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2137.08
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 213362 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2137.08
Current children cumulated vsize (KiB) 915436
[startup+2203.49 s]
/proc/loadavg: 1.00 1.31 1.68 2/72 10637
/proc/meminfo: memFree=1306648/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2197.15
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 219369 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2197.15
Current children cumulated vsize (KiB) 915436
[startup+2263.58 s]
/proc/loadavg: 1.00 1.25 1.63 2/72 10637
/proc/meminfo: memFree=1306648/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2257.21
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 225375 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2257.21
Current children cumulated vsize (KiB) 915436
[startup+2323.66 s]
/proc/loadavg: 1.03 1.22 1.60 2/72 10637
/proc/meminfo: memFree=1306648/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2317.28
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 231382 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2317.28
Current children cumulated vsize (KiB) 915436
[startup+2383.75 s]
/proc/loadavg: 1.01 1.18 1.56 2/72 10637
/proc/meminfo: memFree=1306584/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2377.35
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 237389 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2377.35
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2406.45 s]
/proc/loadavg: 1.01 1.16 1.54 2/72 10637
/proc/meminfo: memFree=1306584/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2400.06
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 239660 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.5
CPU time (s): 2400.1
CPU user time (s): 2396.63
CPU system time (s): 3.47147
CPU usage (%): 99.7341
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.63
system time used= 3.47147
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15884
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= 49723
involuntary context switches= 65830
runsolver used 2.42663 s user time and 6.20506 s system time
The end
Begin job on node66 on Sat Jan 20 15:08:24 UTC 2007
IDJOB= 280423
IDBENCH= 11092
IDSOLVER= 68
FILE ID= node66/280423-1169305703
PBS_JOBID= 3609882
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280423-1169305703/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-280423-1169305703 -o ROOT/results/node66/solver-280423-1169305703 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280423-1169305703/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d32584b0a766d7a079bb680fc7f29725
RANDOM SEED= 837292790
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.230
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.230
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: 1327272 kB
Buffers: 49364 kB
Cached: 560308 kB
SwapCached: 16 kB
Active: 138368 kB
Inactive: 518724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1327272 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2776 kB
Writeback: 0 kB
Mapped: 67644 kB
Slab: 56800 kB
Committed_AS: 1786184 kB
PageTables: 1836 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= 66562 MiB
End job on node66 on Sat Jan 20 15:48:30 UTC 2007