0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=pfc.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/280325-1169304933/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.47 => wckTime=0.098 cpuTime=0.09 mem=6M910
0.47
0.47 relations being loaded...
0.69
0.69 constraints being loaded...
0.79 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.79 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=5 maxArity=10
0.79 => wckTime=0.419 cpuTime=0.38 mem=37M825
0.87
0.87 solver LocalSearchSolver being built...
0.91 => wckTime=0.534 cpuTime=0.42 mem=10M983
0.91
0.91 s SATISFIABLE
0.91 o 0
0.91 c 5
1.27 o 1
1.27 c 4
6.03
6.03 search
6.03 run=0 nbConstraintChecks=4337480 nbAssignments=10000
6.03 => wckTime=5.125 cpuTime=5.07 mem=10M983
9.59 o 2
9.59 c 3
10.99
10.99 search
10.99 run=1 nbConstraintChecks=8604128 nbAssignments=20000
10.99 => wckTime=10.083 cpuTime=10.01 mem=10M983
15.86
15.86 search
15.86 run=2 nbConstraintChecks=12798163 nbAssignments=30000
15.86 => wckTime=14.955 cpuTime=14.82 mem=10M983
20.71
20.71 search
20.71 run=3 nbConstraintChecks=16992630 nbAssignments=40000
20.71 => wckTime=19.802 cpuTime=19.6 mem=10M983
25.50
25.50 search
25.50 run=4 nbConstraintChecks=21187099 nbAssignments=50000
25.50 => wckTime=24.598 cpuTime=24.38 mem=10M983
30.29
30.29 search
30.29 run=5 nbConstraintChecks=25382198 nbAssignments=60000
30.29 => wckTime=29.386 cpuTime=29.15 mem=10M983
35.07
35.07 search
35.07 run=6 nbConstraintChecks=29577692 nbAssignments=70000
35.07 => wckTime=34.161 cpuTime=33.91 mem=10M983
39.80
39.80 search
39.80 run=7 nbConstraintChecks=33728590 nbAssignments=79897
39.80 => wckTime=38.891 cpuTime=38.62 mem=10M983
39.80
39.80 global
39.80 nbConstraintChecks=33728590 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.80 solvingWckTime=38.889 solvingCpuTime=38.62 expiredTime=no totalExploration=no nbFoundSolutions=0
39.80 globalCpuTime=39.08
39.80 => wckTime=39.425 cpuTime=39.04 mem=10M983
39.80
39.80 solver IterativeSystematicSolver being built...
39.93 => wckTime=39.555 cpuTime=39.13 mem=21M800
39.94
39.94 preprocessing
39.94 nbConstraintChecks=178 nbValidityChecks=500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.94 nbRemovedValues=0 detectedInconsistency=no
39.94 => wckTime=0.0080 cpuTime=0.01 mem=21M800
40.34
40.34 search
40.34 run=0 nbConstraintChecks=341289 nbValidityChecks=359208 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.35 nbAssignments=35 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=64 nbRestartNogoods=0
40.35 => wckTime=0.415 cpuTime=0.4 mem=22M757
40.41
40.41 search
40.41 run=1 nbConstraintChecks=376166 nbValidityChecks=414443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.41 nbAssignments=76 nbFailedAssignments=43 nbBacktracks=25 nbVisitedNodes=130 nbRestartNogoods=2
40.41 => wckTime=0.485 cpuTime=0.45 mem=22M757
40.53
40.53 search
40.53 run=2 nbConstraintChecks=462289 nbValidityChecks=524111 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.53 nbAssignments=127 nbFailedAssignments=67 nbBacktracks=47 nbVisitedNodes=208 nbRestartNogoods=9
40.53 => wckTime=0.604 cpuTime=0.56 mem=22M757
40.65
40.65 search
40.65 run=3 nbConstraintChecks=560962 nbValidityChecks=663859 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.65 nbAssignments=211 nbFailedAssignments=114 nbBacktracks=80 nbVisitedNodes=349 nbRestartNogoods=15
40.65 => wckTime=0.726 cpuTime=0.69 mem=22M757
41.02
41.02 search
41.02 run=4 nbConstraintChecks=865325 nbValidityChecks=1047489 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.02 nbAssignments=361 nbFailedAssignments=208 nbBacktracks=131 nbVisitedNodes=628 nbRestartNogoods=19
41.02 => wckTime=1.096 cpuTime=1.05 mem=22M757
41.81
41.81 search
41.81 run=5 nbConstraintChecks=1555663 nbValidityChecks=1869543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.81 nbAssignments=605 nbFailedAssignments=373 nbBacktracks=206 nbVisitedNodes=1077 nbRestartNogoods=29
41.81 => wckTime=1.882 cpuTime=1.83 mem=22M757
42.47
42.47 search
42.47 run=6 nbConstraintChecks=2128370 nbValidityChecks=2591746 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.47 nbAssignments=903 nbFailedAssignments=550 nbBacktracks=320 nbVisitedNodes=1594 nbRestartNogoods=34
42.47 => wckTime=2.539 cpuTime=2.48 mem=22M757
43.93
43.93 search
43.93 run=7 nbConstraintChecks=3410659 nbValidityChecks=4165094 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.93 nbAssignments=1429 nbFailedAssignments=900 nbBacktracks=490 nbVisitedNodes=2568 nbRestartNogoods=52
43.93 => wckTime=4.007 cpuTime=3.94 mem=22M757
45.15
45.15 search
45.15 run=8 nbConstraintChecks=4449138 nbValidityChecks=5481355 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.15 nbAssignments=1990 nbFailedAssignments=1198 nbBacktracks=747 nbVisitedNodes=3530 nbRestartNogoods=60
45.15 => wckTime=5.219 cpuTime=5.13 mem=22M757
46.61
46.61 search
46.61 run=9 nbConstraintChecks=5633292 nbValidityChecks=7146322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.61 nbAssignments=2951 nbFailedAssignments=1769 nbBacktracks=1131 nbVisitedNodes=5207 nbRestartNogoods=81
46.61 => wckTime=6.683 cpuTime=6.58 mem=22M757
55.10
55.10 search
55.10 run=10 nbConstraintChecks=13699606 nbValidityChecks=16152248 nbPropagations=0 nbRevisions=0
55.10 nbUselessRevisions=0 nbAssignments=4647 nbFailedAssignments=2884 nbBacktracks=1707 nbVisitedNodes=8360
55.10 nbRestartNogoods=89
55.10 => wckTime=15.177 cpuTime=15.02 mem=22M757
59.73
59.73 search
59.73 run=11 nbConstraintChecks=17720165 nbValidityChecks=21136662 nbPropagations=0 nbRevisions=0
59.73 nbUselessRevisions=0 nbAssignments=6663 nbFailedAssignments=4031 nbBacktracks=2571 nbVisitedNodes=11829
59.73 nbRestartNogoods=99
59.73 => wckTime=19.801 cpuTime=19.62 mem=22M757
64.07
64.07 search
64.07 run=12 nbConstraintChecks=21325232 nbValidityChecks=26219301 nbPropagations=0 nbRevisions=0
64.07 nbUselessRevisions=0 nbAssignments=9678 nbFailedAssignments=5744 nbBacktracks=3868 nbVisitedNodes=17000
64.07 nbRestartNogoods=114
64.07 => wckTime=24.143 cpuTime=23.95 mem=22M757
80.86
80.86 search
80.86 run=13 nbConstraintChecks=35711254 nbValidityChecks=43598128 nbPropagations=0 nbRevisions=0
80.86 nbUselessRevisions=0 nbAssignments=15213 nbFailedAssignments=9327 nbBacktracks=5814 nbVisitedNodes=27200
80.86 nbRestartNogoods=128
80.86 => wckTime=40.931 cpuTime=40.37 mem=22M757
95.86
95.86 search
95.86 run=14 nbConstraintChecks=48753652 nbValidityChecks=60229820 nbPropagations=0 nbRevisions=0
95.86 nbUselessRevisions=0 nbAssignments=22417 nbFailedAssignments=13604 nbBacktracks=8733 nbVisitedNodes=39675
95.86 nbRestartNogoods=151
95.86 => wckTime=55.936 cpuTime=55.29 mem=22M757
107.44
107.44 search
107.44 run=15 nbConstraintChecks=57931800 nbValidityChecks=74390916 nbPropagations=0 nbRevisions=0
107.44 nbUselessRevisions=0 nbAssignments=32501 nbFailedAssignments=19303 nbBacktracks=13111 nbVisitedNodes=57245
107.44 nbRestartNogoods=177
107.44 => wckTime=67.509 cpuTime=66.81 mem=22M757
164.57
164.57 search
164.57 run=16 nbConstraintChecks=110517171 nbValidityChecks=135759550 nbPropagations=0 nbRevisions=0
164.57 nbUselessRevisions=0 nbAssignments=49506 nbFailedAssignments=29733 nbBacktracks=19679 nbVisitedNodes=87417
164.57 nbRestartNogoods=195
164.57 => wckTime=124.646 cpuTime=123.7 mem=22M757
204.85
204.85 search
204.85 run=17 nbConstraintChecks=143797593 nbValidityChecks=180897939 nbPropagations=0 nbRevisions=0
204.85 nbUselessRevisions=0 nbAssignments=73251 nbFailedAssignments=43621 nbBacktracks=29531 nbVisitedNodes=128831
204.85 nbRestartNogoods=222
204.85 => wckTime=164.925 cpuTime=163.8 mem=22M757
301.89
301.89 search
301.89 run=18 nbConstraintChecks=230280288 nbValidityChecks=285977945 nbPropagations=0 nbRevisions=0
301.89 nbUselessRevisions=0 nbAssignments=110379 nbFailedAssignments=65965 nbBacktracks=44309 nbVisitedNodes=193786
301.89 nbRestartNogoods=234
301.89 => wckTime=261.96 cpuTime=260.4 mem=22M757
433.77
433.77 search
433.77 run=19 nbConstraintChecks=348136910 nbValidityChecks=432619055 nbPropagations=0 nbRevisions=0
433.77 nbUselessRevisions=0 nbAssignments=167221 nbFailedAssignments=100634 nbBacktracks=66477 nbVisitedNodes=294523
433.77 nbRestartNogoods=253
433.77 => wckTime=393.84 cpuTime=391.59 mem=22M757
531.45 o 3
531.45 c 2
638.31
638.31 search
638.31 run=20 nbConstraintChecks=525645117 nbValidityChecks=657704798 nbPropagations=0 nbRevisions=0
638.31 nbUselessRevisions=0 nbAssignments=255086 nbFailedAssignments=155241 nbBacktracks=99730 nbVisitedNodes=451730
638.31 nbRestartNogoods=275
638.31 => wckTime=598.38 cpuTime=595.2 mem=22M757
754.71
754.71 search
754.71 run=21 nbConstraintChecks=623133188 nbValidityChecks=789664732 nbPropagations=0 nbRevisions=0
754.71 nbUselessRevisions=0 nbAssignments=312963 nbFailedAssignments=191329 nbBacktracks=121520 nbVisitedNodes=557149
754.71 nbRestartNogoods=288
754.71 => wckTime=714.782 cpuTime=711.1 mem=22M757
754.71
754.71 global
754.71 nbConstraintChecks=623133366 nbValidityChecks=789665232 nbRestartNogoods=288 solvingWckTime=714.783
754.71 solvingCpuTime=711.1 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=750.27
754.71 => wckTime=754.338 cpuTime=750.23 mem=22M757
754.71
754.71 s OPTIMUM FOUND
754.71 v 1 4 0 2 7 8 9 5 0 0 7 0 1 9 1 6 4 4 1 5
754.71
754.71 totalWckTime=754.417 totalCpuTime=750.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-280325-1169304933 -o ROOT/results/node69/solver-280325-1169304933 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280325-1169304933/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: 0.92 0.98 1.21 5/72 15034
/proc/meminfo: memFree=1329752/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=18540 CPUtime=0
/proc/15033/stat : 15033 (runsolver) R 15031 15033 14892 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 77990207 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237947645223 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15033/statm: 4635 279 244 17 0 2626 0
[startup+0.104371 s]
/proc/loadavg: 0.92 0.98 1.21 5/72 15034
/proc/meminfo: memFree=1329752/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=906644 CPUtime=0.02
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 2096 0 1 0 2 0 0 0 18 0 2 0 77990207 928403456 1845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155599641 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/15033/statm: 226661 1845 1055 14 0 214244 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906644
[startup+0.516405 s]
/proc/loadavg: 0.92 0.98 1.21 5/72 15034
/proc/meminfo: memFree=1329752/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=0.44
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 6857 0 1 0 40 4 0 0 21 0 8 0 77990207 937299968 6596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15033/statm: 228833 6596 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332
[startup+1.34548 s]
/proc/loadavg: 0.92 0.98 1.21 3/82 15065
/proc/meminfo: memFree=1217024/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915336 CPUtime=1.26
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15668 0 1 0 115 11 0 0 23 0 8 0 77990207 937304064 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15406 2477 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.09
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 77990222 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915336
[startup+2.98262 s]
/proc/loadavg: 1.09 1.02 1.22 3/82 15065
/proc/meminfo: memFree=853376/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=2.89
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15672 0 1 0 270 19 0 0 20 0 8 0 77990207 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15409 2477 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.1
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 77990222 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915332
[startup+6.26688 s]
/proc/loadavg: 1.09 1.02 1.22 3/81 15066
/proc/meminfo: memFree=711624/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=6.14
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15676 0 1 0 575 39 0 0 25 0 8 0 77990207 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15413 2477 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915336 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937304064 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.1
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 325 0 0 0 10 0 0 0 17 0 8 0 77990222 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915332
[startup+12.7564 s]
/proc/loadavg: 1.76 1.16 1.26 3/81 15066
/proc/meminfo: memFree=719448/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915336 CPUtime=12.59
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15676 0 1 0 1168 91 0 0 25 0 8 0 77990207 937304064 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15413 2477 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.1
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 325 0 0 0 10 0 0 0 17 0 8 0 77990222 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) R 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915336
[startup+25.6125 s]
/proc/loadavg: 1.87 1.21 1.28 3/81 15067
/proc/meminfo: memFree=734872/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=25.32
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15676 0 1 0 2338 194 0 0 25 0 8 0 77990207 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15413 2477 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1536 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.1
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 325 0 0 0 10 0 0 0 17 0 8 0 77990222 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915336 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937304064 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915332
[startup+51.2197 s]
/proc/loadavg: 1.91 1.27 1.29 3/81 15067
/proc/meminfo: memFree=735192/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=50.79
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15840 0 1 0 4773 306 0 0 25 0 8 0 77990207 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15570 2531 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.21
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 77990222 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 915332
[startup+102.426 s]
/proc/loadavg: 1.96 1.38 1.33 3/81 15067
/proc/meminfo: memFree=735320/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=101.47
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15844 0 1 0 9841 306 0 0 25 0 8 0 77990207 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15572 2531 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.21
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915332
[startup+162.475 s]
/proc/loadavg: 1.98 1.49 1.37 3/81 15067
/proc/meminfo: memFree=735384/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=161.26
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15845 0 1 0 15819 307 0 0 25 0 8 0 77990207 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600973 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.21
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.82
Current children cumulated vsize (KiB) 915332
[startup+342.631 s]
/proc/loadavg: 2.06 1.73 1.47 3/87 15141
/proc/meminfo: memFree=734096/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=340.6
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15845 0 1 0 33749 311 0 0 25 0 8 0 77990207 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800955 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15572 2531 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.21
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.6
Current children cumulated vsize (KiB) 915332
[startup+402.71 s]
/proc/loadavg: 2.06 1.79 1.51 3/81 15265
/proc/meminfo: memFree=735184/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=400.33
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15845 0 1 0 39713 320 0 0 25 0 8 0 77990207 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15572 2531 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.21
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.33
Current children cumulated vsize (KiB) 915332
[startup+462.766 s]
/proc/loadavg: 2.02 1.83 1.54 3/81 15265
/proc/meminfo: memFree=735192/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=460.1
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15845 0 1 0 45690 320 0 0 25 0 8 0 77990207 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15572 2531 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.21
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.1
Current children cumulated vsize (KiB) 915332
[startup+522.815 s]
/proc/loadavg: 2.01 1.86 1.57 3/81 15265
/proc/meminfo: memFree=735192/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=519.88
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15845 0 1 0 51668 320 0 0 25 0 8 0 77990207 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749829 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15572 2531 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.21
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.88
Current children cumulated vsize (KiB) 915332
[startup+582.866 s]
/proc/loadavg: 2.00 1.88 1.59 3/81 15265
/proc/meminfo: memFree=735192/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=579.68
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15845 0 1 0 57647 321 0 0 25 0 8 0 77990207 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15572 2531 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.21
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 579.68
Current children cumulated vsize (KiB) 915332
[startup+642.919 s]
/proc/loadavg: 2.00 1.90 1.61 3/81 15265
/proc/meminfo: memFree=735192/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=639.45
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15848 0 1 0 63624 321 0 0 25 0 8 0 77990207 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15574 2531 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.22
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 77990222 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 639.45
Current children cumulated vsize (KiB) 915332
[startup+702.97 s]
/proc/loadavg: 2.00 1.91 1.64 3/81 15265
/proc/meminfo: memFree=735256/2055920 swapFree=4191892/4192956
[pid=15033] ppid=15031 vsize=915332 CPUtime=699.23
/proc/15033/stat : 15033 (java) R 15031 15033 14892 0 -1 0 15848 0 1 0 69602 321 0 0 25 0 8 0 77990207 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630058 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15033/statm: 228833 15574 2531 14 0 215303 0
[pid=15033/tid=15035] ppid=15031 vsize=915332 CPUtime=0.04
/proc/15033/task/15035/stat : 15035 (java) S 15031 15033 14892 0 -1 64 1537 0 0 0 4 0 0 0 16 0 8 0 77990218 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15036] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15036/stat : 15036 (java) S 15031 15033 14892 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 77990218 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15037] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15037/stat : 15037 (java) S 15031 15033 14892 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77990218 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15038] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15038/stat : 15038 (java) S 15031 15033 14892 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 77990221 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15039] ppid=15031 vsize=915332 CPUtime=0.22
/proc/15033/task/15039/stat : 15039 (java) S 15031 15033 14892 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 77990222 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15033/tid=15040] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15040/stat : 15040 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77990222 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15033/tid=15041] ppid=15031 vsize=915332 CPUtime=0
/proc/15033/task/15041/stat : 15041 (java) S 15031 15033 14892 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77990222 937299968 15574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.23
Current children cumulated vsize (KiB) 915332
Child status: 0
Real time (s): 754.766
CPU time (s): 750.774
CPU user time (s): 747.546
CPU system time (s): 3.22751
CPU usage (%): 99.471
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 747.546
system time used= 3.22751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15861
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= 16322
involuntary context switches= 11988
runsolver used 0.938857 s user time and 2.41363 s system time
The end
Begin job on node69 on Sat Jan 20 14:55:33 UTC 2007
IDJOB= 280325
IDBENCH= 11081
IDSOLVER= 69
FILE ID= node69/280325-1169304933
PBS_JOBID= 3610145
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-12_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280325-1169304933/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-280325-1169304933 -o ROOT/results/node69/solver-280325-1169304933 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280325-1169304933/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ea0a0104ec817a2843bc0120494e8c21
RANDOM SEED= 624295412
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.218
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.218
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: 1330296 kB
Buffers: 49808 kB
Cached: 583556 kB
SwapCached: 396 kB
Active: 124292 kB
Inactive: 530416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1330296 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 6240 kB
Writeback: 0 kB
Mapped: 33180 kB
Slab: 56360 kB
Committed_AS: 992656 kB
PageTables: 1828 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= 66045 MiB
End job on node69 on Sat Jan 20 15:08:08 UTC 2007