0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276841-1169247597/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.43 => wckTime=0.099 cpuTime=0.09 mem=6M887
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.71 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11902 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.374 cpuTime=0.25 mem=11M779
0.75
0.75 solver LocalSearchSolver being built...
0.80 => wckTime=0.465 cpuTime=0.29 mem=6M108
0.80
0.80 s SATISFIABLE
0.80 o 666
0.80 c 86
0.80 o 673
0.80 c 79
0.80 o 677
0.80 c 75
0.80 o 682
0.80 c 70
0.81 o 688
0.81 c 64
0.81 o 692
0.81 c 60
0.81 o 696
0.81 c 56
0.81 o 700
0.81 c 52
0.81 o 704
0.81 c 48
0.81 o 707
0.81 c 45
0.81 o 711
0.81 c 41
0.81 o 713
0.81 c 39
0.81 o 718
0.81 c 34
0.81 o 720
0.81 c 32
0.81 o 722
0.81 c 30
0.81 o 724
0.81 c 28
0.81 o 725
0.81 c 27
0.81 o 727
0.81 c 25
0.82 o 729
0.82 c 23
0.82 o 731
0.82 c 21
0.82 o 732
0.82 c 20
0.82 o 733
0.82 c 19
0.82 o 735
0.82 c 17
0.82 o 736
0.82 c 16
0.82 o 739
0.82 c 13
0.82 o 740
0.82 c 12
0.82 o 741
0.82 c 11
0.83 o 742
0.83 c 10
0.83 o 743
0.83 c 9
0.83 o 744
0.83 c 8
0.84 o 745
0.84 c 7
0.84 o 746
0.84 c 6
0.85 o 747
0.85 c 5
0.85 o 748
0.85 c 4
1.09 o 749
1.09 c 3
1.09 o 750
1.09 c 2
1.27 o 751
1.27 c 1
1.27
1.27 search
1.27 run=0 nbConstraintChecks=2517014 nbAssignments=1694
1.27 => wckTime=0.473 cpuTime=0.46 mem=6M108
1.27
1.27 global
1.27 nbConstraintChecks=2517014 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.27 solvingWckTime=0.471 solvingCpuTime=0.45 expiredTime=no totalExploration=no nbFoundSolutions=0
1.27 globalCpuTime=0.8
1.27 => wckTime=0.938 cpuTime=0.75 mem=6M108
1.27
1.27 solver IterativeSystematicSolver being built...
1.40 => wckTime=1.069 cpuTime=0.85 mem=17M49
1.50
1.50 preprocessing
1.50 nbConstraintChecks=57554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.50 detectedInconsistency=no
1.50 => wckTime=0.098 cpuTime=0.07 mem=17M49
1.56
1.56 search
1.56 run=0 nbConstraintChecks=127258 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36
1.56 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=66 nbRestartNogoods=0
1.56 => wckTime=0.159 cpuTime=0.13 mem=17M49
1.64
1.64 search
1.64 run=1 nbConstraintChecks=289810 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82
1.64 nbFailedAssignments=44 nbBacktracks=25 nbVisitedNodes=152 nbRestartNogoods=9
1.64 => wckTime=0.237 cpuTime=0.2 mem=17M49
1.74
1.74 search
1.74 run=2 nbConstraintChecks=526167 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=144
1.74 nbFailedAssignments=78 nbBacktracks=47 nbVisitedNodes=269 nbRestartNogoods=16
1.74 => wckTime=0.338 cpuTime=0.29 mem=17M49
1.87
1.87 search
1.87 run=3 nbConstraintChecks=880527 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=238
1.87 nbFailedAssignments=132 nbBacktracks=81 nbVisitedNodes=450 nbRestartNogoods=26
1.87 => wckTime=0.473 cpuTime=0.43 mem=17M49
2.10
2.10 search
2.10 run=4 nbConstraintChecks=1472649 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=391
2.10 nbFailedAssignments=228 nbBacktracks=131 nbVisitedNodes=745 nbRestartNogoods=33
2.10 => wckTime=0.696 cpuTime=0.65 mem=17M49
2.41
2.42 search
2.42 run=5 nbConstraintChecks=2327973 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=606
2.42 nbFailedAssignments=362 nbBacktracks=206 nbVisitedNodes=1163 nbRestartNogoods=45
2.42 => wckTime=1.014 cpuTime=0.96 mem=17M49
2.88
2.88 search
2.88 run=6 nbConstraintChecks=3551713 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=916
2.88 nbFailedAssignments=553 nbBacktracks=319 nbVisitedNodes=1769 nbRestartNogoods=72
2.88 => wckTime=1.481 cpuTime=1.43 mem=17M49
3.59
3.59 search
3.59 run=7 nbConstraintChecks=5357052 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1388
3.59 nbFailedAssignments=850 nbBacktracks=489 nbVisitedNodes=2682 nbRestartNogoods=82
3.59 => wckTime=2.189 cpuTime=2.12 mem=17M49
4.64
4.64 search
4.64 run=8 nbConstraintChecks=8069039 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2062
4.64 nbFailedAssignments=1261 nbBacktracks=745 nbVisitedNodes=3985 nbRestartNogoods=92
4.64 => wckTime=3.236 cpuTime=3.15 mem=17M49
5.96
5.96 search
5.96 run=9 nbConstraintChecks=11537083 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2967
5.96 nbFailedAssignments=1775 nbBacktracks=1130 nbVisitedNodes=5710 nbRestartNogoods=107
5.96 => wckTime=4.557 cpuTime=4.46 mem=17M49
7.87
7.87 search
7.87 run=10 nbConstraintChecks=16339763 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4255
7.87 nbFailedAssignments=2482 nbBacktracks=1706 nbVisitedNodes=8061 nbRestartNogoods=115
7.87 => wckTime=6.47 cpuTime=6.36 mem=17M49
10.25
10.25 search
10.25 run=11 nbConstraintChecks=22352078 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5977
10.25 nbFailedAssignments=3331 nbBacktracks=2571 nbVisitedNodes=11025 nbRestartNogoods=120
10.25 => wckTime=8.849 cpuTime=8.72 mem=17M49
13.39
13.39 search
13.39 run=12 nbConstraintChecks=29999166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8336
13.39 nbFailedAssignments=4388 nbBacktracks=3869 nbVisitedNodes=14831 nbRestartNogoods=133
13.39 => wckTime=11.991 cpuTime=11.85 mem=17M49
18.09
18.09 search
18.09 run=13 nbConstraintChecks=41466406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11880
18.09 nbFailedAssignments=5978 nbBacktracks=5815 nbVisitedNodes=20547 nbRestartNogoods=147
18.09 => wckTime=16.686 cpuTime=16.52 mem=17M49
24.29
24.29 search
24.29 run=14 nbConstraintChecks=56205360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16815
24.29 nbFailedAssignments=7989 nbBacktracks=8735 nbVisitedNodes=28161 nbRestartNogoods=161
24.29 => wckTime=22.887 cpuTime=22.69 mem=17M49
33.63
33.63 search
33.63 run=15 nbConstraintChecks=78810647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24322
33.63 nbFailedAssignments=11110 nbBacktracks=13113 nbVisitedNodes=39736 nbRestartNogoods=172
33.63 => wckTime=32.23 cpuTime=31.99 mem=17M49
47.34
47.34 search
47.34 run=16 nbConstraintChecks=112085429 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35439
47.34 nbFailedAssignments=15651 nbBacktracks=19682 nbVisitedNodes=56749 nbRestartNogoods=192
47.34 => wckTime=45.939 cpuTime=45.64 mem=17M49
67.53
67.53 search
67.53 run=17 nbConstraintChecks=160846347 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51947
67.53 nbFailedAssignments=22299 nbBacktracks=29536 nbVisitedNodes=81691 nbRestartNogoods=207
67.53 => wckTime=66.134 cpuTime=65.7 mem=17M49
98.22
98.22 search
98.22 run=18 nbConstraintChecks=234069929 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76530
98.22 nbFailedAssignments=32097 nbBacktracks=44316 nbVisitedNodes=119082 nbRestartNogoods=220
98.22 => wckTime=96.818 cpuTime=96.16 mem=17M49
143.42
143.42 search
143.42 run=19 nbConstraintChecks=342826573 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=113193
143.42 nbFailedAssignments=46581 nbBacktracks=66484 nbVisitedNodes=174621 nbRestartNogoods=241
143.42 => wckTime=142.018 cpuTime=141.07 mem=17M49
212.17
212.18 search
212.18 run=20 nbConstraintChecks=505626032 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=168372
212.18 nbFailedAssignments=68501 nbBacktracks=99741 nbVisitedNodes=258200 nbRestartNogoods=266
212.18 => wckTime=210.774 cpuTime=209.5 mem=17M49
314.77
314.77 search
314.77 run=21 nbConstraintChecks=748231860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=250858
314.77 nbFailedAssignments=101104 nbBacktracks=149622 nbVisitedNodes=383244 nbRestartNogoods=286
314.77 => wckTime=313.373 cpuTime=311.61 mem=17M49
458.50
458.50 search
458.50 run=22 nbConstraintChecks=1106489061 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=373212
458.51 nbFailedAssignments=148633 nbBacktracks=224440 nbVisitedNodes=567376 nbRestartNogoods=293
458.51 => wckTime=457.104 cpuTime=454.98 mem=17M49
669.14
669.14 search
669.14 run=23 nbConstraintChecks=1642483426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=557320
669.14 nbFailedAssignments=220506 nbBacktracks=336667 nbVisitedNodes=844755 nbRestartNogoods=310
669.14 => wckTime=667.742 cpuTime=665.37 mem=17M49
888.47
888.47 search
888.47 run=24 nbConstraintChecks=2196008079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=748347
888.47 nbFailedAssignments=294823 nbBacktracks=453378 nbVisitedNodes=1131774 nbRestartNogoods=325
888.47 => wckTime=887.071 cpuTime=884.46 mem=17M49
888.47
888.47 global
888.47 nbConstraintChecks=2196065633 nbRestartNogoods=325 solvingWckTime=887.072 solvingCpuTime=884.46 expiredTime=no
888.47 totalExploration=yes nbFoundSolutions=0 globalCpuTime=885.36
888.47 => wckTime=888.141 cpuTime=885.31 mem=17M49
888.48
888.48 s OPTIMUM FOUND
888.48 v 2 1 2 7 5 6 7 2 2 6 1 2 5 1 7 6 7 1 5 0 2 4 1 3 4 4 7 5 5 1 5 7 4 4 5 4 6 2 2 3
888.48
888.48 totalWckTime=888.224 totalCpuTime=885.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-276841-1169247597 -o ROOT/results/node11/solver-276841-1169247597 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276841-1169247597/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.01 2.00 2/86 14269
/proc/meminfo: memFree=1281048/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=18540 CPUtime=0
/proc/14268/stat : 14268 (runsolver) R 14266 14268 13557 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273154701 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14268/statm: 4635 279 244 17 0 2626 0
[startup+0.102131 s]
/proc/loadavg: 2.05 2.01 2.00 2/86 14269
/proc/meminfo: memFree=1281048/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=911488 CPUtime=0.06
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 2588 0 1 0 5 1 0 0 20 0 8 0 273154701 933363712 2335 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155200117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 227872 2335 1272 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.510213 s]
/proc/loadavg: 2.05 2.01 2.00 2/86 14269
/proc/meminfo: memFree=1281048/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915332 CPUtime=0.47
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 6253 0 1 0 43 4 0 0 18 0 8 0 273154701 937299968 5992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228833 5992 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33338 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1259296/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=1.27
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 8177 0 1 0 115 12 0 0 24 0 8 0 273154701 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073489250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 7915 2496 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.2
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 273154711 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915580
[startup+2.9797 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1255008/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=2.92
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9233 0 1 0 279 13 0 0 25 0 8 0 273154701 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 8969 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 17 0 8 0 273154707 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.25
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 416 0 0 0 24 1 0 0 15 0 8 0 273154711 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915580
[startup+6.27035 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1254944/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=6.19
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9253 0 1 0 606 13 0 0 25 0 8 0 273154701 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 8987 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 427 0 0 0 27 1 0 0 15 0 8 0 273154711 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915580
[startup+12.7586 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1254888/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=12.65
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9261 0 1 0 1252 13 0 0 25 0 8 0 273154701 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073936649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 8994 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 273154711 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915580
[startup+25.6022 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 14276
/proc/meminfo: memFree=1254888/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=25.43
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9269 0 1 0 2530 13 0 0 25 0 8 0 273154701 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073974423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 9001 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 430 0 0 0 27 1 0 0 16 0 8 0 273154711 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915580
[startup+51.2133 s]
/proc/loadavg: 2.09 2.03 2.00 3/93 14276
/proc/meminfo: memFree=1254888/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=50.92
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9274 0 1 0 5078 14 0 0 25 0 8 0 273154701 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 9006 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 431 0 0 0 27 1 0 0 16 0 8 0 273154711 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915580
[startup+102.45 s]
/proc/loadavg: 2.03 2.02 2.00 3/99 14410
/proc/meminfo: memFree=1253672/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=101.79
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9281 0 1 0 10165 14 0 0 25 0 8 0 273154701 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14268/statm: 228895 9011 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.28
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 431 0 0 0 27 1 0 0 16 0 8 0 273154711 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 915580
[startup+162.521 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 14474
/proc/meminfo: memFree=1254760/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=161.51
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9284 0 1 0 16137 14 0 0 25 0 8 0 273154701 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.72
Current children cumulated vsize (KiB) 915580
[startup+522.814 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=520.64
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9292 0 1 0 52046 18 0 0 25 0 8 0 273154701 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9022 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.64
Current children cumulated vsize (KiB) 915580
[startup+582.833 s]
/proc/loadavg: 2.07 2.00 2.00 3/94 14599
/proc/meminfo: memFree=1197016/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=580.6
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9292 0 1 0 58042 18 0 0 25 0 8 0 273154701 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074002537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9022 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.6
Current children cumulated vsize (KiB) 915580
[startup+642.883 s]
/proc/loadavg: 2.03 2.00 2.00 3/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=640.59
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9292 0 1 0 64041 18 0 0 25 0 8 0 273154701 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014736 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9022 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) R 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.59
Current children cumulated vsize (KiB) 915580
[startup+702.908 s]
/proc/loadavg: 2.01 2.00 2.00 4/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=700.53
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9294 0 1 0 70035 18 0 0 25 0 8 0 273154701 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9024 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 700.53
Current children cumulated vsize (KiB) 915580
[startup+762.937 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=760.51
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9294 0 1 0 76032 19 0 0 25 0 8 0 273154701 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9024 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 760.51
Current children cumulated vsize (KiB) 915580
[startup+822.951 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 14599
/proc/meminfo: memFree=1197016/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=820.47
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9294 0 1 0 82028 19 0 0 25 0 8 0 273154701 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9024 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 820.47
Current children cumulated vsize (KiB) 915580
[startup+882.986 s]
/proc/loadavg: 2.15 2.03 2.01 3/94 14599
/proc/meminfo: memFree=1196952/2055920 swapFree=4171812/4192956
[pid=14268] ppid=14266 vsize=915580 CPUtime=880.42
/proc/14268/stat : 14268 (java) R 14266 14268 13557 0 -1 0 9294 0 1 0 88023 19 0 0 25 0 8 0 273154701 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940978 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14268/statm: 228895 9024 2532 14 0 215365 0
[pid=14268/tid=14270] ppid=14266 vsize=915580 CPUtime=0.03
/proc/14268/task/14270/stat : 14270 (java) S 14266 14268 13557 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273154707 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14271] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14271/stat : 14271 (java) S 14266 14268 13557 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14272] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14272/stat : 14272 (java) S 14266 14268 13557 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273154708 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14273] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14273/stat : 14273 (java) S 14266 14268 13557 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14274] ppid=14266 vsize=915580 CPUtime=0.29
/proc/14268/task/14274/stat : 14274 (java) S 14266 14268 13557 0 -1 64 432 0 0 0 28 1 0 0 16 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14268/tid=14275] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14275/stat : 14275 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14268/tid=14276] ppid=14266 vsize=915580 CPUtime=0
/proc/14268/task/14276/stat : 14276 (java) S 14266 14268 13557 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273154711 937553920 9024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 880.42
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 888.491
CPU time (s): 885.916
CPU user time (s): 885.716
CPU system time (s): 0.199969
CPU usage (%): 99.7102
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 885.716
system time used= 0.199969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9391
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= 19348
involuntary context switches= 27003
runsolver used 1.08983 s user time and 2.85556 s system time
The end
Begin job on node11 on Fri Jan 19 22:59:57 UTC 2007
IDJOB= 276841
IDBENCH= 6058
IDSOLVER= 68
FILE ID= node11/276841-1169247597
PBS_JOBID= 3589038
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276841-1169247597/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-276841-1169247597 -o ROOT/results/node11/solver-276841-1169247597 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276841-1169247597/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7f03dca00e396705a664a8eb512a15b4
RANDOM SEED= 580637361
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.261
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 : 5931.00
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.261
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: 1281528 kB
Buffers: 62676 kB
Cached: 584576 kB
SwapCached: 2828 kB
Active: 226776 kB
Inactive: 468768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1281528 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 66712 kB
Slab: 63604 kB
Committed_AS: 8170200 kB
PageTables: 2340 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 node11 on Fri Jan 19 23:14:45 UTC 2007