0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276518-1169239343/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.42 => wckTime=0.105 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.60
0.60 constraints being loaded...
0.70 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.70 => wckTime=0.386 cpuTime=0.31 mem=21M662
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.478 cpuTime=0.36 mem=6M328
0.80
0.80 s SATISFIABLE
0.80 o 27
0.80 c 76
0.81 o 31
0.81 c 72
0.81 o 34
0.81 c 69
0.81 o 38
0.81 c 65
0.81 o 42
0.81 c 61
0.81 o 46
0.81 c 57
0.81 o 49
0.81 c 54
0.81 o 52
0.81 c 51
0.81 o 55
0.81 c 48
0.81 o 58
0.81 c 45
0.81 o 60
0.82 c 43
0.82 o 63
0.82 c 40
0.82 o 65
0.82 c 38
0.82 o 67
0.82 c 36
0.82 o 69
0.82 c 34
0.82 o 70
0.82 c 33
0.82 o 71
0.82 c 32
0.82 o 72
0.82 c 31
0.82 o 73
0.82 c 30
0.83 o 74
0.83 c 29
0.83 o 76
0.83 c 27
0.83 o 77
0.83 c 26
0.83 o 78
0.83 c 25
0.83 o 79
0.83 c 24
0.83 o 80
0.83 c 23
0.83 o 81
0.83 c 22
0.84 o 82
0.84 c 21
0.84 o 83
0.84 c 20
0.84 o 84
0.84 c 19
0.84 o 85
0.84 c 18
0.84 o 86
0.84 c 17
0.84 o 87
0.84 c 16
0.84 o 88
0.84 c 15
0.84 o 89
0.84 c 14
0.85 o 90
0.85 c 13
0.85 o 91
0.85 c 12
0.85 o 92
0.85 c 11
0.86 o 93
0.86 c 10
0.87 o 94
0.87 c 9
1.03 o 95
1.03 c 8
1.06 o 96
1.06 c 7
1.50 o 97
1.50 c 6
6.14 o 98
6.14 c 5
6.29
6.29 search
6.29 run=0 nbConstraintChecks=43179214 nbAssignments=10000
6.29 => wckTime=5.497 cpuTime=5.42 mem=6M328
11.58
11.58 search
11.58 run=1 nbConstraintChecks=83216516 nbAssignments=20000
11.58 => wckTime=10.79 cpuTime=10.65 mem=6M328
12.00 o 99
12.00 c 4
17.09
17.09 search
17.09 run=2 nbConstraintChecks=126029279 nbAssignments=30000
17.09 => wckTime=16.297 cpuTime=16.11 mem=6M328
23.12
23.12 search
23.12 run=3 nbConstraintChecks=173309038 nbAssignments=40000
23.12 => wckTime=22.33 cpuTime=22.09 mem=6M328
28.60
28.60 search
28.60 run=4 nbConstraintChecks=215485087 nbAssignments=50000
28.60 => wckTime=27.807 cpuTime=27.52 mem=6M328
35.11
35.11 search
35.11 run=5 nbConstraintChecks=266819360 nbAssignments=60000
35.11 => wckTime=34.314 cpuTime=33.96 mem=6M328
40.60
40.60 search
40.60 run=6 nbConstraintChecks=309675431 nbAssignments=70000
40.60 => wckTime=39.806 cpuTime=39.41 mem=6M328
42.28
42.28 search
42.28 run=7 nbConstraintChecks=322587958 nbAssignments=72853
42.28 => wckTime=41.488 cpuTime=41.08 mem=6M328
42.28
42.28 global
42.28 nbConstraintChecks=322587958 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.28 solvingWckTime=41.485 solvingCpuTime=41.08 expiredTime=no totalExploration=no nbFoundSolutions=0
42.28 globalCpuTime=41.49
42.28 => wckTime=41.967 cpuTime=41.44 mem=6M328
42.28
42.28 solver IterativeSystematicSolver being built...
42.41 => wckTime=42.093 cpuTime=41.53 mem=17M235
42.42
42.42 preprocessing
42.42 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
42.42 detectedInconsistency=no
42.42 => wckTime=0.0070 cpuTime=0.0 mem=17M235
43.28
43.28 search
43.28 run=0 nbConstraintChecks=5385198 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=426
43.28 nbFailedAssignments=410 nbBacktracks=10 nbVisitedNodes=847 nbRestartNogoods=0
43.28 => wckTime=0.871 cpuTime=0.83 mem=17M235
44.17
44.17 search
44.17 run=1 nbConstraintChecks=10325609 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=832
44.17 nbFailedAssignments=797 nbBacktracks=25 nbVisitedNodes=1655 nbRestartNogoods=55
44.17 => wckTime=1.761 cpuTime=1.69 mem=17M235
45.87
45.87 search
45.87 run=2 nbConstraintChecks=20217044 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1720
45.87 nbFailedAssignments=1654 nbBacktracks=47 nbVisitedNodes=3422 nbRestartNogoods=72
45.87 => wckTime=3.463 cpuTime=3.36 mem=17M235
48.67
48.67 search
48.67 run=3 nbConstraintChecks=33527225 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3130
48.67 nbFailedAssignments=3018 nbBacktracks=80 nbVisitedNodes=6229 nbRestartNogoods=180
48.67 => wckTime=6.26 cpuTime=6.12 mem=17M235
52.12
52.12 search
52.12 run=4 nbConstraintChecks=52432458 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4674
52.12 nbFailedAssignments=4507 nbBacktracks=130 nbVisitedNodes=9312 nbRestartNogoods=315
52.12 => wckTime=9.713 cpuTime=9.55 mem=17M235
64.07
64.07 search
64.07 run=5 nbConstraintChecks=111894954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9413
64.07 nbFailedAssignments=9164 nbBacktracks=205 nbVisitedNodes=18783 nbRestartNogoods=405
64.07 => wckTime=21.658 cpuTime=21.38 mem=17M235
69.34
69.34 search
69.34 run=6 nbConstraintChecks=137592099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11631
69.34 nbFailedAssignments=11260 nbBacktracks=318 nbVisitedNodes=23210 nbRestartNogoods=502
69.34 => wckTime=26.932 cpuTime=26.6 mem=17M235
71.16
71.16 search
71.16 run=7 nbConstraintChecks=149630878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13075
71.16 nbFailedAssignments=12523 nbBacktracks=488 nbVisitedNodes=26087 nbRestartNogoods=652
71.16 => wckTime=28.754 cpuTime=28.41 mem=17M235
82.02
82.02 search
82.03 run=8 nbConstraintChecks=211845517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18828
82.03 nbFailedAssignments=18013 nbBacktracks=744 nbVisitedNodes=37586 nbRestartNogoods=805
82.03 => wckTime=39.615 cpuTime=39.18 mem=17M235
91.63
91.63 search
91.63 run=9 nbConstraintChecks=255559886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23339
91.63 nbFailedAssignments=22130 nbBacktracks=1128 nbVisitedNodes=46597 nbRestartNogoods=857
91.63 => wckTime=49.224 cpuTime=48.7 mem=17M235
108.31
108.31 search
108.31 run=10 nbConstraintChecks=360465246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31246
108.31 nbFailedAssignments=29445 nbBacktracks=1704 nbVisitedNodes=62395 nbRestartNogoods=996
108.31 => wckTime=65.901 cpuTime=65.22 mem=17M235
118.42
118.42 search
118.42 run=11 nbConstraintChecks=414029766 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39705
118.42 nbFailedAssignments=37034 nbBacktracks=2568 nbVisitedNodes=79307 nbRestartNogoods=1071
118.42 => wckTime=76.011 cpuTime=75.23 mem=17M235
144.70
144.70 search
144.70 run=12 nbConstraintChecks=564985128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55024
144.70 nbFailedAssignments=51043 nbBacktracks=3865 nbVisitedNodes=109931 nbRestartNogoods=1114
144.70 => wckTime=102.289 cpuTime=101.27 mem=17M235
176.24
176.24 search
176.24 run=13 nbConstraintChecks=692243511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66730
176.24 nbFailedAssignments=60786 nbBacktracks=5811 nbVisitedNodes=133308 nbRestartNogoods=1142
176.24 => wckTime=133.833 cpuTime=132.53 mem=17M235
188.92
188.92 search
188.92 run=14 nbConstraintChecks=759698227 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77834
188.92 nbFailedAssignments=68953 nbBacktracks=8730 nbVisitedNodes=155486 nbRestartNogoods=1263
188.92 => wckTime=146.511 cpuTime=145.08 mem=17M235
231.85
231.85 search
231.85 run=15 nbConstraintChecks=931607888 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95234
231.85 nbFailedAssignments=81969 nbBacktracks=13108 nbVisitedNodes=190135 nbRestartNogoods=1348
231.85 => wckTime=189.442 cpuTime=187.63 mem=17M235
287.18
287.18 search
287.18 run=16 nbConstraintChecks=1122856705 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=114304
287.18 nbFailedAssignments=94463 nbBacktracks=19676 nbVisitedNodes=227814 nbRestartNogoods=1392
287.18 => wckTime=244.769 cpuTime=242.45 mem=17M235
369.25
369.25 search
369.25 run=17 nbConstraintChecks=1389675681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=137882
369.25 nbFailedAssignments=108183 nbBacktracks=29528 nbVisitedNodes=273456 nbRestartNogoods=1433
369.25 => wckTime=326.845 cpuTime=323.78 mem=17M235
493.94
493.94 search
493.94 run=18 nbConstraintChecks=1778613856 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=172209
493.94 nbFailedAssignments=127726 nbBacktracks=44307 nbVisitedNodes=339279 nbRestartNogoods=1484
493.94 => wckTime=451.535 cpuTime=447.33 mem=17M235
544.38 o 100
544.38 c 3
678.13
678.13 search
678.13 run=19 nbConstraintChecks=2366061166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=223370
678.13 nbFailedAssignments=156715 nbBacktracks=66475 nbVisitedNodes=438011 nbRestartNogoods=1501
678.13 => wckTime=635.722 cpuTime=630.3 mem=17M235
941.26
941.26 search
941.26 run=20 nbConstraintChecks=3199092512 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=301359
941.26 nbFailedAssignments=201449 nbBacktracks=99727 nbVisitedNodes=587515 nbRestartNogoods=1534
941.26 => wckTime=898.85 cpuTime=892.18 mem=17M235
1363.34
1363.34 search
1363.34 run=21 nbConstraintChecks=4531654110 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=420098
1363.34 nbFailedAssignments=270300 nbBacktracks=149605 nbVisitedNodes=814393 nbRestartNogoods=1567
1363.34 => wckTime=1320.927 cpuTime=1312.46 mem=17M235
1940.51
1940.51 search
1940.51 run=22 nbConstraintChecks=6488820531 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=598214
1940.51 nbFailedAssignments=373592 nbBacktracks=224423 nbVisitedNodes=1152353 nbRestartNogoods=1626
1940.51 => wckTime=1898.103 cpuTime=1889.02 mem=17M235
2060.49 o 101
2060.49 c 2
2410.06 v 3 20 49 42 77 66 3 38 3 71 50 65 45 3 27 2 0 53 23 64 31 28 73 46 3 45 42 12 7 54 41 41 17 23 24 4 56 42 4 79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-276518-1169239343 -o ROOT/results/node13/solver-276518-1169239343 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276518-1169239343/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.98 1.97 4/93 16660
/proc/meminfo: memFree=1342504/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=18540 CPUtime=0
/proc/16659/stat : 16659 (runsolver) R 16657 16659 16345 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272329300 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16659/statm: 4635 279 244 17 0 2626 0
[startup+0.107113 s]
/proc/loadavg: 1.92 1.98 1.97 4/93 16660
/proc/meminfo: memFree=1342504/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=914988 CPUtime=0.09
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 2987 0 1 0 7 2 0 0 19 0 8 0 272329300 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12081639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16659/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515168 s]
/proc/loadavg: 1.92 1.98 1.97 4/93 16660
/proc/meminfo: memFree=1342504/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915332 CPUtime=0.49
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 7295 0 1 0 44 5 0 0 18 0 8 0 272329300 937299968 7034 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153473389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16659/statm: 228833 7034 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33827 s]
/proc/loadavg: 1.93 1.98 1.97 3/100 16667
/proc/meminfo: memFree=1311408/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=1.3
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10431 0 1 0 120 10 0 0 25 0 8 0 272329300 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16659/statm: 228861 10169 2476 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.12
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 272329308 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.99049 s]
/proc/loadavg: 1.93 1.98 1.97 3/100 16667
/proc/meminfo: memFree=1311344/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=2.94
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10436 0 1 0 274 20 0 0 25 0 8 0 272329300 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16659/statm: 228861 10173 2476 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.13
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 272329308 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.27893 s]
/proc/loadavg: 1.93 1.98 1.97 3/100 16667
/proc/meminfo: memFree=1311280/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=6.2
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10436 0 1 0 577 43 0 0 25 0 8 0 272329300 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16659/statm: 228861 10173 2476 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.13
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 272329308 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10173 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915444
[startup+12.7668 s]
/proc/loadavg: 1.94 1.98 1.97 3/100 16667
/proc/meminfo: memFree=1311344/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=12.63
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10438 0 1 0 1169 94 0 0 25 0 8 0 272329300 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16659/statm: 228861 10175 2476 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.14
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 336 0 0 0 14 0 0 0 16 0 8 0 272329308 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915444
[startup+25.6045 s]
/proc/loadavg: 1.95 1.98 1.97 3/100 16667
/proc/meminfo: memFree=1311472/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=25.34
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10438 0 1 0 2348 186 0 0 25 0 8 0 272329300 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16659/statm: 228861 10175 2476 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.14
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 336 0 0 0 14 0 0 0 16 0 8 0 272329308 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915444
[startup+51.2179 s]
/proc/loadavg: 1.96 1.98 1.97 3/100 16667
/proc/meminfo: memFree=1311088/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=50.72
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10591 0 1 0 4769 303 0 0 25 0 8 0 272329300 937414656 10323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16659/statm: 228861 10323 2527 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.24
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 387 0 0 0 23 1 0 0 15 0 8 0 272329308 937414656 10323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915444
[startup+102.43 s]
/proc/loadavg: 1.98 1.98 1.97 3/100 16667
/proc/meminfo: memFree=1311152/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=101.46
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10598 0 1 0 9843 303 0 0 25 0 8 0 272329300 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16659/statm: 228861 10327 2527 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.25
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 272329308 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10327 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915444
[startup+162.481 s]
/proc/loadavg: 1.99 1.98 1.97 3/100 16667
/proc/meminfo: memFree=1311152/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=160.96
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10599 0 1 0 15792 304 0 0 25 0 8 0 272329300 937414656 10328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.29
Current children cumulated vsize (KiB) 915444
[startup+2083.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 17039
/proc/meminfo: memFree=1320280/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=2074.26
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10603 0 1 0 207109 317 0 0 25 0 8 0 272329300 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16659/statm: 228861 10329 2527 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.25
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.26
Current children cumulated vsize (KiB) 915444
[startup+2143.94 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 17039
/proc/meminfo: memFree=1320280/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=2134.21
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10603 0 1 0 213104 317 0 0 25 0 8 0 272329300 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16659/statm: 228861 10329 2527 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.25
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.21
Current children cumulated vsize (KiB) 915444
[startup+2203.96 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 17039
/proc/meminfo: memFree=1320280/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=2194.15
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10603 0 1 0 219098 317 0 0 25 0 8 0 272329300 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822957 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16659/statm: 228861 10329 2527 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.25
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.15
Current children cumulated vsize (KiB) 915444
[startup+2263.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 17039
/proc/meminfo: memFree=1320280/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=2254.11
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10603 0 1 0 225094 317 0 0 25 0 8 0 272329300 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792558 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16659/statm: 228861 10329 2527 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.25
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2254.11
Current children cumulated vsize (KiB) 915444
[startup+2323.98 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 17039
/proc/meminfo: memFree=1320280/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=2314.05
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10603 0 1 0 231088 317 0 0 25 0 8 0 272329300 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16659/statm: 228861 10329 2527 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.25
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2314.05
Current children cumulated vsize (KiB) 915444
[startup+2384.01 s]
/proc/loadavg: 2.03 2.01 2.00 4/94 17039
/proc/meminfo: memFree=1320280/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=2374.02
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10603 0 1 0 237084 318 0 0 25 0 8 0 272329300 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16659/statm: 228861 10329 2527 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.25
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2374.02
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2410.05 s]
/proc/loadavg: 2.02 2.01 2.00 4/94 17039
/proc/meminfo: memFree=1320280/2055920 swapFree=4169400/4192956
[pid=16659] ppid=16657 vsize=915444 CPUtime=2400.05
/proc/16659/stat : 16659 (java) R 16657 16659 16345 0 -1 0 10603 0 1 0 239687 318 0 0 25 0 8 0 272329300 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16659/statm: 228861 10329 2527 14 0 215331 0
[pid=16659/tid=16661] ppid=16657 vsize=915444 CPUtime=0.03
/proc/16659/task/16661/stat : 16661 (java) S 16657 16659 16345 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272329304 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16662] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16662/stat : 16662 (java) S 16657 16659 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16663] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16663/stat : 16663 (java) S 16657 16659 16345 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272329305 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16664] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16664/stat : 16664 (java) S 16657 16659 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16665] ppid=16657 vsize=915444 CPUtime=0.25
/proc/16659/task/16665/stat : 16665 (java) S 16657 16659 16345 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16666] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16666/stat : 16666 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16659/tid=16667] ppid=16657 vsize=915444 CPUtime=0
/proc/16659/task/16667/stat : 16667 (java) S 16657 16659 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272329308 937414656 10329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2410.12
CPU time (s): 2400.11
CPU user time (s): 2396.93
CPU system time (s): 3.18551
CPU usage (%): 99.5849
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.93
system time used= 3.18552
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10622
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= 49847
involuntary context switches= 56231
runsolver used 3.03154 s user time and 7.64484 s system time
The end
Begin job on node13 on Fri Jan 19 20:42:23 UTC 2007
IDJOB= 276518
IDBENCH= 5819
IDSOLVER= 69
FILE ID= node13/276518-1169239343
PBS_JOBID= 3589018
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276518-1169239343/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-276518-1169239343 -o ROOT/results/node13/solver-276518-1169239343 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276518-1169239343/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2bf8522f72277d2574443ef43e92b8c1
RANDOM SEED= 125902370
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.247
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.247
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1342920 kB
Buffers: 59408 kB
Cached: 514480 kB
SwapCached: 3092 kB
Active: 319708 kB
Inactive: 315940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1342920 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 2544 kB
Writeback: 0 kB
Mapped: 79408 kB
Slab: 61688 kB
Committed_AS: 8310916 kB
PageTables: 2500 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= 66555 MiB
End job on node13 on Fri Jan 19 21:22:33 UTC 2007