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/276302-1169234720/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.43 => wckTime=0.11 cpuTime=0.09 mem=6M910
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.64 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=15 maxArity=2
0.64 => wckTime=0.322 cpuTime=0.23 mem=13M770
0.68
0.68 solver LocalSearchSolver being built...
0.73 => wckTime=0.412 cpuTime=0.29 mem=5M886
0.73
0.73 s SATISFIABLE
0.73 o 100
0.73 c 80
0.74 o 106
0.74 c 74
0.74 o 109
0.74 c 71
0.74 o 112
0.74 c 68
0.74 o 116
0.74 c 64
0.74 o 118
0.74 c 62
0.74 o 120
0.74 c 60
0.74 o 123
0.75 c 57
0.75 o 127
0.75 c 53
0.75 o 131
0.75 c 49
0.75 o 133
0.75 c 47
0.75 o 135
0.75 c 45
0.75 o 138
0.75 c 42
0.75 o 141
0.75 c 39
0.75 o 143
0.75 c 37
0.75 o 145
0.75 c 35
0.75 o 147
0.75 c 33
0.75 o 148
0.75 c 32
0.75 o 150
0.75 c 30
0.75 o 152
0.75 c 28
0.76 o 153
0.76 c 27
0.76 o 156
0.76 c 24
0.76 o 157
0.76 c 23
0.76 o 158
0.76 c 22
0.77 o 159
0.77 c 21
0.77 o 160
0.77 c 20
0.77 o 161
0.77 c 19
0.77 o 162
0.77 c 18
0.77 o 163
0.77 c 17
0.77 o 164
0.77 c 16
0.77 o 166
0.77 c 14
0.78 o 167
0.78 c 13
0.80 o 168
0.80 c 12
0.80 o 169
0.80 c 11
0.80 o 170
0.80 c 10
0.80 o 171
0.80 c 9
0.81 o 172
0.81 c 8
0.81 o 173
0.81 c 7
0.83 o 174
0.83 c 6
0.94 o 175
0.94 c 5
0.94 o 176
0.94 c 4
1.25 o 177
1.25 c 3
1.25 o 178
1.25 c 2
3.70
3.70 search
3.70 run=0 nbConstraintChecks=19501563 nbAssignments=10000
3.70 => wckTime=2.976 cpuTime=2.93 mem=5M886
6.85
6.85 search
6.85 run=1 nbConstraintChecks=41439814 nbAssignments=20000
6.85 => wckTime=6.125 cpuTime=6.05 mem=5M886
9.71
9.71 search
9.71 run=2 nbConstraintChecks=61035814 nbAssignments=30000
9.71 => wckTime=8.979 cpuTime=8.88 mem=5M886
12.74
12.74 search
12.74 run=3 nbConstraintChecks=82232799 nbAssignments=40000
12.74 => wckTime=12.017 cpuTime=11.89 mem=5M886
15.51
15.51 search
15.51 run=4 nbConstraintChecks=101100096 nbAssignments=50000
15.51 => wckTime=14.787 cpuTime=14.64 mem=5M886
18.58
18.58 search
18.58 run=5 nbConstraintChecks=122455325 nbAssignments=60000
18.58 => wckTime=17.858 cpuTime=17.68 mem=5M886
21.15
21.15 search
21.15 run=6 nbConstraintChecks=139397079 nbAssignments=70000
21.15 => wckTime=20.423 cpuTime=20.22 mem=5M886
24.14
24.14 search
24.14 run=7 nbConstraintChecks=159912150 nbAssignments=80000
24.14 => wckTime=23.416 cpuTime=23.18 mem=5M886
27.01
27.01 search
27.01 run=8 nbConstraintChecks=179488781 nbAssignments=90000
27.01 => wckTime=26.28 cpuTime=26.03 mem=5M886
30.09
30.09 search
30.09 run=9 nbConstraintChecks=201061348 nbAssignments=100000
30.09 => wckTime=29.361 cpuTime=29.08 mem=5M886
31.53
31.53 search
31.53 run=10 nbConstraintChecks=210747640 nbAssignments=105511
31.53 => wckTime=30.8 cpuTime=30.51 mem=5M886
31.53
31.53 global
31.53 nbConstraintChecks=210747640 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.53 solvingWckTime=30.798 solvingCpuTime=30.5 expiredTime=no totalExploration=no nbFoundSolutions=0
31.53 globalCpuTime=30.84
31.53 => wckTime=31.213 cpuTime=30.79 mem=5M886
31.53
31.53 solver IterativeSystematicSolver being built...
31.65 => wckTime=31.339 cpuTime=30.9 mem=16M925
31.66
31.66 preprocessing
31.66 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.66 detectedInconsistency=no
31.66 => wckTime=0.0050 cpuTime=0.0 mem=16M925
31.80
31.80 search
31.80 run=0 nbConstraintChecks=308222 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60
31.80 nbFailedAssignments=44 nbBacktracks=10 nbVisitedNodes=115 nbRestartNogoods=0
31.80 => wckTime=0.146 cpuTime=0.1 mem=16M925
31.97
31.97 search
31.97 run=1 nbConstraintChecks=1164751 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=240
31.97 nbFailedAssignments=198 nbBacktracks=25 nbVisitedNodes=464 nbRestartNogoods=17
31.97 => wckTime=0.315 cpuTime=0.26 mem=16M925
32.12
32.12 search
32.12 run=2 nbConstraintChecks=1753858 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=361
32.12 nbFailedAssignments=285 nbBacktracks=47 nbVisitedNodes=694 nbRestartNogoods=50
32.12 => wckTime=0.466 cpuTime=0.41 mem=16M925
32.39
32.39 search
32.39 run=3 nbConstraintChecks=3086976 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=646
32.39 nbFailedAssignments=527 nbBacktracks=80 nbVisitedNodes=1254 nbRestartNogoods=93
32.39 => wckTime=0.733 cpuTime=0.67 mem=16M925
32.90
32.90 search
32.90 run=4 nbConstraintChecks=5942282 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1144
32.90 nbFailedAssignments=963 nbBacktracks=130 nbVisitedNodes=2238 nbRestartNogoods=109
32.90 => wckTime=1.24 cpuTime=1.17 mem=16M925
33.37
33.37 search
33.37 run=5 nbConstraintChecks=8196652 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1623
33.37 nbFailedAssignments=1355 nbBacktracks=205 nbVisitedNodes=3184 nbRestartNogoods=135
33.37 => wckTime=1.713 cpuTime=1.62 mem=16M925
34.22
34.22 search
34.22 run=6 nbConstraintChecks=12750728 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2516
34.22 nbFailedAssignments=2125 nbBacktracks=318 nbVisitedNodes=4960 nbRestartNogoods=151
34.22 => wckTime=2.56 cpuTime=2.46 mem=16M925
35.37
35.37 search
35.37 run=7 nbConstraintChecks=18063964 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3548
35.37 nbFailedAssignments=2977 nbBacktracks=488 nbVisitedNodes=7014 nbRestartNogoods=170
35.37 => wckTime=3.711 cpuTime=3.6 mem=16M925
36.92
36.92 search
36.92 run=8 nbConstraintChecks=26540080 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5250
36.92 nbFailedAssignments=4414 nbBacktracks=744 nbVisitedNodes=10409 nbRestartNogoods=195
36.92 => wckTime=5.262 cpuTime=5.13 mem=16M925
38.90
38.90 search
38.90 run=9 nbConstraintChecks=35276328 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7281
38.90 nbFailedAssignments=6047 nbBacktracks=1128 nbVisitedNodes=14436 nbRestartNogoods=212
38.90 => wckTime=7.241 cpuTime=7.09 mem=16M925
41.61
41.61 search
41.61 run=10 nbConstraintChecks=47027948 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9894
41.61 nbFailedAssignments=8067 nbBacktracks=1704 nbVisitedNodes=19643 nbRestartNogoods=241
41.61 => wckTime=9.959 cpuTime=9.78 mem=16M925
45.85
45.85 search
45.85 run=11 nbConstraintChecks=65116068 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14334
45.85 nbFailedAssignments=11628 nbBacktracks=2568 nbVisitedNodes=28504 nbRestartNogoods=277
45.85 => wckTime=14.194 cpuTime=13.97 mem=16M925
53.61
53.61 search
53.61 run=12 nbConstraintChecks=95729721 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20170
53.61 nbFailedAssignments=16161 nbBacktracks=3865 nbVisitedNodes=40129 nbRestartNogoods=294
53.61 => wckTime=21.953 cpuTime=21.66 mem=16M925
61.78
61.78 search
61.78 run=13 nbConstraintChecks=125363807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26444
61.78 nbFailedAssignments=20476 nbBacktracks=5811 nbVisitedNodes=52374 nbRestartNogoods=306
61.78 => wckTime=30.126 cpuTime=29.76 mem=16M925
72.64
72.64 search
72.64 run=14 nbConstraintChecks=162035494 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33511
72.64 nbFailedAssignments=24616 nbBacktracks=8730 nbVisitedNodes=65903 nbRestartNogoods=325
72.64 => wckTime=40.98 cpuTime=40.52 mem=16M925
88.89
88.89 search
88.89 run=15 nbConstraintChecks=216441219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43772
88.89 nbFailedAssignments=30494 nbBacktracks=13108 nbVisitedNodes=85645 nbRestartNogoods=353
88.89 => wckTime=57.237 cpuTime=56.63 mem=16M925
112.87
112.87 search
112.87 run=16 nbConstraintChecks=297717071 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59399
112.87 nbFailedAssignments=39546 nbBacktracks=19676 nbVisitedNodes=115688 nbRestartNogoods=366
112.87 => wckTime=81.213 cpuTime=80.41 mem=16M925
147.73
147.73 search
147.73 run=17 nbConstraintChecks=411696471 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80362
147.73 nbFailedAssignments=50649 nbBacktracks=29529 nbVisitedNodes=155540 nbRestartNogoods=393
147.73 => wckTime=116.074 cpuTime=114.96 mem=16M925
196.33
196.33 search
196.33 run=18 nbConstraintChecks=578738663 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111825
196.33 nbFailedAssignments=67323 nbBacktracks=44308 nbVisitedNodes=216123 nbRestartNogoods=407
196.33 => wckTime=164.677 cpuTime=163.14 mem=16M925
266.89
266.89 search
266.89 run=19 nbConstraintChecks=805727580 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=157618
266.89 nbFailedAssignments=90931 nbBacktracks=66476 nbVisitedNodes=300979 nbRestartNogoods=418
266.89 => wckTime=235.229 cpuTime=233.07 mem=16M925
376.69
376.69 search
376.69 run=20 nbConstraintChecks=1164207640 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=225501
376.69 nbFailedAssignments=125555 nbBacktracks=99728 nbVisitedNodes=428994 nbRestartNogoods=443
376.69 => wckTime=345.037 cpuTime=341.92 mem=16M925
524.93
524.93 search
524.93 run=21 nbConstraintChecks=1641793776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=324834
524.93 nbFailedAssignments=174996 nbBacktracks=149606 nbVisitedNodes=608601 nbRestartNogoods=456
524.93 => wckTime=493.274 cpuTime=488.88 mem=16M925
781.10
781.10 search
781.10 run=22 nbConstraintChecks=2472136367 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=481874
781.10 nbFailedAssignments=257214 nbBacktracks=224424 nbVisitedNodes=903584 nbRestartNogoods=476
781.10 => wckTime=749.442 cpuTime=742.85 mem=16M925
1105.69
1105.69 search
1105.69 run=23 nbConstraintChecks=3541656177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=705217
1105.69 nbFailedAssignments=368321 nbBacktracks=336651 nbVisitedNodes=1309595 nbRestartNogoods=495
1105.69 => wckTime=1074.033 cpuTime=1064.64 mem=16M925
1646.81
1646.82 search
1646.82 run=24 nbConstraintChecks=5332410178 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1046907
1646.82 nbFailedAssignments=541661 nbBacktracks=504993 nbVisitedNodes=1951201 nbRestartNogoods=510
1646.82 => wckTime=1615.149 cpuTime=1601.12 mem=16M925
2396.12
2396.12 search
2396.12 run=25 nbConstraintChecks=7900567117 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1562630
2396.12 nbFailedAssignments=804864 nbBacktracks=757504 nbVisitedNodes=2913630 nbRestartNogoods=529
2396.12 => wckTime=2364.464 cpuTime=2346.02 mem=16M925
2418.69 v 11 9 18 7 14 3 8 6 19 18 6 19 10 16 0 9 18 14 15 19 13 15 5 7 9 12 4 9 22 14 11 6 5 10 14 1 5 1 5 16
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-276302-1169234720 -o ROOT/results/node40/solver-276302-1169234720 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276302-1169234720/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.07 2.03 1.97 4/80 645
/proc/meminfo: memFree=1548816/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=18540 CPUtime=0
/proc/644/stat : 644 (runsolver) R 642 644 32017 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 271871308 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/644/statm: 4635 279 244 17 0 2626 0
[startup+0.107741 s]
/proc/loadavg: 2.07 2.03 1.97 4/80 645
/proc/meminfo: memFree=1548816/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=914988 CPUtime=0.08
/proc/644/stat : 644 (java) D 642 644 32017 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 271871308 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515791 s]
/proc/loadavg: 2.07 2.03 1.97 4/80 645
/proc/meminfo: memFree=1548816/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915332 CPUtime=0.49
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 6955 0 1 0 44 5 0 0 18 0 8 0 271871308 937299968 6694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073566047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228833 6694 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33789 s]
/proc/loadavg: 2.15 2.04 1.98 3/87 652
/proc/meminfo: memFree=1525272/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=1.3
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 8540 0 1 0 117 13 0 0 25 0 8 0 271871308 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073728694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8278 2476 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.15
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 271871316 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8278 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+2.9901 s]
/proc/loadavg: 2.15 2.04 1.98 3/87 652
/proc/meminfo: memFree=1525144/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=2.94
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 8541 0 1 0 259 35 0 0 25 0 8 0 271871308 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8278 2476 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.15
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 271871316 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8278 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+6.28453 s]
/proc/loadavg: 2.13 2.04 1.98 3/87 652
/proc/meminfo: memFree=1525152/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=6.2
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 8544 0 1 0 548 72 0 0 25 0 8 0 271871308 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8281 2476 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.15
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 271871316 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8281 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+12.7654 s]
/proc/loadavg: 2.12 2.04 1.98 3/87 652
/proc/meminfo: memFree=1525152/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=12.63
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 8544 0 1 0 1104 159 0 0 25 0 8 0 271871308 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073731805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8281 2476 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.15
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 271871316 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8281 18446744073709551615 134512640 134570532 4294956480 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) 915464
[startup+25.606 s]
/proc/loadavg: 2.10 2.04 1.98 3/87 652
/proc/meminfo: memFree=1525152/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=25.36
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 8545 0 1 0 2195 341 0 0 25 0 8 0 271871308 937435136 8282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8282 2476 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 249 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.15
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 271871316 937435136 8282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8282 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.2174 s]
/proc/loadavg: 2.06 2.03 1.98 3/87 652
/proc/meminfo: memFree=1522976/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=50.74
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9150 0 1 0 4654 420 0 0 25 0 8 0 271871308 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8880 2527 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.25
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 271871316 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915464
[startup+102.42 s]
/proc/loadavg: 2.02 2.03 1.98 3/87 652
/proc/meminfo: memFree=1522912/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=101.48
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9161 0 1 0 9728 420 0 0 25 0 8 0 271871308 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838305 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8890 2527 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.25
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 271871316 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915464
[startup+162.463 s]
/proc/loadavg: 2.01 2.02 1.98 3/87 652
/proc/meminfo: memFree=1522848/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=161
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9166 0 1 0 15680 420 0 0 25 0 8 0 271871308 937435136 8895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2006.6
Current children cumulated vsize (KiB) 915464
[startup+2083.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 652
/proc/meminfo: memFree=1522528/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=2066.36
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9187 0 1 0 206208 428 0 0 25 0 8 0 271871308 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8913 2527 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.26
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2066.36
Current children cumulated vsize (KiB) 915464
[startup+2143.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 678
/proc/meminfo: memFree=1521312/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=2126.07
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9187 0 1 0 212178 429 0 0 25 0 8 0 271871308 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073863921 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8913 2527 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.26
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2126.07
Current children cumulated vsize (KiB) 915464
[startup+2203.96 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 824
/proc/meminfo: memFree=1521256/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=2185.76
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9187 0 1 0 218147 429 0 0 25 0 8 0 271871308 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8913 2527 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.26
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2185.76
Current children cumulated vsize (KiB) 915464
[startup+2264.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 850
/proc/meminfo: memFree=1522272/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=2245.5
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9187 0 1 0 224121 429 0 0 25 0 8 0 271871308 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/644/statm: 228866 8913 2527 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.26
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2245.5
Current children cumulated vsize (KiB) 915464
[startup+2324.03 s]
/proc/loadavg: 1.51 1.87 1.96 2/72 867
/proc/meminfo: memFree=1556712/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=2305.42
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9187 0 1 0 230113 429 0 0 25 0 8 0 271871308 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726374 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/644/statm: 228866 8913 2527 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.26
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2305.42
Current children cumulated vsize (KiB) 915464
[startup+2384.04 s]
/proc/loadavg: 1.19 1.71 1.89 2/72 867
/proc/meminfo: memFree=1556776/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=2365.42
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9187 0 1 0 236112 430 0 0 25 0 8 0 271871308 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843123 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/644/statm: 228866 8913 2527 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.26
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 271871316 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2365.42
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2418.67 s]
/proc/loadavg: 1.10 1.63 1.86 2/72 867
/proc/meminfo: memFree=1556776/2055920 swapFree=4191892/4192956
[pid=644] ppid=642 vsize=915464 CPUtime=2400.05
/proc/644/stat : 644 (java) R 642 644 32017 0 -1 0 9190 0 1 0 239575 430 0 0 25 0 8 0 271871308 937435136 8916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073899440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/644/statm: 228866 8916 2527 14 0 215336 0
[pid=644/tid=646] ppid=642 vsize=915464 CPUtime=0.03
/proc/644/task/646/stat : 646 (java) S 642 644 32017 0 -1 64 250 0 0 0 3 0 0 0 16 0 8 0 271871313 937435136 8916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=647] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/647/stat : 647 (java) S 642 644 32017 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271871313 937435136 8916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=648] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/648/stat : 648 (java) S 642 644 32017 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271871313 937435136 8916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=649] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/649/stat : 649 (java) S 642 644 32017 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271871316 937435136 8916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=650] ppid=642 vsize=915464 CPUtime=0.26
/proc/644/task/650/stat : 650 (java) S 642 644 32017 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 271871316 937435136 8916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=651] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/651/stat : 651 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271871317 937435136 8916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=644/tid=652] ppid=642 vsize=915464 CPUtime=0
/proc/644/task/652/stat : 652 (java) S 642 644 32017 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271871317 937435136 8916 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2418.71
CPU time (s): 2400.08
CPU user time (s): 2395.78
CPU system time (s): 4.30635
CPU usage (%): 99.2297
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.78
system time used= 4.30635
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9212
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= 50097
involuntary context switches= 107986
runsolver used 3.02354 s user time and 7.00593 s system time
The end
Begin job on node40 on Fri Jan 19 19:25:20 UTC 2007
IDJOB= 276302
IDBENCH= 5667
IDSOLVER= 69
FILE ID= node40/276302-1169234720
PBS_JOBID= 3589275
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276302-1169234720/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-276302-1169234720 -o ROOT/results/node40/solver-276302-1169234720 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276302-1169234720/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 266387c001f577ab5980043fc8b2efca
RANDOM SEED= 874895668
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.239
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.239
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: 1549232 kB
Buffers: 41552 kB
Cached: 341224 kB
SwapCached: 268 kB
Active: 148244 kB
Inactive: 281340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1549232 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 65788 kB
Slab: 62436 kB
Committed_AS: 5868640 kB
PageTables: 1884 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= 66563 MiB
End job on node40 on Fri Jan 19 20:05:39 UTC 2007